Bridging the Gap Between Requirements and Simulink Model Analysis.
Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020.
Automated analysis of Stateflow models.
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017.
Formal Analysis of Robustness at Model and Code Level.
19th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'16, Vienna, Austria, April 12-14, 2016.
Closed Loop Analysis of Control Command Software.
18th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'15, Seattle, Washington, USA, April 14-16, 2015.
A Framework to formalise the MDE Foundations.
International Workshop on Towers of Models (TOWERS'07), co-located with TOOLS'07, Zurich, 25/06/07.