Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Inverso, Omar
14  Ergebnisse:
Artikel (Online) X
Personensuche X
?
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

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

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

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

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

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

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

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

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

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

Arcaini, Paolo ; Inverso, Omar ; Trubiani, Catia
Information and Software Technology.  127 (2020)  - p. 106371 , 2020
Link: https://doi.org/10.1016/..
 
?
11

Multi-agent systems with virtual stigmergy:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar
Science of Computer Programming.  187 (2020)  - p. 102345 , 2020
Link: https://doi.org/10.1016/..
 
?
12

AErlang: Empowering Erlang with attribute-based communicati..:

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar.
Science of Computer Programming.  168 (2018)  - p. 71-93 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Toward Formal Models and Languages for Verifiable Multi-Rob..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar
Frontiers in Robotics and AI.  5 (2018)  - p. , 2018
Link: https://doi.org/10.3389/..
 
?
14

On the path-width of integer linear programming:

Enea, Constantin ; Habermehl, Peter ; Inverso, Omar.
Information and Computation.  253 (2017)  - p. 257-271 , 2017
Link: https://doi.org/10.1016/..
 
1-14