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 :
Scalable Offline Monitoring.
In: Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany. Springer , Heidelberg, Germany
[Conference or Workshop Item] , (2014)

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

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

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

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.) :

The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction. Applied Logic Series, 17. Kluwer, Dordrecht , 61--82. ISBN 0-7923-6237-3
[Book Section] , (2000)

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

This list was generated on Sat May 25 00:08:18 2019 CEST.