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
ECSA 2023 profile
ICFP 2023 profile
ICSE 2021 profile
ICSE 2023 profile
ISSTA 2019 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory 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
2023
FormaliSE
Author of Transparent Actor Model within the FormaliSE 2023-track
Committee Member in Program Committee within the FormaliSE 2023-track
NWPT
Committee Member in Program Committee within the NWPT 2023-track
Committee Member in Organizing Committee within the NWPT 2023-track
ECSA
Committee Member in Program Committee within the Industry Program-track
Erlang
PC Member in Program Committee within the Erlang 2023-track
2022
ECSA
Committee Member in Program Committee within the Tools & Demos-track
Committee Member in Program Committee within the Industry Program-track
2021
AGERE
Committee Member in Program Committee within the AGERE 2021-track
ECSA
Co-chair in Program Committee within the Industry Program-track
Industrial Co-Chair in Organizing Committee
FormaliSE
Committee Member in Programme Committee within the FormaliSE 2021-track
2020
LPOP
Committee Member in Program Committee within the LPOP 2020-track
ECSA
Committee Member in Program Committee within the Doctoral Symposium-track
2019
SPIN
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
2017
AGERE
Committee Member in Program Committee within the AGERE 2017-track
2016
AGERE
Programme Committee in Program Committee within the AGERE 2016-track
2015
AGERE
Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track
2014
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
2012
AGERE
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
Tue 3 Oct 06:15
