Follow
Omar Inverso
Omar Inverso
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Verified email at gssi.it - Homepage
Title
Cited by
Cited by
Year
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1222014
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
612015
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
502020
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
502015
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
492014
CSeq: A concurrency pre-processor for sequential C verification tools
B Fischer, O Inverso, G Parlato
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
482013
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
362016
CSeq: A Sequentialization Tool for C: (Competition Contribution)
B Fischer, O Inverso, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
302013
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
262020
AErlang: empowering erlang with attribute-based communication
R De Nicola, T Duong, O Inverso, C Trubiani
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017
252017
Toward formal models and languages for verifiable multi-robot systems
R De Nicola, L Di Stefano, O Inverso
Frontiers in Robotics and AI 5, 94, 2018
222018
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
202014
Identification of credulous users on Twitter
A Balestrucci, R De Nicola, O Inverso, C Trubiani
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2096-2103, 2019
182019
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
182016
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
152021
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
142022
Tight error analysis in fixed-point arithmetic
S Simić, A Bemporad, O Inverso, M Tribastone
Formal Aspects of Computing 34 (1), 1-32, 2022
122022
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
122022
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
122017
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
112022
The system can't perform the operation now. Try again later.
Articles 1–20