Peter H. Schmitt

According to our database1, Peter H. Schmitt authored at least 76 papers between 1981 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Proving JDK's Dual Pivot Quicksort Correct.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Mechanizable First-Order Theory of Ordinals.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

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

First-Order Logic.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

2015
A closer look at the semantic relationship between Datalog and description logics.
Semantic Web, 2015

Axiomatization of Typed First-Order Logic.
Proceedings of the FM 2015: Formal Methods, 2015

2014
The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Efficient Self-composition for Weakest Precondition Calculi.
Proceedings of the FM 2014: Formal Methods, 2014

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

Information Flow in Object-Oriented Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2011
Verification of Information Flow Properties of Java Programs without Approximations.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010
On the Semantic Relationship between Datalog and Description Logics.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Dynamic Frames in Java Dynamic Logic.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009
Improving Non-Progress Cycle Checks.
Proceedings of the Model Checking Software, 2009

2008
Specification Predicates with Explicit Dependency Information.
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

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

Verifying the Mondex Case Study.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

KeY: A Formal Method for Object-Oriented Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Inferring Invariants by Symbolic Execution.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

The KeY system 1.0 (Deduction Component).
Proceedings of the Automated Deduction, 2007

2006
Integrating Object-Oriented Design and Deductive Verification of Software.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Verifying Object-Oriented Programs with KeY: A Tutorial.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005
The KeY tool.
Software and Systems Modeling, 2005

Verification of JCSP Programs.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

Tool Support for OCL and Related Formalisms - Needs and Trends.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

An Improved Rule for While Loops in Deductive Program Verification.
Proceedings of the Formal Methods and Software Engineering, 2005

2004
Preface.
Electr. Notes Theor. Comput. Sci., 2004

OCL and Model Driven Engineering.
Proceedings of the UML Modeling Languages and Applications, 2004

2003
Program Verification Using Change Information.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Proceedings of the Perspectives of System Informatics, 2001

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

2000
Entwurfgesteuerte Erzeugung von OCL-Constraints.
Softwaretechnik-Trends, 2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
Proceedings of the Informatik 2000, 2000

1999
J.UCS Special Issue on Integration of Deduction Systems.
J. UCS, 1999

1998
Serviceteil Deduktion und Anwendungen.
KI, 1998

Integrierter Deduktiver Software-Entwurf.
KI, 1998

Wohin geht die automatische Deduktion?
KI, 1998

Workshop: Abstract State Machines.
Proceedings of the Informatik '98, 1998

1997
A Description of the Tableau Method Using Abstract State Machines.
J. Log. Comput., 1997

A Tableau System for Linear-TIME Temporal Logic.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996
A Tableau Calculus for First-Order Branching Time Logic.
Proceedings of the Practical Reasoning, 1996

1995
Automated Deduction with Shannon Graphs.
J. Log. Comput., 1995

1994
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
J. Autom. Reasoning, 1994

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

The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992
An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell., 1992

Theorie der logischen Programmierung
Springer, ISBN: 3-540-55702-4, 1992

1991
Deductive Aspects of Three-Valued Logic.
Proceedings of the Text Understanding in LILOG, 1991

1990
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras
IWBS Report, 1990

An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report, 1990

Tableau Calculus for Order Sorted Logic
IWBS Report, 1990

A Formal Operational Semantics for Languages of Type Prolog III.
Proceedings of the Computer Science Logic, 4th Workshop, 1990

Modal logics for AI planning.
Proceedings of the First International Conference on Expert Planning Systems, 1990

1989
A Calculus for Order-Sorted Predicate Logic with Sort Literals
IWBS Report, 1989

Tableau Calculus for Order Sorted Logic.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

A Calculus for Order-Sorted Predicate Logic with Sort Literals.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

Perspectives in Multi-Valued Logic.
Proceedings of the Natural Language and Logic, 1989

1988
The Knowledge Representation Language LLILOG
LILOG-Report, 1988

The Knowledge Representation Language LLILOG.
Proceedings of the CSL '88, 1988

1987
Mathematical Logic and Artificial Intelligence
LILOG-Report, 1987

Eine dreiwertige Logik zur Verarbeitung partieller Information
LILOG-Report, 1987

Computational aspects of three-valued logic
LILOG-Report, 1987

Eine dreiwertige Logik zur Verarbeitung partieller Information.
Inform., Forsch. Entwickl., 1987

Vererbungshierarchien und Prädikatenlogik.
Proceedings of the Wissensrepräsentation in Expertensystemen, 1987

A Survey of Rewrite Systems.
Proceedings of the CSL '87, 1987

On the Computational Complexity of Quantified Horn Clauses.
Proceedings of the CSL '87, 1987

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

Computational Aspects of Three-Valued Logic.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984
Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem
Information and Control, May, 1984

1983
Locally pure topological abelian groups: elementary invariants.
Ann. Pure Appl. Logic, 1983

1982
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.
Math. Log. Q., 1982

1981
Undecidable Lt Theories of Topological Abelian Groups.
J. Symb. Log., 1981


  Loading...