Publications Search Tool

290 entries « 1 of 15 »
1.

Babaei, Majid; Dingel, Juergen

Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development Inproceedings

In: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS'21), pp. 89-100, IEEE, 2021.

Links | BibTeX

2.

Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen; Combemale, Benoit

Live Modeling in the Context of State Machine Models and Code Generation Journal Article

In: Software and Systems Modeling (SoSyM), 20 , pp. 795-819, 2021.

Links | BibTeX

3.

Babaei, Majid; Bagherzadeh, Mojtaba; Dingel, Juergen

Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development Inproceedings

In: 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20), pp. 285-296, ACM, 2020.

Links | BibTeX

4.

Babaei, Majid; Bagherzadeh, Mojtaba; Dingel, Juergen

MReplayer: A Trace Replayer of Distributed UML-RT Models booktitle = MODELS'20 Demo Track Inproceedings

In: 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20). Demonstration Track, pp. 1-5, ACM, 2020.

Links | BibTeX

5.

Walsh, Liam; Dingel, Juergen; Jahed, Karim

Toward Client-Agnostic Hybrid Model Editor Tools as a Service. Extended Abstract booktitle = Second International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'20) Inproceedings

In: pp. 1, ACM, 2020.

Links | BibTeX

6.

Bagherzadeh, Mojtaba; Kahani, Nafiseh; Jahed, Karim; Dingel, Juergen

Execution of Partial State Machine Models Journal Article

In: IEEE Transactions on Software Engineering, 2020, (In print).

Links | BibTeX

7.

Jahed, Karim; Bagherzadeh, Mojtaba; Dingel, Juergen

On the Benefits of File-level Modularity in the Context of Model-driven Development Journal Article

In: Software and Systems Modeling (SoSyM), 20 , pp. 267-286, 2020.

Links | BibTeX

8.

Hili, Nicolas; Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen

A model-based architecture for interactive run-time monitoring Journal Article

In: Software and Systems Modeling (SoSyM) publisher = Springer, 19 (4), pp. 959-981, 2020.

Links | BibTeX

9.

Ahmadi, Reza; Jahed, Karim; Dingel, Juergen

mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines Inproceedings

In: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). Demonstration track, pp. 1182-1185, IEEE, San Diego, California, USA, 2019.

Links | BibTeX

10.

Bagherzadeh, Mojtaba; Jahed, Karim; Kahani, Nafiseh; Dingel, Juergen

PMExec: An Execution Engine of Partial UML-RT Models Inproceedings

In: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). Demonstration track, pp. 1178-1181, IEEE, San Diego, California, USA, 2019.

Links | BibTeX

11.

Babaei, Majid; Jahed, Karim; Dingel, Juergen

Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT Inproceedings

In: MDETools'19, pp. 221-227, IEEE doi = 10.1109/MODELS-C.2019.00036, 2019.

Links | BibTeX

12.

Bagherzadeh, Mojtaba; Jahed, Karim; Combemale, Benoit; Dingel, Juergen

Live-UMLRT: A Tool for Live Modeling of UML-RT Models Inproceedings

In: ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems Companion (MODELS'19-C), pp. 743-747, IEEE, 2019.

Links | BibTeX

13.

Rajbahadur, Gopi Krishnan; Oliva, Gustavo; Hassan, Ahmed; Dingel, Juergen

Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines Inproceedings

In: ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), pp. 12-22, IEEE, Munich, Germany, 2019.

Links | BibTeX

14.

Rajbahadur, Gopi Krishnan; Oliva, Gustavo; Hassan, Ahmed; Dingel, Juergen

Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines Inproceedings

In: ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19), IEEE, Munich, Germany, 2019, (To appear).

BibTeX

15.

Ahmadi, Reza; Dingel, Juergen

Concolic Testing for Models of State-based Systems Inproceedings

In: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19), pp. 4-15, ACM, Tallinn, Estonia, 2019.

Links | BibTeX

16.

Ahmadi, Reza; Dingel, Juergen

Concolic Testing for Models of State-based Systems Inproceedings

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).

BibTeX

17.

Jahed, Karim; Dingel, J

Enabling Model-Driven Software Development Tools for the Internet of Things Inproceedings

In: 11th Workshop on Modeling in Software Engineering (MiSE'19), pp. 93-99, IEEE, Montreal, Canada, 2019.

Links | BibTeX

18.

Jahed, Karim; Dingel, J

Enabling Model-Driven Software Development Tools for the Internet of Things Inproceedings

In: 11th Workshop on Modeling in Software Engineering (MiSE'19), pp. 93-99, IEEE, Montreal, Canada, 2019.

Links | BibTeX

19.

Atampore, Francis; Dingel, Juergen; Rudie, Karen

A Controller Synthesis Framework for Automated Service Composition Journal Article

In: Discrete Event Dynamic Systems (JDEDS), 29 , pp. 297-365, 2019.

BibTeX

20.

Atampore, Francis; Dingel, Juergen; Rudie, Karen

A Controller Synthesis Framework for Automated Service Composition Journal Article

In: Discrete Event Dynamic Systems (JDEDS), 2019, (To appear).

BibTeX

290 entries « 1 of 15 »