Sfoglia per Autore
Building international doctoral schools in computer science in italy, de nicola’s way
2019-01-01 Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C.
Identification of Credulous Users on Twitter
2019-01-01 Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
2019-01-01 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Probabilistic Analysis of Binary Sessions
2020-01-01 Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
Automated model-based performance analysis of software product lines under uncertainty
2020-01-01 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Parallel and distributed bounded model checking of multi-threaded programs
2020-01-01 Inverso, O; Trubiani, C
Multi-agent systems with virtual stigmergy
2020-01-01 De Nicola, R; Di Stefano, L; Inverso, O
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021-01-01 Simić, Stella; Inverso, Omar; Tribastone, Mirco
Automated Replication of Tuple Spaces via Static Analysis
2021-01-01 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Automated model-based performance analysis of software product lines under uncertainty
2021-01-01 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022-01-01 Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
Verification of Distributed Systems via Sequential Emulation
2022-01-01 Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Building international doctoral schools in computer science in italy, de nicola’s way | 1-gen-2019 | Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C. | |
Identification of Credulous Users on Twitter | 1-gen-2019 | Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C | |
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R; Duong, T; Inverso, O; Mazzanti, F | |
Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
Probabilistic Analysis of Binary Sessions | 1-gen-2020 | Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio | |
Automated model-based performance analysis of software product lines under uncertainty | 1-gen-2020 | Arcaini, Paolo; Inverso, Omar; Trubiani, Catia | |
Parallel and distributed bounded model checking of multi-threaded programs | 1-gen-2020 | Inverso, O; Trubiani, C | |
Multi-agent systems with virtual stigmergy | 1-gen-2020 | De Nicola, R; Di Stefano, L; Inverso, O | |
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic | 1-gen-2021 | Simić, Stella; Inverso, Omar; Tribastone, Mirco | |
Automated Replication of Tuple Spaces via Static Analysis | 1-gen-2021 | Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco | |
Automated model-based performance analysis of software product lines under uncertainty | 1-gen-2021 | Arcaini, Paolo; Inverso, Omar; Trubiani, Catia | |
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization | 1-gen-2022 | Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
Verification of Distributed Systems via Sequential Emulation | 1-gen-2022 | Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar | |
A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio |
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