Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marjan Sirjani
conf.researchr.org general profile
ECSA 2020 profile
ECSA 2021 profile
ECSA 2022 profile
ICSE 2021 profile
ISSTA 2019 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Wed 6 Jul 02:42