Cristina Seceleanu, Associate Professor

Cristina Seceleanu is Associate Professor and Docent at MDH, Embedded Systems (ES) 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 2005. Her research focuses on developing formal models and verification techniques for designing predictable real-time embedded systems.


  • CDT 316 - Distributed Systems (undergraduate course): 2016, 2015, 2014
  • DVA 442 - Advanced Validation and Verification (graduate, distance course) : 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 and adaptive embedded systems. The goal is to provide mathematical means of predicting system behaviors at early stages of development.

Cristina is leading (together with Paul Petersson) the Formal Modeling and Analysis of Embedded Systems research group, at MDH, and is teacher representative for Embedded Systems, IDT, in the committee for research of the faculty board (Utskottet för forskning). 

Cristina is co-author of the following integrated development environments (IDEs) / tool-chains that implement the research results carried out together with wonderful collaborators:

  • REMES IDE    : developed as cooperation between projects DICES and PROGRESS. It supports the construction and analysis of embedded system behavioral REMES models. It consists of a set of tools such as REMES editor, automated transformations of REMES models into priced timed automata for formal analysis and verification, and REMES simulator that lets one simulate the timing behavior and resource consumption of embedded components during design. Together with Aneta Vulgarakis Feljan, Ericsson Research, Stockholm, and Marin Orliς, Ericsson Nikola Tesla, Zagreb.


  • ViTAL tool-chain       a verification tool for EAST-ADL functional and timing behavior expressed as timed automata models, which have precise semantics and can be formally verified. The ViTAL tool enables the automatic transformation of EAST-ADL functional models into UPPAAL PORT / UPPAAL for model checking. Together with Raluca Marinescu, Eduard Paul Enoiu, and Paul Pettersson.


Editorial Boards:


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.