Peter H. Schmitt

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 3

Top Topics

First Order Logic

Theory Revision

Top Venues

NII Shonan Meet. Rep.

Publications

Peter H. Schmitt
Two First-Order Theories of Ordinals. Fields of Logic and Computation III (2020)
Peter H. Schmitt
A Mechanizable First-Order Theory of Ordinals. TABLEAUX (2017)
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
Proving JDK's Dual Pivot Quicksort Correct. VSTTE (2017)
Peter H. Schmitt, Mattias Ulbrich
Axiomatization of Typed First-Order Logic. FM (2015)
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6 (1) (2015)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Christoph Scheben, Peter H. Schmitt
Efficient Self-composition for Weakest Precondition Calculi. FM (2014)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Gary T. Leavens, Peter H. Schmitt, Jooyong Yi
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3). NII Shonan Meet. Rep. 2013 (2013)
Christoph Scheben, Peter H. Schmitt
Verification of Information Flow Properties of Java Programs without Approximations. FoVeOOS (2011)
Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
Dynamic Frames in Java Dynamic Logic. FoVeOOS (2010)
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics. RR (2010)
David Faragó, Peter H. Schmitt
Improving Non-Progress Cycle Checks. SPIN (2009)
Richard Bubel, Reiner Hähnle, Peter H. Schmitt
Specification Predicates with Explicit Dependency Information. VERIFY (2008)
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
KeY: A Formal Method for Object-Oriented Systems. FMOODS (2007)
Peter H. Schmitt, Isabel Tonin
Verifying the Mondex Case Study. SEFM (2007)
Peter H. Schmitt, Benjamin Weiß
Inferring Invariants by Symbolic Execution. VERIFY (2007)
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)
James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin
Provably correct loops bounds for realtime Java programs. JTRES (2006)
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO (2006)
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Integrating Object-Oriented Design and Deductive Verification of Software. SEFM (2006)
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
A case study of specification and verification using JML in an avionics application. JTRES (2006)
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
An Improved Rule for While Loops in Deductive Program Verification. ICFEM (2005)
Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
Verification of JCSP Programs. CPA (2005)
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)
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. Softw. Syst. Model. 4 (1) (2005)
Peter H. Schmitt
Preface. Electron. Notes Theor. Comput. Sci. 102 (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)
Bernhard Beckert, Peter H. Schmitt
Program Verification Using Change Information. SEFM (2003)
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)
Peter H. Schmitt
Iterate Logic. Proof Theory in Computer Science (2001)
Thomas Baar, Bernhard Beckert, Peter H. Schmitt
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference (2001)
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)
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. GI Jahrestagung (2000)
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20 (3) (2000)
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. 5 (3) (1999)
Uwe Glässer, Peter H. Schmitt
Workshop: Abstract State Machines. GI Jahrestagung (1998)
Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
Wohin geht die automatische Deduktion? Künstliche Intell. 12 (4) (1998)
Peter H. Schmitt
Serviceteil Deduktion und Anwendungen. Künstliche Intell. 12 (4) (1998)
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
Integrierter Deduktiver Software-Entwurf. Künstliche Intell. 12 (4) (1998)
Peter H. Schmitt, Jean Goubault-Larrecq
A Tableau System for Linear-TIME Temporal Logic. TACAS (1997)
Egon Börger, Peter H. Schmitt
A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7 (5) (1997)
Wolfgang May, Peter H. Schmitt
A Tableau Calculus for First-Order Branching Time Logic. FAPR (1996)
Joachim Posegga, Peter H. Schmitt
Automated Deduction with Shannon Graphs. J. Log. Comput. 5 (6) (1995)
Reiner Hähnle, Peter H. Schmitt
The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reason. 13 (2) (1994)
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium (1993)
Jürgen Dix, Peter H. Schmitt
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3 (1) (1993)
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) (1992)
Peter H. Schmitt
Deductive Aspects of Three-Valued Logic. Text Understanding in LILOG (1991)
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)
Jürgen Dix, Joachim Posegga, Peter H. Schmitt
Modal logics for AI planning. Expert Planning Systems (1990)
Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic IWBS Report 108 (1990)
Egon Börger, Peter H. Schmitt
A Formal Operational Semantics for Languages of Type Prolog III. CSL (1990)
Ulrich Hedtstück, Peter H. Schmitt
A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence (1989)
Ulrich Hedtstück, Peter H. Schmitt
A Calculus for Order-Sorted Predicate Logic with Sort Literals IWBS Report 95 (1989)
Peter H. Schmitt
Perspectives in Multi-Valued Logic. Natural Language and Logic (1989)
Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence (1989)
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
. CSL (1988)
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
LILOG-Report 41 (1988)
Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt
On the Computational Complexity of Quantified Horn Clauses. CSL (1987)
Peter H. Schmitt
Vererbungshierarchien und Prädikatenlogik. Wissensrepräsentation in Expertensystemen (1987)
Peter H. Schmitt
Mathematical Logic and Artificial Intelligence LILOG-Report 6 (1987)
Peter H. Schmitt
A Survey of Rewrite Systems. CSL (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
Eine dreiwertige Logik zur Verarbeitung partieller Information. Inform. Forsch. Entwickl. 2 (4) (1987)
Peter H. Schmitt
Computational Aspects of Three-Valued Logic. CADE (1986)
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 Inf. Control. 61 (2) (1984)
Gregory L. Cherlin, Peter H. Schmitt
Locally pure topological abelian groups: elementary invariants. Ann. Pure Appl. Log. 24 (1) (1983)
Peter H. Schmitt
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup. Math. Log. Q. 28 (22-24) (1982)
Gregory L. Cherlin, Peter H. Schmitt
Undecidable Lt Theories of Topological Abelian Groups. J. Symb. Log. 46 (4) (1981)