Peter H. Schmitt

According to our database, Peter H. Schmitt authored at least 74 papers between 1981 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

A Short History of KeY.

Peter H. Schmitt

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Two First-Order Theories of Ordinals.

Peter H. Schmitt

Proceedings of the Fields of Logic and Computation III, 2020

2017

Proving JDK's Dual Pivot Quicksort Correct.

Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Mechanizable First-Order Theory of Ordinals.

Peter H. Schmitt

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

Theories.

Peter H. Schmitt, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

First-Order Logic.

Peter H. Schmitt

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.

Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.

Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt

Proceedings of the Deductive Software Verification - The KeY Book, 2016

2015

A closer look at the semantic relationship between Datalog and description logics.

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt

Semantic Web, 2015

Axiomatization of Typed First-Order Logic.

Peter H. Schmitt, Mattias Ulbrich

Proceedings of the FM 2015: Formal Methods, 2015

2014

The KeY Platform for Verification and Analysis of Java Programs.

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

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Efficient Self-composition for Weakest Precondition Calculi.

Christoph Scheben, Peter H. Schmitt

Proceedings of the FM 2014: Formal Methods, 2014

2013

The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).

Gary T. Leavens, Peter H. Schmitt, Jooyong Yi

NII Shonan Meet. Rep., 2013

Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2011

Verification of Information Flow Properties of Java Programs without Approximations.

Christoph Scheben, Peter H. Schmitt

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

On the Semantic Relationship between Datalog and Description Logics.

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Dynamic Frames in Java Dynamic Logic.

Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009

Improving Non-Progress Cycle Checks.

David Faragó, Peter H. Schmitt

Proceedings of the Model Checking Software, 2009

2008

Specification Predicates with Explicit Dependency Information.

Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

Formal Specification.

Andreas Roth, Peter H. Schmitt

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Verifying the Mondex Case Study.

Peter H. Schmitt, Isabel Tonin

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

KeY: A Formal Method for Object-Oriented Systems.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Inferring Invariants by Symbolic Execution.

Peter H. Schmitt, Benjamin Weiß

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the Automated Deduction, 2007

2006

Integrating Object-Oriented Design and Deductive Verification of Software.

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A case study of specification and verification using JML in an avionics application.

Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Provably correct loops bounds for realtime Java programs.

James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Verifying Object-Oriented Programs with KeY: A Tutorial.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Verification of JCSP Programs.

Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the 28th Communicating Process Architectures Conference, 2005

Tool Support for OCL and Related Formalisms - Needs and Trends.

Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

An Improved Rule for While Loops in Deductive Program Verification.

Bernhard Beckert, Steffen Schlager, Peter H. Schmitt

Proceedings of the Formal Methods and Software Engineering, 2005

2004

OCL and Model Driven Engineering.

Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer

Proceedings of the UML Modeling Languages and Applications, 2004

2003

Preface.

Peter H. Schmitt

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

Program Verification Using Change Information.

Bernhard Beckert, Peter H. Schmitt

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

The KeY System: Integrating Object-Oriented Design and Formal Methods.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

An Extension of Dynamic Logic for Modelling OCL's @pre Operator.

Thomas Baar, Bernhard Beckert, Peter H. Schmitt

Proceedings of the Perspectives of System Informatics, 2001

Iterate Logic.

Peter H. Schmitt

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

2000

Entwurfgesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Softwaretechnik-Trends, 2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Proceedings of the Informatik 2000, 2000

1999

J.UCS Special Issue on Integration of Deduction Systems.

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif

J. Univers. Comput. Sci., 1999

1998

Serviceteil Deduktion und Anwendungen.

Peter H. Schmitt

Künstliche Intell., 1998

Integrierter Deduktiver Software-Entwurf.

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Künstliche Intell., 1998

Wohin geht die automatische Deduktion?

Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt

Künstliche Intell., 1998

Workshop: Abstract State Machines.

Uwe Glässer, Peter H. Schmitt

Proceedings of the Informatik '98, 1998

1997

A Description of the Tableau Method Using Abstract State Machines.

Egon Börger, Peter H. Schmitt

J. Log. Comput., 1997

A Tableau System for Linear-TIME Temporal Logic.

Peter H. Schmitt, Jean Goubault-Larrecq

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996

A Tableau Calculus for First-Order Branching Time Logic.

Wolfgang May, Peter H. Schmitt

Proceedings of the Practical Reasoning, 1996

1995

Automated Deduction with Shannon Graphs.

Joachim Posegga, Peter H. Schmitt

J. Log. Comput., 1995

1994

The Liberalized delta-Rule in Free Variable Semantic Tableaux.

Reiner Hähnle, Peter H. Schmitt

J. Autom. Reason., 1994

1993

Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig?

Jürgen Dix, Peter H. Schmitt

Kognitionswissenschaft, 1993

The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

Theorie der logischen Programmierung

Peter H. Schmitt

Springer, ISBN: 3-540-55702-4, 1992

1991

Deductive Aspects of Three-Valued Logic.

Peter H. Schmitt

Proceedings of the Text Understanding in LILOG, 1991

1990

A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras

Egon Börger, Peter H. Schmitt

IWBS Report, 1990

An Order-Sorted Logic for Knowledge Representation Systems

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann

IWBS Report, 1990

Tableau Calculus for Order Sorted Logic

Peter H. Schmitt, Wolfgang Wernecke

IWBS Report, 1990

A Formal Operational Semantics for Languages of Type Prolog III.

Egon Börger, Peter H. Schmitt

Proceedings of the Computer Science Logic, 4th Workshop, 1990

Modal logics for AI planning.

Jürgen Dix, Joachim Posegga, Peter H. Schmitt

Proceedings of the First International Conference on Expert Planning Systems, 1990

1989

A Calculus for Order-Sorted Predicate Logic with Sort Literals

Ulrich Hedtstück, Peter H. Schmitt

IWBS Report, 1989

Perspectives in Multi-Valued Logic.

Peter H. Schmitt

Proceedings of the Natural Language and Logic, 1989

1988

The Knowledge Representation Language L_LILOG

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer

LILOG-Report, 1988

1987

Mathematical Logic and Artificial Intelligence

Peter H. Schmitt

LILOG-Report, 1987

Eine dreiwertige Logik zur Verarbeitung partieller Information

Peter H. Schmitt

LILOG-Report, 1987

Computational aspects of three-valued logic

Peter H. Schmitt

LILOG-Report, 1987

Vererbungshierarchien und Prädikatenlogik.

Peter H. Schmitt

Proceedings of the Wissensrepräsentation in Expertensystemen, 1987

A Survey of Rewrite Systems.

Peter H. Schmitt

Proceedings of the CSL '87, 1987

On the Computational Complexity of Quantified Horn Clauses.

Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt

Proceedings of the CSL '87, 1987

1986

LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung

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-Report, 1986

1984

Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem

Peter H. Schmitt

Inf. Control., May, 1984

1983

Locally pure topological abelian groups: elementary invariants.

Gregory L. Cherlin, Peter H. Schmitt

Ann. Pure Appl. Log., 1983

1982

The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.

Peter H. Schmitt

Math. Log. Q., 1982

1981

Undecidable Lt Theories of Topological Abelian Groups.

Gregory L. Cherlin, Peter H. Schmitt

J. Symb. Log., 1981