Sfoglia per Autore Inverso, Omar
Mostrati risultati da 1 a 9 di 9
Tight Error Analysis in Fixed-Point Arithmetic
2020 Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M.
Modelling Flocks of Birds from the Bottom Up
2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Process Algebras and Flocks of Birds
2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Automated replication of tuple spaces via static analysis
2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A.
Verification of Distributed Systems via Sequential Emulation
2022 Di Stefano, L.; De Nicola, R.; Inverso, O.
Tight Error Analysis in Fixed-point Arithmetic
2022 Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
Modelling flocks of birds and colonies of ants from the bottom up
2023 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper)
2024 Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Tight Error Analysis in Fixed-Point Arithmetic | 1-gen-2020 | Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M. | |
Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Automated replication of tuple spaces via static analysis | 1-gen-2022 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A. | |
Verification of Distributed Systems via Sequential Emulation | 1-gen-2022 | Di Stefano, L.; De Nicola, R.; Inverso, O. | |
Tight Error Analysis in Fixed-point Arithmetic | 1-gen-2022 | Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco | |
Modelling flocks of birds and colonies of ants from the bottom up | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) | 1-gen-2024 | Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar |
Mostrati risultati da 1 a 9 di 9
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile