( en | de | ru )

 

Disambiguation of "Khamespanah, Ehsan"

Author of the publication

copydeleteadd this publication to your clipboard
Coordinated Actors for Reliable Self-adaptive Systems.

, , , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 241-259. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Susan Ehsani-Yeganeh

Ehsan Khaljani

Ehsan Noruzifar

Ehsan Ardestanizadeh

Mohammad Baker Ehsani

 

Other publications of authors with the same name

Statistical model checking of Timed Rebeca models., , , , and . Comput. Lang. Syst. Struct., (2016)Towards Formal Analysis of Vehicle Platoons Using Actor Model., , , and . ETFA, page 1820-1827. IEEE, (2020)Finite Interval-Time Transition System for Real-Time Actors., , and . TTCS, volume 12281 of Lecture Notes in Computer Science, page 85-100. Springer, (2020)Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking., , , and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 165-181. Springer, (2016)Model Checking of Hyperledger Fabric Smart Contracts., , , and . ETFA, page 1-8. IEEE, (2023)Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach., , , and . ETFA, page 1-8. IEEE, (2022)A compositional approach for modeling and timing analysis of wireless sensor and actuator networks., , , and . SIGBED Review, 14 (3): 49-56 (2017)LeeTL: LTL with quantifications over model objects., , and . SPIN, page 41-49. ACM, (2017)Specification and Verification of Timing Properties in Interoperable Medical Systems., , , , and . Log. Methods Comput. Sci., (2022)Using Afra in Different Domains by Tool Orchestration., , , and . Composing Model-Based Analysis Tools, Springer, (2021)