Articles with public access mandates - Salvatore La TorreLearn more
Not available anywhere: 2
Modular synthesis with open components
I De Crescenzo, S La Torre
International Workshop on Reachability Problems, 96-108, 2013
Mandates: Government of Italy
A general modular synthesis problem for pushdown systems
I De Crescenzo, S La Torre
International Conference on Verification, Model Checking, and Abstract …, 2015
Mandates: Government of Italy
Available somewhere: 18
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
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Verifying Concurrent Programs by Memory Unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems, TACAS …, 2015
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution)
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
Mandates: Government of Italy
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
Mandates: UK Engineering and Physical Sciences Research Council
Lazy sequentialization for the safety verification of unbounded concurrent programs
TL Nguyen, B Fischer, S La Torre, G Parlato
Automated Technology for Verification and Analysis: 14th International …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Parallel bug-finding in concurrent programs via reduced interleaving instances
TL Nguyen, P Schrammel, B Fischer, S La Torre, G Parlato
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
MU-CSeq 0.4: Individual Memory Location Unwindings: (Competition Contribution)
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Using shared memory abstractions to design eager sequentializations for weak memory models
E Tomasco, TL Nguyen, B Fischer, S La Torre, G Parlato
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Bounded verification of multi-threaded programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-50, 2021
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: (Competition Contribution)
TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Concurrent program verification with lazy sequentialization and interval analysis
TL Nguyen, B Fischer, S La Torre, G Parlato
Networked Systems: 5th International Conference, NETYS 2017, Marrakech …, 2017
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Automata-theoretic decision of timed games
M Faella, S La Torre, A Murano
Theoretical Computer Science 515, 46-63, 2014
Mandates: Government of Italy
Reachability in concurrent uninterpreted programs
S La Torre, M Parthasarathy
39th IARCS Annual Conference on Foundations of Software Technology and …, 2019
Mandates: US National Science Foundation, Government of Italy
Complexity of qualitative timeline-based planning
D Della Monica, N Gigante, S La Torre, A Montanari
27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020
Mandates: Government of Italy
Model Checking BDI Logics over Finite-state Worlds.
S La Torre, G Parlato
OVERLAY@ AI* IA, 11-16, 2019
Mandates: Government of Italy
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
B Fischer, S La Torre, G Parlato, P Schrammel
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
Mandates: Government of Italy
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq
B Fischer, S La Torre, G Parlato
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Mandates: Government of Italy
Visibly pushdown modular games
I De Crescenzo, S La Torre, Y Velner
Information and Computation 253, 204-223, 2017
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program