ask others

Omar Inverso

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/firai/NicolaSI18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/firai/NicolaSI18
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Front. Robotics and AI 2018 (2018)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/NicolaDIT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/NicolaDIT18
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018)
[c17]
- view
- export record
  dblp key:
  - conf/iccps/InversoBT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iccps/InversoBT18
Omar Inverso, Alberto Bemporad, Mirco Tribastone:
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS 2018: 1-9
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/staf/NicolaSI18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/staf/NicolaSI18
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent Systems with Virtual Stigmergy. STAF Workshops 2018: 351-366
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-08091
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08091
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/EneaHIP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/EneaHIP17
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato:
On the path-width of integer linear programming. Inf. Comput. 253: 257-271 (2017)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/NicolaDIM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/NicolaDIM17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/coordination/NicolaDIT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/coordination/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/NicolaDIT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang at Work. SOFSEM 2017: 485-497
[c12]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/NguyenIFTP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/NguyenIFTP17
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fmcad/TomascoNI0TP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/TomascoNI0TP16
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/TomascoNI0TP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/TomascoNI0TP16
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]
- view
  - electronic edition @ bl.uk
  - electronic edition @ soton.ac.uk
- export record
  dblp key:
  - phd/ethos/Inverso15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Inverso15
Omar Inverso:
Bounded model checking of multi-threaded programs via sequentialization. University of Southampton, UK 2015
[c9]
- view
- export record
  dblp key:
  - conf/kbse/InversoN0TP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/InversoN0TP15
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/TomascoI0TP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/TomascoI0TP15
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/TomascoI0TP15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/TomascoI0TP15a
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato:
Verifying Concurrent Programs by Memory Unwinding. TACAS 2015: 551-565
2014
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/cav/InversoT0TP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/InversoT0TP14
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/InversoT0TP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/InversoT0TP14
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]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/TomascoI0TP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/TomascoI0TP14
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/EneaHIP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/EneaHIP14
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato:
On the Path-Width of Integer Linear Programming. GandALF 2014: 74-87
2013
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/kbse/0002IP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/0002IP13
Bernd Fischer, Omar Inverso, Gennaro Parlato:
CSeq: A concurrency pre-processor for sequential C verification tools. ASE 2013: 710-713
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/tacas/0002IP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/0002IP13
Bernd Fischer, Omar Inverso, Gennaro Parlato:
CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS 2013: 616-618

maintained by

, founded at