| 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)@inproceedings{Bhd17,
title = {Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems},
author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},
url = {https://dl.acm.org/citation.cfm?id=3106278, paper
https://github.com/moji1/MDebugger, code},
doi = {10.1145/3106237.3106278},
year = {2017},
date = {2017-01-01},
booktitle = {11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17)},
address = {Paderborn, Germany. September 04-08, 2017},
series = {ESEC/FSE'17},
abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger. |
| 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)@inproceedings{Hili:2017:MCG:3098344.3098520,
title = {Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT},
author = {Nicolas Hili and Juergen Dingel and Alain Beaulieu},
url = {https://doi.org/10.1109/ICSE-C.2017.168},
doi = {10.1109/ICSE-C.2017.168},
isbn = {978-1-5386-1589-8},
year = {2017},
date = {2017-01-01},
booktitle = {39th International Conference on Software Engineering Companion},
pages = {509--510},
publisher = {IEEE},
address = {Buenos Aires, Argentina. May 21-22, 2017},
series = {ICSE-C'17},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@inproceedings{Kahani:2017:EUP:3104068.3104074,
title = {Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems},
author = {Nafiseh Kahani and Nicolas Hili and James R Cordy and Juergen Dingel},
url = {https://doi.org/10.1109/MiSE.2017..4},
doi = {10.1109/MiSE.2017..4},
isbn = {978-1-5386-0426-7},
year = {2017},
date = {2017-01-01},
booktitle = {9th International Workshop on Modelling in Software Engineering (MiSE'17)},
pages = {12--18},
publisher = {IEEE},
address = {Buenos Aires, Argentina. May 21-22, 2017},
series = {MISE'17},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@inproceedings{Madzar2017,
title = {Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems},
author = {Boris Madzar and Jalil Boudjadar and Juergen Dingel and Thomas E Fuhrman and Ramesh S.},
editor = {Olga Kouchnarenko and Ramtin Khosravi},
url = {http://dx.doi.org/10.1007/978-3-319-57666-4_10},
doi = {10.1007/978-3-319-57666-4_10},
isbn = {978-3-319-57666-4},
year = {2017},
date = {2017-01-01},
booktitle = {13th International Conference on Formal Aspects of Component Software (FACS'16)},
pages = {153--171},
publisher = {Springer},
address = {Besançon, France. October 19-21, 2016},
abstract = {The need to integrate large and complex functions into today's vehicle electronic control systems requires high performance computing platforms, while at the same time the manufacturers try to reduce cost, power consumption and ensure safety. Traditionally, safety isolation and fault containment of software tasks have been achieved by either physically or temporally segregating them. This approach is reliable but inefficient in terms of processor utilization. Dynamic approaches that achieve better utilization without sacrificing safety isolation and fault containment appear to be of increasing interest. One of these approaches relies on predictable data flow introduced in PharOS and Giotto. In this paper, we extend the work on leveraging predictable data flow by addressing the problem of how the predictability of data flow can be proved formally for mixed criticality systems that run on multicore platforms and are subject to failures. We consider dynamic tasks where the timing attributes vary from one period to another. Our setting also allows for sporadic deadline overruns and accounts for criticality during fault handling. A user interface was created to allow automatic generation of the models as well as visualization of the analysis results, whereas predictability is verified using the Spin model checker.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
The need to integrate large and complex functions into today's vehicle electronic control systems requires high performance computing platforms, while at the same time the manufacturers try to reduce cost, power consumption and ensure safety. Traditionally, safety isolation and fault containment of software tasks have been achieved by either physically or temporally segregating them. This approach is reliable but inefficient in terms of processor utilization. Dynamic approaches that achieve better utilization without sacrificing safety isolation and fault containment appear to be of increasing interest. One of these approaches relies on predictable data flow introduced in PharOS and Giotto. In this paper, we extend the work on leveraging predictable data flow by addressing the problem of how the predictability of data flow can be proved formally for mixed criticality systems that run on multicore platforms and are subject to failures. We consider dynamic tasks where the timing attributes vary from one period to another. Our setting also allows for sporadic deadline overruns and accounts for criticality during fault handling. A user interface was created to allow automatic generation of the models as well as visualization of the analysis results, whereas predictability is verified using the Spin model checker. |
| 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)@proceedings{BBDGMMV16,
title = {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)},
editor = {Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sebastien Gerard and Henry Muccini and Gunter Mussbacher and Sebastian Voss (Eds)},
url = {http://ceur-ws.org/Vol-1835/},
year = {2016},
date = {2016-10-01},
volume = {CEUR},
number = {1835},
pages = {66},
address = {Saint Malo, France},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
| 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)@article{Das2016,
title = {Model development guidelines for UML-RT: conventions, patterns and antipatterns},
author = {Tuhin Kanti Das and Juergen Dingel},
url = {http://dx.doi.org/10.1007/s10270-016-0549-6},
doi = {10.1007/s10270-016-0549-6},
year = {2016},
date = {2016-07-23},
journal = {Software and Systems Modeling},
abstract = {Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This paper discusses a set of design guidelines for model-based development of complex real-time embedded software systems. To be precise, we propose nine design conventions, three design patterns and thirteen antipatterns for developing UML-RT models. These guidelines have been identified based on our analysis of around 100 UML-RT models from industry and academia. Most of the guidelines are explained with the help of examples, and standard templates from the current state of the art are used for documenting the design rules.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This paper discusses a set of design guidelines for model-based development of complex real-time embedded software systems. To be precise, we propose nine design conventions, three design patterns and thirteen antipatterns for developing UML-RT models. These guidelines have been identified based on our analysis of around 100 UML-RT models from industry and academia. Most of the guidelines are explained with the help of examples, and standard templates from the current state of the art are used for documenting the design rules. |
| 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)@article{Lucio2016,
title = {Model transformation intents and their properties},
author = {Levi Lúcio and Moussa Amrani and Juergen Dingel and Leen Lambers and Rick Salay and Gehan M K Selim and Eugene Syriani and Manuel Wimmer},
url = {http://dx.doi.org/10.1007/s10270-014-0429-x},
doi = {10.1007/s10270-014-0429-x},
year = {2016},
date = {2016-07-01},
journal = {Software and Systems Modeling},
volume = {15},
number = {3},
pages = {647-684},
abstract = {The notion of model transformation intent is proposed to capture the purpose of a transformation. In this paper, a framework for the description of model transformation intents is defined, which includes, for instance, a description of properties a model transformation has to satisfy to qualify as a suitable realization of an intent. Several common model transformation intents are identified, and the framework is used to describe six of them in detail. A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate the wide variety of model transformation intents that an industrial model-driven software development process typically encompasses.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
The notion of model transformation intent is proposed to capture the purpose of a transformation. In this paper, a framework for the description of model transformation intents is defined, which includes, for instance, a description of properties a model transformation has to satisfy to qualify as a suitable realization of an intent. Several common model transformation intents are identified, and the framework is used to describe six of them in detail. A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate the wide variety of model transformation intents that an industrial model-driven software development process typically encompasses. |
| 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)@inproceedings{7497822,
title = {Automated service composition via supervisory control theory},
author = {Francis Atampore and Juergen Dingel and Karen Rudie},
doi = {10.1109/WODES.2016.7497822},
year = {2016},
date = {2016-05-01},
booktitle = {13th International Workshop on Discrete Event Systems (WODES'16)},
pages = {28-35},
address = {Xi'an, China. May 30 - June 1, 2016},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@proceedings{OSS4MDE16,
title = {Joint Proceedings of the 12th Educators Symposium (EduSymp'16) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16)},
editor = {Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sébastien Gerard and Henry Muccini and Gunter Mussbacher and Sebastian Voss},
url = {http://ceur-ws.org/Vol-1835},
year = {2016},
date = {2016-01-01},
volume = {CEUR},
number = {1835},
address = {Saint-Malo, France. October 3, 2016},
note = {66 pages},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
| 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)@article{DS16,
title = {Guest editorial for the special section on MODELS 2014},
author = {Juergen Dingel and Wolfram Schulte},
doi = {10.1007/s10270-016-0561-x},
year = {2016},
date = {2016-01-01},
journal = {Software and Systems Modeling},
publisher = {Springer},
note = {To appear},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 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)@inproceedings{AHD+16,
title = {Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware},
author = {Reza Ahmadi and Nicolas Hili and Nondini Das and Suchita Ganesan and Leo Jweda and Juergen Dingel},
url = {ceur-ws.org/Vol-1835},
year = {2016},
date = {2016-01-01},
booktitle = {3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16)},
volume = {CEUR},
number = {1835},
address = {Saint-Malo, France. October 3, 2016},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@article{Posse2016,
title = {An executable formal semantics for UML-RT},
author = {Ernesto Posse and Juergen Dingel},
url = {http://dx.doi.org/10.1007/s10270-014-0399-z},
doi = {10.1007/s10270-014-0399-z},
year = {2016},
date = {2016-01-01},
journal = {Software and Systems Modeling},
volume = {15},
number = {1},
pages = {179-217},
abstract = {We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the Pi-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between 'capsules' and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM's RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the Pi-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between 'capsules' and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM's RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date. |
| 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)@inproceedings{Das:2016:SMD:2976767.2976781,
title = {Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation},
author = {Nondini Das and Suchita Ganesan and Leo Jweda and Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},
url = {http://doi.acm.org/10.1145/2976767.2976781},
doi = {10.1145/2976767.2976781},
isbn = {978-1-4503-4321-3},
year = {2016},
date = {2016-01-01},
booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},
pages = {36-43},
publisher = {ACM},
address = {Saint-Malo, France. October 2-7, 2016},
series = {MODELS'16},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@inproceedings{Kahani:2016:PEM:2976767.2976773,
title = {The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums},
author = {Nafiseh Kahani and Mojtaba Bagherzadeh and Juergen Dingel and James R Cordy},
url = {http://doi.acm.org/10.1145/2976767.2976773},
doi = {10.1145/2976767.2976773},
isbn = {978-1-4503-4321-3},
year = {2016},
date = {2016-01-01},
booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},
pages = {227-237},
publisher = {ACM},
address = {Saint-Malo, France. October 2-7, 2016},
series = {MODELS'16},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@inproceedings{Dingel2016,
title = {Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering},
author = {Juergen Dingel},
url = {http://dx.doi.org/10.1007/978-3-319-40530-8_1, paper
http://flux.cs.queensu.ca/mase/files/2018/01/preprint-4.pdf, pre-print},
doi = {10.1007/978-3-319-40530-8_1},
isbn = {978-3-319-40530-8},
year = {2016},
date = {2016-01-01},
booktitle = {9th International Conference on Graph Transformation (ICGT'16)},
pages = {3-18},
publisher = {Springer},
address = {Vienna, Austria. July 5-6, 2016},
abstract = {Despite ever increasing computational power, the history of computing is characterized also by a constant battle with complexity. We will briefly review these trends and argue that, due to its focus on abstraction, automation, and analysis, the modeling community is ideally positioned to facilitate the development of future computing systems. More concretely, a few, select, technological and societal trends and developments will be discussed together with the research opportunities they present to researchers interested in modeling.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Despite ever increasing computational power, the history of computing is characterized also by a constant battle with complexity. We will briefly review these trends and argue that, due to its focus on abstraction, automation, and analysis, the modeling community is ideally positioned to facilitate the development of future computing systems. More concretely, a few, select, technological and societal trends and developments will be discussed together with the research opportunities they present to researchers interested in modeling. |
| 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)@inproceedings{Boudjadar2016,
title = {Compositional Predictability Analysis of Mixed Critical Real Time Systems},
author = {Abdeldjalil Boudjadar and Juergen Dingel and Boris Madzar and Jin Hyun Kim},
url = {http://dx.doi.org/10.1007/978-3-319-29510-7_4},
doi = {10.1007/978-3-319-29510-7_4},
isbn = {978-3-319-29510-7},
year = {2016},
date = {2016-01-01},
booktitle = {4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15)},
pages = {69-84},
publisher = {Springer},
address = {Paris, France. November 6-7, 2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@proceedings{MASE2015,
title = {International Workshop on Modelling in Automotive Software Engineering (MASE'15)},
editor = {Michal Antkiewicz and Joanne Atlee and Juergen Dingel and Ramesh S.},
url = {http://ceur-ws.org/Vol-1487},
year = {2015},
date = {2015-09-01},
volume = {CEUR},
number = {1487},
address = {Ottawa, Canada. September 27, 2015},
note = {72 pages},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
| 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)@proceedings{AMT2015,
title = {4th International Workshop on the Analysis of Model Transformations (AMT'15)},
editor = {Juergen Dingel and Sahar Kokaly and Levi Lúcio and Rick Salay and Hans Vangheluwe},
url = {http://ceur-ws.org/Vol-1500},
year = {2015},
date = {2015-09-01},
volume = {CEUR},
number = {1500},
address = {Ottawa, Canada. September 28, 2015},
note = {65 pages},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
| 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)@inproceedings{7338231,
title = {Incremental symbolic execution of evolving state machines},
author = {Amal Khalil and Juergen Dingel},
url = {http://ieeexplore.ieee.org/abstract/document/7338231},
doi = {10.1109/MODELS.2015.7338231},
year = {2015},
date = {2015-09-01},
booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},
pages = {14-23},
publisher = {IEEE},
address = {Ottawa, Canada. September 30 - October 2, 2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 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)@inproceedings{7338235,
title = {State machine antipatterns for UML-RT},
author = {Tuhin K Das and Juergen Dingel},
url = {http://ieeexplore.ieee.org/document/7338235},
doi = {10.1109/MODELS.2015.7338235},
year = {2015},
date = {2015-09-01},
booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},
pages = {54-63},
publisher = {IEEE},
address = {Ottawa, Canada. September 30 - October 2, 2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|