Travelled to:1 × Denmark
1 × France
1 × Norway
1 × The Netherlands
Collaborated with:∅ F.S.d.Boer I.Grabe J.M.Chimento G.J.Pace G.Schneider T.Baar B.Beckert M.Giese E.Habermalz R.Hähnle W.Menzel W.Mostowski P.H.Schmitt
Talks about:specif (2) object (2) data (2) properti (1) creation (1) abstract (1) languag (1) generat (1) control (1) system (1)
Person: Wolfgang Ahrendt
DBLP: Ahrendt:Wolfgang
Contributed to:
20152009
2002
2002Wrote 4 papers:
- FM-2015-AhrendtCPS #runtime #specification #verification
- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
- FM-2009-AhrendtBG #logic
- Abstract Object Creation in Dynamic Logic (WA, FSdB, IG), pp. 612–627.
- CADE-2002-Ahrendt #data type #deduction #fault #generative #specification #using
- Deductive Search for Errors in Free Data Type Specifications Using Model Generation (WA), pp. 211–225.
- 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.