• Sign in
  • Sign up
conf.researchr.org / Marjan Sirjani
  • ECSA 2020 profile
  • ECSA 2021 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
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

Share
xSun 18 Apr 16:35
using conf.researchr.org (v1.44.3)
Support page
Sign Up