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 |
| Samaneh | Mohammadi | Industrial Doctoral Student |
| Sara | Abbaspour | Associated Senior Lecturer |
| Zeinab | Sharifi | Doctoral student |
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)
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach (May 2022) Ehsan Khamespanah , Morteza Mohaqeqi , Mohammad Ashjaei, Marjan Sirjani
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
