Cristina Seceleanu
Papers
8
Total Citations
65
H-Index
6
About
Cristina Seceleanu is a leading researcher in formal methods, model checking, and the verification of complex, safety-critical systems. Her work bridges the gap between theoretical computer science and practical engineering, with a particular focus on robotic systems and ambient assisted living (AAL). She has made major contributions to the automated verification of ROS 2-based applications, developing novel methodologies that combine model-driven engineering with formal verification tools like UPPAAL. Her research on "Pattern-Based Verification of ROS 2 Nodes Using UPPAAL" (2023) and "A Model-Based Methodology for Automated Verification of ROS 2 Systems" (2024) provides engineers with practical, scalable approaches to ensure the reliability of increasingly autonomous robotic platforms. Seceleanu has also advanced the verification of 5G network slicing, addressing critical service-level agreements in dynamic communication environments. Her work on statistical model checking of complex robotic systems (2019) and her exploration of integrated frameworks for ambient assisted living (2016) have each garnered 13 citations, demonstrating her impact on both formal verification and assistive technology. Through her research, Seceleanu is enabling the safe deployment of intelligent systems in healthcare, robotics, and telecommunications.
Research Focus
Key Achievements
Top Papers
- 1Statistical Model Checking of Complex Robotic Systems13 citations · 2019
- 2Do We Need an Integrated Framework for Ambient Assisted Living?13 citations · 2016
- 3Pattern-Based Verification of ROS 2 Nodes Using UPPAAL9 citations · 2023
- 4Critical Systems: Formal Methods and Automated Verification9 citations · 2017
- 5
- 6Experimental Evaluation of Callback Behavior in ROS 2 Executors7 citations · 2023
- 7A Model-Based Methodology for Automated Verification of ROS 2 Systems3 citations · 2024
- 8Analyzing ambient assisted living solutions: A research perspective2 citations · 2017