Formalizing correctness criteria of dynamic updates derived from specification changes. - Valerio Panzica La Manna; Joel Greenyer; Carlo Ghezzi; Christian Brenner 001 (SEAMS, 2013)

Automata-Based Refinement Checking for Real-Time Systems. - Christian Brenner 001; Christian Heinzemann; Wilhelm Schäfer; Stefan Henkler (Software Engineering, 2013)

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions. - Joel Greenyer; Christian Brenner 001; Valerio Panzica La Manna (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Methods for the Domain-Spanning Conceptual Design. - Harald Anacker; Christian Brenner 001; Rafal Dorociak; Roman Dumitrescu; Jürgen Gausemeier; Peter Iwanek; Wilhelm Schäfer; Mareen Vaßholz (Design Methodology for Intelligent Technical Systems, 2014)

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. - Christian Brenner 001; Joel Greenyer; Jörg Holtmann; Grischa Liebel; Gerald Stieglbauer; Matthias Tichy (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. - Christian Brenner 001; Joel Greenyer; Wilhelm Schäfer (FASE, 2015)

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. - Joel Greenyer; Christian Brenner 001; Maxime Cordy; Patrick Heymans; Erika Gressi (Software Engineering & Management, 2015)

Automata-based refinement checking for real-time systems. - Christian Heinzemann; Christian Brenner 001; Stefan Dziwok; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2015)

Szenariobasierte Synthese verteilter mechatronischer Systeme - Christian Brenner 001 (2016)