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 | Doctoral student,Industrial Doctoral Student |
| Sara | Abbaspour Asadollah | Researcher |
| Zeinab | Sharifi | Doctoral student |
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021) Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour Asadollah Wireless Personal Communications Journal (WIRE)
A Comprehensive Exploration of Languages for Parallel Computing (Dec 2021) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
DPAC Newsletter Spring 2021 (Jun 2021) Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
An actor-based framework for asynchronous event-based cyber-physical systems (Apr 2021) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Software and Systems Modeling (SoSym)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar IEEE Transactions on Software Engineering (TSE)
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (Nov 2020) Maryam Bagheri , Edward Lee, Eunsuk Kang , Marjan Sirjani, Ehsan Khamespanah , Ali Movaghar 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
