Articles with public access mandates - Omar InversoLearn more
Not available anywhere: 2
Verifying AbC specifications via emulation
R De Nicola, T Duong, O Inverso
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Mandates: Government of Italy
Bit-precise verification of discontinuity errors under fixed-point arithmetic
S Simić, O Inverso, M Tribastone
International Conference on Software Engineering and Formal Methods, 443-460, 2021
Mandates: Government of Italy
Available somewhere: 21
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs
O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution)
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
Mandates: Government of Italy
Parallel and distributed bounded model checking of multi-threaded programs
O Inverso, C Trubiani
Proceedings of the 25th ACM SIGPLAN symposium on principles and practice of …, 2020
Mandates: Government of Italy
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Lazy sequentialization for TSO and PSO via shared memory abstractions
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
2016 Formal Methods in Computer-Aided Design (FMCAD), 193-200, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
Mandates: Government of Italy
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings: (Competition Contribution)
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
Mandates: Government of Italy
MU-CSeq 0.4: Individual Memory Location Unwindings: (Competition Contribution)
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Tight error analysis in fixed-point arithmetic
S Simić, A Bemporad, O Inverso, M Tribastone
Formal Aspects of Computing 34 (1), 1-32, 2022
Mandates: Government of Italy
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: (Competition Contribution)
TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Bounded verification of multi-threaded programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-50, 2021
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)
A Coto, O Inverso, E Sales, E Tuosto
International Conference on Tools and Algorithms for the Construction and …, 2022
Mandates: Government of Italy
Verification of distributed systems via sequential emulation
L Di Stefano, R De Nicola, O Inverso
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-41, 2022
Mandates: Government of Italy
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings: (Competition Contribution)
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Modelling flocks of birds from the bottom up
R De Nicola, L Di Stefano, O Inverso, S Valiani
International Symposium on Leveraging Applications of Formal Methods, 82-96, 2022
Mandates: Government of Italy
Automated model-based performance analysis of software product lines under uncertainty
P Arcaini, O Inverso, C Trubiani
Information and Software Technology 127, 106371, 2020
Mandates: Government of Italy
Abstractions for collective adaptive systems
O Inverso, C Trubiani, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 243-260, 2020
Mandates: European Commission, Government of Italy
Modelling flocks of birds and colonies of ants from the bottom up
R De Nicola, L Di Stefano, O Inverso, S Valiani
International Journal on Software Tools for Technology Transfer 25 (5), 675-691, 2023
Mandates: European Commission
Publication and funding information is determined automatically by a computer program