Omar Inverso

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs

Omar Inverso, Truc L. Nguyen, Bernd Fischer et al. · 2015 · 48 citations

Computing, Computer Engineering, Computer Science +17

Parallel and distributed bounded model checking of multi-threaded programs

Omar Inverso, Catia Trubiani · 2020 · 41 citations

Computing, Computer Science, Distributed Systems +16

CSeq: A concurrency pre-processor for sequential C verification tools

Bernd Fischer, Omar Inverso, Gennaro Parlato · 2013 · 36 citations

Computing, Computer Engineering, Computer Science +15

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer et al. · ePrints Soton (University of Southampton) · 2014 · 25 citations · Full text

Computing, Computer Science, Computer Systems +11

Multi-agent systems with virtual stigmergy

Rocco De Nicola, Luca Di Stefano, Omar Inverso · Science of Computer Programming · 2019 · 24 citations

Computing, Autonomous Systems, Computer Science +14