Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

S. Schivo, B. Yildiz, E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, und M. Stoelinga. SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christopher Mehlich University of Stuttgart

Christopher Braun University of Stuttgart

Christopher Hartmann University of Stuttgart

Christopher Groll University of Stuttgart

Christopher Langner University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Model-driven test case design for model-to-model semantics preservation.C. Gerking, J. Ladleif, und W. Schäfer. A-TEST@SIGSOFT FSE, Seite 1-7. ACM, (2015)Heuristic Inference of Model Transformation Definitions from Type Mappings.C. Gerking, und I. Budde. MoDELS (Companion), Seite 182-188. IEEE, (2019)Solving the Movie Database Case with QVTo.C. Gerking, und C. Heinzemann. TTC@STAF, Volume 1305 von CEUR Workshop Proceedings, Seite 98-102. CEUR-WS.org, (2014)Domain-Specific Model Checking for Cyber-Physical Systems.C. Gerking, W. Schäfer, S. Dziwok, und C. Heinzemann. MoDeVVa@MoDELS, Volume 1514 von CEUR Workshop Proceedings, Seite 18-27. CEUR-WS.org, (2015)Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.C. Gerking, und D. Schubert. ECSA, Volume 11048 von Lecture Notes in Computer Science, Seite 147-155. Springer, (2018)Model Checking the Information Flow Security of Real-Time Systems.C. Gerking, D. Schubert, und E. Bodden. ESSoS, Volume 10953 von Lecture Notes in Computer Science, Seite 27-43. Springer, (2018)Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.U. Pohlmann, J. Holtmann, M. Meyer, und C. Gerking. EUROMICRO-SEAA, Seite 191-198. IEEE Computer Society, (2014)Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering.C. Gerking. MoDELS (Doctoral Symposium), Volume 1735 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.D. Schubert, C. Heinzemann, und C. Gerking. CBSE, Seite 33-38. IEEE Computer Society, (2016)Towards ensuring security by design in cyber-physical systems engineering processes.J. Geismann, C. Gerking, und E. Bodden. ICSSP, Seite 123-127. ACM, (2018)