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)

Semantic Analysis of Embedded System Requirements Speci fications (May 2017)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

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)

Cristina Seceleanu, Associate Professor

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