Travelled to:
1 × France
1 × Germany
1 × Spain
Collaborated with:
F.Baader A.Tiu M.Pister M.Tautschnig D.Ziegenbein P.Braun U.Freund J.Romberg B.Schätz
Talks about:
model (2) support (1) softwar (1) regular (1) pattern (1) develop (1) automot (1) analysi (1) system (1) polici (1)
Person: Andreas Bauer
DBLP: Bauer:Andreas
Contributed to:
Wrote 3 papers:
- LATA-2009-BaaderBT #policy
- Matching Trace Patterns with Regular Policies (FB, AB, AT), pp. 105–116.
- DATE-2007-BauerPT #analysis #hybrid #modelling
- Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.
- DATE-2005-ZiegenbeinBFBRS #development #modelling #named
- AutoMoDe — Model-Based Development of Automotive Software (DZ, PB, UF, AB, JR, BS), pp. 171–177.