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 (2013):
Tailoring PMD to Secure Coding.
(TUD-CS-2013-0245), [Report]

Aderhold, Markus and Gebhardt, Alexander and Mantel, Heiko (2013):
Choosing a Formalism for Secure Coding: FSM vs. LTL.
[Report]

Aderhold, Markus
Giesl, J. and Hähnle, R. (eds.) (2010):
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
In: 5th International Joint Conference on Automated Reasoning (IJCAR-5), Springer, In: LNAI 6173, [Conference or Workshop Item]

Aderhold, Markus
Esparza, J. and Majumdar, R. (eds.) (2010):
Automated Termination Analysis for Programs with Second-Order Recursion.
In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16), Springer, In: LNCS 6015, [Conference or Workshop Item]

Aderhold, Markus
Esparza, Javier and Majumdar, Rupak (eds.) (2010):
Automated Termination Analysis for Programs with Second-Order Recursion.
In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16), Springer, [Conference or Workshop Item]

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

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus (2007):
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]

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

Aderhold, Markus (2007):
Improvements in Formula Generalization.
Berlin [u.a.], Springer, 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, [Conference or Workshop Item]

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

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus (2006):
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]

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

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas (2006):
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]

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

This list was generated on Tue Jul 16 01:35:41 2019 CEST.