Peter H. Schmitt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
11
Active years
1986–2017
Best venue rank
A
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TABLEAUX | A Mechanizable First-Order Theory of Ordinals. | Peter H. Schmitt |
| 2015 | FM | Axiomatization of Typed First-Order Logic. | Peter H. Schmitt, Mattias Ulbrich |
| 2014 | FM | Efficient Self-composition for Weakest Precondition Calculi. | Christoph Scheben, Peter H. Schmitt |
| 2013 | LOPSTR | Information Flow in Object-Oriented Software. | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2008 | CADE | Specification Predicates with Explicit Dependency Information. | Richard Bubel, Reiner Hhnle, Peter H. Schmitt |
| 2007 | CADE | The KeY system 1.0 (Deduction Component). | Bernhard Beckert, Martin Giese, Reiner Hhnle, Vladimir Klebanov, Philipp Rmmer, Steffen Schlager, Peter H. Schmitt |
| 2007 | CADE | Inferring Invariants by Symbolic Execution. | Peter H. Schmitt, Benjamin Wei |
| 2007 | SEFM | Verifying the Mondex Case Study. | Peter H. Schmitt, Isabel Tonin |
| 2006 | SEFM | Integrating Object-Oriented Design and Deductive Verification of Software. | Bernhard Beckert, Reiner Hhnle, Peter H. Schmitt |
| 2005 | ICFEM | An Improved Rule for While Loops in Deductive Program Verification. | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
| 2003 | SEFM | Program Verification Using Change Information. | Bernhard Beckert, Peter H. Schmitt |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2000 | GI | Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. | Thomas Baar, Reiner Hhnle, Theo Sattler, Peter H. Schmitt |
| 2000 | JELIA | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |
| 1998 | GI | Workshop: Abstract State Machines. | Uwe Glsser, Peter H. Schmitt |
| 1997 | TACAS | A Tableau System for Linear-TIME Temporal Logic. | Peter H. Schmitt, Jean Goubault-Larrecq |
| 1990 | CSL | A Formal Operational Semantics for Languages of Type Prolog III. | Egon Brger, Peter H. Schmitt |
| 1988 | CSL | The Knowledge Representation Language L | Christoph Beierle, Jochen Drre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
| 1987 | CSL | On the Computational Complexity of Quantified Horn Clauses. | Marek Karpinski, Hans Kleine Bning, Peter H. Schmitt |
| 1987 | CSL | A Survey of Rewrite Systems. | Peter H. Schmitt |
| 1986 | CADE | Computational Aspects of Three-Valued Logic. | Peter H. Schmitt |