Ehsan Khamespanah

56 papers B 2C 7Journal 25Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards developing an actor-based immune system for smart homes. Sci. Comput. Program. Zahra Mohaghegh Rad, Ehsan Khamespanah
2025	—	`conf`	20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services. Rebeca for Actor Analysis in Action Ehsan Khamespanah, Mohammad Mahdi Jaghoori
2024	—	`ch.`	Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani
2023	—	`conf`	Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2023	J	`jnl`	Automated testing of an industrial stock market trading platform based on functional specification. Sci. Comput. Program. Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi
2023	C	`conf`	Model Checking of Hyperledger Fabric Smart Contracts. ETFA Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi
2023	—	`conf`	Timed Actors and Their Formal Verification. EXPRESS/SOS Marjan Sirjani, Ehsan Khamespanah
2023	—	`conf`	Transparent Actor Model. FormaliSE Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
2022	J	`jnl`	Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
2022	J	`jnl`	Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. CoRR Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
2022	C	`conf`	Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
2022	J	`jnl`	Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2021	—	`conf`	Partial Order Reduction for Timed Actors. VSTTE Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
2021	—	`conf`	Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
2021	—	`ch.`	Using Afra in Different Domains by Tool Orchestration. Composing Model-Based Analysis Tools Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani
2020	B	`conf`	Developing Safe Smart Contracts. COMPSAC Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi
2020	—	`conf`	Finite Interval-Time Transition System for Real-Time Actors. TTCS Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
2020	C	`conf`	Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2020	B	`conf`	Model Checking Software in Cyberphysical Systems. COMPSAC Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
2020	J	`jnl`	Safe Design of Flow Management Systems Using Rebeca. J. Inf. Process. Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
2020	J	`jnl`	Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
2020	C	`conf`	Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
2020	J	`jnl`	VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019	J	`jnl`	A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2019	—	`conf`	An Actor-Based Design Platform for System of Systems. COMPSAC (1) Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf
2019	J	`jnl`	Decentralized Runtime Verification for LTL Properties Using Global Clock. CoRR M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
2019	C	`conf`	Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
2019	C	`conf`	Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. SoMeT Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah
2019	—	`conf`	VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. SPIN Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2019	J	`jnl`	VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. CoRR Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
2018	J	`jnl`	An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2018	J	`jnl`	Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
2018	C	`conf`	Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. DAIS Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi
2018	J	`jnl`	Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
2017	J	`jnl`	A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha
2017	—	`conf`	LeeTL: LTL with quantifications over model objects. SPIN Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
2017	J	`jnl`	Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016	—	`conf`	Coordinated Actors for Reliable Self-adaptive Systems. FACS Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016	—	`conf`	On Time Actors. Theory and Practice of Formal Methods Marjan Sirjani, Ehsan Khamespanah
2016	J	`jnl`	PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
2016	—	`conf`	Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
2016	J	`jnl`	Statistical model checking of Timed Rebeca models. Comput. Lang. Syst. Struct. Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson
2015	—	`conf`	Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
2015	J	`jnl`	Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
2015	—	`conf`	Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2015	J	`jnl`	State Distribution Policy for Distributed Model Checking of Actor Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
2015	J	`jnl`	Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
2014	—	`conf`	Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014	—	`conf`	Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014	J	`jnl`	Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
2013	—	`conf`	Analysing timed Rebeca using McErlang. AGERE!@SPLASH Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
2013	—	`conf`	Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
2012	—	`conf`	Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
2010	J	`jnl`	Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
2010	J	`jnl`	Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani