Ehsan Khamespanah

Ehsan Khamespanah

Reykjavik University - Reykjavík / Iceland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1841075
Reykjavík University
person_outline Ehsan Khamespanah's MOST POPULAR ARTICLES
1-) A survey of active object languagesFD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017952017
2-) Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition systemE Khamespanah, M Sirjani, ZS Kaviani, R Khosravi, MJ IzadiScience of Computer Programming 98, 184-204, 2015432015
3-) Symmetry and partial order reduction techniques in model checking RebecaMM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A MovagharActa Informatica 47 (1), 33-66, 2010412010
4-) Ptrebeca: Modeling and analysis of distributed and asynchronous systemsA Jafari, E Khamespanah, M Sirjani, H Hermanns, M CiminiScience of Computer Programming 128, 22-50, 2016362016
5-) On time actorsM Sirjani, E KhamespanahTheory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016362016