Andreas Morgenstern

26 papers B 6C 1Journal 3Unranked 15

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