Martin Giese

Visar 9 publikationer

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 i proceeding
2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Artikel i vetenskaplig tidskrift
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 i proceeding
2004

Taclets and the KeY Prover

Martin Giese
Electronic Notes in Theoretical Computer Science. Vol. 103, p. 67-79
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i 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 i 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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Martin Giese medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.