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

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/..

5

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/..

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

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

Krupa, Pablo ; Inverso, Omar ; Tribastone, Mirco.
http://arxiv.org/abs/2303.16786. , 2023

Link: http://arxiv.org/abs/230..

8

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

Krupa García, Pablo ; Inverso, Omar ; Tribastone, Mirko.
https://www.sciencedirect.com/science/article/pii/S0005109823005782. , 2023

Link: https://idus.us.es/handl..

9

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/..

10

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/..

11

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/..

12

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/..

13

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/..

14

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/..

15

Verification of Distributed Systems via Sequential Emulatio:

Di Stefano, Luca ; de Nicola, Rocco ; Inverso, Omar
info:eu-repo/semantics/altIdentifier/doi/10.1145/3490387. , 2022

Link: https://hal.inria.fr/hal..