Christian Brenner

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Venues

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

FASE

Software Engineering & Management

Comput. Sci. Res. Dev.

University of Bonn, Germany (PHD)

Education History

University of Bonn, Germany

PHD

Publications

Christian Brenner, Joel Greenyer, Wilhelm Schäfer
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. FASE (2015)
Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer
Automata-based refinement checking for real-time systems. Comput. Sci. Res. Dev. 30 (3-4) (2015)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management (2015)
Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler
Automata-Based Refinement Checking for Real-Time Systems. Software Engineering (2013)
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS (2013)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE (2013)

Christian Brenner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Brenner