Raluca Marinescu (not working at IDT anymore)
Raluca Marinescu is a Post Doc researcher at Mälardalen University, working in the Formal Modeling and Analysis of Embedded Systems group. She has received a M.Sc. in Electronics from Politehnica University of Bucharest in June 2009, a M.Sc. in Computer Science from Mälardalen University in June 2011, and a PhD degrees in Computer Science and Engineering from Mälardalen University in 2016. Her main research interest are model-based analysis and testing of embedded systems.
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Nov 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Sensors Special Issue IoT Sensors in E-Health (Sensors)
Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist 11th Annual NASA Formal Methods Symposium (NFM 2019)
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems (May 2019) Ashalatha Kunnappilly, Simin Cai, Cristina Seceleanu, Raluca Marinescu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Mar 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Oct 2018) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2018)
Ashalatha Kunnappilly (former)
Rong Gu (former)