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 | 10 | 2022 |
A systematic approach to programming and verifying attribute-based communication systems R De Nicola, T Duong, O Inverso, F Mazzanti From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 2 | 2019 |
Abstractions for collective adaptive systems O Inverso, C Trubiani, E Tuosto International Symposium on Leveraging Applications of Formal Methods, 243-260, 2020 | 8 | 2020 |
AErlang at work R De Nicola, T Duong, O Inverso, C Trubiani International Conference on Current Trends in Theory and Practice of …, 2017 | 6 | 2017 |
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 | 24 | 2017 |
Automated model-based performance analysis of software product lines under uncertainty P Arcaini, O Inverso, C Trubiani Information and Software Technology 127, 106371, 2020 | 8 | 2020 |
Automated replication of tuple spaces via static analysis R De Nicola, L Di Stefano, O Inverso, A Uwimbabazi Science of Computer Programming 223, 102863, 2022 | 2 | 2022 |
Automated replication of tuple spaces via static analysis A Uwimbabazi, O Inverso, R De Nicola Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021 | 2 | 2021 |
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 | 3 | 2021 |
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 | 118 | 2014 |
Bounded model checking of multi-threaded programs via sequentialization O Inverso University of Southampton, 2015 | 3 | 2015 |
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 | 11 | 2021 |
Building International Doctoral Schools in Computer Science in Italy, De Nicola’s Way L Aceto, G D’Angelo, M Flammini, O Inverso, L Iovino, C Trubiani Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019 | | 2019 |
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems P Krupa García, O Inverso, M Tribastone, A Bemporad Elsevier, 2024 | | 2024 |
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems P Krupa, O Inverso, M Tribastone, A Bemporad Automatica 159, 111411, 2024 | 2 | 2024 |
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 | 45 | 2013 |
CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration) B Fischer, O Inverso, G Parlato | | 2013 |
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 |
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 |
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants R De Nicola, L Di Stefano, O Inverso, S Valiani International Conference on Computational Methods in Systems Biology, 44-61, 2023 | 2 | 2023 |