• Sign in
  • Sign up
conf.researchr.org / Ehsan Khamespanah
  • 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
xSat 9 Dec 03:16
using conf.researchr.org (v1.62.0)
Support page
Sign Up