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.
pp. 31-47, Heidelberg, Germany, Springer, Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany, [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.
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, 17, In: Labelled Deduction, pp. 61--82, Kluwer, Dordrecht, ISBN 0-7923-6237-3,
[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 Tue Jun 15 01:10:38 2021 CEST.