Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ehsan Khamespanah
conf.researchr.org general profile
FSEN 2025 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
2025
FSEN
Committee Member in Program Committee
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 21 Dec 16:02