Christian Brenner

According to our database, Christian Brenner authored at least 9 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Szenariobasierte Synthese verteilter mechatronischer Systeme

Christian Brenner

PhD thesis, 2016

2015

Automata-based refinement checking for real-time systems.

Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2015

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.

Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.

Christian Brenner, Joel Greenyer, Wilhelm Schäfer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.

Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Methods for the Domain-Spanning Conceptual Design.

Harald Anacker, Christian Brenner, Rafal Dorociak, Roman Dumitrescu, Jürgen Gausemeier, Peter Iwanek, Wilhelm Schäfer, Mareen Vaßholz

Proceedings of the Design Methodology for Intelligent Technical Systems, 2014

2013

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions.

Joel Greenyer, Christian Brenner, Valerio Panzica La Manna

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Automata-Based Refinement Checking for Real-Time Systems.

Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Formalizing correctness criteria of dynamic updates derived from specification changes.

Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013