Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Domain-Specific Model Checking for Cyber-Physical Systems.

C. Gerking, W. Schäfer, S. Dziwok, and C. Heinzemann. MoDeVVa@MoDELS, volume 1514 of CEUR Workshop Proceedings, page 18-27. CEUR-WS.org, (2015)

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.

Christopher Mehlich University of Stuttgart

Christopher Braun University of Stuttgart

Christopher Groll University of Stuttgart

Christopher Hartmann University of Stuttgart

Christopher Langner University of Stuttgart

Other publications of authors with the same name

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