Peter H. Schmitt

Christoph Scheben, Peter H. Schmitt: Verification of Information Flow Properties of Java Programs without Approximations. FoVeOOS 2011: 232-249

Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß: Dynamic Frames in Java Dynamic Logic. FoVeOOS 2010: 138-152

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt: On the Semantic Relationship between Datalog and Description Logics. RR 2010: 88-102

David Faragó, Peter H. Schmitt: Improving Non-Progress Cycle Checks. SPIN 2009: 50-67

Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384

Peter H. Schmitt, Benjamin Weiß: Inferring Invariants by Symbolic Execution. VERIFY 2007

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43

Peter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)

Bernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329

Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS Satellite Events 2005: 1-9

Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. CPA 2005: 203-218

Peter H. Schmitt: Preface. Electr. Notes Theor. Comput. Sci. 102: 1-2 (2004)

Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75

Bernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330

Peter H. Schmitt: Iterate Logic. Proof Theory in Computer Science 2001: 191-201

Thomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3) (2000)

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3) (1999)

Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)

Peter H. Schmitt: Serviceteil Deduktion und Anwendungen. KI 12(4): 64 (1998)

Uwe Glässer, Peter H. Schmitt: Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382

Egon Börger, Peter H. Schmitt: A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7(5): 659-681 (1997)

Peter H. Schmitt, Jean Goubault-Larrecq: A Tableau System for Linear-TIME Temporal Logic. TACAS 1997: 130-144

Wolfgang May, Peter H. Schmitt: A Tableau Calculus for First-Order Branching Time Logic. FAPR 1996: 399-413

Joachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)

Reiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reasoning 13(2): 211-221 (1994)

Jürgen Dix, Peter H. Schmitt: Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3(1): 53-69 (1993)

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium 1993: 108-119

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (Eds.): Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Lecture Notes in Computer Science 659, Springer 1993, isbn 3-540-56433-0

Peter H. Schmitt: Theorie der logischen Programmierung. Springer 1992, isbn 3-540-55702-4

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)

Peter H. Schmitt: Deductive Aspects of Three-Valued Logic. Text Understanding in LILOG 1991: 394-401

Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt (Eds.): Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Lecture Notes in Computer Science 543, Springer 1991, isbn 3-540-54564-6

Jürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162

Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for Languages of Type Prolog III. CSL 1990: 67-79

Peter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. IWBS Report 108 (1990)

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. IWBS Report 113 (1990)

Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras. IWBS Report 144 (1990)

Peter H. Schmitt: Perspectives in Multi-Valued Logic. Natural Language and Logic 1989: 206-220

Peter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence 1989: 49-60

Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence 1989: 61-72

Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. IWBS Report 95 (1989)

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. CSL 1988: 14-51

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. LILOG-Report 41 (1988)

Peter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information. Inform., Forsch. Entwickl. 2(4): 182-190 (1987)

Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt: On the Computational Complexity of Quantified Horn Clauses. CSL 1987: 129-137

Peter H. Schmitt: A Survey of Rewrite Systems. CSL 1987: 235-262

Peter H. Schmitt: Vererbungshierarchien und Prädikatenlogik. Wissensrepräsentation in Expertensystemen 1987: 79-97

Peter H. Schmitt: Mathematical Logic and Artificial Intelligence. LILOG-Report 6 (1987)

Peter H. Schmitt: Computational aspects of three-valued logic. LILOG-Report 26 (1987)

Peter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information. LILOG-Report 27 (1987)

Peter H. Schmitt: Computational Aspects of Three-Valued Logic. CADE 1986: 190-198

Otthein Herzog, Claus-Rainer Rollinger, Peter H. Schmitt, Petra Steffens, Rudi Studer, Birgit Wesche, Brigitte Bartsch-Spörl, F. Günthner, Christopher Habel, Siegfried Kanngießer, Christian Rohrer: LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung. LILOG-Report 1 (1986)

Peter H. Schmitt: Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem. Information and Control 61(2): 147-158 (1984)

Gregory L. Cherlin, Peter H. Schmitt: Undecidable Lt Theories of Topological Abelian Groups. J. Symb. Log. 46(4): 761-772 (1981)