Andreas Morgenstern
Orcid: 0000-0001-8424-7243Affiliations:
- Kaiserslautern University of Technology, Germany
According to our database1,
Andreas Morgenstern
authored at least 26 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
8
1
1
1
1
1
1
6
1
2
1
3
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proceedings of the Software Architecture - 17th European Conference, 2023
2021
From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development.
CoRR, 2021
Proceedings of the IEEE International Conference on Communications Workshops, 2021
2019
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019
2018
Internet Things, 2018
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.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018
Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.
Proceedings of the Software Architecture, 2018
Proceedings of the 3rd Cloudification of the Internet of Things, 2018
Proceedings of the 3rd Cloudification of the Internet of Things, 2018
2017
Modeling embedded systems using a tailored view framework and architecture modeling constraints.
Proceedings of the 11th European Conference on Software Architecture, 2017
2016
2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
2011
Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011
Proceedings of the Model Checking Software, 2011
Synthesis of Parallel Sorting Networks using SAT Solvers.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011
2010
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Proceedings of the Proceedings First Symposium on Games, 2010
2008
Proceedings of the Verification, 2008
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008
2005
Synthesizing deterministic controllers in supervisory control.
Proceedings of the ICINCO 2005, 2005
A unified model checking framework for the supervisor synthesis problem.
Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005