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

1

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

2

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

3

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

4

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

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

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

8

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

9

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

10

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

11

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

12

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

13

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems. 44 (2021) 1 - p. 1-50 , 2021

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

14

Automated Replication of Tuple Spaces via Static Analysis:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Uwimbabazi, Aline ; Inverso, Omar ; De Nicola, Rocco - p. 18-34 , 2021

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

15

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems (TOPLAS). 44 (2021) 1 - p. 1-50 , 2021

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