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|
|Sara||Abbaspour Asadollah||Post Doc|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|Modeling and Analyzing Event-based Autonomous Systems||active|
|SACSys - Safe and Secure Adaptive Collaborative Systems||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Software Center: Modeling and Analyzing Cyber-Physical Systems||active|
|Volvo Group Arena||active|
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)
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)
Formal Modeling and Analysis of Medical Systems (Jun 2020) Mahsa Zarneshan , Fatemeh Ghasemi , Marjan Sirjani International Conference on Coordination Languages and Models (COORDINATION2020)
Service Realizability Check as a Technique to Support a Service Security Assurance Case (Feb 2020) Predrag Filipovikj, Aida Causevic, Elena Lisova 21st IEEE International Conference on Industrial Technology (ICIT'20)