Conference Presentations

Keynotes and invited lectures are listed on the teaching page.

Sep 2026	Digital Twins for Verification and Testing of On-Orbit Robot Services Robotics and Software Engineering 2026 (RSE'26), Institut de Robòtica i Informàtica Industrial (IRI), Barcelona, Spain.
Apr 2026	Rethinking Automated Testing for LLM-Based Systems JAWs 2026 (co-located with ICSE 2026), Rio de Janeiro, Brazil.
Apr 2025	Adaptable and Uncertainty-aware Behavior Trees RoSE'25 (co-located with ICSE 2025), Ottawa, Canada.
Apr 2025	Journal First: Runtime Verification and Field-based Testing for ROS-based Robotic Systems ICSE 2025 — Journal First Track, Ottawa, Canada.
Jul 2024	Towards an Engineering Discipline for Resilient Cyber-Physical Systems FSE 2024 Doctoral Symposium, Porto de Galinhas, Brazil. — slides & poster
Sep 2023	Summer School on Software Testing, Verification & Validation TAROT Summer School, London, UK.
Sep 2023	WARA Public Safety Summer School Linköping, Sweden.
Dec 2021	Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns ACSOS-C 2021. pp. 281–286.
May 2021	Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain SEAMS 2021. pp. 224–230.
Oct 2020	A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems SEAMS 2020. pp. 9–19.