4 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
6 papers
Towards Human-AI Synergy in Requirements Engineering: A Framework and Preliminary Study
Mateen Ahmed Abbasi, Petri Ihantola, Tommi Mikkonen +1
The future of Requirements Engineering (RE) is increasingly driven by artificial intelligence (AI), reshaping how we elicit, analyze, and validate requirements. Traditional RE is b…
Assessment of Evolving Large Language Models in Upper Secondary Mathematics
Mika Setälä, Pieta Sikström, Ville Heilala +1
Large language models (LLMs) have shown increasing promise in educational settings, yet their mathematical reasoning has been considered evolving. This study evaluates the mathemat…
An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Dataflow Model of Computation and Communications (DF MoCCs) is a formalism used to specify the behavior of Cyber-Physical Systems (CPSs). DF MoCCs are widely used in the design of…
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Ingenuity is an autonomous Cyber-Pysical System (CPS) that has successfully completed more than 70 flights over Mars between 2021 and 2024. Ensuring the safety of its mission is pa…
Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Modern Cyber-Physical Systems (CPS) often exhibit both relaxed real-time constraints and a mode-dependent execution. Relaxed real-time constraints mean that only a subset of the pr…
Cyberattack Detection using Deep Generative Models with Variational Inference
Sarin E. Chandy, Amin Rasekh, Zachary A. Barker +1
Recent years have witnessed a rise in the frequency and intensity of cyberattacks targeted at critical infrastructure systems. This study designs a versatile, data-driven cyberatta…