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

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

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

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

5

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

6

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

7

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

8

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

9

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

10

Verifying AbC Specifications via Emulation:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar - p. 261-279 , 2020

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

11

Tight Error Analysis in Fixed-Point Arithmetic:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Simić, Stella ; Bemporad, Alberto ; Inverso, Omar. - p. 318-336 , 2020

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

12

Abstractions for Collective Adaptive Systems:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Inverso, Omar ; Trubiani, Catia ; Tuosto, Emilio - p. 243-260 , 2020

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

13

Parallel and distributed bounded model checking of multi-th..:

, In: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Inverso, Omar ; Trubiani, Catia - p. 202-216 , 2020

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

14

Building International Doctoral Schools in Computer Science..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Aceto, Luca ; D'Angelo, Gianlorenzo ; Flammini, Michele... - p. 7-12 , 2019

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

15

A Systematic Approach to Programming and Verifying Attribut..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar. - p. 377-396 , 2019

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