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

Aderhold, Markus and Kochtchi, Artjom :
Tailoring PMD to Secure Coding.

[Report] , (2013)

Aderhold, Markus and Gebhardt, Alexander and Mantel, Heiko :
Choosing a Formalism for Secure Coding: FSM vs. LTL.

[Report] , (2013)

Aderhold, Markus
Giesl, J. and Hähnle, R. (eds.) :

Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
In: LNAI 6173 . Springer
[Conference or Workshop Item] , (2010)

Aderhold, Markus
Esparza, J. and Majumdar, R. (eds.) :

Automated Termination Analysis for Programs with Second-Order Recursion.
In: LNCS 6015 . Springer
[Conference or Workshop Item] , (2010)

Aderhold, Markus
Esparza, Javier and Majumdar, Rupak (eds.) :

Automated Termination Analysis for Programs with Second-Order Recursion.
16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16) Springer
[Conference or Workshop Item] , (2010)

Aderhold, Markus and Cuéllar, Jorge and Mantel, Heiko and Sudbrock, Henning :
Exemplary Formalization of Secure Coding Guidelines.
In: aderhold.ea:exemplary:2010a . Germany
[Report] , (2010)

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus :
Context Dependent Procedures and Computed Types in VeriFun.
In: Proceedings of the 1st Workshop "Programming Languages meet Program Verification" : 2007 ; Elsevier ; 61-78.
[Book Section] , (2007)

Schlosser, A. and Walther, C. and Gonder, M. and Aderhold, Markus :
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science (ENTCS), 174 pp. 61-78.
[Article] , (2007)

Aderhold, Markus :
Improvements in Formula Generalization.
In: Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings / Frank Pfenning (ed.). - Berlin [u.a.] : Springer, 2007, S. 231-246 (Lecture notes in computer science ; 4603 : Lectur . Springer , Berlin [u.a.]
[Conference or Workshop Item] , (2007)

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus :
Axiomatic Specifications in VeriFun.
In: Third Verification Workshop <Seattle (WA), USA,2006> .
[Conference or Workshop Item] , (2006)

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus :
Axiomatic specification in VeriFun.
In: Proceedings of the 6th Verification Workshop (VERIFY-06) Federated Logic Conference, Eds.:. Serge Autexier and Heiko Mantel, S. 146-163, Seattle, WA, 2006. .
[Conference or Workshop Item] , (2006)

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus :
Context Dependent Procedures and Computed Types in VeriFun.
In: First Workshop "Programming Languages meet Program Verification" <Seattle (WA), USA,2006> .
[Conference or Workshop Item] , (2006)

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas :
A Fast Disprover for VeriFun.
In: Proceedings Workshop on Non-Theorems, Non-Validity, Non-Provability (DISPROVING-06) Eds.: Wolfgang Ahrendt ; Peter Baumgartner ; Hans de Nivelle, S. 59-69,. - Seattle, WA, 2006. Federated Logic Conference.
[Conference or Workshop Item] , (2006)

Walther, Christoph and Aderhold, Markus and Schlosser, Andreas :
The L 1.0 Primer.
TU Darmstadt, Programmiermethodik , Darmstadt
[Report] , (2006)

This list was generated on Tue May 21 00:59:25 2019 CEST.