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|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|MACMa - Modeling and Analyzing Event-based Autonomous Systems - Software Center||active|
|SACSys - Safe and Secure Adaptive Collaborative Systems||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Volvo Group Arena||active|
|SEADA - Self-Adaptive Actors||finished|
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)
A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (Aug 2020) Svetlana Girs, Séverine Sentilles, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen IEEE Access (ACCESS'20)
Model Checking Software in Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020) Farnaz Yousefi , Ehsan Khamespanah , Mohammed Gharib , Marjan Sirjani, Ali Movaghar International Journal on Software Tools for Technology Transfer (STTT)