Cyber-Physical Systems Analysis

Focus:

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:  http://www.rebeca-lang.org


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]

A Systematic Approach to Automotive Security (Mar 2023)
Masoud Ebrahimi , Stefan Marksteiner, Dejan Nickovic , Roderick Bloem , David Schögler , Philipp Eisner , Samuel Sprung , Thomas Schober , Sebastian Chlup , Christoph Schmittner , Sandra König
25th International Symposium On Formal Methods (FM'23)

Automatic Segmentation of Resource Utilization Data (Dec 2022)
Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar
The 1st IEEE Industrial Electronics Society Annual On-Line Conference (ONCON'22)

Cyberattacks: Modeling, Analysis, and Mitigation (Sep 2022)
Sara Abbaspour
6th International Conference on Computer, Software and Modeling (ICCSM)

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach (Sep 2022)
Ehsan Khamespanah , Morteza Mohaqeqi , Mohammad Ashjaei, Marjan Sirjani
International Conference on Emerging Technologies and Factory (ETFA'2022)

POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (Aug 2022)
Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani
7th IEEE European Symposium on Security and Privacy (EuroS&P 2022)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (Aug 2022)
Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

Marjan Sirjani, Professor

Email: marjan.sirjani@mdh.se
Room: U1-066C
Phone: +46736620517