![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Omar Inverso
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Pablo Krupa
, Omar Inverso, Mirco Tribastone, Alberto Bemporad:
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. 159: 111411 (2024) - [c34]Omar Inverso
:
Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES. SIGSIM-PADS 2024: 135-140 - 2023
- [j12]Giorgio Audrito, Omar Inverso, Hugo Torres Vieira:
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. 225: 102899 (2023) - [j11]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25(5): 675-691 (2023) - [c33]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB 2023: 44-61 - [c32]Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco:
Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS 2023: 116-132 - [i3]Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad:
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR abs/2303.16786 (2023) - 2022
- [j10]Stella Simic
, Alberto Bemporad
, Omar Inverso
, Mirco Tribastone
:
Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. 34(1): 1-32 (2022) - [j9]Rocco De Nicola, Luca Di Stefano
, Omar Inverso, Aline Uwimbabazi:
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223: 102863 (2022) - [j8]Omar Inverso, Ermenegildo Tomasco
, Bernd Fischer
, Salvatore La Torre
, Gennaro Parlato
:
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. 44(1): 1:1-1:50 (2022) - [j7]Luca Di Stefano
, Rocco De Nicola
, Omar Inverso
:
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31(3): 37:1-37:41 (2022) - [c31]Rocco De Nicola, Luca Di Stefano
, Omar Inverso, Serenella Valiani:
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 512-523 - [c30]Rocco De Nicola, Luca Di Stefano
, Omar Inverso, Serenella Valiani:
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) 2022: 82-96 - [c29]Alex Coto, Omar Inverso, Emerson Sales
, Emilio Tuosto:
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) 2022: 413-417 - 2021
- [j6]Omar Inverso, Hugo Torres Vieira:
Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. Sci. Comput. Program. 204: 102592 (2021) - [c28]Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
:
Automated Replication of Tuple Spaces via Static Analysis. FSEN 2021: 18-34 - [c27]Stella Simic
, Omar Inverso
, Mirco Tribastone
:
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM 2021: 443-460 - [c26]Paolo Arcaini
, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) 2021: 112 - 2020
- [j5]Paolo Arcaini
, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127: 106371 (2020) - [j4]Rocco De Nicola
, Luca Di Stefano
, Omar Inverso
:
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187: 102345 (2020) - [c25]Omar Inverso
, Hernán C. Melgratti, Luca Padovani
, Catia Trubiani
, Emilio Tuosto
:
Probabilistic Analysis of Binary Sessions. CONCUR 2020: 14:1-14:21 - [c24]Stella Simic
, Alberto Bemporad
, Omar Inverso
, Mirco Tribastone
:
Tight Error Analysis in Fixed-Point Arithmetic. IFM 2020: 318-336 - [c23]Omar Inverso, Catia Trubiani, Emilio Tuosto:
Abstractions for Collective Adaptive Systems. ISoLA (2) 2020: 243-260 - [c22]Rocco De Nicola
, Tan Duong, Omar Inverso:
Verifying AbC Specifications via Emulation. ISoLA (2) 2020: 261-279 - [c21]Omar Inverso, Catia Trubiani:
Parallel and distributed bounded model checking of multi-threaded programs. PPoPP 2020: 202-216 - [i2]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CoRR abs/2007.11832 (2020)
2010 – 2019
- 2019
- [c20]Luca Aceto
, Gianlorenzo D'Angelo
, Michele Flammini
, Omar Inverso
, Ludovico Iovino
, Catia Trubiani
:
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 7-12 - [c19]Rocco De Nicola
, Tan Duong, Omar Inverso
, Franco Mazzanti:
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 377-396 - [c18]Alessandro Balestrucci
, Rocco De Nicola
, Omar Inverso
, Catia Trubiani:
Identification of credulous users on Twitter. SAC 2019: 2096-2103 - 2018
- [j3]Rocco De Nicola
, Luca Di Stefano
, Omar Inverso
:
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5: 94 (2018) - [j2]Rocco De Nicola
, Tan Duong, Omar Inverso
, Catia Trubiani
:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018) - [c17]Omar Inverso
, Alberto Bemporad, Mirco Tribastone:
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS 2018: 1-9 - [c16]Rocco De Nicola
, Luca Di Stefano
, Omar Inverso
:
Multi-agent Systems with Virtual Stigmergy. STAF Workshops 2018: 351-366 - [i1]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR abs/1804.08091 (2018) - 2017
- [j1]Constantin Enea, Peter Habermehl, Omar Inverso
, Gennaro Parlato
:
On the path-width of integer linear programming. Inf. Comput. 253: 257-271 (2017) - [c15]Rocco De Nicola
, Tan Duong, Omar Inverso
, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd 2017: 169-190 - [c14]Rocco De Nicola
, Tan Duong, Omar Inverso
, Catia Trubiani
:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39 - [c13]Rocco De Nicola
, Tan Duong, Omar Inverso
, Catia Trubiani
:
AErlang at Work. SOFSEM 2017: 485-497 - [c12]Truc L. Nguyen, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) 2017: 375-379 - 2016
- [c11]Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD 2016: 193-200 - [c10]Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS 2016: 938-941 - 2015
- [b1]Omar Inverso:
Bounded model checking of multi-threaded programs via sequentialization. University of Southampton, UK, 2015 - [c9]Omar Inverso
, Truc L. Nguyen, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE 2015: 807-812 - [c8]Ermenegildo Tomasco, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS 2015: 436-438 - [c7]Ermenegildo Tomasco, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Verifying Concurrent Programs by Memory Unwinding. TACAS 2015: 551-565 - 2014
- [c6]Omar Inverso
, Ermenegildo Tomasco, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV 2014: 585-602 - [c5]Omar Inverso
, Ermenegildo Tomasco, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS 2014: 398-401 - [c4]Ermenegildo Tomasco, Omar Inverso
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS 2014: 402-404 - [c3]Constantin Enea, Peter Habermehl, Omar Inverso
, Gennaro Parlato
:
On the Path-Width of Integer Linear Programming. GandALF 2014: 74-87 - 2013
- [c2]Bernd Fischer
, Omar Inverso
, Gennaro Parlato
:
CSeq: A concurrency pre-processor for sequential C verification tools. ASE 2013: 710-713 - [c1]Bernd Fischer
, Omar Inverso
, Gennaro Parlato
:
CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS 2013: 616-618
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint