BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Morgenstern:Andreas

Contributed to:

IFM 20132013
SEFM 20132013
VMCAI 20082008
ECSA 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.