Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 14

Journal article (3)

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)

Verification of Cyberphysical Systems (Jul 2020)
Marjan Sirjani, Edward Lee, Ehsan Khamespanah
Mathematics (Mathematics)

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)

Conference/Workshop Paper (11)

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)

Model Checking Software in Cyberphysical Systems (Jul 2020)
Marjan Sirjani, Edward Lee, Ehsan Khamespanah
44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)

Formal Modeling and Analysis of Medical Systems (Jun 2020)
Mahsa Zarneshan , Fatemeh Ghasemi , Marjan Sirjani
International Conference on Coordination Languages and Models (COORDINATION2020)

From Requirements to Verifiable Executable Models using Rebeca (Nov 2019)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)

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)

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (Sep 2019)
Saed Dehnavi , Ali Sedaghatbaf, Bahar Salmani , Marjan Sirjani, Mehdi Kargahi , Ehsan Khamespanah
The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019) -- Best Paper Award--
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
IEEE Computer Society Conference on Computers, Software and Applications (COMPSAC 2019)

Actors revisited for time-critical systems (Jun 2019)
Marten Lohstroh , Martin Schoeberl , Andrés Goens , Armin Wasicek , Christopher Gill , Marjan Sirjani, Edward Lee
Design Automation Conference (DAC 2019)

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems (May 2019)
Narges Khakpour , Jetty Kleijn , Marjan Sirjani
International Conference on Fundamentals of Software Engineering (FSEN 2017)

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)

Items per page: