Omar Inverso
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j3]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]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]
- [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
last updated on 2018-12-08 21:58 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint