Omar Inverso - RankMe

54 papers A* 3A 6B 6C 2Misc 1Journal 16Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Accurate Static Data Race Detection for C. FM (1) Emerson Sales, Omar Inverso, Emilio Tuosto
2024	J	`jnl`	Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
2024	—	`conf`	Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. ISoLA (1) Luca Di Stefano, Omar Inverso
2024	—	`conf`	Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES. SIGSIM-PADS Omar Inverso
2024	—	`conf`	Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper). ICTCS Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso
2023	J	`jnl`	Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
2023	—	`conf`	Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2023	J	`jnl`	Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2023	J	`jnl`	Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
2023	C	`conf`	Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
2022	—	`conf`	A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
2022	J	`jnl`	Automated replication of tuple spaces via static analysis. Sci. Comput. Program. Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
2022	J	`jnl`	Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2022	—	`conf`	Modelling Flocks of Birds from the Bottom Up. ISoLA (3) Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022	—	`conf`	Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022	J	`jnl`	Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
2022	J	`jnl`	Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. Luca Di Stefano, Rocco De Nicola, Omar Inverso
2021	—	`conf`	Automated Replication of Tuple Spaces via Static Analysis. FSEN Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
2021	—	`conf`	Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) Paolo Arcaini, Omar Inverso, Catia Trubiani
2021	B	`conf`	Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM Stella Simic, Omar Inverso, Mirco Tribastone
2021	J	`jnl`	Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. Sci. Comput. Program. Omar Inverso, Hugo Torres Vieira
2020	—	`conf`	Abstractions for Collective Adaptive Systems. ISoLA (2) Omar Inverso, Catia Trubiani, Emilio Tuosto
2020	J	`jnl`	Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. Paolo Arcaini, Omar Inverso, Catia Trubiani
2020	J	`jnl`	Multi-agent systems with virtual stigmergy. Sci. Comput. Program. Rocco De Nicola, Luca Di Stefano, Omar Inverso
2020	B	`conf`	Parallel and distributed bounded model checking of multi-threaded programs. PPoPP Omar Inverso, Catia Trubiani
2020	B	`conf`	Probabilistic Analysis of Binary Sessions. CONCUR Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020	J	`jnl`	Probabilistic Analysis of Binary Sessions. CoRR Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020	B	`conf`	Tight Error Analysis in Fixed-Point Arithmetic. IFM Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
2020	—	`conf`	Verifying AbC Specifications via Emulation. ISoLA (2) Rocco De Nicola, Tan Duong, Omar Inverso
2019	—	`conf`	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
2019	—	`conf`	Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
2019	Misc	`conf`	Identification of credulous users on Twitter. SAC Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani
2018	J	`jnl`	AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2018	—	`conf`	Multi-agent Systems with Virtual Stigmergy. STAF Workshops Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018	—	`conf`	SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS Omar Inverso, Alberto Bemporad, Mirco Tribastone
2018	J	`jnl`	Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018	J	`jnl`	Towards formal models and languages for verifiable Multi-Robot Systems. CoRR Rocco De Nicola, Luca Di Stefano, Omar Inverso
2017	B	`conf`	AErlang at Work. SOFSEM Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017	C	`conf`	AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017	—	`conf`	Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	J	`jnl`	On the path-width of integer linear programming. Inf. Comput. Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
2017	—	`conf`	Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
2016	B	`conf`	Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2016	A	`conf`	MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	—	`—`	Bounded model checking of multi-threaded programs via sequentialization. Omar Inverso
2015	A*	`conf`	Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	A	`conf`	MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2015	A	`conf`	Verifying Concurrent Programs by Memory Unwinding. TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	A*	`conf`	Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	A	`conf`	Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	A	`conf`	MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2014	—	`conf`	On the Path-Width of Integer Linear Programming. GandALF Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
2013	A	`conf`	CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS Bernd Fischer, Omar Inverso, Gennaro Parlato
2013	A*	`conf`	CSeq: A concurrency pre-processor for sequential C verification tools. ASE Bernd Fischer, Omar Inverso, Gennaro Parlato