TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Basin, David and Caronni, Germano and Ereth, Sarah and Harvan, Matus and Klaedtke, Felix and Mantel, Heiko (2014):
Scalable Offline Monitoring.
Heidelberg, Germany, Springer, In: Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany, pp. 31-47, [Conference or Workshop Item]

Backes, Michael and Basin, David and Waidner, Michael (2007):
In: Journal of Computer Security, 15 (6), p. 561, [Article]

Sprenger, Christoph and Backes, Michael and Basin, David and Pfitzmann, Birgit and Waidner, Michael (2006):
Cryptographically Sound Theorem Proving.
In: IEEE Computer Security Foundations Workshop (CSFW), IEEE Computer Society Press, [Conference or Workshop Item]

Atluri, Vijayalakshmi and Backes, Michael and Basin, David and Waidner, Michael (2004):
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004.
In: FMSE, ACM, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Manya, Felip Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca (eds.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Applied Logic Series, In: Labelled Deduction, Kluwer, Dordrecht, pp. 61--82, [Book Section]

Basin, David and Fronhöfer, Bertram and Hähnle, Reiner and Posegga, Joachim and Schwind, Camilla (eds.) (1993):
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report, [Conference or Workshop Item]

This list was generated on Sat Oct 24 01:27:42 2020 CEST.