Home > Publications > Publikationen

Publications of Christian Brenner

Our publications from 2016:

Our publications from 2015:

Our publications from 2014:

Brenner, Christian; Greenyer, Joel; Holtmann, Jörg; Liebel, Grischa; Stieglbauer, Gerald; Tichy, Matthias: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), Apr 2014 (more)

Anacker, Harald; Brenner, Christian; Dorociak, Rafal; Dumitrescu, Roman; Gausemeier, Jürgen; Iwanek, Peter; Schäfer, Wilhelm; Vaßholz, Mareen: Methods for the Domain-Spanning Conceptual Design. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, chapter 4, pp. 119-185. Springer-Verlag, Heidelberg, Germany, Jan 2014 (more)

Our publications from 2013:

Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika: Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In: Proc. 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2013), pp. 433-443, New York, NY, USA, Aug 2013 (more)

Panzica La Manna, Valerio; Greenyer, Joel; Ghezzi, Carlo; Brenner, Christian: Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2013 (more)

Brenner, Christian; Greenyer, Joel; Panzica La Manna, Valerio: The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions. In: Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), Mar 2013 (more)

Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan: Automata-Based Refinement Checking for Real-Time Systems. In: Proceedings of Software Engineering 2013 -- Fachtagung des GI-Fachbereichs Softwaretechnik, pp. 99-112, Feb 26 - Mar 1, 2013, Gesellschaft fuer Informatik (more)

Our publications from 2012:

Our publications from 2010:

Our publications from 2009:

Henkler, Stefan; Breit, Moritz; Brink, Christopher; Böger, Markus; Brenner, Christian; Bröker, Kathrin; Pohlmann, Uwe; Richtermeier, Manel; Suck, Julian; Travkin, Oleg; Priesterjahn, Claudia: FRiTSCab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems. In: Proceedings of the 7th International Fujaba Days, pp. 25-29, Eindhoven University of Technology, The Netherlands, Nov 2009 (more)

Our publications from 2008:

Brenner, Christian; Giese, Holger; Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia: Integration of Legacy Components in Mechatronic UML Architectures. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, unbekannt, pp. 52-55, Sep 2008 unbekannt (more)