Model checking self modifying code

Autor: Ye, Xin

Publikováno v: Logic in Computer Science [cs.LO]. Université de Paris; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩

A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to detect by anti-viruses. Thus, the analysis of such self modifying progra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ffdb827966f47842c9f5fcf682bca5c2
https://tel.archives-ouvertes.fr/tel-02972592/document

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets

Autor: Kamel Barkaoui, Hanifa Boucheneb

Publikováno v: ACM Transactions on Embedded Computing Systems. 12:1-24

The main problem of verification techniques based on exploration of (reachable) state space is the state explosion problem. In timed models, abstract states reached by different interleavings of the same set of transitions are, in general, different

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fde05ede19a416bf669070f9a1ebb770
https://doi.org/10.1145/2406336.2406343

Compatibility analysis of time open workflow nets

Autor: Zohra SBAI, Barkaoui, K., Boucheneb, H.

Publikováno v: Scopus-Elsevier

Because of their expressive power, Petri nets are widely used in the context of concurrent and distributed systems. We study in thispaper a sub class of time Petri nets, named time open workflow nets (ToWF-nets), used to interconnect time constrained

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7ae4f9a5a14334b2d5f56877ac78fe5d
http://www.scopus.com/inward/record.url?eid=2-s2.0-84907938772&partnerID=MN8TOARS