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
AErlang at Work
2017-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
AErlang: Empowering Erlang with attribute-based communication
2018-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Automated model-based performance analysis of software product lines under uncertainty
2021-01-01 Arcaini, Paolo; 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 Replication of Tuple Spaces via Static Analysis
2021-01-01 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
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.
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
Identification of Credulous Users on Twitter
2019-01-01 Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C
Lazy sequentialization for TSO and PSO via shared memory abstractions
2016-01-01 Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution)
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
| 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 | |
| AErlang at Work | 1-gen-2017 | 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 | |
| AErlang: Empowering Erlang with attribute-based communication | 1-gen-2018 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
| Automated model-based performance analysis of software product lines under uncertainty | 1-gen-2021 | Arcaini, Paolo; 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 Replication of Tuple Spaces via Static Analysis | 1-gen-2021 | Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco | |
| 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. | |
| 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 | |
| Identification of Credulous Users on Twitter | 1-gen-2019 | Balestrucci, A; De Nicola, R; Inverso, O; Trubiani, C | |
| Lazy sequentialization for TSO and PSO via shared memory abstractions | 1-gen-2016 | Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
| Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
| Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs | 1-gen-2015 | Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G | |
| Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) | 1-gen-2014 | Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G |