My publications can also be found on my Google scholar page.
Computer Languages, Systems and Structures, 54 , pp. 139-155, 2018.
Trace Comprehension Operators for Executable DSLs Inproceedings
14th European Conference on Modelling Foundations and Applications (ECMFA), Springer, Cham, 2018.
Omniscient Debugging for Executable DSLs Journal Article
Journal of Systems and Software, 2018, ISSN: 0164-1212.
Proceedings of the 3rd International Workshop on Executable Modeling (EXE 2017) colocated at MODELS 2017, CEUR, 2017.
Proceedings of the 1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017) colocated at MODELS 2017, CEUR, 2017.
Software & Systems Modeling (SoSym), 2017, ISSN: 1619-1374.
Proceedings of the 2nd International Workshop on Executable Modeling (EXE 2016) colocated at MODELS 2016, CEUR, 2016.
Execution Framework of the GEMOC Studio (Tool Demo) Inproceedings
ACM (Ed.): Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering (SLE '16), pp. 6, Amsterdam, Netherlands, 2016, ISBN: 978-1-4503-4447-0/16/10.
11th European Conference on Modelling Foundations and Applications (ECMFA), L’Aquila, Italy, 2015.
Rennes 1, 2015.
8th Transformation Tool Contest, CEUR, l'Aquila, Italy, 2015.
8th International Conference on Software Language Engineering (SLE), Pittsburg, United States, 2015.
Scalable Armies of Model Clones through Data Sharing Inproceedings
Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Valencia, Spain, 2014.
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Valencia, Spain, 2014.
Combining Verification and Validation techniques Inproceedings
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, pp. 10, Montpellier, France, 2013.
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Innsbruck, Austria, 2012.
Talks (outdated list)
- A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio, Presentation at the Tool Transformation Contest 2015 (TTC 2015) at STAF’15, L’Aquila, Italy. Overall winner.
- Trace Management Facilities to Support V&V in Executable DSLs, Presentation at the DiverSE SLE Seminar 2015, Rennes, France
Pandoc: a universal document converter, Presentation during a DiverSE Coffee, 2015, Rennes, France