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.
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019) Maghsood Salimi , Amin Majd , Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna 6th Conference on the Engineering of Computer Based Systems (ECBS 2019)
Towards a Framework for Safe and Secure Adaptive Collaborative Systems (Jul 2019) Aida Causevic, Alessandro Papadopoulos, Marjan Sirjani The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2019)
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Jan 2019) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Model-Based Design of Cyber Physical Systems (CyPhy'18)
Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018) Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari Science of Computer Programming (SCICO)
Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018) Erik Martin Campana , Nils Müllner, Saad Mubeen 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)
