Travelled to:1 × Canada
1 × United Kingdom
2 × Germany
Collaborated with:W.Reif G.Schellhorn K.Stenzel F.Bübl J.Schmitt A.Hoffmann M.Marcos A.Thums D.Hutter H.Mantel G.Rock W.Stephan A.Wolpers
Talks about:develop (2) system (2) formal (2) kiv (2) constraint (1) interact (1) guidelin (1) softwar (1) provabl (1) correct (1)
Person: Michael Balser
DBLP: Balser:Michael
Contributed to:
2006
2005
20001998Wrote 5 papers:
- FM-2006-SchmittHBRM #guidelines #interactive #verification
- Interactive Verification of Medical Guidelines (JS, AH, MB, WR, MM), pp. 32–47.
- CSMR-2005-BublB #constraints #requirements
- Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.
- FASE-2000-BalserRSST #development
- Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
- FM-1998-BalserRSS
- KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
- FM-1998-HutterMRSWBRSS #complexity #formal method #named
- VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.