Publications Search Tool

139 entries « 1 of 7 »
1. Rajbahadur, Gopi Krishnan; Oliva, Gustavo; Hassan, Ahmed; Dingel, Juergen: Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines. In: ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), IEEE, Munich, Germany, 2019, (To appear). (Type: Inproceedings | BibTeX)
2. Ahmadi, Reza; Dingel, Juergen: Concolic Testing for Models of State-based Systems. In: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19), ACM, Tallinn, Estonia, 2019, (To appear). (Type: Inproceedings | BibTeX)
3. Jahed, Karim; Dingel, J: Enabling Model-Driven Software Development Tools for the Internet of Things. In: 11th Workshop on Modeling in Software Engineering (MiSE'19), pp. 93-99, IEEE, Montreal, Canada, 2019. (Type: Inproceedings | Links | BibTeX)
4. Atampore, Francis; Dingel, Juergen; Rudie, Karen: A Controller Synthesis Framework for Automated Service Composition. In: Discrete Event Dynamic Systems (JDEDS), 2019, (To appear). (Type: Journal Article | BibTeX)
5. Pasternak, Michal; Kahani, Nafiseh; Bagherzadeh, Mojtaba; Dingel, Juergen; Cordy, Jim: SimGen: A Tool for Generating Simulations and Visualizations of Embedded Systems on the Unity Game Engine. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18), Demonstration Track, ACM, Copenhagen, Denmark, 2018. (Type: Conference | Links | BibTeX)
6. Ahmadi, Reza; Posse, Ernesto; Dingel, Juergen: Slicing UML-based Models of Real-time Embedded Systems. In: ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18), pp. 346-356, ACM, Copenhagen, Denmark, 2018. (Type: Inproceedings | Links | BibTeX)
7. Das, Tuhin Kanti; Dingel, Juergen: Model Development Guidelines for UML-RT: Conventions, Patterns, and Antipatterns. In: Software and Systems Modeling (SoSyM), 17 (3), pp. 717-752, 2018. (Type: Journal Article | Links | BibTeX)
8. Bagherzadeh, Mojtaba; Kahani, Nafiseh; Bezemer, Cor-Paul; Hassan, Ahmed E; Dingel, Juergen; Cordy, James R: Analyzing a Decade of Linux System Calls. In: Empirical Software Engineering Journal, 23 (3), pp. 1519-1551, 2018. (Type: Journal Article | Abstract | Links | BibTeX)
9. Ahmadi, Reza; Hili, Nicolas; Dingel, Juergen: Property-aware Unit Testing of UML-RT Models in the Context of MDE. In: 14th European Conference on Modelling Foundations and Applications (EC-MFA'18), pp. 147-163, Springer, Toulouse, France, 2018. (Type: Inproceedings | Links | BibTeX)
10. Bagherzadeh, Mojtaba; Hili, Nicolas; Seekatz, David; Dingel, Juergen: MDebugger: A Model-level Debugger for UML-RT. In: 40th International Conference on Software Engineering (ICSE'18): Companion Proceedings, pp. 4, Gothenburg, Sweden, 2018. (Type: Inproceedings | Abstract | Links | BibTeX)
11. Atampore, Francis; Dingel, Juergen; Rudie, Karen: Supervisor Aware Service Composition Framework: An Implementation and Evaluation. In: Tommasi, Gianmaria De (Ed.): 14th Workshop on Discrete Event Systems (WODES'18), Elsevier, Castellammare di Stabia, Sorrento Coast, Italy, 2018, (IFAC-PapersOnLine 51(7):277-284). (Type: Inproceedings | Links | BibTeX)
12. Dingel, Juergen; Schulte, Wolfram: Guest editorial for the special section on MODELS 2014. In: Software and Systems Modeling (SoSyM), 17 (1), pp. 9-10, 2018. (Type: Journal Article | Links | BibTeX)
13. Kahani, Nafiseh; Bagherzadeh, Mojtaba; Cordy, Jim; Dingel, Juergen; Varro, Daniel: Survey and Classification of Model Transformation Tools. In: Software and Systems Modeling (SoSyM), pp. 37, 2018. (Type: Journal Article | Links | BibTeX)
14. Hili, Nicolas; Posse, Ernesto; Dingel, Juergen: Calur: an Action Language for UML-RT. In: European Congress Embedded Real-time Software and Systems (ERTS'18), pp. 10, Toulouse, France, 2018. (Type: Inproceedings | Links | BibTeX)
15. Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian: Summary of Workshop on Model-Driven Engineering Tools (MDETools'17). In: MODELS 2017 Satellite Events Proceedings, pp. 336-337, Austin, Texas, USA, 2017. (Type: Inproceedings | Links | BibTeX)
16. Waez, Md. Tawhid Bin; WÄ…sowski, Andrzej; Dingel, Juergen; Rudie, Karen: Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata. In: Journal Discrete Event Dynamic Systems, Special Issue on Formal Methods in Control, 27 , pp. 407-441, 2017. (Type: Journal Article | Abstract | Links | BibTeX)
17. Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian: Summary of Workshop on Model-Driven Engineering Tools (MDETools'17). In: MODELS 2017 Satellite Events Proceedings, pp. 2, Austin, Texas, USA, 2017, (To appear). (Type: Inproceedings | BibTeX)
18. Selim, Gehan M K; Cordy, James R; Dingel, Juergen: How is ATL Really Used? Language Feature Use in the ATL Zoo. In: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), pp. 11 pages, Austin, Texas. Sept 17-22, 2017, 2017. (Type: Inproceedings | Links | BibTeX)
19. Oliveira, Raquel; Dingel, Juergen: Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT. In: 14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17), pp. 7, Austin, Texas. Sept 19, 2017, 2017, (To appear). (Type: Inproceedings | BibTeX)
20. Bagherzadeh, Mojtaba; Kahani, Nafiseh; Bezemer, Cor-Paul; Hassan, Ahmed E; Dingel, Juergen; Cordy, James R: Analyzing a Decade of Linux System Calls. In: Empirical Software Engineering Journal, 2017. (Type: Journal Article | Links | BibTeX)
139 entries « 1 of 7 »