Travelled to:1 × Cyprus
1 × Estonia
Collaborated with:R.Hennicker P.Mayer A.Schroeder A.David K.G.Larsen A.Legay U.Nyman A.Wasowski
Talks about:workbench (1) contract (1) specif (1) design (1) compon (1) compat (1) refin (1) modal (1) weak (1) move (1)
Person: Sebastian S. Bauer
DBLP: Bauer:Sebastian_S=
Contributed to:
2012
2010Wrote 2 papers:
- FASE-2012-BauerDHLLNW #component #contract #design #specification
- Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
- TACAS-2010-BauerMSH #on the #refinement
- On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.