TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 10.

Aderhold, Markus
Esparza, Javier ; 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
[Konferenz- oder Workshop-Beitrag], (2010)

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

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; 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.
[Buchkapitel], (2007)

Schlosser, A. ; Walther, C. ; Gonder, M. ; Aderhold, Markus :
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science (ENTCS), 174 pp. 61-78.
[Artikel], (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.]
[Konferenz- oder Workshop-Beitrag], (2007)

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus :
Axiomatic Specifications in VeriFun.
In: Third Verification Workshop <Seattle (WA), USA,2006> .
[Konferenz- oder Workshop-Beitrag], (2006)

Schlosser, Andreas ; Walther, Christoph ; 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. .
[Konferenz- oder Workshop-Beitrag], (2006)

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

Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; 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.
[Konferenz- oder Workshop-Beitrag], (2006)

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

Diese Liste wurde am Sat Apr 29 07:35:21 2017 CEST generiert.