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:

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Formal Methods 2021 (FM'21)

5G Service Orchestration Supported by Model Checking - A Case Study of Health Applications (Sep 2021)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu, Mathias Johanson
MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2021)

DPAC Newsletter Spring 2021 (Jun 2021)
Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration (May 2021)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Formal Verification of Collision Avoidance for Nonlinear Autonomous Vehicle Models (Apr 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (Apr 2021)
Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

PhD students supervised as main supervisor:

Ashalatha Kunnappilly
Mikael Ebrahimi Salari
Nesredin Mahmud (former)
Predrag Filipovikj (former)
Rong Gu
Simin Cai (former)

PhD students supervised as assistant supervisor:

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