conf.researchr.org / Marjan Sirjani

Not registered as user yet

Name: Marjan Sirjani

Contributions

SPIN 2019Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track
AGERE 2017Committee Member in Program Committee within the AGERE 2017-track
AGERE 2016Programme Committee in Program Committee within the AGERE 2016-track
AGERE! 2015Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track
AGERE!Author of Efficient TCTL Model Checking Algorithm for Timed Actors within the AGERE!-track
Author of Event-based Analysis of Timed Rebeca Models using SQL within the AGERE!-track
Committee Member in Program Committee
AGERE 2012Committee Member in Program Committee within the AGERE 2012-track
Author of Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system within the AGERE 2012-track