Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ramtin Khosravi
conf.researchr.org general profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
Not registered as user yet
Name:
Ramtin Khosravi
Contributions
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
AGERE 2012
Author of Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system within the AGERE 2012-track
Share
x
Tue 6 Jun 09:28