Follow
Omar Inverso
Omar Inverso
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Verified email at gssi.it - Homepage
Title
Cited by
Cited by
Year
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Computer Aided Verification, 585-602, 2014
912014
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs
O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
532015
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
472015
Lazy-CSeq: a lazy sequentialization tool for C
O Inverso, E Tomasco, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
452014
CSeq: a concurrency pre-processor for sequential C verification tools
B Fischer, O Inverso, G Parlato
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
432013
Lazy sequentialization for TSO and PSO via shared memory abstractions
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
2016 Formal Methods in Computer-Aided Design (FMCAD), 193-200, 2016
322016
CSeq: A sequentialization tool for C
B Fischer, O Inverso, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2013
292013
Parallel and distributed bounded model checking of multi-threaded programs
O Inverso, C Trubiani
Proceedings of the 25th ACM SIGPLAN symposium on principles and practice of …, 2020
282020
AErlang: empowering erlang with attribute-based communication
R De Nicola, T Duong, O Inverso, C Trubiani
International Conference on Coordination Languages and Models, 21-39, 2017
242017
MU-CSeq: sequentialization of C programs by shared memory unwindings
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
192014
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
162016
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
162016
Identification of credulous users on Twitter
A Balestrucci, R De Nicola, O Inverso, C Trubiani
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2096-2103, 2019
152019
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
142020
Toward formal models and languages for verifiable multi-robot systems
R De Nicola, L Di Stefano, O Inverso
Frontiers in Robotics and AI 5, 94, 2018
112018
Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation
TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2017
112017
Verifying properties of systems relying on attribute-based communication
RD Nicola, T Duong, O Inverso, F Mazzanti
ModelEd, TestEd, TrustEd, 169-190, 2017
102017
MU-CSeq 0.3: sequentialization by read-implicit and coarse-grained memory unwindings
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
102015
Probabilistic analysis of binary sessions
O Inverso, H Melgratti, L Padovani, C Trubiani, E Tuosto
arXiv preprint arXiv:2007.11832, 2020
92020
Automated model-based performance analysis of software product lines under uncertainty
P Arcaini, O Inverso, C Trubiani
Information and Software Technology 127, 106371, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20