Formal Modelling and Analysis of Embedded Systems

Focus:

Focusing on formal modelling, analysis, and verification techniques for real-time embedded systems. In particular, formal syntax and semantics of componentbased and service oriented models with extra-functional properties such as time or resources.

[Show all publications]

A Novel Integrated Architecture for Ambient Assisted Living Systems (Jul 2017)
Ashalatha Kunnappilly, Alexandru Sorici , Imad Alex Awada , Irina Mocanu , Cristina Seceleanu, Adina Magda Florea
The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Analyzing Ambient Assisted Living Solutions: A Research Perspective (Apr 2017)
Ashalatha Kunnappilly, Axel Legay , Tiziana Margaria , Cristina Seceleanu, Bernhard Steffen , Louis-Marie Tranonouez
12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2017)

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)

Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn

Cristina Seceleanu, Associate Professor

Email: cristina.seceleanu@mdh.se
Room: U1-170
Phone: +46-21-151764