Martin Giese

Publications (9)
Projects (0)

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

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

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

Taclets and the KeY Prover

Martin Giese

Electronic Notes in Theoretical Computer Science. Vol. 103, p. 67-79

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

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.