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
Jump to: German | English
Number of items: 6.

German

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

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

Atluri, Vijayalakshmi ; Backes, Michael ; Basin, David ; 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 ; Hähnle, Reiner ; Manya, Felip
Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; 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 ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; 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]

English

Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; 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]

This list was generated on Tue Aug 3 03:06:09 2021 CEST.