Startseite > Publikationen > Publikationen

Publikationen von Christian Brenner


Unsere Publikationen aus dem Jahr 2016:



Holtmann, Jörg; Fockel, Markus; Koch, Thorsten; Schmelter, David; Brenner, Christian; Bernijazov, Ruslan; Sander, Marcel: The MechatronicUML Requirements Engineering Method: Process and Language. tr-ri-16-351, Dez. 2016 (Details)


Unsere Publikationen aus dem Jahr 2015:



Heinzemann, Christian; Brenner, Christian; Dziwok, Stefan; Schäfer, Wilhelm: Automata-based refinement checking for real-time systems. Computer Science - Research and Development, 30(3-4): S. 255-283, Jun. 2015 (Details)

Brenner, Christian; Greenyer, Joel; Schäfer, Wilhelm: On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. Proc. of Fundamental Approaches to Software Engineering (FASE 2015), Apr. 2015 (Details)

Heinzemann, Christian; Schubert, David; Dziwok, Stefan; Pohlmann, Uwe; Priesterjahn, Claudia; Brenner, Christian; Schäfer, Wilhelm: RailCab Convoys: An Exemplar for Using Self-Adaptation in Cyber-Physical Systems. tr-ri-15-344, Jan. 2015 (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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, Kapitel: 4, S. 119-185. Springer-Verlag, Heidelberg, Germany, Jan. 2014 (Details)


Unsere Publikationen aus dem Jahr 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), S. 433-443, New York, NY, USA, Aug. 2013 (Details)

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), Mai 2013 (Details)

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), Mrz. 2013 (Details)

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, S. 99-112, 26. Feb. - 1. Mrz. 2013, Gesellschaft fuer Informatik (Details)

Greenyer, Joel; Panzica La Manna, Valerio; Brenner, Christian; Ghezzi, Carlo: Synthesizing Safe Dynamic Updates from Evolving Specifications. n. 2013.2, Jan. 2013 (Details)


Unsere Publikationen aus dem Jahr 2012:



Becker, Steffen; Brenner, Christian; Brink, Christopher; Dziwok, Stefan; Löffler, Renate; Heinzemann, Christian; Pohlmann, Uwe; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver: The MechatronicUML Design Method – Process, Syntax, and Semantics. tr-ri-12-326, Aug. 2012 (Details)

Becker, Steffen; Brenner, Christian; Dziwok, Stefan; Gewering, Thomas; Heinzemann, Christian; Pohlmann, Uwe; Priesterjahn, Claudia; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver; Tichy, Matthias: The MechatronicUML Method – Process, Syntax, and Semantics. tr-ri-12-318, Feb. 2012 (Details)


Unsere Publikationen aus dem Jahr 2010:



Brenner, Christian: Analyse von mechatronischen Systemen mittels Testautomaten. (Details)


Unsere Publikationen aus dem Jahr 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, S. 25-29, Eindhoven University of Technology, The Netherlands, Nov. 2009 (Details)


Unsere Publikationen aus dem Jahr 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, S. 52-55, Sep. 2008 unbekannt (Details)