A survey of active object languages
To program parallel systems efficiently and easily, a wide range of programming models
have been proposed, each with different choices concerning synchronization and …
have been proposed, each with different choices concerning synchronization and …
Wireless ad hoc network of manet, vanet, fanet and sanet: a review
S Yogarayan - Journal of Telecommunication, Electronic and …, 2021 - jtec.utem.edu.my
Wireless Ad Hoc Network of MANET, VANET, FANET and SANET: A Review Page 1 ISSN: 2180 –
1843 e-ISSN: 2289-8131 Vol. 13 No. 4 October – December 2021 13 Wireless Ad Hoc Network of …
1843 e-ISSN: 2289-8131 Vol. 13 No. 4 October – December 2021 13 Wireless Ad Hoc Network of …
An actor-based approach for security analysis of cyber-physical systems
F Moradi, S Abbaspour Asadollah… - Formal Methods for …, 2020 - Springer
In this work, we present an actor-based approach for security analysis of Cyber-Physical
Systems at the design phase. We use Timed Rebeca, an actor-based modeling language, to …
Systems at the design phase. We use Timed Rebeca, an actor-based modeling language, to …
Power is overrated, go for friendliness! expressiveness, faithfulness, and usability in modeling: the actor experience
M Sirjani - Principles of Modeling: Essays Dedicated to Edward A …, 2018 - Springer
Expressive power of a language is generally defined as the breadth of ideas that can be
represented and communicated in a language. For formal languages, the expressive power …
represented and communicated in a language. For formal languages, the expressive power …
Afra: an eclipse-based tool with extensible architecture for modeling and model checking of Rebeca family models
Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models.
Together with the standard enriched editor, easy to trace counter-example viewer, modular …
Together with the standard enriched editor, easy to trace counter-example viewer, modular …
Towards a verification-driven iterative development of software for safety-critical cyber-physical systems
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …
software development are relatively young. Cyber-physical systems are now in every corner …
An actor-based framework for asynchronous event-based cyber-physical systems
I Jahandideh, F Ghassemi, M Sirjani - Software and Systems Modeling, 2021 - Springer
In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …
actuators, and controllers that communicate asynchronously with each other. The …
Formal analysis and verification of the IEEE 802.15. 4 DSME slot allocation
F Kauer, M Köstler, T Lübkert, V Turau - Proceedings of the 19th ACM …, 2016 - dl.acm.org
Providing dependability is still a major issue for wireless mesh networks, which restrains
their application in industrial contexts. The widespread CSMA/CA medium access can …
their application in industrial contexts. The widespread CSMA/CA medium access can …
From requirements to verifiable executable models using Rebeca
M Sirjani, L Provenzano… - … Engineering and Formal …, 2021 - Springer
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. We need robust methods for handling the ever …
software development are relatively young. We need robust methods for handling the ever …
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
Vehicular ad hoc networks have attracted the attention of many researchers during the last
years due to the emergence of autonomous vehicles and safety concerns. Most of the …
years due to the emergence of autonomous vehicles and safety concerns. Most of the …