Andreas Morgenstern

According to our database, Andreas Morgenstern authored at least 26 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Continuous Evaluation of Consistency in Software Architecture Models.

Priom Biswas, Andreas Morgenstern, Pablo Oliveira Antonino, Rafael Capilla, Elisa Yumi Nakagawa

Proceedings of the Software Architecture - 17th European Conference, 2023

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

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

Proceedings of the IEEE International Conference on Communications Workshops, 2021

2019

A constraint modeling framework for domain-specific languages.

Patrick Pschorn, Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn

Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

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

Industrie 4.0 virtual automation bus.

Thomas Kuhn, Pablo Oliveira Antonino, Markus Damm, Andreas Morgenstern, Dirk Schulz, Constantin Ziesche, Thorsten Müller

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems.

Pablo Oliveira Antonino, Andreas Morgenstern, Benno Kallweit, Martin Becker, Thomas Kuhn

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Bridging the Gap between Architecture Specifications and Simulation Models.

Pablo Oliveira Antonino, Jasmin Jahic, Benno Kallweit, Andreas Morgenstern, Thomas Kuhn

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.

Pablo Oliveira Antonino, Matthias Jung, Andreas Morgenstern, Florian Faßnacht, Thomas Bauer, Adam Bachorek, Thomas Kuhn, Elisa Yumi Nakagawa

Proceedings of the Software Architecture, 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

Proceedings of the 3rd Cloudification of the Internet of Things, 2018

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

Proceedings of the 3rd Cloudification of the Internet of Things, 2018

2017

Modeling embedded systems using a tailored view framework and architecture modeling constraints.

Andreas Morgenstern, Pablo Oliveira Antonino, Thomas Kuhn, Patrick Pschorn, Benno Kallweit

Proceedings of the 11th European Conference on Software Architecture, 2017

2016

Embedded-Software Architects: It's Not Only about the Software.

Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn

IEEE Softw., 2016

2013

Lifting Verification Results for Preemption Statements.

Manuel Gesell, Andreas Morgenstern, Klaus Schneider

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Solving Games Using Incremental Induction.

Andreas Morgenstern, Manuel Gesell, Klaus Schneider

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

An Asymptotically Correct Finite Path Semantics for LTL.

Andreas Morgenstern, Manuel Gesell, Klaus Schneider

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

A LTL Fragment for GR(1)-Synthesis

Andreas Morgenstern, Klaus Schneider

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Program Sketching via CTL* Model Checking.

Andreas Morgenstern, Klaus Schneider

Proceedings of the Model Checking Software, 2011

Synthesis of Parallel Sorting Networks using SAT Solvers.

Andreas Morgenstern, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010

Symbolic controller synthesis for LTL specifications.

Andreas Morgenstern

PhD thesis, 2010

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

Andreas Morgenstern, Klaus Schneider

Proceedings of the Proceedings First Symposium on Games, 2010

2008

From LTL to Symbolically Represented Deterministic Automata.

Andreas Morgenstern, Klaus Schneider

Proceedings of the Verification, 2008

Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction.

Andreas Morgenstern, Klaus Schneider, Sven Lamberti

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

2005

Synthesizing deterministic controllers in supervisory control.

Andreas Morgenstern, Klaus Schneider

Proceedings of the ICINCO 2005, 2005

A unified model checking framework for the supervisor synthesis problem.

Andreas Morgenstern, Klaus Schneider

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

Using Model Checking to Solve Supervisor Synthesis Problems.

Andreas Morgenstern, Klaus Schneider

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005