Publications Search Tool

139 entries « 2 of 7 »
21. Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen: Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems. In: 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17), Paderborn, Germany. September 04-08, 2017, 2017. (Type: Inproceedings | Abstract | Links | BibTeX)
22. Hili, Nicolas; Dingel, Juergen; Beaulieu, Alain: Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT. In: 39th International Conference on Software Engineering Companion, pp. 509–510, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-1589-8. (Type: Inproceedings | Links | BibTeX)
23. Kahani, Nafiseh; Hili, Nicolas; Cordy, James R; Dingel, Juergen: Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems. In: 9th International Workshop on Modelling in Software Engineering (MiSE'17), pp. 12–18, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-0426-7. (Type: Inproceedings | Links | BibTeX)
24. Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen; Fuhrman, Thomas E; S., Ramesh: Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. In: Kouchnarenko, Olga; Khosravi, Ramtin (Ed.): 13th International Conference on Formal Aspects of Component Software (FACS'16), pp. 153–171, Springer, Besançon, France. October 19-21, 2016, 2017, ISBN: 978-3-319-57666-4. (Type: Inproceedings | Abstract | Links | BibTeX)
25. Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Muccini, Henry; Mussbacher, Gunter; (Eds), Sebastian Voss (Ed.): Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016). Saint Malo, France, CEUR (1835), 2016. (Type: Proceeding | Links | BibTeX)
26. Das, Tuhin Kanti; Dingel, Juergen: Model development guidelines for UML-RT: conventions, patterns and antipatterns. In: Software and Systems Modeling, 2016. (Type: Journal Article | Abstract | Links | BibTeX)
27. Lúcio, Levi; Amrani, Moussa; Dingel, Juergen; Lambers, Leen; Salay, Rick; Selim, Gehan M K; Syriani, Eugene; Wimmer, Manuel: Model transformation intents and their properties. In: Software and Systems Modeling, 15 (3), pp. 647-684, 2016. (Type: Journal Article | Abstract | Links | BibTeX)
28. Atampore, Francis; Dingel, Juergen; Rudie, Karen: Automated service composition via supervisory control theory. In: 13th International Workshop on Discrete Event Systems (WODES'16), pp. 28-35, Xi'an, China. May 30 - June 1, 2016, 2016. (Type: Inproceedings | Links | BibTeX)
29. Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sébastien; Muccini, Henry; Mussbacher, Gunter; Voss, Sebastian (Ed.): Joint Proceedings of the 12th Educators Symposium (EduSymp'16) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16). Saint-Malo, France. October 3, 2016, CEUR (1835), 2016, (66 pages). (Type: Proceeding | Links | BibTeX)
30. Dingel, Juergen; Schulte, Wolfram: Guest editorial for the special section on MODELS 2014. In: Software and Systems Modeling, 2016, (To appear). (Type: Journal Article | Links | BibTeX)
31. Ahmadi, Reza; Hili, Nicolas; Das, Nondini; Ganesan, Suchita; Jweda, Leo; Dingel, Juergen: Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. In: 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16), Saint-Malo, France. October 3, 2016, 2016. (Type: Inproceedings | Links | BibTeX)
32. Posse, Ernesto; Dingel, Juergen: An executable formal semantics for UML-RT. In: Software and Systems Modeling, 15 (1), pp. 179-217, 2016. (Type: Journal Article | Abstract | Links | BibTeX)
33. Das, Nondini; Ganesan, Suchita; Jweda, Leo; Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen: Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation. In: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16), pp. 36-43, ACM, Saint-Malo, France. October 2-7, 2016, 2016, ISBN: 978-1-4503-4321-3. (Type: Inproceedings | Links | BibTeX)
34. Kahani, Nafiseh; Bagherzadeh, Mojtaba; Dingel, Juergen; Cordy, James R: The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums. In: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16), pp. 227-237, ACM, Saint-Malo, France. October 2-7, 2016, 2016, ISBN: 978-1-4503-4321-3. (Type: Inproceedings | Links | BibTeX)
35. Dingel, Juergen: Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. In: 9th International Conference on Graph Transformation (ICGT'16), pp. 3-18, Springer, Vienna, Austria. July 5-6, 2016, 2016, ISBN: 978-3-319-40530-8. (Type: Inproceedings | Abstract | Links | BibTeX)
36. Boudjadar, Abdeldjalil; Dingel, Juergen; Madzar, Boris; Kim, Jin Hyun: Compositional Predictability Analysis of Mixed Critical Real Time Systems. In: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15), pp. 69-84, Springer, Paris, France. November 6-7, 2015, 2016, ISBN: 978-3-319-29510-7. (Type: Inproceedings | Links | BibTeX)
37. Antkiewicz, Michal; Atlee, Joanne; Dingel, Juergen; S., Ramesh (Ed.): International Workshop on Modelling in Automotive Software Engineering (MASE'15). Ottawa, Canada. September 27, 2015, CEUR (1487), 2015, (72 pages). (Type: Proceeding | Links | BibTeX)
38. Dingel, Juergen; Kokaly, Sahar; Lúcio, Levi; Salay, Rick; Vangheluwe, Hans (Ed.): 4th International Workshop on the Analysis of Model Transformations (AMT'15). Ottawa, Canada. September 28, 2015, CEUR (1500), 2015, (65 pages). (Type: Proceeding | Links | BibTeX)
39. Khalil, Amal; Dingel, Juergen: Incremental symbolic execution of evolving state machines. In: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), pp. 14-23, IEEE, Ottawa, Canada. September 30 - October 2, 2015, 2015. (Type: Inproceedings | Links | BibTeX)
40. Das, Tuhin K; Dingel, Juergen: State machine antipatterns for UML-RT. In: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), pp. 54-63, IEEE, Ottawa, Canada. September 30 - October 2, 2015, 2015. (Type: Inproceedings | Links | BibTeX)
139 entries « 2 of 7 »