Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jürgen Dingel
@article{DBLP:journals/sosym/BabaeiD23,
author = {Majid Babaei and
Juergen Dingel},
title = {Efficient regression testing of distributed real-time reactive systems
in the context of model-driven development},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1565--1587},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01086-5},
doi = {10.1007/S10270-023-01086-5},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BabaeiD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KahaniBAD23,
author = {Nafiseh Kahani and
Mojtaba Bagherzadeh and
Reza Ahmadi and
Juergen Dingel},
title = {Leveraging modeling concepts and techniques to address challenges
in network management},
booktitle = {26th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2023, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {55--61},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS58315.2023.00021},
doi = {10.1109/MODELS58315.2023.00021},
timestamp = {Fri, 05 Jan 2024 14:12:58 +0100},
biburl = {https://dblp.org/rec/conf/models/KahaniBAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagherzadehKJD22,
author = {Mojtaba Bagherzadeh and
Nafiseh Kahani and
Karim Jahed and
Juergen Dingel},
title = {Execution of Partial State Machine Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {3},
pages = {951--972},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3008850},
doi = {10.1109/TSE.2020.3008850},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BagherzadehKJD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WalshDJ22,
author = {Liam Walsh and
Juergen Dingel and
Karim Jahed},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {A general architecture for client-agnostic hybrid model editors as
a service},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {749--754},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3563131},
doi = {10.1145/3550356.3563131},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/WalshDJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-12246,
author = {Liam Walsh and
Juergen Dingel and
Karim Jahed},
title = {A General Architecture for Client-Agnostic Hybrid Model Editors as
a Service},
journal = {CoRR},
volume = {abs/2210.12246},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.12246},
doi = {10.48550/ARXIV.2210.12246},
eprinttype = {arXiv},
eprint = {2210.12246},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-12246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JahedBD21,
author = {Karim Jahed and
Mojtaba Bagherzadeh and
Juergen Dingel},
title = {On the benefits of file-level modularity for {EMF} models},
journal = {Softw. Syst. Model.},
volume = {20},
number = {1},
pages = {267--286},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00804-7},
doi = {10.1007/S10270-020-00804-7},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/JahedBD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BagherzadehJCD21,
author = {Mojtaba Bagherzadeh and
Karim Jahed and
Beno{\^{\i}}t Combemale and
Juergen Dingel},
title = {Live modeling in the context of state machine models and code generation},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {795--819},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00829-y},
doi = {10.1007/S10270-020-00829-Y},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BagherzadehJCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BabaeiD21,
author = {Majid Babaei and
Juergen Dingel},
title = {Efficient Replay-based Regression Testing for Distributed Reactive
Systems in the Context of Model-driven Development},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {89--100},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00018},
doi = {10.1109/MODELS50736.2021.00018},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/BabaeiD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BabaeiD21a,
author = {Majid Babaei and
Juergen Dingel},
title = {MRegTest: {A} Replay-Based Regression Testing Tool for Distributed
{UML-RT} Models},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {620--624},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00095},
doi = {10.1109/MODELS-C53483.2021.00095},
timestamp = {Wed, 23 Feb 2022 12:16:54 +0100},
biburl = {https://dblp.org/rec/conf/models/BabaeiD21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-17194,
author = {Mojtaba Bagherzadeh and
Nafiseh Kahani and
Karim Jahed and
Juergen Dingel},
title = {Execution of Partial State Machine Models},
journal = {CoRR},
volume = {abs/2103.17194},
year = {2021},
url = {https://arxiv.org/abs/2103.17194},
eprinttype = {arXiv},
eprint = {2103.17194},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-17194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HiliBJD20,
author = {Nicolas Hili and
Mojtaba Bagherzadeh and
Karim Jahed and
Juergen Dingel},
title = {A model-based architecture for interactive run-time monitoring},
journal = {Softw. Syst. Model.},
volume = {19},
number = {4},
pages = {959--981},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00780-y},
doi = {10.1007/S10270-020-00780-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HiliBJD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BabaeiBD20a,
author = {Majid Babaei and
Mojtaba Bagherzadeh and
J{\"{u}}rgen Dingel},
editor = {Esther Guerra and
Ludovico Iovino},
title = {MReplayer: a trace replayer of distributed {UML-RT} models},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3422003},
doi = {10.1145/3417990.3422003},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/BabaeiBD20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WalshDJ20,
author = {Liam Walsh and
Juergen Dingel and
Karim Jahed},
editor = {Esther Guerra and
Ludovico Iovino},
title = {Toward client-agnostic hybrid model editor tools as a service},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {91:1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3421440},
doi = {10.1145/3417990.3421440},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/WalshDJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BabaeiBD20,
author = {Majid Babaei and
Mojtaba Bagherzadeh and
Juergen Dingel},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {Efficient reordering and replay of execution traces of distributed
reactive systems in the context of model-driven development},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {285--296},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410939},
doi = {10.1145/3365438.3410939},
timestamp = {Thu, 24 Sep 2020 13:32:12 +0200},
biburl = {https://dblp.org/rec/conf/models/BabaeiBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/AtamporeDR19,
author = {Francis Atampore and
Juergen Dingel and
Karen Rudie},
title = {A controller synthesis framework for automated service composition},
journal = {Discret. Event Dyn. Syst.},
volume = {29},
number = {3},
pages = {297--365},
year = {2019},
url = {https://doi.org/10.1007/s10626-019-00282-0},
doi = {10.1007/S10626-019-00282-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/AtamporeDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KahaniBCDV19,
author = {Nafiseh Kahani and
Mojtaba Bagherzadeh and
James R. Cordy and
Juergen Dingel and
D{\'{a}}niel Varr{\'{o}}},
title = {Survey and classification of model transformation tools},
journal = {Softw. Syst. Model.},
volume = {18},
number = {4},
pages = {2361--2397},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0665-6},
doi = {10.1007/S10270-018-0665-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/KahaniBCDV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/devops-ws/BordeleauCDRR19,
author = {Francis Bordeleau and
Jordi Cabot and
Juergen Dingel and
Bassem S. Rabil and
Patrick Renaud},
editor = {Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Towards Modeling Framework for DevOps: Requirements Derived from Industry
Use Case},
booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms
of Software Production and Deployment - Second International Workshop,
{DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12055},
pages = {139--151},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-39306-9\_10},
doi = {10.1007/978-3-030-39306-9\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/devops-ws/BordeleauCDRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JahedD19,
author = {Karim Jahed and
Juergen Dingel},
editor = {Marsha Chechik and
Daniel Str{\"{u}}ber and
D{\'{a}}niel Varr{\'{o}}},
title = {Enabling model-driven software development tools for the internet
of things},
booktitle = {Proceedings of the 11th International Workshop on Modelling in Software
Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019},
pages = {93--99},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/MiSE.2019.00022},
doi = {10.1109/MISE.2019.00022},
timestamp = {Tue, 22 Oct 2019 12:51:22 +0200},
biburl = {https://dblp.org/rec/conf/icse/JahedD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BagherzadehJKD19,
author = {Mojtaba Bagherzadeh and
Karim Jahed and
Nafiseh Kahani and
Juergen Dingel},
title = {PMExec: An Execution Engine of Partial {UML-RT} Models},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1178--1181},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00131},
doi = {10.1109/ASE.2019.00131},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BagherzadehJKD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AhmadiJD19,
author = {Reza Ahmadi and
Karim Jahed and
Juergen Dingel},
title = {mCUTE: {A} Model-Level Concolic Unit Testing Engine for {UML} State
Machines},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1182--1185},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00132},
doi = {10.1109/ASE.2019.00132},
timestamp = {Sun, 19 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AhmadiJD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BucaioniDA19,
author = {Alessio Bucaioni and
Juergen Dingel and
Joanne M. Atlee},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Message from the {MASE} 2019 Chair},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {1},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00007},
doi = {10.1109/MODELS-C.2019.00007},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/BucaioniDA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RajbahadurOHD19,
author = {Gopi Krishnan Rajbahadur and
Gustavo Ansaldi Oliva and
Ahmed E. Hassan and
Juergen Dingel},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {12--22},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.00-19},
doi = {10.1109/MODELS.2019.00-19},
timestamp = {Tue, 24 Nov 2020 14:44:06 +0100},
biburl = {https://dblp.org/rec/conf/models/RajbahadurOHD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BabaeiJD19,
author = {Majid Babaei and
Karim Jahed and
Juergen Dingel},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Solving the RoboSoccer Challenge Problem with {UML-RT} and Papyrus-RT},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {221--227},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00036},
doi = {10.1109/MODELS-C.2019.00036},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BabaeiJD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BordeleauBCD019,
author = {Francis Bordeleau and
Jean{-}Michel Bruel and
Jordi Cabot and
Juergen Dingel and
S{\'{e}}bastien Mosser},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Preface to the 1st Workshop on DevOps@MODELS},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {587--588},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00089},
doi = {10.1109/MODELS-C.2019.00089},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BordeleauBCD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BagherzadehJCD19,
author = {Mojtaba Bagherzadeh and
Karim Jahed and
Beno{\^{\i}}t Combemale and
Juergen Dingel},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Live-UMLRT: {A} Tool for Live Modeling of {UML-RT} Models},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {743--747},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00115},
doi = {10.1109/MODELS-C.2019.00115},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BagherzadehJCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AhmadiD19,
author = {Reza Ahmadi and
Juergen Dingel},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Concolic testing for models of state-based systems},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {4--15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338908},
doi = {10.1145/3338906.3338908},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AhmadiD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/KhalilD18,
author = {Amal Khalil and
Juergen Dingel},
title = {Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody
Statecharts},
journal = {Adv. Comput.},
volume = {108},
pages = {145--281},
year = {2018},
url = {https://doi.org/10.1016/bs.adcom.2017.09.003},
doi = {10.1016/BS.ADCOM.2017.09.003},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/KhalilD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BagherzadehKBHD18,
author = {Mojtaba Bagherzadeh and
Nafiseh Kahani and
Cor{-}Paul Bezemer and
Ahmed E. Hassan and
Juergen Dingel and
James R. Cordy},
title = {Analyzing a decade of Linux system calls},
journal = {Empir. Softw. Eng.},
volume = {23},
number = {3},
pages = {1519--1551},
year = {2018},
url = {https://doi.org/10.1007/s10664-017-9551-z},
doi = {10.1007/S10664-017-9551-Z},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/BagherzadehKBHD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DingelS18,
author = {Juergen Dingel and
Wolfram Schulte},
title = {Guest editorial for the special section on {MODELS} 2014},
journal = {Softw. Syst. Model.},
volume = {17},
number = {1},
pages = {9--10},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0561-x},
doi = {10.1007/S10270-016-0561-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DingelS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DasD18,
author = {Tuhin Kanti Das and
Juergen Dingel},
title = {Model development guidelines for {UML-RT:} conventions, patterns and
antipatterns},
journal = {Softw. Syst. Model.},
volume = {17},
number = {3},
pages = {717--752},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0549-6},
doi = {10.1007/S10270-016-0549-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DasD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/AhmadiHD18,
author = {Reza Ahmadi and
Nicolas Hili and
Juergen Dingel},
editor = {Alfonso Pierantonio and
Salvador Trujillo},
title = {Property-Aware Unit Testing of {UML-RT} Models in the Context of {MDE}},
booktitle = {Modelling Foundations and Applications - 14th European Conference,
ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10890},
pages = {147--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92997-2\_10},
doi = {10.1007/978-3-319-92997-2\_10},
timestamp = {Fri, 20 Nov 2020 13:15:21 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/AhmadiHD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagherzadehHSD18,
author = {Mojtaba Bagherzadeh and
Nicolas Hili and
David Seekatz and
Juergen Dingel},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {MDebugger: a model-level debugger for {UML-RT}},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {97--100},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183473},
doi = {10.1145/3183440.3183473},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BagherzadehHSD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagherzadehKBHD18,
author = {Mojtaba Bagherzadeh and
Nafiseh Kahani and
Cor{-}Paul Bezemer and
Ahmed E. Hassan and
Juergen Dingel and
James R. Cordy},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Analyzing a decade of Linux system calls},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {267},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3182518},
doi = {10.1145/3180155.3182518},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BagherzadehKBHD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PasternakKBDC18,
author = {Michal Pasternak and
Nafiseh Kahani and
Mojtaba Bagherzadeh and
Juergen Dingel and
James R. Cordy},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {Simgen: a tool for generating simulations and visualizations of embedded
systems on the unity game engine},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {42--46},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270135},
doi = {10.1145/3270112.3270135},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/PasternakKBDC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BagherzadehBDFG18,
author = {Mojtaba Bagherzadeh and
Francis Bordeleau and
Juergen Dingel and
Michalis Famelis and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Raquel Ara{\'{u}}jo de Oliveira and
Ernesto Posse and
Ed Seidewitz and
Bran Selic},
editor = {Regina Hebig and
Thorsten Berger},
title = {Preface to the 2nd International Workshop on Model Driven Engineering
Tools (MDETools 2018)},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {303--304},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/mdetools\_intro.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BagherzadehBDFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AhmadiPD18,
author = {Reza Ahmadi and
Ernesto Posse and
Juergen Dingel},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Slicing UML-based Models of Real-time Embedded Systems},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {346--356},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3239407},
doi = {10.1145/3239372.3239407},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/models/AhmadiPD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/WaezWDR17,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
Juergen Dingel and
Karen Rudie},
title = {Controller synthesis for dynamic hierarchical real-time plants using
timed automata},
journal = {Discret. Event Dyn. Syst.},
volume = {27},
number = {2},
pages = {407--441},
year = {2017},
url = {https://doi.org/10.1007/s10626-017-0240-2},
doi = {10.1007/S10626-017-0240-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/WaezWDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ZurowskaD17,
author = {Karolina Zurowska and
Juergen Dingel},
title = {Language-specific model checking of {UML-RT} models},
journal = {Softw. Syst. Model.},
volume = {16},
number = {2},
pages = {393--415},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0484-y},
doi = {10.1007/S10270-015-0484-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ZurowskaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KahaniHCD17,
author = {Nafiseh Kahani and
Nicolas Hili and
James R. Cordy and
Juergen Dingel},
title = {Evaluation of {UML-RT} and Papyrus-RT for Modelling Self-Adaptive
Systems},
booktitle = {9th {IEEE/ACM} International Workshop on Modelling in Software Engineering,
MiSE@ICSE 2017, Buenos Aires, Argentina, May 21-22, 2017},
pages = {12--18},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MiSE.2017.4},
doi = {10.1109/MISE.2017.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KahaniHCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HiliDB17,
author = {Nicolas Hili and
Juergen Dingel and
Alain Beaulieu},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Modelling and code generation for real-time embedded systems with
{UML-RT} and papyrus-RT},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {509--510},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.168},
doi = {10.1109/ICSE-C.2017.168},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HiliDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SelimCD17,
author = {Gehan M. K. Selim and
James R. Cordy and
Juergen Dingel},
title = {How is {ATL} Really Used? Language Feature Use in the {ATL} Zoo},
booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
2017},
pages = {34--44},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/MODELS.2017.20},
doi = {10.1109/MODELS.2017.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SelimCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OliveiraD17,
author = {Raquel Ara{\'{u}}jo de Oliveira and
Juergen Dingel},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {Supporting Model Refinement with Equivalence Checking in the Context
of Model-driven Engineering with {UML-RT}},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {307--314},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/modevva\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/OliveiraD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BagherzadehHD17,
author = {Mojtaba Bagherzadeh and
Nicolas Hili and
Juergen Dingel},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Model-level, platform-independent debugging in the context of the
model-driven development of real-time systems},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {419--430},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106278},
doi = {10.1145/3106237.3106278},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BagherzadehHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2016edusym,
editor = {Francis Bordeleau and
Jean{-}Michel Bruel and
J{\"{u}}rgen Dingel and
S{\'{e}}bastien G{\'{e}}rard and
Henry Muccini and
Gunter Mussbacher and
Sebastian Voss},
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), Saint Malo, France, October 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1835},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1835},
urn = {urn:nbn:de:0074-1835-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2016edusym.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PosseD16,
author = {Ernesto Posse and
Juergen Dingel},
title = {An executable formal semantics for {UML-RT}},
journal = {Softw. Syst. Model.},
volume = {15},
number = {1},
pages = {179--217},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0399-z},
doi = {10.1007/S10270-014-0399-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PosseD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LucioADLSSSW16,
author = {Levi L{\'{u}}cio and
Moussa Amrani and
Juergen Dingel and
Leen Lambers and
Rick Salay and
Gehan M. K. Selim and
Eugene Syriani and
Manuel Wimmer},
title = {Model transformation intents and their properties},
journal = {Softw. Syst. Model.},
volume = {15},
number = {3},
pages = {647--684},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0429-x},
doi = {10.1007/S10270-014-0429-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LucioADLSSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MadzarBDFR16,
author = {Boris Madzar and
Jalil Boudjadar and
Juergen Dingel and
Thomas E. Fuhrman and
S. Ramesh},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore
Systems},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {153--171},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_10},
doi = {10.1007/978-3-319-57666-4\_10},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/MadzarBDFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Dingel16,
author = {Juergen Dingel},
editor = {Rachid Echahed and
Mark Minas},
title = {Complexity is the Only Constant: Trends in Computing and Their Relevance
to Model Driven Engineering},
booktitle = {Graph Transformation - 9th International Conference, {ICGT} 2016,
in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria,
July 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9761},
pages = {3--18},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40530-8\_1},
doi = {10.1007/978-3-319-40530-8\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Dingel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DasGJBHD16,
author = {Nondini Das and
Suchita Ganesan and
Leo Jweda and
Mojtaba Bagherzadeh and
Nicolas Hili and
Juergen Dingel},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Supporting the model-driven development of real-time embedded systems
with run-time monitoring and animation via highly customizable code
generation},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {36--43},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976781},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/DasGJBHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AhmadiHJDGD16,
author = {Reza Ahmadi and
Nicolas Hili and
Leo Jweda and
Nondini Das and
Suchita Ganesan and
Juergen Dingel},
editor = {Francis Bordeleau and
Jean{-}Michel Bruel and
J{\"{u}}rgen Dingel and
S{\'{e}}bastien G{\'{e}}rard and
Henry Muccini and
Gunter Mussbacher and
Sebastian Voss},
title = {Run-time Monitoring of a Rover: {MDE} Research with Open Source Software
and Low-cost Hardware},
booktitle = {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, October 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1835},
pages = {37--44},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1835/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/AhmadiHJDGD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KahaniBDC16,
author = {Nafiseh Kahani and
Mojtaba Bagherzadeh and
Juergen Dingel and
James R. Cordy},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {The problems with eclipse modeling tools: a topic analysis of eclipse
forums},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {227--237},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976773},
timestamp = {Sat, 04 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/KahaniBDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AtamporeDR16,
author = {Francis Atampore and
Juergen Dingel and
Karen Rudie},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Automated service composition via supervisory control theory},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {28--35},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497822},
doi = {10.1109/WODES.2016.7497822},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AtamporeDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/AmraniCLSDTVC15,
author = {Moussa Amrani and
Beno{\^{\i}}t Combemale and
Levi Lucio and
Gehan M. K. Selim and
J{\"{u}}rgen Dingel and
Yves Le Traon and
Hans Vangheluwe and
James R. Cordy},
title = {Formal Verification Techniques for Model Transformations: {A} Tridimensional
Classification},
journal = {J. Object Technol.},
volume = {14},
number = {3},
pages = {1:1--43},
year = {2015},
url = {https://doi.org/10.5381/jot.2015.14.3.a1},
doi = {10.5381/JOT.2015.14.3.A1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/AmraniCLSDTVC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SelimWCD15,
author = {Gehan M. K. Selim and
Shige Wang and
James R. Cordy and
Juergen Dingel},
title = {Model transformations for migrating legacy deployment models in the
automotive industry},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {365--381},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0365-1},
doi = {10.1007/S10270-013-0365-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SelimWCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BoudjadarDMK15,
author = {Abdeldjalil Boudjadar and
Juergen Dingel and
Boris Madzar and
Jin Hyun Kim},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Compositional Predictability Analysis of Mixed Critical Real Time
Systems},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {69--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_4},
doi = {10.1007/978-3-319-29510-7\_4},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/BoudjadarDMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/FischerD15,
author = {Mark Fischer and
Juergen Dingel},
editor = {Ana L. N. Fred and
Jan L. G. Dietz and
David Aveiro and
Kecheng Liu and
Joaquim Filipe},
title = {Facilitating Ontology Co-evolution with Ontology Instance Migration},
booktitle = {{KEOD} 2015 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, part of the 7th International
Joint Conference on Knowledge Discovery, Knowledge Engineering and
Knowledge Management {(IC3K} 2015), Volume 2, Lisbon, Portugal, November
12-14, 2015},
pages = {441--446},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005642404410446},
doi = {10.5220/0005642404410446},
timestamp = {Sat, 20 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic3k/FischerD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/FamelisLSSSCCDV15,
author = {Michalis Famelis and
Levi Lucio and
Gehan M. K. Selim and
Alessio Di Sandro and
Rick Salay and
Marsha Chechik and
James R. Cordy and
J{\"{u}}rgen Dingel and
Hans Vangheluwe and
S. Ramesh},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {Migrating Automotive Product Lines: {A} Case Study},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {82--97},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_7},
doi = {10.1007/978-3-319-21155-8\_7},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmt/FamelisLSSSCCDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RaposD15,
author = {Eric James Rapos and
J{\"{u}}rgen Dingel},
title = {Using Fuzzy Logic and Symbolic Execution to Prioritize {UML-RT} Test
Cases},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102610},
doi = {10.1109/ICST.2015.7102610},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RaposD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KhalilD15,
author = {Amal Khalil and
Juergen Dingel},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Incremental symbolic execution of evolving state machines},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338231},
doi = {10.1109/MODELS.2015.7338231},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/KhalilD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LucioOGSDCV15,
author = {Levi L{\'{u}}cio and
Bentley James Oakes and
Cl{\'{a}}udio Gomes and
Gehan M. K. Selim and
Juergen Dingel and
James R. Cordy and
Hans Vangheluwe},
editor = {Vinay Kulkarni and
Omar Badreddin},
title = {SyVOLT: Full Model Transformation Verification Using Contracts},
booktitle = {Proceedings of the MoDELS 2015 Demo and Poster Session co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1554},
pages = {24--27},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1554/PD\_MoDELS\_2015\_paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/LucioOGSDCV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SelimCDLO15,
author = {Gehan M. K. Selim and
James R. Cordy and
J{\"{u}}rgen Dingel and
Levi Lucio and
Bentley J. Oakes},
editor = {J{\"{u}}rgen Dingel and
Sahar Kokaly and
Levi Lucio and
Rick Salay and
Hans Vangheluwe},
title = {Finding and Fixing Bugs in Model Transformations with Formal Verification:
An Experience Report},
booktitle = {Proceedings of the 4th Workshop on the Analysis of Model Transformations
co-located with the 18th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada,
September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1500},
pages = {26--35},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1500/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/SelimCDLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DasD15,
author = {Tuhin Kanti Das and
Juergen Dingel},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {State machine antipatterns for {UML-RT}},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338235},
doi = {10.1109/MODELS.2015.7338235},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/DasD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WaezWDR15,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
Juergen Dingel and
Karen Rudie},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {A Model for Industrial Real-Time Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {153--171},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_9},
doi = {10.1007/978-3-662-46081-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WaezWDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015mase,
editor = {Michal Antkiewicz and
Joanne M. Atlee and
Juergen Dingel and
S. Ramesh},
title = {Proceedings of the International Workshop on Modelling in Automotive
Software Engineering co-located with {ACM/IEEE} 18th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2015), Ottawa, Canada. September 27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1487},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1487},
urn = {urn:nbn:de:0074-1487-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015mase.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015amt,
editor = {J{\"{u}}rgen Dingel and
Sahar Kokaly and
Levi Lucio and
Rick Salay and
Hans Vangheluwe},
title = {Proceedings of the 4th Workshop on the Analysis of Model Transformations
co-located with the 18th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada,
September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1500},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1500},
urn = {urn:nbn:de:0074-1500-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015amt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015oss4mde,
editor = {Francis Bordeleau and
Jean{-}Michel Bruel and
Juergen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {Proceedings of the International Workshop on Open Source Software
for Model Driven Engineering co-located with {ACM/IEEE} 18th International
Conference on Model Driven Engineering Languages and Systems {(MODELS}
2015), Ottawa, Canada, September 29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1541},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1541},
urn = {urn:nbn:de:0074-1541-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015oss4mde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AuerDR14,
author = {Anthony Auer and
J{\"{u}}rgen Dingel and
Karen Rudie},
title = {Concurrency control generation for dynamic threads using discrete-event
systems},
journal = {Sci. Comput. Program.},
volume = {82},
pages = {22--43},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.01.007},
doi = {10.1016/J.SCICO.2013.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AuerDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/ZurowskaD14,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {A Customizable Execution Engine for Models of Embedded Systems},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {82--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_4},
doi = {10.1007/978-3-319-21912-7\_4},
timestamp = {Sat, 19 Oct 2019 20:12:40 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/ZurowskaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/WaezWDR14,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
J{\"{u}}rgen Dingel and
Karen Rudie},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core
Systems: An Experience Report},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {162--180},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_10},
doi = {10.1007/978-3-319-15317-9\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/WaezWDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SelimLCDO14,
author = {Gehan M. K. Selim and
Levi Lucio and
James R. Cordy and
J{\"{u}}rgen Dingel and
Bentley J. Oakes},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Specification and Verification of Graph-Based Model Transformation
Properties},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {113--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_8},
doi = {10.1007/978-3-319-09108-2\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/SelimLCDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PosseD14,
author = {Ernesto Posse and
J{\"{u}}rgen Dingel},
editor = {Julien Delange and
Peter H. Feiler},
title = {Contract-Based Specification and Analysis of {AADL} Models},
booktitle = {Proceedings of the First International Workshop on Architecture Centric
Virtual Integration co-located with the 17th International Conference
on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
Valencia, Spain, September 29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1233},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PosseD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014amt,
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277},
urn = {urn:nbn:de:0074-1277-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014amt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014oss4mde,
editor = {Francis Bordeleau and
J{\"{u}}rgen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {Proceedings of the 1st Workshop on Open Source Software for Model
Driven Engineering co-located with {ACM/IEEE} 17th International Conference
on Model Driven Engineering Languages {\&} Systems, OSS4MDE@MoDELS
2014, Valencia, Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1290},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1290},
urn = {urn:nbn:de:0074-1290-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014oss4mde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014,
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2},
doi = {10.1007/978-3-319-11653-2},
isbn = {978-3-319-11652-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyCDHRS14,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
title = {{UML} 2 Semantics Symposium: Formal Semantics for {UML}},
journal = {CoRR},
volume = {abs/1409.6619},
year = {2014},
url = {http://arxiv.org/abs/1409.6619},
eprinttype = {arXiv},
eprint = {1409.6619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyCDHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CengarleDGR14,
author = {Mar{\'{\i}}a Victoria Cengarle and
J{\"{u}}rgen Dingel and
Hans Gr{\"{o}}nniger and
Bernhard Rumpe},
title = {System-Model-Based Simulation of {UML} Models},
journal = {CoRR},
volume = {abs/1409.6622},
year = {2014},
url = {http://arxiv.org/abs/1409.6622},
eprinttype = {arXiv},
eprint = {1409.6622},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CengarleDGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/WaezDR13,
author = {Md Tawhid Bin Waez and
J{\"{u}}rgen Dingel and
Karen Rudie},
title = {A survey of timed automata for the development of real-time systems},
journal = {Comput. Sci. Rev.},
volume = {9},
pages = {1--26},
year = {2013},
url = {https://doi.org/10.1016/j.cosrev.2013.05.001},
doi = {10.1016/J.COSREV.2013.05.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/WaezDR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MoffettDB13,
author = {Yann Moffett and
J{\"{u}}rgen Dingel and
Alain Beaulieu},
title = {Verifying Protocol Conformance Using Software Model Checking for the
Model-Driven Development of Embedded Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {9},
pages = {1307--1325},
year = {2013},
url = {https://doi.org/10.1109/TSE.2013.14},
doi = {10.1109/TSE.2013.14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MoffettDB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DingelES13,
author = {Mark Fischer and
J{\"{u}}rgen Dingel and
Maged Elaasar and
Steven Shaw},
editor = {Alfonso Pierantonio and
Bernhard Sch{\"{a}}tz},
title = {Automating Instance Migration in Response to Ontology Evolution},
booktitle = {Proceedings of the Workshop on Models and Evolution co-located with
{ACM/IEEE} 16th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2013), Miami, Florida, USA, October
1, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1090},
pages = {22--29},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1090/3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DingelES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZurowskaD13,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Model Checking of {UML-RT} Models Using Lazy Composition},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {304--319},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_19},
doi = {10.1007/978-3-642-41533-3\_19},
timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
biburl = {https://dblp.org/rec/conf/models/ZurowskaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SelimBCDW13,
author = {Gehan M. K. Selim and
Fabian B{\"{u}}ttner and
James R. Cordy and
J{\"{u}}rgen Dingel and
Shige Wang},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Automated Verification of Model Transformations in the Automotive
Industry},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {690--706},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_42},
doi = {10.1007/978-3-642-41533-3\_42},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SelimBCDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013amt,
editor = {Benoit Baudry and
J{\"{u}}rgen Dingel and
Levi Lucio and
Hans Vangheluwe},
title = {Proceedings of the Second Workshop on the Analysis of Model Transformations
{(AMT} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1077},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1077},
urn = {urn:nbn:de:0074-1077-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013amt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/SelimWCD12,
author = {Gehan M. K. Selim and
Shige Wang and
James R. Cordy and
J{\"{u}}rgen Dingel},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {Model Transformations for Migrating Legacy Models: An Industrial Case
Study},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {90--101},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_9},
doi = {10.1007/978-3-642-31491-9\_9},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/SelimWCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AmraniLSCDVTC12,
author = {Moussa Amrani and
Levi Lucio and
Gehan M. K. Selim and
Beno{\^{\i}}t Combemale and
J{\"{u}}rgen Dingel and
Hans Vangheluwe and
Yves Le Traon and
James R. Cordy},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Tridimensional Approach for Studying the Formal Verification of
Model Transformations},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {921--928},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.197},
doi = {10.1109/ICST.2012.197},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AmraniLSCDVTC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RaposD12,
author = {Eric James Rapos and
J{\"{u}}rgen Dingel},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Incremental Test Case Generation for {UML-RT} Models Using Symbolic
Execution},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {962--963},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.205},
doi = {10.1109/ICST.2012.205},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RaposD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DingelLVV12,
author = {Juergen Dingel and
Levi L{\'{u}}cio and
Hans Vangheluwe and
D{\'{a}}niel Varr{\'{o}}},
title = {Summary of the First Workshop on the Analysis of Model Transformations
{(AMT} 2012)},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {1--2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432498},
doi = {10.1145/2432497.2432498},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/DingelLVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmraniDLLSSSW12,
author = {Moussa Amrani and
J{\"{u}}rgen Dingel and
Leen Lambers and
Levi L{\'{u}}cio and
Rick Salay and
Gehan M. K. Selim and
Eugene Syriani and
Manuel Wimmer},
title = {Towards a model transformation intent catalog},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {3--8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432499},
doi = {10.1145/2432497.2432499},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AmraniDLLSSSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SelimCD12,
author = {Gehan M. K. Selim and
James R. Cordy and
Juergen Dingel},
title = {Model transformation testing: the state of the art},
booktitle = {Proceedings of the First Workshop on the Analysis of Model Transformations,
AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012},
pages = {21--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432497.2432502},
doi = {10.1145/2432497.2432502},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SelimCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ZurowskaD12,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Symbolic Execution of Communicating and Hierarchically Composed {UML-RT}
State Machines},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {39--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_6},
doi = {10.1007/978-3-642-28891-3\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ZurowskaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZurowskaD12,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Symbolic execution of {UML-RT} State Machines},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1292--1299},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231981},
doi = {10.1145/2245276.2231981},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ZurowskaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ChausseXDR11,
author = {Nicolas Chausse and
Helen Xu and
J{\"{u}}rgen Dingel and
Karen Rudie},
title = {Combining Model Checking and Discrete-Event Supervisor Synthesis},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.686},
doi = {10.14279/TUJ.ECEASST.46.686},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ChausseXDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/LiscanoDPQ01,
author = {Ramiro Liscano and
J{\"{u}}rgen Dingel and
Dorina C. Petriu and
Faisal Qureshi},
editor = {Joanna W. Ng and
Christian Couturier and
Marin Litoiu and
Eleni Stroulia},
title = {Software modeling for embedded and mobile sensor system},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '11,
Toronto, ON, Canada, November 7-10, 2011},
pages = {360--362},
publisher = {{IBM} / {ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2093950},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cascon/LiscanoDPQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SaifanDBP11,
author = {Ahmad A. Saifan and
J{\"{u}}rgen Dingel and
Jeremy S. Bradbury and
Ernesto Posse},
title = {Implementing and Evaluating a Runtime Conformance Checker for Mobile
Agent Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {269--278},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.62},
doi = {10.1109/ICST.2011.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SaifanDBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZurowskaD11,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{SAUML:} {A} tool for symbolic analysis of {UML-RT} models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {604--607},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100136},
doi = {10.1109/ASE.2011.6100136},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZurowskaD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MoffettBD11,
author = {Yann Moffett and
Alain Beaulieu and
J{\"{u}}rgen Dingel},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Verifying {UML-RT} Protocol Conformance Using Model Checking},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {410--424},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_30},
doi = {10.1007/978-3-642-24485-8\_30},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/MoffettBD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2011,
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5},
doi = {10.1007/978-3-642-21461-5},
isbn = {978-3-642-21460-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2010w,
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21210-9},
doi = {10.1007/978-3-642-21210-9},
isbn = {978-3-642-21209-3},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2010w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/DingelPPRZ10,
author = {J{\"{u}}rgen Dingel and
Eyrak Paen and
Ernesto Posse and
Rezoanoor (Ruben) Rahman and
Karolina Zurowska},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Definition and implementation of a semantic mapping for {UML-RT} using
a timed pi-calculus},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811148},
doi = {10.1145/1811147.1811148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/DingelPPRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/PosseD10,
author = {Ernesto Posse and
J{\"{u}}rgen Dingel},
editor = {Stephen John Turner and
David J. Roberts},
title = {Kiltera: {A} Language for Timed, Event-Driven, Mobile and Distributed
Simulation},
booktitle = {{DS-RT} '10 Proceedings of the 2010 {IEEE/ACM} 14th International
Symposium on Distributed Simulation and Real Time Applications, Fairfax,
Virginia, USA, 17-20 October 2010},
pages = {87--96},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DS-RT.2010.19},
doi = {10.1109/DS-RT.2010.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/PosseD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PosseD10,
author = {Ernesto Posse and
J{\"{u}}rgen Dingel},
editor = {John Hatcliff and
Elena Zucca},
title = {Theory and Implementation of a Real-Time Extension to the \emph{pi}-Calculus},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {125--139},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_11},
doi = {10.1007/978-3-642-13464-7\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/PosseD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/AuerDR09,
author = {Anthony Auer and
Juergen Dingel and
Karen Rudie},
title = {Concurrency control generation for dynamic threads using Discrete-Event
Systems},
booktitle = {47th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2009, Monticello, IL, USA, September 30 - October 2, 2009},
pages = {927--934},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ALLERTON.2009.5394896},
doi = {10.1109/ALLERTON.2009.5394896},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/allerton/AuerDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/DingelRD09,
author = {J{\"{u}}rgen Dingel and
Karen Rudie and
Christopher Dragert},
editor = {Bipin C. Desai and
Carson Kai{-}Sang Leung and
Olga Ormandjieva},
title = {Bridging the gap: Discrete-Event Systems for software engineering
(short position paper)},
booktitle = {Canadian Conference on Computer Science {\&} Software Engineering,
{C3S2E} 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {67--71},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557626.1557637},
doi = {10.1145/1557626.1557637},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/c3s2e/DingelRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SaifanPD09,
author = {Ahmad A. Saifan and
Ernesto Posse and
J{\"{u}}rgen Dingel},
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {Run-time conformance checking of mobile and distributed systems using
executable models},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639622.1639623},
doi = {10.1145/1639622.1639623},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SaifanPD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Dingel09,
author = {J{\"{u}}rgen Dingel},
editor = {Sudipto Ghosh},
title = {The Doctoral Symposium at {MODELS} 2009},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {1--4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_1},
doi = {10.1007/978-3-642-12261-3\_1},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/Dingel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DingelDZ08,
author = {J{\"{u}}rgen Dingel and
Zinovy Diskin and
Alanna Zito},
title = {Understanding and improving {UML} package merge},
journal = {Softw. Syst. Model.},
volume = {7},
number = {4},
pages = {443--467},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0073-9},
doi = {10.1007/S10270-007-0073-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DingelDZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/CraneD08,
author = {Michelle L. Crane and
J{\"{u}}rgen Dingel},
editor = {Marsha Chechik and
Mark R. Vigder and
Darlene A. Stewart},
title = {Towards a {UML} virtual machine: implementing an interpreter for {UML}
2 actions and activities},
booktitle = {Proceedings of the 2008 conference of the Centre for Advanced Studies
on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario,
Canada},
pages = {8},
publisher = {{IBM}},
year = {2008},
url = {https://doi.org/10.1145/1463788.1463799},
doi = {10.1145/1463788.1463799},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/CraneD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisse/SaifanD08,
author = {Ahmad A. Saifan and
J{\"{u}}rgen Dingel},
editor = {Khaled M. Elleithy},
title = {A Survey of Using Model-Based Testing to Improve Quality Attributes
in Distributed Systems},
booktitle = {Advanced Techniques in Computing Sciences and Software Engineering,
Volume {II} of the proceedings of the 2008 International Conference
on Systems, Computing Sciences and Software Engineering (SCSS), part
of the International Joint Conferences on Computer, Information, and
Systems Sciences, and Engineering, {CISSE} 2008, Bridgeport, Connecticut,
{USA}},
pages = {283--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-90-481-3660-5\_48},
doi = {10.1007/978-90-481-3660-5\_48},
timestamp = {Tue, 29 Dec 2020 18:38:51 +0100},
biburl = {https://dblp.org/rec/conf/cisse/SaifanD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LongDG08,
author = {Barry Long and
J{\"{u}}rgen Dingel and
T. C. Nicholas Graham},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Experience applying the {SPIN} model checker to an industrial telecommunications
system},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {693--702},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368187},
doi = {10.1145/1368088.1368187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LongDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LiangDDP08,
author = {Hongzhi Liang and
Zinovy Diskin and
J{\"{u}}rgen Dingel and
Ernesto Posse},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {A General Approach for Scenario Integration},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {204--218},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_15},
doi = {10.1007/978-3-540-87875-9\_15},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/LiangDDP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CraneD08,
author = {Michelle L. Crane and
J{\"{u}}rgen Dingel},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Towards a Formal Account of a Foundational Subset for Executable {UML}
Models},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {675--689},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_47},
doi = {10.1007/978-3-540-87875-9\_47},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CraneD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DragertDR08,
author = {Christopher Dragert and
J{\"{u}}rgen Dingel and
Karen Rudie},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Generation of concurrency control code using discrete-event systems
theory},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {146--157},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453122},
doi = {10.1145/1453101.1453122},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DragertDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LiangD08,
author = {Hongzhi Liang and
J{\"{u}}rgen Dingel},
editor = {Dragan Gasevic and
Ralf L{\"{a}}mmel and
Eric Van Wyk},
title = {A Practical Evaluation of Using {TXL} for Model Transformation},
booktitle = {Software Language Engineering, First International Conference, {SLE}
2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5452},
pages = {245--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00434-6\_16},
doi = {10.1007/978-3-642-00434-6\_16},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sle/LiangD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/DiskinED08,
author = {Zinovy Diskin and
Steve M. Easterbrook and
J{\"{u}}rgen Dingel},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Engineering Associations: From Models to Code and Back through Semantics},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {336--355},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_19},
doi = {10.1007/978-3-540-69824-1\_19},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/DiskinED08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CraneD07,
author = {Michelle L. Crane and
J{\"{u}}rgen Dingel},
title = {{UML} vs. classical vs. rhapsody statecharts: not all models are created
equal},
journal = {Softw. Syst. Model.},
volume = {6},
number = {4},
pages = {415--435},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0042-8},
doi = {10.1007/S10270-006-0042-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CraneD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/CaiBD07,
author = {L. Ruhai Cai and
Jeremy S. Bradbury and
J{\"{u}}rgen Dingel},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific
Software Model Checking},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {44--58},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_3},
doi = {10.1007/978-3-540-72952-5\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/CaiBD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McGeachieD07,
author = {Jesse McGeachie and
J{\"{u}}rgen Dingel},
editor = {Marieke Huisman and
Fausto Spoto},
title = {Translate One, Analyze Many: Leveraging the Microsoft Intermediate
Language and Source Code Transformation for Model Checking},
booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {3--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.057},
doi = {10.1016/J.ENTCS.2007.02.057},
timestamp = {Tue, 31 Jan 2023 15:42:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McGeachieD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Dingel06,
author = {J{\"{u}}rgen Dingel},
title = {Compositional Analysis of {C/C++} Programs with VeriSoft},
journal = {Acta Informatica},
volume = {43},
number = {1},
pages = {45--71},
year = {2006},
url = {https://doi.org/10.1007/s00236-006-0016-x},
doi = {10.1007/S00236-006-0016-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Dingel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangBCD06,
author = {Hongyu Zhang and
Jeremy S. Bradbury and
James R. Cordy and
J{\"{u}}rgen Dingel},
title = {Using source transformation to test and model check implicit-invocation
systems},
journal = {Sci. Comput. Program.},
volume = {62},
number = {3},
pages = {209--227},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.04.008},
doi = {10.1016/J.SCICO.2006.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangBCD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZitoDD06,
author = {Alanna Zito and
Zinovy Diskin and
J{\"{u}}rgen Dingel},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Package Merge in {UML} 2: Practice vs. Theory?},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {185--199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_14},
doi = {10.1007/11880240\_14},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/ZitoDD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinD06,
author = {Zinovy Diskin and
J{\"{u}}rgen Dingel},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Mappings, Maps and Tables: Towards Formal Semantics for Associations
in {UML2}},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {230--244},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_17},
doi = {10.1007/11880240\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/DiskinD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroyCDHRS06,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
editor = {Thomas K{\"{u}}hne},
title = {2\({}^{\mbox{nd}}\) {UML} 2 Semantics Symposium: Formal Semantics
for {UML}},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {318--323},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_39},
doi = {10.1007/978-3-540-69489-2\_39},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BroyCDHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scesm/LiangDD06,
author = {Hongzhi Liang and
J{\"{u}}rgen Dingel and
Zinovy Diskin},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {A comparative survey of scenario-based to state-based model synthesis
approaches},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {5--12},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138956},
doi = {10.1145/1138953.1138956},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/scesm/LiangDD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BradburyCD05,
author = {Jeremy S. Bradbury and
James R. Cordy and
J{\"{u}}rgen Dingel},
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {An empirical framework for comparing effectiveness of testing and
property-based formal analysis},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
pages = {2--5},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108792.1108795},
doi = {10.1145/1108792.1108795},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/BradburyCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/ZhangBCD05,
author = {Hongyu Zhang and
Jeremy S. Bradbury and
James R. Cordy and
J{\"{u}}rgen Dingel},
title = {Implementation and Verification of Implicit-Invocation Systems Using
Source Transformation},
booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary},
pages = {87--96},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCAM.2005.15},
doi = {10.1109/SCAM.2005.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/ZhangBCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/CraneD05,
author = {Michelle L. Crane and
J{\"{u}}rgen Dingel},
editor = {Lionel C. Briand and
Clay Williams},
title = {{UML} Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created
Equal},
booktitle = {Model Driven Engineering Languages and Systems, 8th International
Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3713},
pages = {97--112},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11557432\_8},
doi = {10.1007/11557432\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/uml/CraneD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CassidyCDD05,
author = {Timothy Cassidy and
James R. Cordy and
Thomas R. Dean and
J{\"{u}}rgen Dingel},
editor = {John Boyland and
G{\"{o}}rel Hedin},
title = {Source Transformation for Concurrency Analysis},
booktitle = {Proceedings of the Fifth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2005, Edinburgh, UK, April 3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {4},
pages = {57--75},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.012},
doi = {10.1016/J.ENTCS.2005.05.012},
timestamp = {Tue, 13 Dec 2022 10:43:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CassidyCDD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DingelL04,
author = {J{\"{u}}rgen Dingel and
Hongzhi Liang},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Automating comprehensive safety analysis of concurrent programs using
verisoft and {TXL}},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {13--22},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029900},
doi = {10.1145/1029894.1029900},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DingelL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/BradburyCDW04,
author = {Jeremy S. Bradbury and
James R. Cordy and
J{\"{u}}rgen Dingel and
Michel Wermelinger},
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {A survey of self-management in dynamic software architecture specifications},
booktitle = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
{WOSS} 2004, Newport Beach, California, USA, October 31 - November
1, 2004},
pages = {28--33},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1075405.1075411},
doi = {10.1145/1075405.1075411},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/woss/BradburyCDW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Dingel03,
author = {J{\"{u}}rgen Dingel},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Computer-Assisted Assume/Guarantee Reasoning with VeriSoft},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {138--148},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201195},
doi = {10.1109/ICSE.2003.1201195},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Dingel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BradburyD03,
author = {Jeremy S. Bradbury and
J{\"{u}}rgen Dingel},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Evaluating and improving the automatic analysis of implicit invocation
systems},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {78--87},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940083},
doi = {10.1145/940071.940083},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BradburyD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CraneD03,
author = {Michelle L. Crane and
J{\"{u}}rgen Dingel},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Runtime Conformance Checking of Objects Using Alloy},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {2--21},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81040-5},
doi = {10.1016/S1571-0661(04)81040-5},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CraneD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Dingel02,
author = {J{\"{u}}rgen Dingel},
title = {A Refinement Calculus for Shared-Variable Parallel and Distributed
Programming},
journal = {Formal Aspects Comput.},
volume = {14},
number = {2},
pages = {123--197},
year = {2002},
url = {https://doi.org/10.1007/s001650200032},
doi = {10.1007/S001650200032},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Dingel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/DingelGD02,
author = {J{\"{u}}rgen Dingel and
David Garlan and
Craig Damon},
title = {Bridging the {HLA:} Problems and Solutions},
booktitle = {6th {IEEE} International Workshop on Distributed Simulation and Real-Time
Applications {(DS-RT} 2002), 11-13 October 2002, Fort Worth, TX, {USA}},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DISRTA.2002.1166886},
doi = {10.1109/DISRTA.2002.1166886},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/DingelGD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Dingel00,
author = {J{\"{u}}rgen Dingel},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Towards a Unified Development Methodology for Shared-Variable Parallel
and Distributed Programs},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {214--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_13},
doi = {10.1007/3-540-40911-4\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Dingel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DingelGJN98,
author = {J{\"{u}}rgen Dingel and
David Garlan and
Somesh Jha and
David Notkin},
title = {Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee
Reasoning},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {193--213},
year = {1998},
url = {https://doi.org/10.1007/s001650050011},
doi = {10.1007/S001650050011},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DingelGJN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Dingel98,
author = {J{\"{u}}rgen Dingel},
editor = {Armando Martin Haeberer},
title = {A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {231--247},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_18},
doi = {10.1007/3-540-49253-4\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Dingel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Dingel97,
author = {J{\"{u}}rgen Dingel},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Approximating {UNITY}},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {320--337},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_89},
doi = {10.1007/3-540-63383-9\_89},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Dingel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BaldamusD97,
author = {Michael Baldamus and
J{\"{u}}rgen Dingel},
editor = {Michel Bidoit and
Max Dauchet},
title = {Modal Characterization of Weak Bisimulation for Higher-order Processes
(Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {285--296},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030604},
doi = {10.1007/BFB0030604},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BaldamusD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Dingel96,
author = {J{\"{u}}rgen Dingel},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Modular Verification for Shared-Variable Concurrent Programs},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {703--718},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_85},
doi = {10.1007/3-540-61604-7\_85},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Dingel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DingelF95,
author = {J{\"{u}}rgen Dingel and
Thomas Filkorn},
editor = {Pierre Wolper},
title = {Model Checking for Infinite State Systems Using Data Abstraction,
Assumption-Commitment Style reasoning and Theorem Proving},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {54--69},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_40},
doi = {10.1007/3-540-60045-0\_40},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DingelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
