Omar Inverso
Omar Inverso
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Vahvistettu sähköpostiosoite verkkotunnuksessa gssi.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
712014
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
452015
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
422015
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
342014
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
292016
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 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
152016
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
152016
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
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
142017
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
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
92018
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
Verifying properties of systems relying on attribute-based communication
R De Nicola, T Duong, O Inverso, F Mazzanti
ModelEd, TestEd, TrustEd, 169-190, 2017
62017
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
52019
AErlang at work
R De Nicola, T Duong, O Inverso, C Trubiani
International Conference on Current Trends in Theory and Practice of …, 2017
52017
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
42020
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
32020
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20