Click on a search word OR use the drop-down choices to search for a paper.
2022
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks Proceedings Article
In: pp. 1-12, 2022.
ARCH-COMP 2022 Category Report Falsification with Ubounded Resources Proceedings Article
In: Proceedings of 9th International Workshop on Applied Ventrification of Continuous and Hybrid Systems (ARCH22), pp. 204-221, 2022.
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties Journal Article
In: Transactions on Software Engineering (TSE), pp. 1-20, 2022.
The ForeMoSt Approach to Building Valid Model-based Safety Arguments Journal Article
In: Software and Systems Modeling, 2022.
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Proceedings Article
In: pp. 18-25, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022.
Integrating Software Issue Tracking and Traceability Models Proceedings Article
In: 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 429-433, 2022.
An investigation into the effect of cluster-based preprocessing on software migration. Proceedings Article
In: MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 539-545, 2022.
Repository Mining for Changes in Simulink Models Proceedings Article
In: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 46-57, 2022.
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines Journal Article
In: Artificial Intelligence in Healthcare and Medicine, pp. 238-256, 2022.
Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques Journal Article
In: SAE International Journal of Engines, vol. 15, iss. (4) , pp. 515-525, 2022.
System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals Journal Article
In: IEEE Access. , vol. 10: 17629-17640., 2022.
A guided tour through my work Presentation
05.10.2022, (MSP 101 Seminar, University of Strathclyde, Glasgow, UK.).
Global Decision Making Over Deep Variability in Feedback-Driven Software Development Proceedings Article
In: In 37th IUEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022 ACM, pp. 1-6, 2022.
What I learned from formalizing Category Theory in Agda Presentation
22.09.2022, (Topos Seminar, Topos Institute).
Sentinel: A Safety Architecture for SAE J3016 Level 5 Autonomous Vehicles. Proceedings Article
In: Critical Automotive applications: Robustness & Safety, Sep 2022, Saragoza, Spain. hal-03782509 , 2022.
Measuring the Severity of the Signs of Eating Disorders Using Similarity-Based Models Proceedings Article
In: Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th-8th, 2022 (CEUR Workshop Proceedings), CEUR-WS.org, 3180, 2022, pp. 936-946, 2022.
International Workshop on Variability Management for Modern Technologies Proceedings Article
In: VM4Mode3rnTech 2022). In SPLC '22: 26th ACM International Systems and Software Product Line conference, Graz, Austria, September 12-16, 2022, pp. 266, 2022.
From legacy to microservices: A type-based approach for microservices identification using machine learning and semantic analysis Journal Article
In: Software: Evolution and Process (JSEP) 2022, pp. 1-23, 2022.
From Software Composition at Scale to Scaling software composition: 50 shades of scalability Presentation
Consortium for Software Engineering Research (CSER) 2022 Spring Meeting. May 2022, 01.05.2022.
Dockerizing your Teaching: Do's and Don'ts. Presentation
The MDE Network, 01.03.2022.
Génie Logiciel pour la Population Vieillissante Presentation
La France à L'UQAM Feb. 2022, 01.02.2022.
Aspects of Migrating from Decentralized to Centralized E/E Architectures Conference
WCX SAE World Congress Experience, Detroit, MI, United States of America (No. 2022-01-0747) 2022/3, 2022.
A case study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. Conference
International Symposium on Theoretical Aspects of Software Engineering (TASE 2022), Cluj, Romania, 2022.
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection Conference
1st International Workshop on system Security Assurance (SecAssure 2022), Copenhagen, Denmark 2022/9, 2022.
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models Journal Article
In: Journal of Object Technology, pp. 1-11, 2022.
Generating Assurance Cases Using Workflow Models Conference
Part of the Lecture Notes in Computer Science book series , vol. 13414, 2022.
Towards the adoption of model based system safety engineering in the automotive industry Proceedings Article
In: MODELS '22: Proceedings of the 25th international Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 579-587, 2022.
Model-Driven Safety of Autonomous Vehicles Proceedings Article
In: Recent Trends and Advances in Model Based Systems Engineering, pp. 407-417, 2022.
Generating Assurance Cases Using Workflow+ Models Proceedings Article
In: International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022) Part of the Lecture Notes in Computer Science book series (LNCS, volume 13414), pp. 97-110, 2022.
Types for Players Proceedings Article
In: In PLIE 2021 (Programming Languages in Entertainment), part of AIIDE-21. 4 pages. Joint Proceedings of the AIIDE 2021 Workshops. Published 2022. CEUR-WS Vol. 3217, 2022.
A Machine-checked Proof of Birkhoff's Variety theorem in Martin-Löf Type Theory Proceedings Article
In: 27th International Conference on types for Proofs and Programs (TYPES 2021) LIPIcs volume 239 p. 4:1-4:21., pp. 1-21, 2022.
Modelling Agile Backlogs as Composable Artefacts to support Developers and Product Owners Journal Article
In: Journal of Object Technology (JOT) 2022, pp. 1-14, 2022.
Embracing the laws of Physics: Three Reversible Models of Comptutation Journal Article
In: Advances in Computers, vol. 126, pp. 15-36, 2022.
What Lies Beneath - A survey of Affective Theory Use in Computational Models of Emotion Journal Article
In: IEEE Transactions on Affective computing, vol. 13, iss. 4, pp. 1793-1812, 2022.
2021
Repository Mining for Changes in Simulink Models. Conference
ACM/IEEE International Conference on Model Drive Engineering Languaes and Systems (MODELS), 2021.
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt Conference
ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021.
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries Journal Article
In: Software and Systems Modeling, vol. 20, iss. 6, pp. 1889-1918, 2021.
Distributed model validation with Epsilon Journal Article
In: Software and Systems Modeling, vol. 20, iss. 5, pp. 1689-1712, 2021.
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey Journal Article
In: CoRR. abs, pp. 2111.14324, 2021.
Making the Case for Centralized Automotive E/E Architectures Journal Article
In: IEEE Transactions on Vehicular Technology , vol. 70, iss. 2, pp. 1230-1245, 2021.
Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report
2021.
A domain-centralized automotive powertrain E/E architecture. Conference
2021.
A formal approach to rigorous development of critical systems Journal Article
In: Journal of Software: Evolution and Process, 2021.
Regulation and Ethics of Robotics and Autonomous Systems Book Chapter
In: pp. 467–483, 2021.
2020
Supporting robotic software migration using static analysis and model-driven engineering. Conference
ACM/IEEE MoDELS 2020, Montreal Canada, 2020.
An Architecture for the Development of Distributed Analytics Based on Polystore Events. Conference
Heterogeneous Data Management, Polystores and Analytics for Healthcare: VLDB Workshops, Poly 2020 and DMAH 2020, 2020.
To build, or not to build: ModelFlow, a build solution for MDE projects Conference
ACM/IEEE Models , 2020.
Polyglot and Distributed Software Repository Mining with Crossflow. Conference
Mining Software Repositories, 2020.
Automatic generation of UML profile graphical editors for Papyrus Journal Article
In: Software and Systems Modeling, vol. 19, iss. 5, 2020.
Preface to the JOT special issue containing the ECMFA 202 selected papers Journal Article
In: The JOT Journal, vol. 19, iss. 2, 2020.