| Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES O Inverso Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced …, 2024 | | 2024 |
| 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 |
| 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 | 5 | 2023 |
| 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 |
| Verifying Programs by Bounded Tree-Width Behavior Graphs O Inverso, S La Torre, G Parlato, E Tomasco European Conference on Multi-Agent Systems, 116-132, 2023 | | 2023 |
| Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021 G Audrito, O Inverso, HT Vieira Science of Computer Programming 225, 1-2, 2023 | | 2023 |
| 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 |
| 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 | 8 | 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 |
| Process Algebras and Flocks of Birds R De Nicola, L Di Stefano, O Inverso, S Valiani A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 1 | 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 | 10 | 2022 |
| 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 | 10 | 2022 |
| 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 |
| 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 |
| Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019 O Inverso, HT Vieira Science of Computer Programming 204, 102592, 2021 | | 2021 |
| 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 |
| 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 |
| Abstractions for collective adaptive systems O Inverso, C Trubiani, E Tuosto International Symposium on Leveraging Applications of Formal Methods, 243-260, 2020 | 8 | 2020 |
| Modelling and verification of multi-agent systems via sequential emulation L DI STEFANO Gran Sasso Science Institute, 2020 | 2 | 2020 |
