Cristina Seceleanu, Associate Professor

Cristina Seceleanu is Associate Professor and Docent at MDH, Networked and Embedded Systems (NES) Division. She received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a Ph.D. in Computer Science from Åbo Akademi and Turku Centre for Computer Science, Åbo/Turku, Finland, in Dec. 2005. Her research focuses on developing formal models and verification techniques for designing predictable real-time embedded systems.


  • DVA 241 - Distributed Systems (undergraduate course): 2018, 2017
  • DVA 468 - Catching Bugs by Formal Verification (PROMPT course): 2018, 2017
  • CDT 316 - Distributed Systems (undergraduate course): 2016, 2015, 2014, 2013
  • DVA 442 - Advanced Validation and Verification (graduate, distance course) : 2017, 2016, 2015
  • DVA 402 - Advanced Validation and Verification (graduate course): 2012, 2011, 2010
  • CDT 505 - Real-Time Systems II (graduate course): 2012, 2011, 2009, 2008
  • The Science of Programming (Ph.D. course): 2009




Cristina Seceleanu's research focuses on developing and applying formal methods (especially model checking) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and more recently autonomous systems. The goal is to provide mathematical means of predicting system behaviors at early stages of development.

Cristina is leading the Formal Modeling and Analysis of Embedded Systems research group, at MDH, and has been teacher representative for Embedded Systems, IDT, in the committee for research of the faculty board (Utskottet för forskning), 2015-2016. 

Cristina is co-author of the following integrated development environments (IDE) / toolchains that implement the research results obtained together with wonderful collaborators:

  • REMES IDE    : developed as a cooperation between projects DICES and PROGRESS. It supports the construction and analysis of embedded system behavioral models described in the REMES language. REMES is a hierarchical, dense-time language for modeling function, time and resource usage of embedded components. The REMES IDE consists of a set of tools, as follows: (i) REMES editor, (ii) automated transformations of REMES models into priced timed automata for formal analysis and verification, and (iii) REMES simulator of the timing behavior and resource consumption of embedded components, at design time. Together with Aneta Vulgarakis Feljan, Ericsson Research, Stockholm, and Marin Orliς, Ericsson Nikola Tesla, Zagreb.


  • ViTAL toolchain      a verification tool tailored for the architectural language EAST-ADL, in which functional and timing behaviors of function prototypes are expressed as timed automata models that have precise semantics and can be formally verified. The ViTAL tool enables the automatic transformation of EAST-ADL functional models into UPPAAL PORT or UPPAAL, for model checking. Together with Raluca Marinescu, Eduard Paul Enoiu, and Paul Pettersson.


Editorial Boards:


PC Chair and Organizer of:


Program Committees (selection): 

  • 37th Annual IEEE Computer Software and Applications Conference (COMPSAC 2013), Workshops Chair, July 22-26, 2013 - Kyoto, Japan.
  • 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012), July 4-6, 2012 - Beijing, China.



[Show all publications]

[Google Scholar author page]

Latest publications:

Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019)
Maghsood Salimi , Amin Majd , Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
6th Conference on the Engineering of Computer Based Systems (ECBS 2019)

Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (May 2019)
Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen
Journal of Systems Architecture (JSA)

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)

Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners (May 2019)
Predrag Filipovikj, Cristina Seceleanu
14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 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)

PhD students supervised as main supervisor:

Ashalatha Kunnappilly
Nesredin Mahmud
Predrag Filipovikj (former)
Raluca Marinescu (former)
Rong Gu
Simin Cai

PhD students supervised as assistant supervisor:

Aida Causevic (former)
Aneta Vulgarakis Feljan (former)
Jagadish Suryadevara (former)
Leo Hatvani (former)
Stefan Björnander (former)