| 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 | 122 | 2014 |
| 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 | 61 | 2015 |
| 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 | 50 | 2020 |
| 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 | 50 | 2015 |
| 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 | 49 | 2014 |
| 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 | 48 | 2013 |
| 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 | 36 | 2016 |
| 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 | 30 | 2013 |
| Multi-agent systems with virtual stigmergy R De Nicola, L Di Stefano, O Inverso Science of Computer Programming 187, 102345, 2020 | 26 | 2020 |
| 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 | 25 | 2017 |
| 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 | 22 | 2018 |
| 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 | 20 | 2014 |
| 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 | 18 | 2019 |
| 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 | 18 | 2016 |
| 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 | 15 | 2021 |
| 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 | 14 | 2022 |
| Tight error analysis in fixed-point arithmetic S Simić, A Bemporad, O Inverso, M Tribastone Formal Aspects of Computing 34 (1), 1-32, 2022 | 12 | 2022 |
| 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 | 12 | 2022 |
| 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 | 12 | 2017 |
| 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 | 11 | 2022 |
