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 |
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)
Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
A Systematic Approach Towards Enhancing Digital Privacy in Industrial Applications (Jun 2024) Sara Abbaspour 12th International Conference of Security, Privacy and Trust Management (SPTM)
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024) Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani Journal of Logical and Algebraic Methods in Programming (JLAMP)
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning (Apr 2024) Stefan Marksteiner
Balancing Privacy and Performance in Federated Learning: a Systematic Literature Review on Methods and Metrics (Mar 2024) Samaneh Mohammadi, Ali Balador, Sima Sinaei, Francesco Flammini Journal of Parallel and Distributed Computing (JPDC)
