default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Morgenstern

> Home > Persons

Person information

affiliation: Kaiserslautern University of Technology, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BiswasMACN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BiswasMACN23
Priom Biswas, Andreas Morgenstern, Pablo Oliveira Antonino, Rafael Capilla, Elisa Yumi Nakagawa:
Continuous Evaluation of Consistency in Software Architecture Models. ECSA 2023: 141-149
2021
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/PiatkowskiMHBWB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/PiatkowskiMHBWB21
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: 1-6
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-14301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-14301
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 abs/2110.14301 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PschornAM019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PschornAM019
Patrick Pschorn, Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn:
A constraint modeling framework for domain-specific languages. DSM@SPLASH 2019: 20-29
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iot/ThomasKBSDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iot/ThomasKBSDM18
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 3-4: 69-81 (2018)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ciot/BaccelliDJKMPST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciot/BaccelliDJKMPST18
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: 1-6
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ciot/KikuchiTJDMBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciot/KikuchiTJDMBS18
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: 1-2
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/Antonino0MFBBKN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/Antonino0MFBBKN18
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: 115-130
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/AntoninoMKBK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/AntoninoMKBK18
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: 19-26
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/AntoninoJKMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/AntoninoJKMK18
Pablo Oliveira Antonino, Jasmin Jahic, Benno Kallweit, Andreas Morgenstern, Thomas Kuhn:
Bridging the Gap between Architecture Specifications and Simulation Models. ICSA Companion 2018: 77-80
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KuhnADMSZM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KuhnADMSZM18
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: 121-122
2017
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/MorgensternAKPK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/MorgensternAKPK17
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: 180-186
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/software/AntoninoMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/AntoninoMK16
Pablo Oliveira Antonino, Andreas Morgenstern, Thomas Kuhn:
Embedded-Software Architects: It's Not Only about the Software. IEEE Softw. 33(6): 56-62 (2016)
2013
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MorgensternGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MorgensternGS13
Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
Solving Games Using Incremental Induction. IFM 2013: 177-191
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GesellMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GesellMS13
Manuel Gesell, Andreas Morgenstern, Klaus Schneider:
Lifting Verification Results for Preemption Statements. SEFM 2013: 91-105
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/MorgensternGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MorgensternGS12
Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
An Asymptotically Correct Finite Path Semantics for LTL. LPAR 2012: 304-319
2011
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MorgensternS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MorgensternS11
Andreas Morgenstern, Klaus Schneider:
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV 2011: 71-80
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MorgensternS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MorgensternS11
Andreas Morgenstern, Klaus Schneider:
Program Sketching via CTL* Model Checking. SPIN 2011: 126-143
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4119
Andreas Morgenstern, Klaus Schneider:
A LTL Fragment for GR(1)-Synthesis. iWIGP 2011: 33-45
2010
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Morgenstern2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Morgenstern2010
Andreas Morgenstern:
Symbolic controller synthesis for LTL specifications. University of Kaiserslautern, 2010, pp. 1-151
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1408
Andreas Morgenstern, Klaus Schneider:
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis. GANDALF 2010: 89-102

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MorgensternSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MorgensternSL08
Andreas Morgenstern, Klaus Schneider, Sven Lamberti:
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. MBMV 2008: 119-128
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/MorgensternS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/MorgensternS08
Andreas Morgenstern, Klaus Schneider:
From LTL to Symbolically Represented Deterministic Automata. VMCAI 2008: 279-293
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/MorgensternS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/MorgensternS05
Andreas Morgenstern, Klaus Schneider:
Using Model Checking to Solve Supervisor Synthesis Problems. CDC/ECC 2005: 2757-2762
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/galop/MorgensternS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/galop/MorgensternS05
Andreas Morgenstern, Klaus Schneider:
A unified model checking framework for the supervisor synthesis problem. GALOP@ETAPS 2005: 140-156
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icinco/MorgensternS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/MorgensternS05
Andreas Morgenstern, Klaus Schneider:
Synthesizing deterministic controllers in supervisory control. ICINCO 2005: 24-31

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.