Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Khamespanah, Ehsan"'
Autor:
Sirjani, Marjan, Khamespanah, Ehsan
Publikováno v:
EPTCS 387, 2023, pp. 1-7
In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems consisting of encapsulated components which communicate by asynchronous
Externí odkaz:
http://arxiv.org/abs/2309.07302
Wireless sensor and actuator networks (WSAN) are real-time systems which demand high degrees of reliability requirements. To ensure this level of reliability, different analysis approaches have been proposed for WSAN applications. Among different alt
Externí odkaz:
http://arxiv.org/abs/2205.10224
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 2 (June 1, 2022) lmcs:6964
To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each pattern breaks c
Externí odkaz:
http://arxiv.org/abs/2012.04025
Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. There have been several attempts to design efficient algorithms for runtim
Externí odkaz:
http://arxiv.org/abs/1912.07365
Autonomous traffic control systems are large-scale systems with critical goals. Due to the dynamic nature of the surrounding world of these systems, assuring the satisfaction of their properties at runtime and in the presence of a change is important
Externí odkaz:
http://arxiv.org/abs/1905.06732
One of the applications of vehicular ad-hoc networks is warning message dissemination among vehicles in dangerous situations to prevent more damage. The only communication mechanism for message dissemination is multi-hop broadcast; in which, forwardi
Externí odkaz:
http://arxiv.org/abs/1905.01137
Autor:
Zakeriyan, Arvin, Khosravi, Ramtin, Safari, Hadi, Khamespanah, Ehsan, Shamsabadi, Seyede Mehrnaz
Publikováno v:
In Science of Computer Programming November 2022
Autor:
Dehnavi, Saeid, Sedaghatbaf, Ali, Salmani, Bahar, Sirjani, Marjan, Kargahi, Mehdi, Khamespanah, Ehsan
Publikováno v:
In Procedia Computer Science 2019 155:59-68
Publikováno v:
In Computer Languages, Systems & Structures April 2016 45:53-79
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.