Travelled to:1 × Finland
1 × Spain
1 × USA
Collaborated with:K.Schneider M.Gesell P.O.Antonino Matthias Jung 0001 Florian Faßnacht T.Bauer Adam Bachorek Thomas Kuhn 0001 E.Y.Nakagawa
Talks about:determinist (1) architectur (1) preemption (1) statement (1) increment (1) prototyp (1) automata (1) virtual (1) softwar (1) continu (1)
Person: Andreas Morgenstern
DBLP: Morgenstern:Andreas
Contributed to:
2013
2013
2008
2018Wrote 4 papers:
- IFM-2013-MorgensternGS #game studies #incremental #induction #using
- Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.
- SEFM-2013-GesellMS #verification
- Lifting Verification Results for Preemption Statements (MG, AM, KS), pp. 91–105.
- VMCAI-2008-MorgensternS #automaton #ltl
- From LTL to Symbolically Represented Deterministic Automata (AM, KS), pp. 279–293.
- ECSA-2018-Antonino0MFBBKN #architecture #embedded #prototype #re-engineering
- Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes (POA, MJ0, AM, FF, TB, AB, TK0, EYN), pp. 115–130.