INVERSO, OMAR

INVERSO, OMAR  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
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-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 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
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 1-gen-2015 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
MU-CSeq 0.4: Individual memory location unwindings 1-gen-2016 Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 1-gen-2014 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G