Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

4 Results
Author: personID (integer) : 801783
Image document

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP

Luca Di Stefano , Frédéric Lang
ISoLA 2021 - 10th International Symposium on Leveraging Applications of Formal Methods, Oct 2021, Rhodes, Greece. pp.473-489, ⟨10.1007/978-3-030-89159-6_29⟩
Conference papers hal-03385131v1
Image document

Compositional Verification of Priority Systems using Sharp Bisimulation

Luca Di Stefano , Frédéric Lang
[Research Report] INRIA. 2022, pp.1-32
Reports hal-03640683v1
Image document

Combining SLiVER with CADP to Analyze Multi-agent Systems

Luca Di Stefano , Frédéric Lang , Wendelin Serwe
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers hal-02890401v1
Image document

Verification of Distributed Systems via Sequential Emulation

Luca Di Stefano , Rocco de Nicola , Omar Inverso
ACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
Journal articles hal-03549925v1