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 Asadollah | Associated Senior Lecturer |
Zeinab | Sharifi | Doctoral student |
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 Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
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)
Using Afra in Different Domains by Tool Orchestration (Jul 2021) Ehsan Khamespanah , Pavle Mrvaljevic , Anas Fattouh, Marjan Sirjani Springer International Publishing (Cham)
Integration and Orchestration of Analysis Tools (Jul 2021) Robert Heinrich , Erwan Bousse , Sandro Koch , Arend Rensink , Elvinia Riccobene , Daniel Ratiu , Marjan Sirjani
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