Marjan Sirjani

Registered user since Wed 30 Sep 2020

Name:Marjan Sirjani
Country:Sweden
Affiliation:Malardalen University

Contributions

ECSA 2022 Committee Member in Program Committee within the Tools & Demos-track
Committee Member in Program Committee within the Industry Program-track
AGERE 2021 Committee Member in Program Committee within the AGERE 2021-track
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