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
1152014
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
592015
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
482015
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
482014
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
452013
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
432020
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
332016
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
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
242017
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
212020
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
192019
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
172016
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
152018
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
Tight error analysis in fixed-point arithmetic
S Simić, A Bemporad, O Inverso, M Tribastone
International Conference on Integrated Formal Methods, 318-336, 2020
112020
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
102021
Probabilistic analysis of binary sessions
O Inverso, H Melgratti, L Padovani, C Trubiani, E Tuosto
arXiv preprint arXiv:2007.11832, 2020
102020
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
102015
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
92022
The system can't perform the operation now. Try again later.
Articles 1–20