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.
| First Name | Last Name | Title |
|---|---|---|
| Edward | Lee | Visiting Professor |
| Ehsan | Khamespanah | Assistant Professor |
| Fereidoun | Moradi | Doctoral student |
| Giorgio | Forcina | Doctoral student |
| Maghsood | Salimi | Doctoral student |
| Marjan | Sirjani | Professor |
| Maryam | Bagheri | Doctoral student |
| Mohammad | Loni | Affiliated researcher |
| Samaneh | Mohammadi | Industrial Doctoral Student |
| Sara | Abbaspour | Associated Senior Lecturer |
| Stefan | Marksteiner | Industrial Doctoral Student |
| Zahra | Moezkarimi | Post Doc,Postdoctoral research fellow |
| Zeinab | Sharifi | Doctoral student |
Learning single and compound-protocol automata and checking behavioral equivalences (Apr 2025) Stefan Marksteiner, David Schögler , Marjan Sirjani, Mikael Sjödin International Journal on Software Tools for Technology Transfer (STTT)
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
EncCluster: Bringing Functional Encryption in Federated Foundational Models (Dec 2024) Vasileios Tsouvalas , Samaneh Mohammadi, Ali Balador, Tanir Ozcelebi , Francesco Flammini, Nirvana Meratnia 2024 Conference on Neural Information Processing Systems (NeurIPS 2024)
DAT (Dec 2024) Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab Sensors (MDPI Sensors)
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024) Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani Journal of Cybersecurity and Privacy (JCP)
TrajectoryNAS (Sep 2024) Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab Sensors (SENSC9)
