PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Brenner, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.

, , , , , and . ECEASST, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felix Brenner University of Stuttgart

Carolin Brenner University of Stuttgart

Björn Brenner University of Stuttgart

Lisa-Marie Brenner University of Stuttgart

Univ. -Prof. Ph. D. Christian Holm University of Stuttgart

Efficient Lattice Boltzmann Algorithms for Colloids Undergoing Electrophoresis. Universität Stuttgart, Master's thesis, (2015)
 

Other publications of authors with the same name

Der Computer als Medium im Religionsunterricht: ein fachdidaktischer Beitrag zur Mediendidaktik im Zeitalter von Multimedia.. University of Bonn, Germany, (2003)Methods for the Domain-Spanning Conceptual Design., , , , , , , and . Design Methodology for Intelligent Technical Systems, Springer, (2014)Automata-based refinement checking for real-time systems., , , and . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions., , and . ECEASST, (2013)Formalizing correctness criteria of dynamic updates derived from specification changes., , , and . SEAMS, page 63-72. IEEE Computer Society, (2013)Automata-Based Refinement Checking for Real-Time Systems., , , and . Software Engineering, volume P-213 of LNI, page 99-112. GI, (2013)Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications., , , , and . Software Engineering & Management, volume P-239 of LNI, page 91-92. GI, (2015)ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study., , , , , and . ECEASST, (2014)On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications., , and . FASE, volume 9033 of Lecture Notes in Computer Science, page 51-65. Springer, (2015)Incrementally synthesizing controllers from scenario-based product line specifications., , , , and . ESEC/SIGSOFT FSE, page 433-443. ACM, (2013)