Publications Search Tool

@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{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{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{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{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{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}

}