Results 81 to 90 of about 1,158 (136)
Trust Beyond Border: Lightweight, Verifiable User Isolation for Protecting In-Enclave Services. [PDF]
IEEE Trans Dependable Secure Comput, 2023 Wang W +5 more
europepmc +1 more source
Molluskicidal nanoemulsion of Neomitranthes obscura (DC.) N. Silveira for schistosomiasis control. [PDF]
Front Pharmacol, 2023 Rangel LDS +9 more
europepmc +1 more source
Translation between S/R and Promela
, 1995 S/R and Promela are two concurrent programming languages used in finite state automated verification of communication protocols. The semantics of S/R supports synchronous parallel composition, while semantics of Promela supports an interleaving parallel ...
Ratan Nalumasu
core
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. [PDF]
Sensors (Basel), 2021 Daszczuk WB.
europepmc +1 more source
Correctness of the Promela models of MANIFOLD
, 2007 this paper we prove that the solutions we adopted are "correct" with respect to the behaviour of a MANIFOLD application. Section 2 contains two examples, some planning for future work and conlcusion is drawn in Section 5 2 MANIFOLD and its ...
Programs Alain Fagot +2 more
core
HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]
Sensors (Basel), 2022 Hamza AA +3 more
europepmc +1 more source
On the Modeling and Verification of Collective and Cooperative Systems. [PDF]
Front Robot AI, 2022 Aldini A.
europepmc +1 more source
Adaptive On-the-Fly Changes in Distributed Processing Pipelines. [PDF]
Front Big Data, 2021 Albers T +3 more
europepmc +1 more source
Static Reductions for Promela Specifications
, 2006 The interleaving of concurrent processes actions leads to a combinatory explosion. There exists in Petri nets theory some structural reductions that combat the state explosion by agglomerating sequences of transitions into a single atomic transition ...
Pajault, Christophe +1 more
core +1 more source