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 | |
| Marjan | Sirjani | Professor |
| Maryam | Bagheri | Doctoral student |
| Mohammad | Loni | Affiliated researcher |
| Samaneh | Mohammadi | Industrial Doctoral Student |
| Sara | Abbaspour | Associated Senior Lecturer |
| Stefan | Marksteiner | Other |
| Zahra | Moezkarimi | Post Doc,Postdoctoral research fellow |
| Zeinab | Sharifi | Doctoral student |
Transforming Cybersecurity Research: AI as our Research Assistant in Academia (Mar 2026) Sara Abbaspour International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA 2026)
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)
