Andreas Morgenstern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECSA | Continuous Evaluation of Consistency in Software Architecture Models. | Priom Biswas, Andreas Morgenstern, Pablo Oliveira Antonino, Rafael Capilla, Elisa Yumi Nakagawa |
| 2019 | OOPSLA | A constraint modeling framework for domain-specific languages. | Patrick Pschorn, Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn |
| 2018 | ECSA | Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. | Pablo Oliveira Antonino, Matthias Jung, Andreas Morgenstern, Florian Fanacht, Thomas Bauer, Adam Bachorek, Thomas Kuhn, Elisa Yumi Nakagawa |
| 2018 | ICSA | Bridging the Gap between Architecture Specifications and Simulation Models. | Pablo Oliveira Antonino, Jasmin Jahic, Benno Kallweit, Andreas Morgenstern, Thomas Kuhn |
| 2018 | ICSA | Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems. | Pablo Oliveira Antonino, Andreas Morgenstern, Benno Kallweit, Martin Becker, Thomas Kuhn |
| 2018 | ICSE | Industrie 4.0 virtual automation bus. | Thomas Kuhn, Pablo Oliveira Antonino, Markus Damm, Andreas Morgenstern, Dirk Schulz, Constantin Ziesche, Thorsten Mller |
| 2017 | ECSA | Modeling embedded systems using a tailored view framework and architecture modeling constraints. | Andreas Morgenstern, Pablo Oliveira Antonino, Thomas Kuhn, Patrick Pschorn, Benno Kallweit |
| 2013 | IFM | Solving Games Using Incremental Induction. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2013 | SEFM | Lifting Verification Results for Preemption Statements. | Manuel Gesell, Andreas Morgenstern, Klaus Schneider |
| 2012 | LPAR | An Asymptotically Correct Finite Path Semantics for LTL. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2008 | VMCAI | From LTL to Symbolically Represented Deterministic Automata. | Andreas Morgenstern, Klaus Schneider |
| 2005 | ICINCO | Synthesizing deterministic controllers in supervisory control. | Andreas Morgenstern, Klaus Schneider |