Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ehsan Khamespanah
conf.researchr.org general profile
ICSE 2023 profile
ISSTA 2019 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
Registered user since Mon 12 Oct 2015
Name:
Ehsan Khamespanah
Contributions
2023
FormaliSE
Author of Transparent Actor Model within the FormaliSE 2023-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
2015
AGERE
Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track
2014
AGERE
Author of Event-based Analysis of Timed Rebeca Models using SQL within the AGERE!-track
Author of Efficient TCTL Model Checking Algorithm for Timed Actors within the AGERE!-track
2012
AGERE
Author of Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system within the AGERE 2012-track
Share
x
Sat 9 Dec 03:16