TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Programmiermethodik"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: A | K | S | W
Anzahl der Einträge auf dieser Ebene: 30.

A

Aderhold, Markus Axel :
Verification of second-order functional programs.
Technische Universität , Darmstadt
[Dissertation]

Aderhold, Markus Axel :
Verification of Second-Order Functional Programs.
[Online-Edition: urn:nbn:de:tuda-tuprints-18652]
Technische Universität , Darmstadt
[Dissertation], (2009)

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph :
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
In: Information Security: Proceedings of the IX. International Conference, January 2007.
[Konferenz- oder Workshop-Beitrag], (2007)

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)

K

Katz, Shmuel ; Mezini, Mira ; Kienzle, Jörg
Katz, Shmuel ; Mezini, Mira ; Kienzle, Jörg (eds.) :

A Common Case Study for Aspect-Oriented Modeling.
In: Transactions on Aspect-Oriented Software Development VII, 6210
[Artikel], (2010)

S

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, 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 ; 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)

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)

W

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

Walther, Christoph ; Schweitzer, Stephan :
Automated termination analysis for incompletely defined programs.
In: Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005; proceedings / Franz Baader ... (ed.). - Berlin ; Heidelberg [u.a.] : Springer, 2005S. 332-346 (Lecture note . Springer , Berlin ; Heidelberg [u.a.]
[Konferenz- oder Workshop-Beitrag], (2005)

Walther, Christoph ; Schweitzer, Stephan :
Reasoning about incompletely defined programs.
In: Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005; proceedings / Geoff Sutcliffe ... (eds.). - Berlin ; Heidelberg [u.a.] : Springer, 2005, S. 427-442 (Lect . Springer , Berlin ; Heidelberg [u.a.]
[Konferenz- oder Workshop-Beitrag], (2005)

Walther, Christoph ; Schweitzer, Stephan:
Automated termination analysis for imcompletely defined programs.
TUD, FB 20 Programmiermethodik, Darmstadt
[Buch], (2004)

Walther, Christoph ; Schweitzer, Stephan :
Verification in the classroom.
In: Journal of Automated Reasoning, 32 pp. 35-73.
[Artikel], (2004)

Walther, Christoph ; Schweitzer, Stephan:
Reasoning about incompletely defined programs.
TUD, FB 20, Programmiermethodik, Darmstadt
[Buch], (2004)

Walther, Christoph:
Improvements of the estimation calculus.
TUD, FB 20, Programmiermethodik, Darmstadt
[Buch], (2004)

Walther, Christoph :
Concept formation.
In: Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings / Franz Baader (ed.).- Berlin [u.a.] : Springer, 2003.- XII, 502 S.- (Lecture notes in computer science ; 274 . Springer , Berlin [u.a.]
[Konferenz- oder Workshop-Beitrag], (2003)

Walther, Christoph ; Schweitzer, Stephan:
A machine-verified code generator.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2003)

Walther, Christoph ; Schweitzer, Stephan :
About VeriFun.
In: Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings / Franz Baader (ed.).- Berlin [u.a.] : Springer, 2003.- XII, 502 S.- (Lecture notes in computer science ; 274 . Springer , Berlin [u.a.]
[Konferenz- oder Workshop-Beitrag], (2003)

Walther, Christoph ; Schweitzer, Stephan:
VeriFun user guide.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Walther, Christoph ; Schweitzer, Stephan:
A verification of binary search.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Walther, Christoph:
Verification in the classroom.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Walther, Christoph ; Schweitzer, Stephan:
The VeriFun tutorial.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Walther, Christoph :
Programmiermethodik.
In: 30 Jahre Informatik an deutschen Hochschulen. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2002. - S. 100-101. Techn. Univ., Darmstadt
[Buchkapitel], (2002)

Walther, Christoph ; Schweitzer, Stephan:
A machine supported proof of the unique prime factorization theorem.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2002)

Walther, Christoph:
Semantik und Programmverifikation.
Teubner, Stuttgart [u.a.] ISBN 3-519-00336-8
[Buch], (2001)

Walther, Christoph :
Criteria for termination.
In: Intellectics and computational logic: Papers in honor of Wolfgang Bibel. Hrsg.: S. Hölldobler. - Dordrecht (u.a.): Kluwer Acad. Publ., 2000. S. 361-386. Kluwer Acad. Publ., Dordrecht (u.a.)
[Buchkapitel], (2000)

Walther, Christoph ; Kolbe, T. :
Proving theorems by reuse.
In: Artificial intelligence, 116 S. 17-66.
[Artikel], (2000)

Walther, Christoph ; Kolbe, T. :
On terminating lemma speculations.
In: Information and computation, 162 S. 96-116.
[Artikel], (2000)

Walther, Christoph :
Automatisches Beweisen.
In: Einführung in die Künstliche Intelligenz. - 2. Aufl. - Hrsg.: G. Görz. - Bon, Paris: Addison-Wesley, 1995. S. 203-241. Addison-Wesley, Bonn, Paris
[Buchkapitel], (1995)

Diese Liste wurde am Sun Apr 23 06:34:16 2017 CEST generiert.