Omar Inverso
Omar Inverso
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Verified email at gssi.it - Homepage
TitleCited byYear
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
662014
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
422015
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
392015
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
352013
Lazy-CSeq: a lazy sequentialization tool for C
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
322014
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
272016
CSeq: a sequentialization tool for C
B Fischer, O Inverso, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2013
262013
MU-CSeq: sequentialization of C programs by shared memory unwindings
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
152014
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
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
102017
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
102017
MU-CSeq 0.3: sequentialization by read-implicit and coarse-grained memory unwindings
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
82015
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
42019
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
42018
AErlang at work
R De Nicola, T Duong, O Inverso, C Trubiani
International Conference on Current Trends in Theory and Practice of …, 2017
42017
Verifying properties of systems relying on attribute-based communication
R De Nicola, T Duong, O Inverso, F Mazzanti
ModelEd, TestEd, TrustEd, 169-190, 2017
42017
Lazy-CSeq 0.6 c: An improved lazy sequentialization tool for C (competition contribution)
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
University of Southampton, 2014
32014
On the path-width of integer linear programming
C Enea, P Habermehl, O Inverso, G Parlato
Information and Computation 253, 257-271, 2017
22017
Bounded model checking of multi-threaded programs via sequentialization
O Inverso
University of Southampton, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20