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]

UML-based Modeling and Analysis of 5G Service Orchestration (Dec 2020)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020)

Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach (Nov 2020)
Eduard Paul Enoiu, Gerald Tukseferi , Robert Feldt
IEEE International Workshop on Human and Social Aspects of Software Quality (HASQ 2020)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Agent-Based Software Testing: A Definition and Systematic Mapping Study (Oct 2020)
Pavithra Perumal Kumaresen , Mirgita Frasheri , Eduard Paul Enoiu
IEEE International Workshop on Automated and Intelligent Software Testing (AIST 2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

Cristina Seceleanu, Associate Professor

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