INVERSO, OMAR
INVERSO, OMAR
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
2019-01-01 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Accurate Static Data Race Detection for C
2025-01-01 Sales, Emerson; Inverso, Omar; Tuosto, Emilio
AErlang at Work
2017-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
AErlang: Empowering Erlang with attribute-based communication
2018-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
AErlang: Empowering Erlang with Attribute-Based Communication
2017-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
Automated model-based performance analysis of software product lines under uncertainty
2020-01-01 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated model-based performance analysis of software product lines under uncertainty
2021-01-01 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated Replication of Tuple Spaces via Static Analysis
2021-01-01 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Automated replication of tuple spaces via static analysis
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021-01-01 Simić, Stella; Inverso, Omar; Tribastone, Mirco
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022-01-01 Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
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.
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
2024-01-01 Krupa, Pablo; Inverso, Omar; Tribastone, Mirco; Bemporad, Alberto
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Fischer, B; Inverso, O; Parlato, G
CSeq: A Sequentialization Tool for C
2013-01-01 Fischer, B; Inverso, O; Parlato, G
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
2025-01-01 Di Stefano, Luca; Inverso, Omar
Identification of Credulous Users on Twitter
2019-01-01 Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio | |
| A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R; Duong, T; Inverso, O; Mazzanti, F | |
| Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
| Accurate Static Data Race Detection for C | 1-gen-2025 | Sales, Emerson; Inverso, Omar; Tuosto, Emilio | |
| AErlang at Work | 1-gen-2017 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
| AErlang: Empowering Erlang with attribute-based communication | 1-gen-2018 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
| AErlang: Empowering Erlang with Attribute-Based Communication | 1-gen-2017 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
| Automated model-based performance analysis of software product lines under uncertainty | 1-gen-2020 | Arcaini, Paolo; Inverso, Omar; Trubiani, Catia | |
| Automated model-based performance analysis of software product lines under uncertainty | 1-gen-2021 | Arcaini, Paolo; Inverso, Omar; Trubiani, Catia | |
| Automated Replication of Tuple Spaces via Static Analysis | 1-gen-2021 | Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco | |
| Automated replication of tuple spaces via static analysis | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline | |
| Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic | 1-gen-2021 | Simić, Stella; Inverso, Omar; Tribastone, Mirco | |
| Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization | 1-gen-2022 | Inverso, Omar; Tomasco, Ermenegildo; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
| 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. | |
| Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems | 1-gen-2024 | Krupa, Pablo; Inverso, Omar; Tribastone, Mirco; Bemporad, Alberto | |
| CSeq: A concurrency pre-processor for sequential C verification tools | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
| CSeq: A Sequentialization Tool for C | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
| Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | 1-gen-2025 | Di Stefano, Luca; Inverso, Omar | |
| Identification of Credulous Users on Twitter | 1-gen-2019 | Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C |