a person in the record
Cristina Seceleanu
Supervised 11 doctoral students at Mälardalens högskola and Mälardalens universitet.
Students11
- Mikael Ebrahimi Salari“Test Automation for Industrial Programmable Logic Controller Software: From Requirements to Executable Tests”2026 · Mälardalens universitet · doctoral
- Lukas Dust“Analysis and Verification of Temporal Properties of Distributed ROS 2-Based Applications”2025 · Mälardalens universitet · doctoral
- Rong Gu“Formal Methods for Scalable Synthesis and Verification of Autonomous Systems”2022 · Mälardalens universitet · doctoral
- Ashalatha Kunnappilly“Modeling and Formal Analysis of e-Health Systems”2021 · Mälardalens högskola · doctoral
- Simin Cai“Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems”2019 · Mälardalens högskola · doctoral
- Predrag Filipovikj“Automated Approaches for Formal Verification of Embedded Systems Artifacts”2019 · Mälardalens högskola · doctoral
- Nesredin Mahmud“Design of Assured and Efficient Safety-critical Systems”2019 · Mälardalens högskola · doctoral
- Raluca Marinescu“Model-driven Analysis and Verification of Automotive Embedded Systems”2016 · Mälardalens högskola · doctoral
- Aida Čaušević“Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations”2014 · Mälardalens högskola · doctoral
- Jagadish Suryadevara“Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata”2013 · Mälardalens högskola · doctoral
- Aneta Vulgarakis“A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems”2012 · Mälardalens högskola · doctoral
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_Q131127305,
author = {{Academic Ancestry}},
title = {{Cristina Seceleanu: advisors and students}},
year = {2026},
url = {https://academicancestry.org/person/Q131127305},
note = {read on 2026-10-19}
}apa
Academic Ancestry. (2026, October 19). Cristina Seceleanu: Advisors and students [Read on 2026-10-19]. https://academicancestry.org/person/Q131127305