Home | english | Impressum | Sitemap | KIT
PhotoPHS

Prof. Dr. Peter H. Schmitt

Forschungsgruppenleiter
Raum: 310
Tel.: +49 721 608 - 44000 / - 43919 (Sekr.)
Fax: +49 721 608 - 44211
pschmittJnb1∂ira uka de
Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe
Veröffentlichungen
Titel Autor(en) Quelle

International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France. LNCS 6528, Springer, 2011

Logics for System Analysis (LfSA 2010), Edinburgh, UK, 2010

Embedded Real Time Software and Systems (ERTS² 2010), Toulouse, France, 2010

Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009

5th International Verification Workshop (VERIFY'08),
Workshop at IJCAR 2008, Sydney, Australia, 2008

IEEE/IFIP WONS 2008,
The 5th International Conference on Wireless On-demand Network Systems and Services,
Garmisch-Partenkirchen, Germany

5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), London, UK. IEEE Press, 2007

21st International Conference on Automated Deduction (CADE-21), Bremen, Germany. LNCS 4603, Springer, 2007

4th International Verification Workshop (VERIFY'07), Workshop at CADE-21, Bremen, Germany, 2007

GI/ITG KuVS Fachgespräch Aachen 2007 - Energiebewusste Systeme und Methoden

Invited Paper, 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07), Paphos, Cyprus. LNCS 4468, Springer, 2007

LNCS 4334, Springer, 2007

Kluwer Academic Publishers, 1998

Vol. I   Foundation - Calculi and Methods, Applied Logic Series 8
Vol. II  Systems and Implementations, Applied Logic Series 9
Vol. III Applications, Applied Logic Series 10

5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Amsterdam, The Netherlands. LNCS 4709, Springer, 2007



Ältere Veröffentlichungen

2002

  • Translating the Object Constraint Language into First-order Predicate Logic.
    Bernhard Beckert, Uwe Keller, and Peter H. Schmitt
    Proceedings of VERIFY, Workshop at Federated Logic Conferences (FLoC),
    Copenhagen, Denmark, 2002.
    BibTeX   PostScript

2001

  • An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
    Thomas Baar, Bernhard Beckert and Peter H. Schmitt
    Proceedings, Fourth Andrei Ershov International Conference,
    Perspectives of System Informatics, Novosibirsk, Russia
    (BibTeX   PostScript)
  • Iterate Logic.
    Peter H. Schmitt
    Proof Theory in Computer Science, Proceedings of the International Seminar,
    Dagstuhl Castle, October 2001
    (BibTeX   PostScript)
  • A Model Theoretic Semantics of OCL
    Peter H. Schmitt Proceedings,
    IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development,
    Siena, Italy, 2001.
    (BibTeX   PostScript   Proceedings)

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
    Proc. 8th European Workshop on Logics in AI (JELIA)
    (BibTeX   PostScript)
  • The KeY Approach: Integrating Object Oriented Design and Formal Verification.
    W. Ahrendt, Th. Baar, B. Beckert, M. Giese, E. Habermal, R. Hähnle, W. Menzel and P. H. Schmitt Tech.
    Report University of Karlsruhe
    (BibTeX   PostScript)
  • Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
    Thomas Baar, Theo Sattler, Reiner Hähnle and Peter H. Schmitt
    Proceedings, GI-Tagung Softwaretechnik 2000, Berlin, Germany
    (BibTeX   PostScript)

1999

  • Special Issue on Integration of Deduction Systems.
    Reiner Hähnle, Wolfram Menzel, Wolfgang Reif and Peter H. Schmitt (eds)
    Journal of Universal Computer Science
    (BibTeX   JUCS)
  • Implementing Semantic Tableaux.
    Joachim Posegga and Peter H. Schmitt
    In: Handbook of Tableau Methods
    (BibTeX   Kluwer)

1998

  • Automated Deduction - A Basis for Applications.
    Vol. I. Foundations - Calculi and Methods.
    Vol II. Systems and Implementation Techniques.
    Vol. III. Applications.
    Wolfgang Bibel and Peter H. Schmitt (eds.)
    Kluwer Academic Publishers
    (BibTeX   Kluwer )
  • Integration of Automated and Interactive Theorem Proving.
    W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W. Reif, G. Schellhorn and P. H. Schmitt
    In: Automated Deduction -- A Basis for Applications
    (BibTeX   Kluwer )
  • Integration of Deductive Systems.
    N. S. Bjørner, R. Hähnle, W. Menzel, W. Reif and P. H. Schmitt (eds.)
    Workshop at the 15th International Conference on Automated Deduction
    (BibTeX   postscript file )
  • Proceedings of the fifth International Workshop on Abstract State Machines.
    Uwe Glässer and Peter H. Schmitt
    Magdeburg, Germany, September
    (BibTeX   postscript file )

1997

  • A Tableau System for Linear-TIME Temporal Logic.
    Jean Goubault-Larrecq and Peter H. Schmitt
    In: Proceedings of TACAS'97
    (BibTeX   postscript file )
  • A Description of the Tableau Method Using Abstract State Machines.
    Egon Börger and Peter H.Schmitt
    J. Logic and Computation
    (BibTeX   postscript file )
  • Multiple-valued Logic. Peter H. Schmitt, Daniele Mundici and Lotfi Zadeh (Eds.)
    Dagstuhl-Seminar-Report
    (BibTeX   postscript file   Program and participants )
  • Visualizations for Proof Presentation in Theoretical Computer Science Education.
    Christian Pape and Peter H. Schmitt
    Proc. Intern. Conf. on Computers in Education, Malaysia
    (BibTeX )

1996

  • A Tableau Calculus For First-Order Branching Time Logic.
    W. May and P. H. Schmitt
    In: Proc. Intl. Conf. on Formal and Applied Practical Reasoning, FAPR'96
    (BibTeX )
  • Visual Reasoning. Gerard Allwein,
    Joachim Posegga and Peter H. Schmitt (Eds.)
    Workshop at CADE 13
    (BibTeX )

1995

  • Logik in der Informatik. 3. Jahrestagung der GI-Fachgruppe.
    Peter H. Schmitt (ed.)
    Tech. Report
    (BibTeX )
  • Special issue on: Non-classical logics and computer science.
    Victor Marek and Peter H. Schmitt (eds.)
    Annals of Mathematics and Artificial Intelligence
    (BibTeX )
  • Automated Deduction with Shannon Graphs.
    Joachim Posegga and Peter H. Schmitt
    J.Logic and Computation
    (BibTeX )

1994

  • The liberalized delta-rule in free variable semantic tableaux.
    Reiner Hähnle and Peter H. Schmitt
    Journal of Automated Reasoning
    (BibTeX )
  • Proving WAM Compiler Correctness. Peter H. Schmitt
    Technical Report, Universität Karlsruhe
    (BibTeX   postscript file )

1993

  • Nonmonotonic and Inductive Logic, 2. Internat. Workshop, Schloß Reinhardsbrunn.
    G. Brewka, K.-P. Jantke and P. H. Schmitt (eds.)
    Springer Verlag Lecture Notes in AI
    (BibTeX )
  • The even more liberalized delta-rule in free variable semantic tableaux.
    Bernhard Beckert, Reiner Hähnle and Peter H. Schmitt
    In: Proceedings of the third Kurt Gödel Colloquium KGC'93, Brno, Czech Republic
    (BibTeX )
  • Eigenschaften des rationalen Abschlusses.
    Jürgen Dix and Peter H. Schmitt
    Kognitionswissenschaft
    (BibTeX )

1992

  • Theorie der logischen Programmierung.
    Peter H. Schmitt
    Springer Verlag
    (BibTeX )
  • Review of: Nichtklassische Logik, eine Einführung.
    Peter H. Schmitt
    Journal of Symbolic Logic
    (BibTeX )
  • An order-sorted logic for knowledge representation.
    Ch.Beierle, U. Hedstück, U. Pletat, P. H. Schmitt and J. Siekmann
    Journal of AI
    (BibTeX )

1991

  • Deductive aspects of three-valued logic.
    Peter H. Schmitt
    In: Text Understanding in LILOG, Final Report on the IBM Germany LILOG-Project
    (BibTeX )
  • Nonmonotonic and Inductive Logic, First Internat. Workshop, Karlsruhe.
    K.-P. Jantke, P. H. Schmitt and J. Dix (eds.)
    Springer Lecture Notes in AI
    (BibTeX )

1990

  • A calculus for order-sorted predicate logic with sort literals.
    Peter H. Schmitt and U. Hedtstück
    In: Sorts and Types in Artificial Intelligence, Proc. Workshop, Ehringerfeld
    (BibTeX )
  • A formal operational semantics for Prolog III using dynamic algebras.
    Egon Börger and Peter H. Schmitt
    In: Proc.Computer Science Logic, Heidelberg
    (BibTeX )
  • Tableau calculus for order-sorted logic.
    Wernecke Wolfgang and Peter H. Schmitt
    In: Sorts and Types in Artificial Intelligence, Proc. Workshop, Ehringerfeld
    (BibTeX)
  • Modal logics for AI planning.
    Jürgen Dix, Joachim Posegga and Peter H. Schmitt
    In: Proc. of the First Internat. Conf. on Expert Planning
    (BibTeX )

1989

  • Perspectives in multi-valued logic.
    Peter H. Schmitt
    Proc. Internat. Scientific Symposium on Natural Language and Logic, Hamburg
    (BibTeX )

1988

  • The knowledge representation language LLILOG.
    J. Dörre, U. Pletat, C.-R. Rollinger, P. H. Schmitt and R. Studer and Ch. Beierle
    Proc. 2nd CSL workshop, Duisburg
    (BibTeX )
  • Knuth-Bendix-Algorithmen.
    Peter H. Schmitt and Michael Schmitz
    Technical Report, IBM Heidelberg Scientific Center
    (BibTeX )

1987

  • The THOT theorem prover.
    Peter H. Schmitt
    Technical Report, IBM Heidelberg Scientific Center
    (BibTeX )
  • Eine dreiwertige Logik zur Verarbeitung partieller Information.
    Peter H. Schmitt
    Informatik Forschung und Entwicklung
    (BibTeX )
  • Topics in three-valued logic.
    Peter H. Schmitt
    PROLOG und PROLOG-Anwendungen, Proc. Universität Bielefeld
    (BibTeX )
  • Vererbungshierarchien und Prädikatenlogik.
    Peter H. Schmitt
    In: Wissensrepräsentation in Expertensystemen, Informatik Fachberichte
    (BibTeX )
  • A survey on rewrite systems.
    Peter H. Schmitt
    In: Proc. of the 1st workshop on Computer Science Logic
    (BibTeX )
  • The computational complexity of quantified Horn clauses.
    Marek Karpinski, Hans Kleine Büning and Peter H. Schmitt
    In: Proc. of the 1st workshop on Computer Science Logic
    (BibTeX )

1986

  • Mathematical logic and artificial intelligence.
    Peter H. Schmitt
    LILOG Report, IBM Deutschland GmbH
    (BibTeX )
  • Computational aspects of three-valued logic.
    Peter H. Schmitt
    8th International Conference on Automated Deduction
    (BibTeX )
  • Model theory for valuated abelian groups.
    Peter H. Schmitt
    Proc. of the Logic Colloqium, 1984, Manchester
    (BibTeX )

1984

  • Diamond formulas: A fragment of dynamic logic with r.e. validity problem.
    Peter H. Schmitt
    Information and Control
    (BibTeX )
  • The theory of ordered abelian groups does not have the independence property.
    Yuri Gurevich and Peter H. Schmitt
    Transactions of the American Mathematical Society
    (BibTeX )

1983

  • The lt-theory of profinite Abelian groups.
    Peter H. Schmitt
    Fundamenta Mathematicae
    (BibTeX )
  • Algebraically complete lattices.
    Peter H. Schmitt
    Algebra Universalis
    (BibTeX )
  • Model- and substructure complete theories of ordered Abelian groups.
    Peter H. Schmitt
    In: Models and Sets, Proc. of the Logic Colloqium 1983, Aachen
    (BibTeX )
  • Undecidable theories of valuated abelian groups.
    Peter H. Schmitt
    In Compte rendu de la table ronde de Logique, Oct. 1983
    (BibTeX )
  • Locally pure topological abelian groups: Elementary invariants.
    Gregory Cherlin and Peter H. Schmitt
    Annals of Pure and Applied Logic
    (BibTeX )

1982

  • The elementary theory of torsionfree abelian groups with a predicate specifying a subgroup.
    Peter H. Schmitt
    Zeitschrift f. Mathematische Logik
    (BibTeX )
  • Model Theory of Ordered Abelian Groups.
    Peter H. Schmitt
    Habilitationsschrift, Universität Heidelberg
    (BibTeX )

 1981

  • Undecidable lt-theories of topological abelian groups.
    Greogry Cherlin and Peter H. Schmitt
    Journal of Symbolic Logic
    (BibTeX )

1977

  • Normal Double Stone Algebras.
    Peter H. Schmitt
    Algebra Universalis
    (BibTeX )

1976

  • The model completion of stone algebras.
    Peter H. Schmitt
    Annales Sci. de l'Université de Clermont
    (BibTeX )

1975

  • Categorical Lattices, PhD Thesis.
    Peter H. Schmitt
    Universität Heidelberg
    (BibTeX )

 

 

Derzeitige Aktivitäten

  • Member of the Scientific Directorate
    International Conference and Research Center for Computer Science Schloss Dagstuhl
  • Member of the Supervisory Board
    International Conference and Research Center for Computer Science Schloss Dagstuhl
  • Program committee member
    4th IEEE International Conference on Software Engineering and Formal Methods SEFM 2006
  • Program committee member
    8th International Conference on Formal Engineering Methods ICFEM 2006
  • Program committee member
    OCL for (Meta-)Models in Multiple Application Domains OCLApps 2006

Frühere Aktivitäten

  • General Chair
    3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
  • Program committee member
    ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences) MoDELS / UML 2005
  • Program committee member
    20th International Conference on Automated Deduction CADE-20
  • Program committee member
    International Conference TABLEAUX 2005 Automated Reasoning with Analytic Tableaux and Related Methods