E-LIB Suche - Ergebnisse für: Inverso, Omar

1

Reproducibility Report for the Paper: Follow the Leader: Al..:

, In: Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation,

Inverso, Omar - p. 135-140 , 2024

Link: https://dl.acm.org/doi/1..

2

Certification of the proximal gradient method under fixed-p..:

Krupa, Pablo ; Inverso, Omar ; Tribastone, Mirco.
Automatica. 159 (2024) - p. 111411 , 2024

Link: https://doi.org/10.1016/..

3

Modelling flocks of birds and colonies of ants from the bot..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar.
International Journal on Software Tools for Technology Transfer. 25 (2023) 5-6 - p. 675-691 , 2023

Link: https://doi.org/10.1007/..

4

Intuitive Modelling and Formal Analysis of Collective Behav..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 44-61 , 2023

Link: https://doi.org/10.1007/..

5

Verifying Programs by Bounded Tree-Width Behavior Graphs:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Inverso, Omar ; La Torre, Salvatore ; Parlato, Gennaro. - p. 116-132 , 2023

Link: https://doi.org/10.1007/..

6

Preface for the special issue on tool papers of the 23rd In..:

Audrito, Giorgio ; Inverso, Omar ; Vieira, Hugo Torres
Science of Computer Programming. 225 (2023) - p. 102899 , 2023

Link: https://doi.org/10.1016/..

7

A Prototype for Data Race Detection in CSeq 3: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Coto, Alex ; Inverso, Omar ; Sales, Emerson. - p. 413-417 , 2022

Link: https://doi.org/10.1007/..

8

Process Algebras and Flocks of Birds:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 512-523 , 2022

Link: https://doi.org/10.1007/..

9

Verification of Distributed Systems via Sequential Emulatio:

Di Stefano, Luca ; De Nicola, Rocco ; Inverso, Omar
ACM Transactions on Software Engineering and Methodology. 31 (2022) 3 - p. 1-41 , 2022

Link: https://doi.org/10.1145/..

10

Modelling Flocks of Birds from the Bottom Up:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 82-96 , 2022

Link: https://doi.org/10.1007/..

11

Automated replication of tuple spaces via static analysis:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar.
Science of Computer Programming. 223 (2022) - p. 102863 , 2022

Link: https://doi.org/10.1016/..

12

Tight Error Analysis in Fixed-point Arithmetic:

Simić, Stella ; Bemporad, Alberto ; Inverso, Omar.
Formal Aspects of Computing. 34 (2022) 1 - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

13

Automated model-based performance analysis of software prod..:

, In: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A,

Arcaini, Paolo ; Inverso, Omar ; Trubiani, Catia - p. 112 ff. , 2021

Link: https://dl.acm.org/doi/1..

14

Preface for the special issue on tool papers of the 21st In..:

Inverso, Omar ; Vieira, Hugo Torres
Science of Computer Programming. 204 (2021) - p. 102592 , 2021

Link: https://doi.org/10.1016/..

15

Bit-Precise Verification of Discontinuity Errors Under Fixe..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Simić, Stella ; Inverso, Omar ; Tribastone, Mirco - p. 443-460 , 2021

Link: https://doi.org/10.1007/..