Marjan Sirjani -

Registered user since Wed 30 Sep 2020

Name: Marjan Sirjani

Country: Sweden

Affiliation: Malardalen University

Contributions

ECSA 2021	Co-chair in Program Committee within the Industry Program-track Industrial Co-Chair in Organizing Committee
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track
LPOP 2020	Committee Member in Program Committee within the LPOP 2020-track
ECSA 2020	Committee Member in Program Committee within the Doctoral Symposium-track
SPIN 2019	Author 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 2017	Committee Member in Program Committee within the AGERE 2017-track
AGERE 2016	Programme Committee in Program Committee within the AGERE 2016-track
AGERE! 2015	Author 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 2012	Committee 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