Publications per year

@inproceedings{BD21,

title = {Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development},

author = {Majid Babaei and Juergen Dingel},

url = {https://ieeexplore.ieee.org/abstract/document/9592407},

doi = {10.1109/MODELS50736.2021.00018},

year  = {2021},

date = {2021-10-01},

booktitle = {ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS'21)},

pages = {89-100},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBD20,

title = {Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development},

author = {Majid Babaei and Mojtaba Bagherzadeh and Juergen Dingel},

url = {https://dl.acm.org/doi/10.1145/3365438.3410939},

doi = {10.1145/3365438.3410939},

year  = {2020},

date = {2020-10-01},

booktitle = {23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20)},

pages = {285-296},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBD20b,

title = {MReplayer: A Trace Replayer of Distributed UML-RT Models booktitle = MODELS'20 Demo Track},

author = {Majid Babaei and Mojtaba Bagherzadeh and Juergen Dingel},

url = {https://dl.acm.org/doi/10.1145/3417990.3422003},

doi = {10.1145/3417990.3422003},

year  = {2020},

date = {2020-10-01},

booktitle = {23rd International Conference on Model Driven Engineering Languages and Systems (MODELS'20). Demonstration Track},

pages = {1-5},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{WDJ20,

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

author = {Liam Walsh and Juergen Dingel and Karim Jahed},

url = {https://dl.acm.org/doi/10.1145/3417990.3421440},

doi = {10.1145/3417990.3421440},

year  = {2020},

date = {2020-10-01},

pages = {1},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AJD19,

title = {mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines},

author = {Reza Ahmadi and Karim Jahed and Juergen Dingel},

url = {https://ieeexplore.ieee.org/abstract/document/8952438},

doi = {10.1109/ASE.2019.00132},

year  = {2019},

date = {2019-11-01},

booktitle = {34th IEEE/ACM International Conference on Automated Software Engineering (ASE). Demonstration track},

pages = {1182-1185},

publisher = {IEEE},

address = {San Diego, California, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BJKD19,

title = {PMExec: An Execution Engine of Partial UML-RT Models},

author = {Mojtaba Bagherzadeh and Karim Jahed and Nafiseh Kahani and Juergen Dingel},

url = {https://ieeexplore.ieee.org/document/8952369},

doi = {10.1109/ASE.2019.00131},

year  = {2019},

date = {2019-11-01},

booktitle = {34th IEEE/ACM International Conference on Automated Software Engineering (ASE). Demonstration track},

pages = {1178-1181},

publisher = {IEEE},

address = {San Diego, California, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BJD19,

title = {Solving the RoboSoccer challenge problem with UML-RT and Papyrus-RT},

author = {Majid Babaei and Karim Jahed and Juergen Dingel},

url = {https://ieeexplore.ieee.org/abstract/document/8904710},

year  = {2019},

date = {2019-09-01},

booktitle = {MDETools'19},

pages = {221-227},

publisher = {IEEE doi = 10.1109/MODELS-C.2019.00036},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BJCD19,

title = {Live-UMLRT: A Tool for Live Modeling of UML-RT Models},

author = {Mojtaba Bagherzadeh and Karim Jahed and Benoit Combemale and Juergen Dingel},

url = {https://ieeexplore.ieee.org/document/8904869},

doi = {10.1109/MODELS-C.2019.00115},

year  = {2019},

date = {2019-09-01},

booktitle = {ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems Companion (MODELS'19-C)},

pages = {743-747},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ROHD19b,

title = {Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines},

author = {Gopi Krishnan Rajbahadur and Gustavo Oliva and Ahmed Hassan and Juergen Dingel},

url = {https://ieeexplore.ieee.org/document/8906968},

doi = {10.1109/MODELS.2019.00-19},

year  = {2019},

date = {2019-09-01},

booktitle = {ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19)},

pages = {12-22},

publisher = {IEEE},

address = {Munich, Germany},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AD19b,

title = {Concolic Testing for Models of State-based Systems},

author = {Reza Ahmadi and Juergen Dingel},

url = {https://dl.acm.org/doi/10.1145/3338906.3338908},

doi = {10.1145/3338906.3338908},

year  = {2019},

date = {2019-08-01},

booktitle = {27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)},

pages = {4-15},

publisher = {ACM},

address = {Tallinn, Estonia},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{JD19b,

title = {Enabling Model-Driven Software Development Tools for the Internet of Things},

author = {Karim Jahed and J Dingel},

url = {https://doi.org/10.1109/MiSE.2019.00022},

doi = {10.1109/MiSE.2019.00022},

year  = {2019},

date = {2019-05-01},

booktitle = {11th Workshop on Modeling in Software Engineering (MiSE'19)},

pages = {93-99},

publisher = {IEEE},

address = {Montreal, Canada},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ROHD19,

title = {Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines},

author = {Gopi Krishnan Rajbahadur and Gustavo Oliva and Ahmed Hassan and Juergen Dingel},

year  = {2019},

date = {2019-09-01},

booktitle = {ACM/IEEE 22st International Conference on Model Driven Engineering Languages and Systems (MODELS'19)},

publisher = {IEEE},

address = {Munich, Germany},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AD19,

title = {Concolic Testing for Models of State-based Systems},

author = {Reza Ahmadi and Juergen Dingel},

year  = {2019},

date = {2019-08-01},

booktitle = {27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)},

publisher = {ACM},

address = {Tallinn, Estonia},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{JD19,

title = {Enabling Model-Driven Software Development Tools for the Internet of Things},

author = {Karim Jahed and J Dingel},

url = {https://doi.org/10.1109/MiSE.2019.00022},

doi = {10.1109/MiSE.2019.00022},

year  = {2019},

date = {2019-05-01},

booktitle = {11th Workshop on Modeling in Software Engineering (MiSE'19)},

pages = {93-99},

publisher = {IEEE},

address = {Montreal, Canada},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{APD18b,

title = {Slicing UML-based Models of Real-time Embedded Systems},

author = {Reza Ahmadi and Ernesto Posse and Juergen Dingel},

url = {http://doi.acm.org/10.1145/3239372.3239407},

doi = {10.1145/3239372.3239407},

year  = {2018},

date = {2018-10-01},

booktitle = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18)},

pages = {346-356},

publisher = {ACM},

address = {Copenhagen, Denmark},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD18b,

title = {Property-aware Unit Testing of UML-RT Models in the Context of MDE},

author = {Reza Ahmadi and Nicolas Hili and Juergen Dingel},

url = {https://link.springer.com/chapter/10.1007/978-3-319-92997-2_1},

doi = {10.1007/978-3-319-92997-2_10},

year  = {2018},

date = {2018-06-01},

booktitle = {14th European Conference on Modelling Foundations and Applications (EC-MFA'18)},

pages = {147-163},

publisher = {Springer},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BHSD18b,

title = {MDebugger: A Model-level Debugger for UML-RT},

author = {Mojtaba Bagherzadeh and Nicolas Hili and David Seekatz and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3183440.3183473, paper 

 https://github.com/moji1/MDebugger, code https://www.youtube.com/watch?v=L0JDn8eczwQ, video},

year  = {2018},

date = {2018-05-01},

booktitle = {40th International Conference on Software Engineering (ICSE'18): Companion Proceedings},

pages = {4},

address = {Gothenburg, Sweden},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ADR18b,

title = {Supervisor Aware Service Composition Framework: An Implementation and Evaluation},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

editor = {Gianmaria De Tommasi},

doi = {https://doi.org/10.1016/j.ifacol.2018.06.313},

year  = {2018},

date = {2018-05-01},

booktitle = {14th Workshop on Discrete Event Systems (WODES'18)},

publisher = {Elsevier},

address = {Castellammare di Stabia, Sorrento Coast, Italy},

note = {IFAC-PapersOnLine 51(7):277-284},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HPD18b,

title = {Calur: an Action Language for UML-RT},

author = {Nicolas Hili and Ernesto Posse and Juergen Dingel},

url = {https://www.erts2018.org/uploads/program/ERTS_2018_paper_96.pdf, paper https://www.youtube.com/watch?v=V8cwTuNORGg, video},

year  = {2018},

date = {2018-01-01},

booktitle = {European Congress Embedded Real-time Software and Systems (ERTS'18)},

pages = {10},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{APD18,

title = {Slicing UML-based Models of Real-time Embedded Systems},

author = {Reza Ahmadi and Ernesto Posse and Juergen Dingel},

url = {http://doi.acm.org/10.1145/3239372.3239407},

doi = {10.1145/3239372.3239407},

year  = {2018},

date = {2018-10-01},

booktitle = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18)},

pages = {346-356},

publisher = {ACM},

address = {Copenhagen, Denmark},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD18,

title = {Property-aware Unit Testing of UML-RT Models in the Context of MDE},

author = {Reza Ahmadi and Nicolas Hili and Juergen Dingel},

url = {https://link.springer.com/chapter/10.1007/978-3-319-92997-2_1},

doi = {10.1007/978-3-319-92997-2_10},

year  = {2018},

date = {2018-06-01},

booktitle = {14th European Conference on Modelling Foundations and Applications (EC-MFA'18)},

pages = {147-163},

publisher = {Springer},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BHSD18,

title = {MDebugger: A Model-level Debugger for UML-RT},

author = {Mojtaba Bagherzadeh and Nicolas Hili and David Seekatz and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3183440.3183473, paper 

 https://github.com/moji1/MDebugger, code 

 https://www.youtube.com/watch?v=L0JDn8eczwQ, video},

year  = {2018},

date = {2018-05-01},

booktitle = {40th International Conference on Software Engineering (ICSE'18): Companion Proceedings},

pages = {4},

address = {Gothenburg, Sweden},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ADR18,

title = {Supervisor Aware Service Composition Framework: An Implementation and Evaluation},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

editor = {Gianmaria De Tommasi},

doi = {https://doi.org/10.1016/j.ifacol.2018.06.313},

year  = {2018},

date = {2018-05-01},

booktitle = {14th Workshop on Discrete Event Systems (WODES'18)},

publisher = {Elsevier},

address = {Castellammare di Stabia, Sorrento Coast, Italy},

note = {IFAC-PapersOnLine 51(7):277-284},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HPD18,

title = {Calur: an Action Language for UML-RT},

author = {Nicolas Hili and Ernesto Posse and Juergen Dingel},

url = {https://www.erts2018.org/uploads/program/ERTS_2018_paper_96.pdf, paper https://www.youtube.com/watch?v=V8cwTuNORGg, video},

year  = {2018},

date = {2018-01-01},

booktitle = {European Congress Embedded Real-time Software and Systems (ERTS'18)},

pages = {10},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBBDGHV18b,

title = {Summary of Workshop on Model-Driven Engineering Tools (MDETools'17)},

author = {Mojtaba Bagherzadeh and Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sebastien Gerard and Nicolas Hili and Sebastian Voss},

url = {http://ceur-ws.org/Vol-2019/mdetools_intro.pdf},

year  = {2017},

date = {2017-10-01},

booktitle = {MODELS 2017 Satellite Events Proceedings},

volume = {CEUR},

number = {2019},

pages = {336-337},

address = {Austin, Texas, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBBDGHV17b,

title = {Summary of Workshop on Model-Driven Engineering Tools (MDETools'17)},

author = {Mojtaba Bagherzadeh and Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sebastien Gerard and Nicolas Hili and Sebastian Voss},

year  = {2017},

date = {2017-01-01},

booktitle = {MODELS 2017 Satellite Events Proceedings},

pages = {2},

address = {Austin, Texas, USA},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{SCD17b,

title = {How is ATL Really Used? Language Feature Use in the ATL Zoo},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel},

url = {http://doi.ieeecomputersociety.org/10.1109/MODELS.2017.20},

doi = {10.1109/MODELS.2017.20},

year  = {2017},

date = {2017-01-01},

booktitle = {ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)},

pages = {11 pages},

address = {Austin, Texas. Sept 17-22, 2017},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{OD17b,

title = {Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT},

author = {Raquel Oliveira and Juergen Dingel},

year  = {2017},

date = {2017-01-01},

booktitle = {14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17)},

pages = {7},

address = {Austin, Texas. Sept 19, 2017},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Bhd17b,

title = {Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems},

author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3106278, paper 

 https://github.com/moji1/MDebugger, code},

doi = {10.1145/3106237.3106278},

year  = {2017},

date = {2017-01-01},

booktitle = {11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17)},

address = {Paderborn, Germany. September 04-08, 2017},

series = {ESEC/FSE'17},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hili:2017:MCG:3098344.3098520b,

title = {Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT},

author = {Nicolas Hili and Juergen Dingel and Alain Beaulieu},

url = {https://doi.org/10.1109/ICSE-C.2017.168},

doi = {10.1109/ICSE-C.2017.168},

isbn = {978-1-5386-1589-8},

year  = {2017},

date = {2017-01-01},

booktitle = {39th International Conference on Software Engineering Companion},

pages = {509--510},

publisher = {IEEE},

address = {Buenos Aires, Argentina. May 21-22, 2017},

series = {ICSE-C'17},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kahani:2017:EUP:3104068.3104074b,

title = {Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems},

author = {Nafiseh Kahani and Nicolas Hili and James R Cordy and Juergen Dingel},

url = {https://doi.org/10.1109/MiSE.2017..4},

doi = {10.1109/MiSE.2017..4},

isbn = {978-1-5386-0426-7},

year  = {2017},

date = {2017-01-01},

booktitle = {9th International Workshop on Modelling in Software Engineering (MiSE'17)},

pages = {12--18},

publisher = {IEEE},

address = {Buenos Aires, Argentina. May 21-22, 2017},

series = {MISE'17},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Madzar2017b,

title = {Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems},

author = {Boris Madzar and Jalil Boudjadar and Juergen Dingel and Thomas E Fuhrman and Ramesh S.},

editor = {Olga Kouchnarenko and Ramtin Khosravi},

url = {http://dx.doi.org/10.1007/978-3-319-57666-4_10},

doi = {10.1007/978-3-319-57666-4_10},

isbn = {978-3-319-57666-4},

year  = {2017},

date = {2017-01-01},

booktitle = {13th International Conference on Formal Aspects of Component Software (FACS'16)},

pages = {153--171},

publisher = {Springer},

address = {Besançon, France. October 19-21, 2016},

abstract = {The need to integrate large and complex functions into today's vehicle electronic control systems requires high performance computing platforms, while at the same time the manufacturers try to reduce cost, power consumption and ensure safety. Traditionally, safety isolation and fault containment of software tasks have been achieved by either physically or temporally segregating them. This approach is reliable but inefficient in terms of processor utilization. Dynamic approaches that achieve better utilization without sacrificing safety isolation and fault containment appear to be of increasing interest. One of these approaches relies on predictable data flow introduced in PharOS and Giotto. In this paper, we extend the work on leveraging predictable data flow by addressing the problem of how the predictability of data flow can be proved formally for mixed criticality systems that run on multicore platforms and are subject to failures. We consider dynamic tasks where the timing attributes vary from one period to another. Our setting also allows for sporadic deadline overruns and accounts for criticality during fault handling. A user interface was created to allow automatic generation of the models as well as visualization of the analysis results, whereas predictability is verified using the Spin model checker.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBBDGHV18,

title = {Summary of Workshop on Model-Driven Engineering Tools (MDETools'17)},

author = {Mojtaba Bagherzadeh and Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sebastien Gerard and Nicolas Hili and Sebastian Voss},

url = {http://ceur-ws.org/Vol-2019/mdetools_intro.pdf},

year  = {2017},

date = {2017-10-01},

booktitle = {MODELS 2017 Satellite Events Proceedings},

volume = {CEUR},

number = {2019},

pages = {336-337},

address = {Austin, Texas, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BBBDGHV17,

title = {Summary of Workshop on Model-Driven Engineering Tools (MDETools'17)},

author = {Mojtaba Bagherzadeh and Francis Bordeleau and Jean-Michel Bruel and Juergen Dingel and Sebastien Gerard and Nicolas Hili and Sebastian Voss},

year  = {2017},

date = {2017-01-01},

booktitle = {MODELS 2017 Satellite Events Proceedings},

pages = {2},

address = {Austin, Texas, USA},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{SCD17,

title = {How is ATL Really Used? Language Feature Use in the ATL Zoo},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel},

url = {http://doi.ieeecomputersociety.org/10.1109/MODELS.2017.20},

doi = {10.1109/MODELS.2017.20},

year  = {2017},

date = {2017-01-01},

booktitle = {ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)},

pages = {11 pages},

address = {Austin, Texas. Sept 17-22, 2017},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{OD17,

title = {Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT},

author = {Raquel Oliveira and Juergen Dingel},

year  = {2017},

date = {2017-01-01},

booktitle = {14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17)},

pages = {7},

address = {Austin, Texas. Sept 19, 2017},

note = {To appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Bhd17,

title = {Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems},

author = {Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3106278, paper 

 https://github.com/moji1/MDebugger, code},

doi = {10.1145/3106237.3106278},

year  = {2017},

date = {2017-01-01},

booktitle = {11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17)},

address = {Paderborn, Germany. September 04-08, 2017},

series = {ESEC/FSE'17},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hili:2017:MCG:3098344.3098520,

title = {Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT},

author = {Nicolas Hili and Juergen Dingel and Alain Beaulieu},

url = {https://doi.org/10.1109/ICSE-C.2017.168},

doi = {10.1109/ICSE-C.2017.168},

isbn = {978-1-5386-1589-8},

year  = {2017},

date = {2017-01-01},

booktitle = {39th International Conference on Software Engineering Companion},

pages = {509--510},

publisher = {IEEE},

address = {Buenos Aires, Argentina. May 21-22, 2017},

series = {ICSE-C'17},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kahani:2017:EUP:3104068.3104074,

title = {Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems},

author = {Nafiseh Kahani and Nicolas Hili and James R Cordy and Juergen Dingel},

url = {https://doi.org/10.1109/MiSE.2017..4},

doi = {10.1109/MiSE.2017..4},

isbn = {978-1-5386-0426-7},

year  = {2017},

date = {2017-01-01},

booktitle = {9th International Workshop on Modelling in Software Engineering (MiSE'17)},

pages = {12--18},

publisher = {IEEE},

address = {Buenos Aires, Argentina. May 21-22, 2017},

series = {MISE'17},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Madzar2017,

title = {Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems},

author = {Boris Madzar and Jalil Boudjadar and Juergen Dingel and Thomas E Fuhrman and Ramesh S.},

editor = {Olga Kouchnarenko and Ramtin Khosravi},

url = {http://dx.doi.org/10.1007/978-3-319-57666-4_10},

doi = {10.1007/978-3-319-57666-4_10},

isbn = {978-3-319-57666-4},

year  = {2017},

date = {2017-01-01},

booktitle = {13th International Conference on Formal Aspects of Component Software (FACS'16)},

pages = {153--171},

publisher = {Springer},

address = {Besançon, France. October 19-21, 2016},

abstract = {The need to integrate large and complex functions into today's vehicle electronic control systems requires high performance computing platforms, while at the same time the manufacturers try to reduce cost, power consumption and ensure safety. Traditionally, safety isolation and fault containment of software tasks have been achieved by either physically or temporally segregating them. This approach is reliable but inefficient in terms of processor utilization. Dynamic approaches that achieve better utilization without sacrificing safety isolation and fault containment appear to be of increasing interest. One of these approaches relies on predictable data flow introduced in PharOS and Giotto. In this paper, we extend the work on leveraging predictable data flow by addressing the problem of how the predictability of data flow can be proved formally for mixed criticality systems that run on multicore platforms and are subject to failures. We consider dynamic tasks where the timing attributes vary from one period to another. Our setting also allows for sporadic deadline overruns and accounts for criticality during fault handling. A user interface was created to allow automatic generation of the models as well as visualization of the analysis results, whereas predictability is verified using the Spin model checker.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7497822c,

title = {Automated service composition via supervisory control theory},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

doi = {10.1109/WODES.2016.7497822},

year  = {2016},

date = {2016-05-01},

booktitle = {13th International Workshop on Discrete Event Systems (WODES'16)},

pages = {28-35},

address = {Xi'an, China. May 30 - June 1, 2016},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD+16b,

title = {Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware},

author = {Reza Ahmadi and Nicolas Hili and Nondini Das and Suchita Ganesan and Leo Jweda and Juergen Dingel},

url = {ceur-ws.org/Vol-1835},

year  = {2016},

date = {2016-01-01},

booktitle = {3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16)},

volume = {CEUR},

number = {1835},

address = {Saint-Malo, France. October 3, 2016},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Das:2016:SMD:2976767.2976781b,

title = {Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation},

author = {Nondini Das and Suchita Ganesan and Leo Jweda and Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2976767.2976781},

doi = {10.1145/2976767.2976781},

isbn = {978-1-4503-4321-3},

year  = {2016},

date = {2016-01-01},

booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},

pages = {36-43},

publisher = {ACM},

address = {Saint-Malo, France. October 2-7, 2016},

series = {MODELS'16},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kahani:2016:PEM:2976767.2976773b,

title = {The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums},

author = {Nafiseh Kahani and Mojtaba Bagherzadeh and Juergen Dingel and James R Cordy},

url = {http://doi.acm.org/10.1145/2976767.2976773},

doi = {10.1145/2976767.2976773},

isbn = {978-1-4503-4321-3},

year  = {2016},

date = {2016-01-01},

booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},

pages = {227-237},

publisher = {ACM},

address = {Saint-Malo, France. October 2-7, 2016},

series = {MODELS'16},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Dingel2016b,

title = {Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering},

author = {Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-319-40530-8_1, paper 

 http://flux.cs.queensu.ca/mase/files/2018/01/preprint-4.pdf, pre-print},

doi = {10.1007/978-3-319-40530-8_1},

isbn = {978-3-319-40530-8},

year  = {2016},

date = {2016-01-01},

booktitle = {9th International Conference on Graph Transformation (ICGT'16)},

pages = {3-18},

publisher = {Springer},

address = {Vienna, Austria. July 5-6, 2016},

abstract = {Despite ever increasing computational power, the history of computing is characterized also by a constant battle with complexity. We will briefly review these trends and argue that, due to its focus on abstraction, automation, and analysis, the modeling community is ideally positioned to facilitate the development of future computing systems. More concretely, a few, select, technological and societal trends and developments will be discussed together with the research opportunities they present to researchers interested in modeling.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Boudjadar2016b,

title = {Compositional Predictability Analysis of Mixed Critical Real Time Systems},

author = {Abdeldjalil Boudjadar and Juergen Dingel and Boris Madzar and Jin Hyun Kim},

url = {http://dx.doi.org/10.1007/978-3-319-29510-7_4},

doi = {10.1007/978-3-319-29510-7_4},

isbn = {978-3-319-29510-7},

year  = {2016},

date = {2016-01-01},

booktitle = {4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15)},

pages = {69-84},

publisher = {Springer},

address = {Paris, France. November 6-7, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD+16,

title = {Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware},

author = {Reza Ahmadi and Nicolas Hili and Nondini Das and Suchita Ganesan and Leo Jweda and Juergen Dingel},

url = {ceur-ws.org/Vol-1835},

year  = {2016},

date = {2016-01-01},

booktitle = {3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16)},

volume = {CEUR},

number = {1835},

address = {Saint-Malo, France. October 3, 2016},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Das:2016:SMD:2976767.2976781,

title = {Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation},

author = {Nondini Das and Suchita Ganesan and Leo Jweda and Mojtaba Bagherzadeh and Nicolas Hili and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2976767.2976781},

doi = {10.1145/2976767.2976781},

isbn = {978-1-4503-4321-3},

year  = {2016},

date = {2016-01-01},

booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},

pages = {36-43},

publisher = {ACM},

address = {Saint-Malo, France. October 2-7, 2016},

series = {MODELS'16},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kahani:2016:PEM:2976767.2976773,

title = {The Problems with Eclipse Modeling Tools: A Topic Analysis of Eclipse Forums},

author = {Nafiseh Kahani and Mojtaba Bagherzadeh and Juergen Dingel and James R Cordy},

url = {http://doi.acm.org/10.1145/2976767.2976773},

doi = {10.1145/2976767.2976773},

isbn = {978-1-4503-4321-3},

year  = {2016},

date = {2016-01-01},

booktitle = {ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS'16)},

pages = {227-237},

publisher = {ACM},

address = {Saint-Malo, France. October 2-7, 2016},

series = {MODELS'16},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7497822,

title = {Automated service composition via supervisory control theory},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

doi = {10.1109/WODES.2016.7497822},

year  = {2016},

date = {2016-05-01},

booktitle = {13th International Workshop on Discrete Event Systems (WODES'16)},

pages = {28-35},

address = {Xi'an, China. May 30 - June 1, 2016},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Dingel2016,

title = {Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering},

author = {Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-319-40530-8_1, paper 

 http://flux.cs.queensu.ca/mase/files/2018/01/preprint-4.pdf, pre-print},

doi = {10.1007/978-3-319-40530-8_1},

isbn = {978-3-319-40530-8},

year  = {2016},

date = {2016-01-01},

booktitle = {9th International Conference on Graph Transformation (ICGT'16)},

pages = {3-18},

publisher = {Springer},

address = {Vienna, Austria. July 5-6, 2016},

abstract = {Despite ever increasing computational power, the history of computing is characterized also by a constant battle with complexity. We will briefly review these trends and argue that, due to its focus on abstraction, automation, and analysis, the modeling community is ideally positioned to facilitate the development of future computing systems. More concretely, a few, select, technological and societal trends and developments will be discussed together with the research opportunities they present to researchers interested in modeling.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Boudjadar2016,

title = {Compositional Predictability Analysis of Mixed Critical Real Time Systems},

author = {Abdeldjalil Boudjadar and Juergen Dingel and Boris Madzar and Jin Hyun Kim},

url = {http://dx.doi.org/10.1007/978-3-319-29510-7_4},

doi = {10.1007/978-3-319-29510-7_4},

isbn = {978-3-319-29510-7},

year  = {2016},

date = {2016-01-01},

booktitle = {4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15)},

pages = {69-84},

publisher = {Springer},

address = {Paris, France. November 6-7, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7338231b,

title = {Incremental symbolic execution of evolving state machines},

author = {Amal Khalil and Juergen Dingel},

url = {http://ieeexplore.ieee.org/abstract/document/7338231},

doi = {10.1109/MODELS.2015.7338231},

year  = {2015},

date = {2015-09-01},

booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},

pages = {14-23},

publisher = {IEEE},

address = {Ottawa, Canada. September 30 - October 2, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7338235b,

title = {State machine antipatterns for UML-RT},

author = {Tuhin K Das and Juergen Dingel},

url = {http://ieeexplore.ieee.org/document/7338235},

doi = {10.1109/MODELS.2015.7338235},

year  = {2015},

date = {2015-09-01},

booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},

pages = {54-63},

publisher = {IEEE},

address = {Ottawa, Canada. September 30 - October 2, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7102610b,

title = {Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases},

author = {Eric J Rapos and Juergen Dingel},

doi = {10.1109/ICST.2015.7102610},

issn = {2159-4848},

year  = {2015},

date = {2015-04-01},

booktitle = {IEEE 8th International Conference on Software Testing, Verification and Validation (ICST'15)},

pages = {1-10},

publisher = {IEEE},

address = {Graz, Austria. April 13-17, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7497822bb,

title = {Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper)},

author = {Mark Fischer and Juergen Dingle and Maged Elaasar},

year  = {2015},

date = {2015-01-01},

booktitle = {7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15)},

pages = {441-446},

publisher = {SciTePress},

address = {Lisbon, Portugal},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2015FindingAFb,

title = {Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel and Levi Lúcio and Bentley J Oakes},

url = {ceur-ws.org/Vol-1500},

issn = {1613-0073},

year  = {2015},

date = {2015-01-01},

booktitle = {4th Workshop on the Analysis of Model Transformations (AMT'15)},

volume = {CEUR},

number = {1500},

pages = {24-34},

address = {Ottawa, Canada. September 28, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Famelis:2015:MAP:2993000.2993009b,

title = {Migrating Automotive Product Lines: A Case Study},

author = {Michalis Famelis and Levi Lúcio and Gehan M K Selim and Alessio Sandro and Rick Salay and Marsha Chechik and James R Cordy and Juergen Dingel and Hans Vangheluwe and Ramesh S.},

url = {http://dx.doi.org/10.1007/978-3-319-21155-8_7},

doi = {10.1007/978-3-319-21155-8_7},

isbn = {978-3-319-21154-1},

year  = {2015},

date = {2015-01-01},

booktitle = {8th International Conference on Theory and Practice of Model Transformations (ICMT'15)},

pages = {82-97},

publisher = {Springer},

address = {L'Aquila, Italy. July 20-21, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015c,

title = {A Model for Industrial Real-Time Systems},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-662-46081-8_9},

doi = {10.1007/978-3-662-46081-8_9},

isbn = {978-3-662-46081-8},

year  = {2015},

date = {2015-01-01},

booktitle = {16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},

pages = {153-171},

publisher = {Springer},

address = {Mumbai, India. January 12-14, 2015},

abstract = {Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) an automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of TPA by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015bb,

title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-319-15317-9_10},

doi = {10.1007/978-3-319-15317-9_10},

isbn = {978-3-319-15317-9},

year  = {2015},

date = {2015-01-01},

booktitle = {11th International Symposium on Formal Aspects of Component Software (FACS'14)},

pages = {162-180},

publisher = {Springer},

address = {Bertinoro, Italy. September 10-12, 2014},

abstract = {Task-level reconfiguration techniques in automotive applications aim to reallocate tasks to computation cores during failures to guarantee that the desired functionality is still delivered. We consider a class of mixed-criticality asymmetric multi-core systems inspired by our collaboration with a leading automotive manufacturing company, for which we automatically synthesize task-level reconfiguration services to reduce the number of processing cores and decrease the cost without weakening fault-tolerance. We admit the following types of faults: safety violations by tasks, permanent core failures, and temporary core failures. We use timed games to synthesize the controllers. The services suspend and reinstate the periodic executions of the non-critical tasks to ensure enough processing capacity for the critical tasks by maintaining lookup tables, which keep track of processing capacity. We present a methodology to synthesize the services and use a case study to show that suitable abstractions can dramatically improve the scalability of timed games-based tools for solving industrial problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7497822b,

title = {Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper)},

author = {Mark Fischer and Juergen Dingle and Maged Elaasar},

year  = {2015},

date = {2015-01-01},

booktitle = {7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15)},

pages = {441-446},

publisher = {SciTePress},

address = {Lisbon, Portugal},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2015FindingAF,

title = {Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel and Levi Lúcio and Bentley J Oakes},

url = {ceur-ws.org/Vol-1500},

issn = {1613-0073},

year  = {2015},

date = {2015-01-01},

booktitle = {4th Workshop on the Analysis of Model Transformations (AMT'15)},

volume = {CEUR},

number = {1500},

pages = {24-34},

address = {Ottawa, Canada. September 28, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7338231,

title = {Incremental symbolic execution of evolving state machines},

author = {Amal Khalil and Juergen Dingel},

url = {http://ieeexplore.ieee.org/abstract/document/7338231},

doi = {10.1109/MODELS.2015.7338231},

year  = {2015},

date = {2015-09-01},

booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},

pages = {14-23},

publisher = {IEEE},

address = {Ottawa, Canada. September 30 - October 2, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7338235,

title = {State machine antipatterns for UML-RT},

author = {Tuhin K Das and Juergen Dingel},

url = {http://ieeexplore.ieee.org/document/7338235},

doi = {10.1109/MODELS.2015.7338235},

year  = {2015},

date = {2015-09-01},

booktitle = {ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15)},

pages = {54-63},

publisher = {IEEE},

address = {Ottawa, Canada. September 30 - October 2, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Famelis:2015:MAP:2993000.2993009,

title = {Migrating Automotive Product Lines: A Case Study},

author = {Michalis Famelis and Levi Lúcio and Gehan M K Selim and Alessio Sandro and Rick Salay and Marsha Chechik and James R Cordy and Juergen Dingel and Hans Vangheluwe and Ramesh S.},

url = {http://dx.doi.org/10.1007/978-3-319-21155-8_7},

doi = {10.1007/978-3-319-21155-8_7},

isbn = {978-3-319-21154-1},

year  = {2015},

date = {2015-01-01},

booktitle = {8th International Conference on Theory and Practice of Model Transformations (ICMT'15)},

pages = {82-97},

publisher = {Springer},

address = {L'Aquila, Italy. July 20-21, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7102610,

title = {Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases},

author = {Eric J Rapos and Juergen Dingel},

doi = {10.1109/ICST.2015.7102610},

issn = {2159-4848},

year  = {2015},

date = {2015-04-01},

booktitle = {IEEE 8th International Conference on Software Testing, Verification and Validation (ICST'15)},

pages = {1-10},

publisher = {IEEE},

address = {Graz, Austria. April 13-17, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015,

title = {A Model for Industrial Real-Time Systems},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-662-46081-8_9},

doi = {10.1007/978-3-662-46081-8_9},

isbn = {978-3-662-46081-8},

year  = {2015},

date = {2015-01-01},

booktitle = {16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},

pages = {153-171},

publisher = {Springer},

address = {Mumbai, India. January 12-14, 2015},

abstract = {Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) an automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of TPA by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015b,

title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-319-15317-9_10},

doi = {10.1007/978-3-319-15317-9_10},

isbn = {978-3-319-15317-9},

year  = {2015},

date = {2015-01-01},

booktitle = {11th International Symposium on Formal Aspects of Component Software (FACS'14)},

pages = {162-180},

publisher = {Springer},

address = {Bertinoro, Italy. September 10-12, 2014},

abstract = {Task-level reconfiguration techniques in automotive applications aim to reallocate tasks to computation cores during failures to guarantee that the desired functionality is still delivered. We consider a class of mixed-criticality asymmetric multi-core systems inspired by our collaboration with a leading automotive manufacturing company, for which we automatically synthesize task-level reconfiguration services to reduce the number of processing cores and decrease the cost without weakening fault-tolerance. We admit the following types of faults: safety violations by tasks, permanent core failures, and temporary core failures. We use timed games to synthesize the controllers. The services suspend and reinstate the periodic executions of the non-critical tasks to ensure enough processing capacity for the critical tasks by maintaining lookup tables, which keep track of processing capacity. We present a methodology to synthesize the services and use a case study to show that suitable abstractions can dramatically improve the scalability of timed games-based tools for solving industrial problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{PD14b,

title = {Contract-based Specification and Analysis of AADL models},

author = {Ernesto Posse and Juergen Dingel},

url = {ceur-ws.org/Vol-1233},

year  = {2014},

date = {2014-01-01},

booktitle = {Architecture Centric Virtual Integration Workshop (ACVI'14)},

volume = {CEUR},

number = {1233},

address = {Valencia, Spain. September 29, 2014},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2014b,

title = {Specification and Verification of Graph-Based Model Transformation Properties},

author = {Gehan M K Selim and Levi Lúcio and James R Cordy and Juergen Dingel and Bentley J Oakes},

url = {http://dx.doi.org/10.1007/978-3-319-09108-2_8},

doi = {10.1007/978-3-319-09108-2_8},

isbn = {978-3-319-09108-2},

year  = {2014},

date = {2014-01-01},

booktitle = {7th International Conference on Graph Transformation (ICGT'14)},

pages = {113-129},

publisher = {Springer},

address = {York, UK. July 22-24, 2014},

abstract = {We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on input-output model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the transformation when run on any input model. In this paper we extend the prover such that it can verify atomic contracts and more complex properties composed of atomic contracts. Besides demonstrating our prover on a simple transformation, we use it to verify different kinds of properties of an industrial transformation. Experiments on this transformation using our prover show a speed-up in verification run-time by two orders of magnitude over another verification tool that we evaluated in previous research.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{PD14,

title = {Contract-based Specification and Analysis of AADL models},

author = {Ernesto Posse and Juergen Dingel},

url = {ceur-ws.org/Vol-1233},

year  = {2014},

date = {2014-01-01},

booktitle = {Architecture Centric Virtual Integration Workshop (ACVI'14)},

volume = {CEUR},

number = {1233},

address = {Valencia, Spain. September 29, 2014},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2014,

title = {Specification and Verification of Graph-Based Model Transformation Properties},

author = {Gehan M K Selim and Levi Lúcio and James R Cordy and Juergen Dingel and Bentley J Oakes},

url = {http://dx.doi.org/10.1007/978-3-319-09108-2_8},

doi = {10.1007/978-3-319-09108-2_8},

isbn = {978-3-319-09108-2},

year  = {2014},

date = {2014-01-01},

booktitle = {7th International Conference on Graph Transformation (ICGT'14)},

pages = {113-129},

publisher = {Springer},

address = {York, UK. July 22-24, 2014},

abstract = {We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on input-output model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the transformation when run on any input model. In this paper we extend the prover such that it can verify atomic contracts and more complex properties composed of atomic contracts. Besides demonstrating our prover on a simple transformation, we use it to verify different kinds of properties of an industrial transformation. Experiments on this transformation using our prover show a speed-up in verification run-time by two orders of magnitude over another verification tool that we evaluated in previous research.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska2013,

title = {Model Checking of UML-RT Models Using Lazy Composition},

author = {Karolina Zurowska and Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-642-41533-3_19},

doi = {10.1007/978-3-642-41533-3_19},

isbn = {978-3-642-41533-3},

year  = {2013},

date = {2013-01-01},

booktitle = {ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13)},

pages = {304-319},

publisher = {Springer},

address = {Miami, FL, USA. September 29 - October 4, 2013},

abstract = {Formal analysis of models is an important aspect of the Model Driven Development (MDD) paradigm. In this paper we introduce a technique to analyze models with hierarchically organized and asynchronously communicating components as found in, e.g., UML-RT. Typically, the more components are composed during analysis, the less scalable it becomes. In our technique we reduce composition by leveraging the communication topology and the property to be checked. To this end we introduce an extension of Computation Tree Logic (CTL) to express properties of models and we show an algorithm to check such properties. In the algorithm, components are represented by their symbolic execution trees and their composition is lazy, i.e., only performed when necessary. To demonstrate some of the benefits of the technique, its implementation for UML-RT models and case studies are discussed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2013,

title = {Automated Verification of Model Transformations in the Automotive Industry},

author = {Gehan M K Selim and Fabian Büttner and James R Cordy and Juergen Dingel and Shige Wang},

url = {http://dx.doi.org/10.1007/978-3-642-41533-3_42},

doi = {10.1007/978-3-642-41533-3_42},

isbn = {978-3-642-41533-3},

year  = {2013},

date = {2013-01-01},

booktitle = {ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13)},

pages = {690-706},

publisher = {Springer},

address = {Miami, FL, USA. September 29 - October 4, 2013},

abstract = {Many companies have adopted MDD for developing their software systems. Several studies have reported on such industrial experiences by discussing the effects of MDD and the issues that still need to be addressed. However, only a few studies have discussed using automated verification of industrial model transformations. We previously demonstrated how transformations can be used to migrate GM legacy models to AUTOSAR models. In this study, we investigate using automated verification for such industrial transformations. We report on applying an automated verification approach to the GM-to-AUTOSAR transformation that is based on checking the satisfiability of a relational transformation representation, or a transformation model, with respect to well-formedness OCL constraints. An implementation of this approach is available as a prototype for the ATL language. We present the verification results of this transformation and discuss the practicality of using such tools on industrial size problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska2013b,

title = {Model Checking of UML-RT Models Using Lazy Composition},

author = {Karolina Zurowska and Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-642-41533-3_19},

doi = {10.1007/978-3-642-41533-3_19},

isbn = {978-3-642-41533-3},

year  = {2013},

date = {2013-01-01},

booktitle = {ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13)},

pages = {304-319},

publisher = {Springer},

address = {Miami, FL, USA. September 29 - October 4, 2013},

abstract = {Formal analysis of models is an important aspect of the Model Driven Development (MDD) paradigm. In this paper we introduce a technique to analyze models with hierarchically organized and asynchronously communicating components as found in, e.g., UML-RT. Typically, the more components are composed during analysis, the less scalable it becomes. In our technique we reduce composition by leveraging the communication topology and the property to be checked. To this end we introduce an extension of Computation Tree Logic (CTL) to express properties of models and we show an algorithm to check such properties. In the algorithm, components are represented by their symbolic execution trees and their composition is lazy, i.e., only performed when necessary. To demonstrate some of the benefits of the technique, its implementation for UML-RT models and case studies are discussed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2013b,

title = {Automated Verification of Model Transformations in the Automotive Industry},

author = {Gehan M K Selim and Fabian Büttner and James R Cordy and Juergen Dingel and Shige Wang},

url = {http://dx.doi.org/10.1007/978-3-642-41533-3_42},

doi = {10.1007/978-3-642-41533-3_42},

isbn = {978-3-642-41533-3},

year  = {2013},

date = {2013-01-01},

booktitle = {ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS'13)},

pages = {690-706},

publisher = {Springer},

address = {Miami, FL, USA. September 29 - October 4, 2013},

abstract = {Many companies have adopted MDD for developing their software systems. Several studies have reported on such industrial experiences by discussing the effects of MDD and the issues that still need to be addressed. However, only a few studies have discussed using automated verification of industrial model transformations. We previously demonstrated how transformations can be used to migrate GM legacy models to AUTOSAR models. In this study, we investigate using automated verification for such industrial transformations. We report on applying an automated verification approach to the GM-to-AUTOSAR transformation that is based on checking the satisfiability of a relational transformation representation, or a transformation model, with respect to well-formedness OCL constraints. An implementation of this approach is available as a prototype for the ATL language. We present the verification results of this transformation and discuss the practicality of using such tools on industrial size problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Fischer2013AutomatingIMb,

title = {Automating Instance Migration in Response to Ontology Evolution},

author = {Mark Fischer and Juergen Dingel and Maged Elaasar and Steven Shaw},

url = {http://ceur-ws.org/Vol-1077},

year  = {2013},

date = {2013-01-01},

booktitle = {Workshop on Models and Evolution (ME'13)},

number = {1077},

pages = {22-29},

address = {Miami, Florida. October 1, 2013},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Fischer2013AutomatingIM,

title = {Automating Instance Migration in Response to Ontology Evolution},

author = {Mark Fischer and Juergen Dingel and Maged Elaasar and Steven Shaw},

url = {http://ceur-ws.org/Vol-1077},

year  = {2013},

date = {2013-01-01},

booktitle = {Workshop on Models and Evolution (ME'13)},

number = {1077},

pages = {22-29},

address = {Miami, Florida. October 1, 2013},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Amrani:2012:TMT:2432497.2432499,

title = {Towards a Model Transformation Intent Catalog},

author = {Moussa Amrani and Juergen Dingel and Leen Lambers and Levi Lúcio and Rick Salay and Gehan M K Selim and Eugene Syriani and Manuel Wimmer},

url = {http://doi.acm.org/10.1145/2432497.2432499},

doi = {10.1145/2432497.2432499},

isbn = {978-1-4503-1803-7},

year  = {2012},

date = {2012-01-01},

booktitle = {First Workshop on the Analysis of Model Transformations (AMT'12)},

pages = {3-8},

publisher = {ACM},

address = {Innsbruck, Austria. October 2, 2012},

series = {AMT'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim:2012:MTT:2432497.2432502,

title = {Model Transformation Testing: The State of the Art},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2432497.2432502},

doi = {10.1145/2432497.2432502},

isbn = {978-1-4503-1803-7},

year  = {2012},

date = {2012-01-01},

booktitle = {First Workshop on the Analysis of Model Transformations (AMT'12)},

pages = {21-26},

publisher = {ACM},

address = {Innsbruck, Austria. October 2, 2012},

series = {AMT'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2012,

title = {Model Transformations for Migrating Legacy Models: An Industrial Case Study},

author = {Gehan M K Selim and Shige and Wang and James R Cordy and Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-642-31491-9_9},

doi = {10.1007/978-3-642-31491-9_9},

isbn = {978-3-642-31491-9},

year  = {2012},

date = {2012-01-01},

booktitle = {8th European Conference on Modelling Foundations and Applications (ECMFA'12)},

pages = {90-101},

publisher = {Springer},

address = {Kgs. Lyngby, Denmark, July 2-5, 2012},

abstract = {Many companies in the automotive industry have adopted MDD in their vehicle control software development. As a major automotive company, General Motors has been using a custom-built, domain-specific modeling language, implemented as an internal proprietary metamodel, to meet the modeling needs in its control software development. As AUTOSAR (AUTomotive Open System ARchitecture) is being developed as a standard to ease the process of integrating components provided by different suppliers and manufacturers, there is a growing demand to migrate these GM-specific, legacy models to AUTOSAR models. Given that AUTOSAR defines its own metamodel for various system artifacts in automotive software development, we explore using model transformations to address the challenges in migrating GM legacy models to their AUTOSAR equivalents. As a case study, we have built a model transformation using the MDWorkbench tool and the Atlas Transformation Language (ATL). This paper reports on the case study, makes observations based on our experience to assist in the development of similar types of transformations, and provides recommendations for further research.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Amrani:2012:TAS:2224481.2224933,

title = {A Tridimensional Approach for Studying the Formal Verification of Model Transformations},

author = {Moussa Amrani and Levi Lúcio and Gehan Selim and Benoit Combemale and Juergen Dingel and Hans Vangheluwe and Yves Le Traon and James R Cordy},

url = {http://dx.doi.org/10.1109/ICST.2012.197},

doi = {10.1109/ICST.2012.197},

isbn = {978-0-7695-4670-4},

year  = {2012},

date = {2012-01-01},

booktitle = {IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST'12)},

pages = {921-928},

publisher = {IEEE Computer Society},

address = {Montreal, Canada. April 21, 2012},

series = {ICST'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska2012,

title = {Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines},

author = {Karolina Zurowska and Juergen Dingel},

editor = {Alwyn Goodloe E E. and Suzette Person},

url = {http://dx.doi.org/10.1007/978-3-642-28891-3_6},

doi = {10.1007/978-3-642-28891-3_6},

isbn = {978-3-642-28891-3},

year  = {2012},

date = {2012-01-01},

booktitle = {4th International NASA Symposium on Formal Methods (NFM'12)},

pages = {39-53},

publisher = {Springer},

address = {Norfolk, VA, USA. April 3-5, 2012},

abstract = {The paper introduces a technique to symbolically execute hierarchically composed models based on communicating state machines. The technique is modular and starts with non-composite models, which are symbolically executed. The results of the execution, symbolic execution trees, are then composed according to the communication topology. The composite symbolic execution trees may be composed further reflecting hierarchical structure of the analyzed model. The technique supports reuse, meaning that already generated symbolic execution trees, composite or not, are used any time they are required in the composition. For illustration, the technique is applied to analyze UML-RT models and the paper shows several analyses options such as reachability checking or test case generation. The presentation of the technique is formal, but we also report on the implementation and we present some experimental results.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska:2012:SEU:2245276.2231981,

title = {Symbolic Execution of UML-RT State Machines},

author = {Karolina Zurowska and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2245276.2231981},

doi = {10.1145/2245276.2231981},

isbn = {978-1-4503-0857-1},

year  = {2012},

date = {2012-01-01},

booktitle = {27th Annual ACM Symposium on Applied Computing (SAC-SVT'12)},

pages = {1292-1299},

publisher = {ACM},

address = {Riva del Garda, Italy. March 25-29, 2012},

series = {SAC '12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Amrani:2012:TMT:2432497.2432499b,

title = {Towards a Model Transformation Intent Catalog},

author = {Moussa Amrani and Juergen Dingel and Leen Lambers and Levi Lúcio and Rick Salay and Gehan M K Selim and Eugene Syriani and Manuel Wimmer},

url = {http://doi.acm.org/10.1145/2432497.2432499},

doi = {10.1145/2432497.2432499},

isbn = {978-1-4503-1803-7},

year  = {2012},

date = {2012-01-01},

booktitle = {First Workshop on the Analysis of Model Transformations (AMT'12)},

pages = {3-8},

publisher = {ACM},

address = {Innsbruck, Austria. October 2, 2012},

series = {AMT'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim:2012:MTT:2432497.2432502b,

title = {Model Transformation Testing: The State of the Art},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2432497.2432502},

doi = {10.1145/2432497.2432502},

isbn = {978-1-4503-1803-7},

year  = {2012},

date = {2012-01-01},

booktitle = {First Workshop on the Analysis of Model Transformations (AMT'12)},

pages = {21-26},

publisher = {ACM},

address = {Innsbruck, Austria. October 2, 2012},

series = {AMT'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2012b,

title = {Model Transformations for Migrating Legacy Models: An Industrial Case Study},

author = {Gehan M K Selim and Shige and Wang and James R Cordy and Juergen Dingel},

url = {http://dx.doi.org/10.1007/978-3-642-31491-9_9},

doi = {10.1007/978-3-642-31491-9_9},

isbn = {978-3-642-31491-9},

year  = {2012},

date = {2012-01-01},

booktitle = {8th European Conference on Modelling Foundations and Applications (ECMFA'12)},

pages = {90-101},

publisher = {Springer},

address = {Kgs. Lyngby, Denmark, July 2-5, 2012},

abstract = {Many companies in the automotive industry have adopted MDD in their vehicle control software development. As a major automotive company, General Motors has been using a custom-built, domain-specific modeling language, implemented as an internal proprietary metamodel, to meet the modeling needs in its control software development. As AUTOSAR (AUTomotive Open System ARchitecture) is being developed as a standard to ease the process of integrating components provided by different suppliers and manufacturers, there is a growing demand to migrate these GM-specific, legacy models to AUTOSAR models. Given that AUTOSAR defines its own metamodel for various system artifacts in automotive software development, we explore using model transformations to address the challenges in migrating GM legacy models to their AUTOSAR equivalents. As a case study, we have built a model transformation using the MDWorkbench tool and the Atlas Transformation Language (ATL). This paper reports on the case study, makes observations based on our experience to assist in the development of similar types of transformations, and provides recommendations for further research.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Amrani:2012:TAS:2224481.2224933b,

title = {A Tridimensional Approach for Studying the Formal Verification of Model Transformations},

author = {Moussa Amrani and Levi Lúcio and Gehan Selim and Benoit Combemale and Juergen Dingel and Hans Vangheluwe and Yves Le Traon and James R Cordy},

url = {http://dx.doi.org/10.1109/ICST.2012.197},

doi = {10.1109/ICST.2012.197},

isbn = {978-0-7695-4670-4},

year  = {2012},

date = {2012-01-01},

booktitle = {IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST'12)},

pages = {921-928},

publisher = {IEEE Computer Society},

address = {Montreal, Canada. April 21, 2012},

series = {ICST'12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska2012b,

title = {Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines},

author = {Karolina Zurowska and Juergen Dingel},

editor = {Alwyn Goodloe E E. and Suzette Person},

url = {http://dx.doi.org/10.1007/978-3-642-28891-3_6},

doi = {10.1007/978-3-642-28891-3_6},

isbn = {978-3-642-28891-3},

year  = {2012},

date = {2012-01-01},

booktitle = {4th International NASA Symposium on Formal Methods (NFM'12)},

pages = {39-53},

publisher = {Springer},

address = {Norfolk, VA, USA. April 3-5, 2012},

abstract = {The paper introduces a technique to symbolically execute hierarchically composed models based on communicating state machines. The technique is modular and starts with non-composite models, which are symbolically executed. The results of the execution, symbolic execution trees, are then composed according to the communication topology. The composite symbolic execution trees may be composed further reflecting hierarchical structure of the analyzed model. The technique supports reuse, meaning that already generated symbolic execution trees, composite or not, are used any time they are required in the composition. For illustration, the technique is applied to analyze UML-RT models and the paper shows several analyses options such as reachability checking or test case generation. The presentation of the technique is formal, but we also report on the implementation and we present some experimental results.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Zurowska:2012:SEU:2245276.2231981b,

title = {Symbolic Execution of UML-RT State Machines},

author = {Karolina Zurowska and Juergen Dingel},

url = {http://doi.acm.org/10.1145/2245276.2231981},

doi = {10.1145/2245276.2231981},

isbn = {978-1-4503-0857-1},

year  = {2012},

date = {2012-01-01},

booktitle = {27th Annual ACM Symposium on Applied Computing (SAC-SVT'12)},

pages = {1292-1299},

publisher = {ACM},

address = {Riva del Garda, Italy. March 25-29, 2012},

series = {SAC '12},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{6100136,

title = {SAUML: A tool for symbolic analysis of UML-RT models (Tool Demonstration)},

author = {Karolina Zurowska and Juergen Dingel},

doi = {10.1109/ASE.2011.6100136},

issn = {1938-4300},

year  = {2011},

date = {2011-11-01},

booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11)},

pages = {604-607},

address = {Lawrence, Kansas, USA. November 6-10, 2011},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Moffett:2011:VUP:2050655.2050697,

title = {Verifying UML-RT Protocol Conformance Using Model Checking},

author = {Yann Moffett and Alain Beaulieu and Juergen Dingel},

url = {http://dl.acm.org/citation.cfm?id=2050655.2050697},

isbn = {978-3-642-24484-1},

year  = {2011},

date = {2011-01-01},

booktitle = {ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11)},

pages = {410-424},

publisher = {Springer},

address = {Wellington, New Zealand. October 16-21, 2011},

series = {MODELS'11},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{5770616,

title = {Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems},

author = {Ahmad A Saifan and Juergen Dingel and Jeremy S Bradbury and Ernesto Posse},

url = {http://ieeexplore.ieee.org/document/5770616},

doi = {10.1109/ICST.2011.62},

issn = {2159-4848},

year  = {2011},

date = {2011-03-01},

booktitle = {Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11)},

pages = {269-278},

address = {Berlin, Germany. March 21-25, 2011},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{6100136b,

title = {SAUML: A tool for symbolic analysis of UML-RT models (Tool Demonstration)},

author = {Karolina Zurowska and Juergen Dingel},

doi = {10.1109/ASE.2011.6100136},

issn = {1938-4300},

year  = {2011},

date = {2011-11-01},

booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11)},

pages = {604-607},

address = {Lawrence, Kansas, USA. November 6-10, 2011},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{5770616b,

title = {Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems},

author = {Ahmad A Saifan and Juergen Dingel and Jeremy S Bradbury and Ernesto Posse},

url = {http://ieeexplore.ieee.org/document/5770616},

doi = {10.1109/ICST.2011.62},

issn = {2159-4848},

year  = {2011},

date = {2011-03-01},

booktitle = {Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11)},

pages = {269-278},

address = {Berlin, Germany. March 21-25, 2011},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Moffett:2011:VUP:2050655.2050697b,

title = {Verifying UML-RT Protocol Conformance Using Model Checking},

author = {Yann Moffett and Alain Beaulieu and Juergen Dingel},

url = {http://dl.acm.org/citation.cfm?id=2050655.2050697},

isbn = {978-3-642-24484-1},

year  = {2011},

date = {2011-01-01},

booktitle = {ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11)},

pages = {410-424},

publisher = {Springer},

address = {Wellington, New Zealand. October 16-21, 2011},

series = {MODELS'11},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}