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.

Teaching:

  • CDT 316 - Distributed Systems (undergraduate course): 2016, 2015, 2014, 2013
  • DVA 442 - Advanced Validation and Verification (graduate, distance course) : 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 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 (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:

 

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:

SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017)
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)

Do we need an integrated framework for Ambient Assisted Living ? (Nov 2016)
Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén
International Conference on Ubiquitous Computing & Ambient Intelligence & International Work-Conference on Ambient Assisted Living (UCAmI & IWAAL )

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
35th Annual IEEE Software Engineering Workshop (ISOLA workshop) (SEW-36)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
21st International Symposium on Formal Methods (FM2016)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
24th International Conference on Real-Time Networks and Systems (RTNS'16)

CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly (Oct 2016)
Alexandru Sorici , Imad Alex Awada , Ashalatha Kunnappilly, Irina Mocanu , Oana Cramariuc , Lukasz Malicki , Cristina Seceleanu, Adina Magda Florea
The 3rd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT'16)

PhD students supervised as main supervisor:

Ashalatha Kunnappilly
Nesredin Mahmud
Predrag Filipovikj
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)