PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dingel, Juergen"

Author of the publication

copydeleteadd this publication to your clipboard
Slicing UML-based Models of Real-time Embedded Systems.

, , and . MoDELS, page 346-356. ACM, (2018)

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.

No persons found for author name Dingel, Juergen
add a person with the name Dingel, Juergen
 

Other publications of authors with the same name

Incremental symbolic execution of evolving state machines., and . MoDELS, page 14-23. IEEE, (2015)Property-Aware Unit Testing of UML-RT Models in the Context of MDE., , and . ECMFA, volume 10890 of Lecture Notes in Computer Science, page 147-163. Springer, (2018)A controller synthesis framework for automated service composition., , and . Discrete Event Dynamic Systems, 29 (3): 297-365 (2019)Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine., , , , and . MoDELS (Companion), page 42-46. ACM, (2018)Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)., , , , , , , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 303-304. CEUR-WS.org, (2018)Message from the MASE 2019 Chair., , and . MoDELS (Companion), page 1. IEEE, (2019)Compositional Predictability Analysis of Mixed Critical Real Time Systems., , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 69-84. Springer, (2015)Model transformations for migrating legacy deployment models in the automotive industry., , , and . Software and Systems Modeling, 14 (1): 365-381 (2015)Language-specific model checking of UML-RT models., and . Software and Systems Modeling, 16 (2): 393-415 (2017)Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation., , , , , and . MoDELS, page 36-43. ACM, (2016)