Using Model Checking to Solve Supervisor Synthesis Problems. - Andreas Morgenstern; Klaus Schneider 001 (CDC/ECC, 2005)

A unified model checking framework for the supervisor synthesis problem. - Andreas Morgenstern; Klaus Schneider 001 (GALOP@ETAPS, 2005)

Synthesizing deterministic controllers in supervisory control. - Andreas Morgenstern; Klaus Schneider 001 (ICINCO, 2005)

Generating Deterministic $ omega$-Automata for most LTL Formulas by the Breakpoint Construction. - Andreas Morgenstern; Klaus Schneider 001; Sven Lamberti (MBMV, 2008)

From LTL to Symbolically Represented Deterministic Automata. - Andreas Morgenstern; Klaus Schneider 001 (VMCAI, 2008)

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis - Andreas Morgenstern; Klaus Schneider 001 (GANDALF, 2010)

Symbolic controller synthesis for LTL specifications. - Andreas Morgenstern (2010)

Synthesis of Parallel Sorting Networks using SAT Solvers. - Andreas Morgenstern; Klaus Schneider 001 (MBMV, 2011)

Program Sketching via CTL* Model Checking. - Andreas Morgenstern; Klaus Schneider 001 (SPIN, 2011)

A LTL Fragment for GR(1)-Synthesis - Andreas Morgenstern; Klaus Schneider 001 (iWIGP, 2011)

An Asymptotically Correct Finite Path Semantics for LTL. - Andreas Morgenstern; Manuel Gesell; Klaus Schneider 001 (LPAR, 2012)

Solving Games Using Incremental Induction. - Andreas Morgenstern; Manuel Gesell; Klaus Schneider 001 (IFM, 2013)

Lifting Verification Results for Preemption Statements. - Manuel Gesell; Andreas Morgenstern; Klaus Schneider 001 (SEFM, 2013)

Embedded-Software Architects: It's Not Only about the Software. - Pablo Oliveira Antonino; Andreas Morgenstern; Thomas Kuhn 001 (IEEE Softw., 2016)

Modeling embedded systems using a tailored view framework and architecture modeling constraints. - Andreas Morgenstern; Pablo Oliveira Antonino; Thomas Kuhn 001; Patrick Pschorn; Benno Kallweit (ECSA (Companion), 2017)

Reprogramming Low-end IoT Devices from the Cloud. - Emmanuel Baccelli; Jörg Dörr; Ons Jallouli; Shinji Kikuchi; Andreas Morgenstern; Francisco Acosta Padilla; Kaspar Schleiser; Ian Thomas (CIoT, 2018)

Orchestration of IoT Device and Business Workflow Engine on Cloud. - Shinji Kikuchi; Ian Thomas; Ons Jallouli; Jörg Dörr; Andreas Morgenstern; Emmanuel Baccelli; Kaspar Schleiser (CIoT, 2018)

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. - Pablo Oliveira Antonino; Matthias Jung 001; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer 002; Adam Bachorek; Thomas Kuhn 001; Elisa Yumi Nakagawa (ECSA, 2018)

Bridging the Gap between Architecture Specifications and Simulation Models. - Pablo Oliveira Antonino; Jasmin Jahic; Benno Kallweit; Andreas Morgenstern; Thomas Kuhn 001 (ICSA Companion, 2018)

Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems. - Pablo Oliveira Antonino; Andreas Morgenstern; Benno Kallweit; Martin Becker 002; Thomas Kuhn 001 (ICSA Companion, 2018)

Industrie 4.0 virtual automation bus. - Thomas Kuhn 001; Pablo Oliveira Antonino; Markus Damm; Andreas Morgenstern; Dirk Schulz 002; Constantin Ziesche; Thorsten Müller 003 (ICSE (Companion Volume), 2018)

Design and implementation of a platform for hyperconnected cyber physical systems. - Ian Thomas; Shinji Kikuchi; Emmanuel Baccelli; Kaspar Schleiser; Jörg Dörr; Andreas Morgenstern (Internet Things, 2018)

A constraint modeling framework for domain-specific languages. - Patrick Pschorn; Pablo Oliveira Antonino; Andreas Morgenstern; Thomas Kuhn 001 (DSM@SPLASH, 2019)

Generative Machine Learning for Resource-Aware 5G and IoT Systems. - Nico Piatkowski; Johannes Sebastian Mueller-Roemer; Peter Hasse; Adam Bachorek; Tim Werner; Pascal Birnstill; Andreas Morgenstern; Lutz Stobbe (ICC Workshops, 2021)

From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development. - Jens Heidrich; Michael Kläs; Andreas Morgenstern; Pablo Oliveira Antonino; Adam Trendowicz; Jochen Quante; Thomas Grundler (CoRR, 2021)

Continuous Evaluation of Consistency in Software Architecture Models. - Priom Biswas; Andreas Morgenstern; Pablo Oliveira Antonino; Rafael Capilla; Elisa Yumi Nakagawa (ECSA, 2023)