Andreas Morgenstern

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 13

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Priom Biswas, Andreas Morgenstern, Pablo Oliveira Antonino, Rafael Capilla, Elisa Yumi Nakagawa
Continuous Evaluation of Consistency in Software Architecture Models. ECSA (2023)
Nico Piatkowski, Johannes Sebastian Mueller-Roemer, Peter Hasse, Adam Bachorek, Tim Werner, Pascal Birnstill, Andreas Morgenstern, Lutz Stobbe
Generative Machine Learning for Resource-Aware 5G and IoT Systems. ICC Workshops (2021)
Jens Heidrich, Michael Kläs, Andreas Morgenstern, Pablo Oliveira Antonino, Adam Trendowicz, Jochen Quante, Thomas Grundler
From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development. CoRR (2021)
Patrick Pschorn, Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn
A constraint modeling framework for domain-specific languages. DSM@SPLASH (2019)
Shinji Kikuchi, Ian Thomas, Ons Jallouli, Jörg Dörr, Andreas Morgenstern, Emmanuel Baccelli, Kaspar Schleiser
Orchestration of IoT Device and Business Workflow Engine on Cloud. CIoT (2018)
Pablo Oliveira Antonino, Matthias Jung, Andreas Morgenstern, Florian Faßnacht, Thomas Bauer, Adam Bachorek, Thomas Kuhn, Elisa Yumi Nakagawa
Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. ECSA (2018)
Pablo Oliveira Antonino, Andreas Morgenstern, Benno Kallweit, Martin Becker, Thomas Kuhn
Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems. ICSA Companion (2018)
Emmanuel Baccelli, Jörg Dörr, Ons Jallouli, Shinji Kikuchi, Andreas Morgenstern, Francisco Acosta Padilla, Kaspar Schleiser, Ian Thomas
Reprogramming Low-end IoT Devices from the Cloud. CIoT (2018)
Thomas Kuhn, Pablo Oliveira Antonino, Markus Damm, Andreas Morgenstern, Dirk Schulz, Constantin Ziesche, Thorsten Müller
Industrie 4.0 virtual automation bus. ICSE (Companion Volume) (2018)
Ian Thomas, Shinji Kikuchi, Emmanuel Baccelli, Kaspar Schleiser, Jörg Dörr, Andreas Morgenstern
Design and implementation of a platform for hyperconnected cyber physical systems. Internet Things (2018)
Pablo Oliveira Antonino, Jasmin Jahic, Benno Kallweit, Andreas Morgenstern, Thomas Kuhn
Bridging the Gap between Architecture Specifications and Simulation Models. ICSA Companion (2018)
Andreas Morgenstern, Pablo Oliveira Antonino, Thomas Kuhn, Patrick Pschorn, Benno Kallweit
Modeling embedded systems using a tailored view framework and architecture modeling constraints. ECSA (Companion) (2017)
Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn
Embedded-Software Architects: It's Not Only about the Software. IEEE Softw. 33 (6) (2016)
Manuel Gesell, Andreas Morgenstern, Klaus Schneider
Lifting Verification Results for Preemption Statements. SEFM (2013)
Andreas Morgenstern, Manuel Gesell, Klaus Schneider
Solving Games Using Incremental Induction. IFM (2013)
Andreas Morgenstern, Manuel Gesell, Klaus Schneider
An Asymptotically Correct Finite Path Semantics for LTL. LPAR (2012)
Andreas Morgenstern, Klaus Schneider
A LTL Fragment for GR(1)-Synthesis iWIGP (2011)
Andreas Morgenstern, Klaus Schneider
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV (2011)
Andreas Morgenstern, Klaus Schneider
Program Sketching via CTL* Model Checking. SPIN (2011)
Andreas Morgenstern, Klaus Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis GANDALF (2010)
Andreas Morgenstern, Klaus Schneider
From LTL to Symbolically Represented Deterministic Automata. VMCAI (2008)
Andreas Morgenstern, Klaus Schneider, Sven Lamberti
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. MBMV (2008)
Andreas Morgenstern, Klaus Schneider
A unified model checking framework for the supervisor synthesis problem. GALOP@ETAPS (2005)
Andreas Morgenstern, Klaus Schneider
Using Model Checking to Solve Supervisor Synthesis Problems. CDC/ECC (2005)
Andreas Morgenstern, Klaus Schneider
Synthesizing deterministic controllers in supervisory control. ICINCO (2005)

Andreas Morgenstern.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Morgenstern