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]

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

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, Alf Larsson
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

Cristina Seceleanu, Associate Professor

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