Martin Giese

Showing 9 publications

2007

The KeY system 1.0 (Deduction Component)

Bernhard Beckert, Martin Giese, Reiner Hähnle et al
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. Vol. 4603, p. 379-384
Paper in proceeding
2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Journal article
2005

A Calculus for Type Predicates and Type Coercion

Martin Giese
utomated Reasoning with Analytic Tableaux and Related Methods, Tableaux 2005, Lecture Notes in Computer Science. Vol. 3702, p. 123-137
Paper in proceeding
2004

Taclets and the KeY Prover

Martin Giese
Electronic Notes in Theoretical Computer Science. Vol. 103, p. 67-79
Journal article
2004

Taclets: a new paradigm for writing theorem provers

Bernhard Beckert, Martin Giese, Elmar Habermalz et al
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. Vol. 98 (1), p. 17-53
Journal article
2004

From Informal to Formal Specifications in UML

Martin Giese, Rogardt Heldal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3273, p. 197-211
Journal article
2004

Rule-Based Simplification of OCL Constraints

Martin Giese, Reiner Hähnle, Daniel Larsson
OCL and Model Driven Engineering, UML 2004 workshop, Lisbon, p. 84-98
Paper in proceeding
2003

Simplification Rules for Constrained Formula Tableaux

Martin Giese
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2796, p. 65-80
Paper in proceeding
2002

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

Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 327-330
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Martin Giese participates, but you have to be logged in as a Chalmers employee to see them.