Cyber-Physical Systems Analysis


The research group is focused on analyzing cyber-physical systems, as concurrent and distributed systems where embedded computers and networks monitor and control the physical processes. 

See Rebeca Homepage for more information:

Cyber-physical systems are integrations of computation, networking, and physical processes. Different novel analysis approaches and techniques are needed to guarantee dependability and efficiency of cyber-physical systems. 

[Show all publications]

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Jan 2019)
Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani
Model-Based Design of Cyber Physical Systems (CyPhy'18)

Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018)
Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari
Science of Computer Programming (SCICO)

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
Erik Martin Campana , Nils Müllner, Saad Mubeen
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)

What Good are Models? (Oct 2018)
Edward Lee, Marjan Sirjani
International Conference on Formal Aspects of Component Software (FACS 2018)

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (Oct 2018)
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov , Gul Agha
International Journal on Software Tools for Technology Transfer (STTT)

A method for dependability evaluation of software architectures (Jul 2018)
Ali Sedaghatbaf, Mohammad A. Azgomi

Marjan Sirjani, Professor

Room: U1-066C
Phone: +46736620517