Andreas Morgenstern

发表

Reprogramming Low-end IoT Devices from the Cloud

Emmanuel Baccelli, Shinji Kikuchi, Jörg Dörr, 2018, 2018 3rd Cloudification of the Internet of Things (CIoT).

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

Thomas Kuhn, Pablo Oliveira Antonino, Andreas Morgenstern, 2016, IEEE Software.

Industrie 4.0 virtual automation bus

Dirk Schulz, Thomas Kuhn, Markus Damm, 2018, ICSE.

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

Thomas Kuhn, Pablo Oliveira Antonino, Andreas Morgenstern, 2017, ECSA.

An Asymptotically Correct Finite Path Semantics for LTL

Klaus Schneider, Andreas Morgenstern, Manuel Gesell, 2012, LPAR.

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

Klaus Schneider, Andreas Morgenstern, 2010, GANDALF.

Solving Games Using Incremental Induction

Klaus Schneider, Andreas Morgenstern, Manuel Gesell, 2013, IFM.

Poster: Industrie 4.0 Virtual Automation Bus

Dirk Schulz, Markus Damm, Thomas Kuhn, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes

Thomas Kuhn, Thomas Bauer, Elisa Yumi Nakagawa, 2018, ECSA.

A unified model checking framework for the supervisor synthesis problem

Klaus Schneider, Andreas Morgenstern, 2005, GALOP@ETAPS.

Program Sketching via CTL* Model Checking

Klaus Schneider, Andreas Morgenstern, K. Schneider, 2011, SPIN.

Automated Scenario-Based Evaluation of Embedded Software and System Architectures

Thomas Kuhn, Pablo Oliveira Antonino, Andreas Morgenstern, 2018 .

From LTL to Symbolically Represented Deterministic Automata

Klaus Schneider, Andreas Morgenstern, K. Schneider, 2008, VMCAI.

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

Klaus Schneider, Andreas Morgenstern, Sven Lamberti, 2008, MBMV.

Synthesizing deterministic controllers in supervisory control

Klaus Schneider, Andreas Morgenstern, K. Schneider, 2005, ICINCO.

The software system for the Control and Data Acquisition for the Cherenkov Telescope Array

Roland Walter, Vito Conforti, Andreas Morgenstern, 2016 .

Orchestration of IoT Device and Business Workflow Engine on Cloud

Emmanuel Baccelli, Shinji Kikuchi, Jörg Dörr, 2018, 2018 3rd Cloudification of the Internet of Things (CIoT).

A constraint modeling framework for domain-specific languages

Thomas Kuhn, Pablo Oliveira Antonino, Andreas Morgenstern, 2019, DSM@SPLASH.

Synthesis of Parallel Sorting Networks using SAT Solvers

Klaus Schneider, Andreas Morgenstern, 2011, MBMV.

Lifting Verification Results for Preemption Statements

Klaus Schneider, Andreas Morgenstern, Manuel Gesell, 2013, SEFM.

Design and implementation of a platform for hyperconnected cyber physical systems

Joerg Doerr, Shinji Kikuchi, Emmanuel Baccelli, 2018, Internet Things.

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

Thomas Kuhn, Martin Becker, Pablo Oliveira Antonino, 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

Designing and prototyping the control system for the Cherenkov Telescope Array

Roland Walter, Josep Colomé, Vito Conforti, 2018 .

Virtual Testbeds with Meta-data Propagation

Thomas Kuhn, Pablo Oliveira Antonino, Andreas Morgenstern, 2019 .

A LTL Fragment for GR(1)-Synthesis

Klaus Schneider, Andreas Morgenstern, 2011, iWIGP.

Symbolic controller synthesis for LTL specifications

Andreas Morgenstern, A. Morgenstern, 2010 .

Bridging the Gap between Architecture Specifications and Simulation Models

Thomas Kuhn, Jasmin Jahic, Pablo Oliveira Antonino, 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development pdf

Jochen Quante, Adam Trendowicz, Thomas Grundler, 2021, ArXiv.

Generative Machine Learning for Resource-Aware 5G and IoT Systems

Tim Werner, Pascal Birnstill, Nico Piatkowski, 2021, 2021 IEEE International Conference on Communications Workshops (ICC Workshops).