Open Systems Laboratory at Illinois

Marjan Sirjani



  1. Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, and Gul Agha. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Review, 14(3):49–56, 2017.


  1. Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, and Gul A. Agha. Schedulability analysis of distributed real-time sensor network applications using actor-based model checking. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, volume 9641 of Lecture Notes in Computer Science, 165–181. Springer, 2016.