• Sign in
  • Sign up
conf.researchr.org / Ramtin Khosravi
  • 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
xMon 23 May 14:39
using conf.researchr.org (v1.55.6)
Support page
Sign Up