13 citations · 24 across the 3 of their papers we have counts for
3 papers
cs.SE2021★ 1 cited
From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development
Jens Heidrich, Michael Kläs, Andreas Morgenstern +4
In recent years, the role and the importance of software in the automotive domain have changed dramatically. Being able to systematically evaluate and manage software quality is be…
cs.LO2011★ 10 cited
A LTL Fragment for GR(1)-Synthesis
Andreas Morgenstern, Klaus Schneider
The idea of automatic synthesis of reactive programs starting from temporal logic (LTL) specifications is quite old, but was commonly thought to be infeasible due to the known doub…
cs.LO2010★ 13 cited
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Andreas Morgenstern, Klaus Schneider
The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and t…