Travelled to:1 × France
1 × Germany
1 × Italy
1 × Jamaica
1 × Portugal
Collaborated with:D.Larsson R.Heldal ∅ B.Beckert R.Hähnle P.H.Schmitt V.Klebanov P.Rümmer S.Schlager W.Ahrendt T.Baar E.Habermalz W.Menzel W.Mostowski
Talks about:system (2) formal (2) constraint (1) transform (1) increment (1) tableaux (1) simplifi (1) variabl (1) specif (1) orient (1)
Person: Martin Giese
DBLP: Giese:Martin
Contributed to:
2007
2005
2004
2002
2001Wrote 5 papers:
- CADE-2007-BeckertGHKRSS #component #deduction
- The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
- MoDELS-2005-GieseL #constraints #ocl
- Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
- UML-2004-GieseH #specification #uml
- From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
- FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
- The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.
- IJCAR-2001-Giese #incremental
- Incremental Closure of Free Variable Tableaux (MG), pp. 545–560.