ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Organizations increasingly rely on forecasting systems to anticipate future conditions and inform their strategic planning. However, current practices for specifications of these systems are scattered across workflows. Moreover, these specifications are either loosely defined or tied to data representation formats that lack domain awareness and offer only superficial validation. These limitations make it difficult to ensure correctness, enforce compliance, and trace qualitative adjustments across forecasting workflows. To address these challenges, we propose ForeSPECT, a model-driven framework for Forecasting with Semantic Provenance, Evaluation, Compliance, and Traceability. The framework introduces a metamodel that serves as the foundation for semantic validation and adjustments traceability, enabling early detection of domain-specific inconsistencies that conventional schema-based rules often miss. Our approach shows promise based on evaluation with nine unseen real-world datasets, achieving 77.7% mapping coverage between the metamodel and actual time-series record entities. It further demonstrates better performance in detecting errors earlier than pipeline-based methods, while ensuring 100% forward and 91% backward traceability of adjustments.

I am currently working as a Data & Applied Scientist at NAV CANADA, where I design and implement advanced forecasting models for strategic planning and develop systems for predictive Air Traffic Management (ATM) performance analytics. My work focuses on leveraging Machine Learning, Predictive Modeling, and Data Science to optimize operational efficiency and support data-driven decision-making in aviation.

I hold a Ph.D. in Computer Science from McGill University, where I transitioned from a Master’s program in 2017 to a fast-tracked Ph.D. in 2019 under the mentorship of Professor Gunter Mussbacher. My doctoral research centered on building a recommendation system for requirements engineering, enabling practitioners to rapidly create domain models from informal natural language requirements. This system utilized Natural Language Processing (NLP) and Machine Learning to extract domain knowledge and construct queryable trace models as knowledge graphs, enhancing explainability and user interaction.

Prior to joining NAV CANADA, I gained extensive industry experience at National Research Council Canada, Bombardier Aerospace, and Accenture, where I applied my expertise in Data Science, Machine Learning, and Software Engineering to design predictive analytics systems and enterprise applications.

This program is tentative and subject to change.

Sun 16 Nov

Displayed time zone: Seoul change

10:30 - 12:30
Verification, Testing, and Model-Driven EngineeringASYDE at Grand Hall 2
10:30
20m
Full-paper
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
ASYDE
Markus Krahl Munich University of Applied Sciences, Matthias Güdemann University of Applied Sciences Munich, Stefan Wallentowitz University of Applied Sciences Munich
10:50
20m
Full-paper
Improving Automated Program Verification for Java Programs with Fuzzing
ASYDE
Soha Hussein Ain Shams University, Egypt, Stephen McCamant University of Minnesota, USA
11:10
20m
Full-paper
ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting Systems
ASYDE
Rijul Saini NAV CANADA
11:30
20m
Full-paper
Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher Education
ASYDE
Andrada-Mihaela-Nicoleta Moldovan University Babeș-Bolyai, Andreea Vescan Babes-Bolyai University
11:50
15m
Short-paper
VeriODD: From YAML to SMT-LIB – Automating Verification of Operational Design Domains
ASYDE
Bassel Rafie Institute for Software and Systems Engineering, Clausthal University of Technology, Christian Schindler Institute for Software and Systems Engineering, Clausthal University of Technology, Andreas Rausch
12:05
15m
Short-paper
MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice Systems
ASYDE
Wei-Kai Lin National Taiwan Ocean University, Shang-Pin Ma National Taiwan Ocean University, Shin-Jie Lee National Cheng Kung University, Wen-Tin Lee National Taiwan Normal University