Peter H. Schmitt

86 papers A 3B 12C 2Journal 27Unranked 29
YearRankTypeTitle / Venue / Authors
2020 — ch.
A Short History of KeY.
20 Years of KeY
Peter H. Schmitt
2020 — conf
Two First-Order Theories of Ordinals.
Fields of Logic and Computation III
Peter H. Schmitt
2017 B conf
A Mechanizable First-Order Theory of Ordinals.
TABLEAUX
Peter H. Schmitt
2017 — conf
Proving JDK's Dual Pivot Quicksort Correct.
VSTTE
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
2016 — book
Deductive Software Verification - The KeY Book - From Theory to Practice
Deductive Software Verification
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016 — ch.
First-Order Logic.
Deductive Software Verification
Peter H. Schmitt
2016 — ch.
Formal Verification with KeY: A Tutorial.
Deductive Software Verification
Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt
2016 — ch.
Modular Specification and Verification.
Deductive Software Verification
Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
2016 — ch.
Theories.
Deductive Software Verification
Peter H. Schmitt, Richard Bubel
2015 J jnl
A closer look at the semantic relationship between Datalog and description logics.
Semantic Web
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2015 B conf
Axiomatization of Typed First-Order Logic.
FM
Peter H. Schmitt, Mattias Ulbrich
2014 B conf
Efficient Self-composition for Weakest Precondition Calculi.
FM
Christoph Scheben, Peter H. Schmitt
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
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
2013 C conf
Information Flow in Object-Oriented Software.
LOPSTR
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2013 J jnl
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).
NII Shonan Meet. Rep.
Gary T. Leavens, Peter H. Schmitt, Jooyong Yi
2011 — conf
Verification of Information Flow Properties of Java Programs without Approximations.
FoVeOOS
Christoph Scheben, Peter H. Schmitt
2010 — conf
Dynamic Frames in Java Dynamic Logic.
FoVeOOS
Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
2010 — conf
On the Semantic Relationship between Datalog and Description Logics.
RR
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2009 — conf
Improving Non-Progress Cycle Checks.
SPIN
David Faragó, Peter H. Schmitt
2008 — conf
Specification Predicates with Explicit Dependency Information.
VERIFY
Richard Bubel, Reiner Hähnle, Peter H. Schmitt
2007 — ch.
Formal Specification.
The KeY Approach
Andreas Roth, Peter H. Schmitt
2007 — conf
Inferring Invariants by Symbolic Execution.
VERIFY
Peter H. Schmitt, Benjamin Weiß
2007 — conf
KeY: A Formal Method for Object-Oriented Systems.
FMOODS
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007 A conf
The KeY system 1.0 (Deduction Component).
CADE
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
2007 — book
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007 B conf
Verifying the Mondex Case Study.
SEFM
Peter H. Schmitt, Isabel Tonin
2006 — conf
A case study of specification and verification using JML in an avionics application.
JTRES
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
2006 B conf
Integrating Object-Oriented Design and Deductive Verification of Software.
SEFM
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2006 — conf
Provably correct loops bounds for realtime Java programs.
JTRES
James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin
2006 — conf
Verifying Object-Oriented Programs with KeY: A Tutorial.
FMCO
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
2005 C conf
An Improved Rule for While Loops in Deductive Program Verification.
ICFEM
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
2005 J jnl
The KeY tool.
Softw. Syst. Model.
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2005 — conf
Tool Support for OCL and Related Formalisms - Needs and Trends.
MoDELS (Satellite Events)
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2005 — conf
Verification of JCSP Programs.
CPA
Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
2004 — conf
OCL and Model Driven Engineering.
UML Satellite Activities
Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2004 — ed.
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, OCL 2.0, San Francisco, CA, USA, October 21, 2003
OCL 2.0 @UML
Peter H. Schmitt
2003 — conf
Preface.
OCL 2.0 @ UML
Peter H. Schmitt
2003 B conf
Program Verification Using Change Information.
SEFM
Bernhard Beckert, Peter H. Schmitt
2002 B conf
The KeY System: Integrating Object-Oriented Design and Formal Methods.
FASE
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2001 — conf
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Ershov Memorial Conference
Thomas Baar, Bernhard Beckert, Peter H. Schmitt
2001 — conf
Iterate Logic.
Proof Theory in Computer Science
Peter H. Schmitt
2000 J jnl
Entwurfgesteuerte Erzeugung von OCL-Constraints.
Softwaretechnik-Trends
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000 — conf
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
GI Jahrestagung
Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000 B conf
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
JELIA
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999 J jnl
J.UCS Special Issue on Integration of Deduction Systems.
J. Univers. Comput. Sci.
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
1998 — ed.
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings
Workshop on Abstract State Machines
Uwe Glässer, Peter H. Schmitt
1998 J jnl
Integrierter Deduktiver Software-Entwurf.
Künstliche Intell.
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1998 J jnl
Serviceteil Deduktion und Anwendungen.
Künstliche Intell.
Peter H. Schmitt
1998 J jnl
Wohin geht die automatische Deduktion?
Künstliche Intell.
Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
1998 — conf
Workshop: Abstract State Machines.
GI Jahrestagung
Uwe Glässer, Peter H. Schmitt
1997 J jnl
A Description of the Tableau Method Using Abstract State Machines.
J. Log. Comput.
Egon Börger, Peter H. Schmitt
1997 A conf
A Tableau System for Linear-TIME Temporal Logic.
TACAS
Peter H. Schmitt, Jean Goubault-Larrecq
1996 — conf
A Tableau Calculus for First-Order Branching Time Logic.
FAPR
Wolfgang May, Peter H. Schmitt
1995 J jnl
Automated Deduction with Shannon Graphs.
J. Log. Comput.
Joachim Posegga, Peter H. Schmitt
1994 J jnl
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
J. Autom. Reason.
Reiner Hähnle, Peter H. Schmitt
1993 J jnl
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig?
Kognitionswissenschaft
Jürgen Dix, Peter H. Schmitt
1993 — ed.
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings
Nonmonotonic and Inductive Logic
Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
1993 — conf
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Kurt Gödel Colloquium
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
1992 J jnl
An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell.
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1992 — book
Theorie der logischen Programmierung
Peter H. Schmitt
1991 — conf
Deductive Aspects of Three-Valued Logic.
Text Understanding in LILOG
Peter H. Schmitt
1991 — ed.
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings
Nonmonotonic and Inductive Logic
Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt
1990 B conf
A Formal Operational Semantics for Languages of Type Prolog III.
CSL
Egon Börger, Peter H. Schmitt
1990 J jnl
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras
IWBS Report
Egon Börger, Peter H. Schmitt
1990 J jnl
An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1990 — conf
Modal logics for AI planning.
Expert Planning Systems
Jürgen Dix, Joachim Posegga, Peter H. Schmitt
1990 J jnl
Tableau Calculus for Order Sorted Logic
IWBS Report
Peter H. Schmitt, Wolfgang Wernecke
1989 J jnl
A Calculus for Order-Sorted Predicate Logic with Sort Literals
IWBS Report
Ulrich Hedtstück, Peter H. Schmitt
1989 — conf
A Calculus for Order-Sorted Predicate Logic with Sort Literals.
Sorts and Types in Artificial Intelligence
Ulrich Hedtstück, Peter H. Schmitt
1989 — conf
Perspectives in Multi-Valued Logic.
Natural Language and Logic
Peter H. Schmitt
1989 — conf
Tableau Calculus for Order Sorted Logic.
Sorts and Types in Artificial Intelligence
Peter H. Schmitt, Wolfgang Wernecke
1988 B conf
The Knowledge Representation Language L
CSL
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1988 J jnl
The Knowledge Representation Language L
LILOG-Report
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1987 B conf
A Survey of Rewrite Systems.
CSL
Peter H. Schmitt
1987 J jnl
Computational aspects of three-valued logic
LILOG-Report
Peter H. Schmitt
1987 J jnl
Eine dreiwertige Logik zur Verarbeitung partieller Information
LILOG-Report
Peter H. Schmitt
1987 J jnl
Eine dreiwertige Logik zur Verarbeitung partieller Information.
Inform. Forsch. Entwickl.
Peter H. Schmitt
1987 J jnl
Mathematical Logic and Artificial Intelligence
LILOG-Report
Peter H. Schmitt
1987 B conf
On the Computational Complexity of Quantified Horn Clauses.
CSL
Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt
1987 — conf
Vererbungshierarchien und Prädikatenlogik.
Wissensrepräsentation in Expertensystemen
Peter H. Schmitt
1986 A conf
Computational Aspects of Three-Valued Logic.
CADE
Peter H. Schmitt
1986 J jnl
LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung
LILOG-Report
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
1984 J jnl
Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem
Inf. Control.
Peter H. Schmitt
1983 J jnl
Locally pure topological abelian groups: elementary invariants.
Ann. Pure Appl. Log.
Gregory L. Cherlin, Peter H. Schmitt
1982 J jnl
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.
Math. Log. Q.
Peter H. Schmitt
1981 J jnl
Undecidable Lt Theories of Topological Abelian Groups.
J. Symb. Log.
Gregory L. Cherlin, Peter H. Schmitt