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)
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)
An Actor-based Design Platform for System of Systems Marjan Sirjani, Giorgio Forcina, Ali Jafari , Stephan Baumgart, Ehsan Khamespanah , Ali Sedaghatbaf COMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives (Sep 2017) Giorgio Forcina, Marjan Sirjani, Carlo Castagnari , Jacopo de Berardinis , Ali Jafari Software Engineering and Formal Methods (SEFM)