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

Aderhold, Markus ; Kochtchi, Artjom (2013):
Tailoring PMD to Secure Coding.
(TUD-CS-2013-0245), [Report]

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

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

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

Aderhold, Markus
Esparza, Javier ; 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 ; Cuéllar, Jorge ; Mantel, Heiko ; Sudbrock, Henning (2010):
Exemplary Formalization of Secure Coding Guidelines.
In: aderhold.ea:exemplary:2010a, Germany, [Report]

Schlosser, A. ; Walther, Christoph ; Gonder, M. ; Aderhold, Markus (2007):
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science, 174 (7), pp. 61-78. ISSN 1571-0661,
DOI: 10.1016/j.entcs.2006.10.038,
[Article]

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

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus (2006):
Axiomatic specification in VeriFun.
pp. 146-163, IJCAR’06-Workshop Verification Workshop (VERIFY-06), Seattle, USA, August 2006, [Conference or Workshop Item]

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus (2006):
Context Dependent Procedures and Computed Types in VeriFun.
IJCAR 2006-Workshop Programming Languages meets Program Verification (PLPV 2006), Seattle, USA, 21.08.2006, [Conference or Workshop Item]

Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; Schlosser, Andreas (2006):
A Fast Disprover for VeriFun.
pp. 59-69, IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability, Seattle, USA, 10. - 22.08.2006, [Conference or Workshop Item]

Walther, Christoph ; Aderhold, Markus ; Schlosser, Andreas (2006):
The L 1.0 Primer.
VFR06/01, TU Darmstadt, [Report]

This list was generated on Sat Jul 31 06:13:16 2021 CEST.