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 |
STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation (Nov 2025) Tanmay Khule , Stefan Marksteiner, Jose Alguindigue , Hannes Fuchs , Sebastian Fischmeister , Apurva Narayan 23rd ESCAR Europe 2025 (ESCAR EUROPE'25)
Formal Methods-Based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking (Oct 2025) Stefan Marksteiner
Actors for Timing Analysis of Distributed Redundant Controllers (Sep 2025) Marjan Sirjani, Edward Lee, Zahra Moezkarimi, Bahman Pourvatan , Bjarne Johansson, Stefan Marksteiner, Alessandro Papadopoulos Gul Aga Festschrift (GulFest)
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)
