Research
2024
- A Survey of Federative Approaches for Model Management in MBSE,
Model Management (MoM) Workshop, Model-Driven Engineering, Languages, and Systems (MODELS) Conference,
Linz, Austria - Model Management at the Renault Virtual Simulation Team: State of Practice, Challenges, and Research Directions,
Model Management (MoM) Workshop, Model-Driven Engineering, Languages, and Systems (MODELS) Conference,
Linz, Austria (presented by Yara Hallak)
2023
- An Ontological Framework for Validity Frames,
Model-Driven Engineering for Verification and Validation (MoDEVVA) Workshop, Model-Driven Engineering, Languages, and Systems (MODELS) Conference,
Vasteras, Sweden - Facilitating AADL Model Processing and Analysis with OSATE-DIM,
ADEPT Workshop, Ada-Europe International Conference (AEiC),
Lisbon, Portugal
2022
- Solving the instance model-view update problem in AADL,
Model-Driven Engineering, Languages, and Systems (MODELS) Conference,
Montreal, Canada - OSATE-DIM Solves the Instance Model View-Update Problem in AADL-OSATE,
u-MPM4CPS Workshop,
Antwerp, Belgium - Automated Diagnosis of Autism Spectrum Disorder Condition Using Shape Based Features Extracted from Brainstem,
Medical Informatics Europe (MIE) Conference,
Nice, France
2021
- PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets,
Asia-Pacific Software Engineering Conference (APSEC),
virtual - Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs,
Formal Methods Update Meeting,
virtual (presented by Soumyadip Bandyopadhyay) - Towards an Approach for Translation Validation of Thread-Level Parallelizing Transformation using Colored Petri Nets,
Intl Conference on Software Technologies (ICSOFT),
virtual
2020
- A Feature-based Ontology for Cyber-Physical Systems,
Current Trends in Cyber-Physical Systems (CTiCPS) Workshop,
virtual
Tutorials
2025
- Modeling, Calibration, and Control of a Gantry System using OpenModelica (hands-on),
Summer-School on Cyber-Physical Systems and Internet-of-Things (SS-CPSIoT),
Budva, Montenegro (presented with Hans Vangheluwe) - Modeling, Calibration, and Control of a Gantry System using OpenModelica,
SPACERAISE , the “International Doctoral School” for the Space Sector, Gran Sasso Science Institute,
L’Aquila, Italy
2024
- Modeling a Cruise Control System using OpenModelica and Verifying Safety Requirements using UPPAAL,
Summer-School on Cyber-Physical Systems and Internet-of-Things (SS-CPSIoT),
Budva, Montenegro (presented with Rizwan Parveen)
2023