Salvatore La Torre

101 papers A* 16A 9B 15C 8Misc 1Journal 29Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). TACAS (2) Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato
2024	J	`jnl`	CHC-Based Verification of Programs Through Graph Decompositions. SN Comput. Sci. Marco Faella, Giulio Garbi, Salvatore La Torre, Gennaro Parlato
2024	—	`conf`	Static Data Race Detection via Lazy Sequentialization. NETYS Bernd Fischer, Giulio Garbi, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2023	C	`conf`	Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
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	A*	`conf`	CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. ASE Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2021	—	`conf`	Automated Planning Through Program Verification. OVERLAY@GandALF Salvatore La Torre, Gennaro Parlato
2020	—	`conf`	A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. OVERLAY Salvatore La Torre, Gennaro Parlato
2020	C	`conf`	Complexity of Qualitative Timeline-Based Planning. TIME Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
2020	A	`conf`	On the Model-Checking of Branching-time Temporal Logic with BDI Modalities. AAMAS Salvatore La Torre, Gennaro Parlato
2020	J	`jnl`	Reachability of scope-bounded multistack pushdown systems. Inf. Comput. Salvatore La Torre, Margherita Napoli, Gennaro Parlato
2019	—	`conf`	Model Checking BDI Logics over Finite-state Worlds. OVERLAY@AI*IA Salvatore La Torre, Gennaro Parlato
2019	—	`conf`	Reachability in Concurrent Uninterpreted Programs. FSTTCS Salvatore La Torre, Parthasarathy Madhusudan
2019	A*	`conf`	VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. ASE Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	—	`conf`	Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. NETYS Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
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	A*	`conf`	Parallel bug-finding in concurrent programs via reduced interleaving instances. ASE Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	B	`conf`	Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. SEFM Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017	J	`jnl`	Visibly pushdown modular games, . Inf. Comput. Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
2016	B	`conf`	A General Modular Synthesis Problem for Pushdown Systems. VMCAI Ilaria De Crescenzo, Salvatore La Torre
2016	B	`conf`	Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ATVA Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
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
2016	J	`jnl`	Scope-Bounded Pushdown Languages. Int. J. Found. Comput. Sci. Salvatore La Torre, Margherita Napoli, Gennaro Parlato
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	J	`jnl`	Parametric metric interval temporal logic. Theor. Comput. Sci. Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli
2015	B	`conf`	Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. CONCUR Salvatore La Torre, Anca Muscholl, Igor Walukiewicz
2015	A	`conf`	Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). TACAS Truc L. Nguyen, 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	—	`conf`	A Unifying Approach for Multistack Pushdown Automata. MFCS (1) Salvatore La Torre, Margherita Napoli, Gennaro Parlato
2014	J	`jnl`	Automata-theoretic decision of timed games. Theor. Comput. Sci. Marco Faella, Salvatore La Torre, Aniello Murano
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	C	`conf`	Scope-Bounded Pushdown Languages. Developments in Language Theory Salvatore La Torre, Margherita Napoli, Gennaro Parlato
2014	—	`conf`	Visibly Pushdown Modular Games. GandALF Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
2013	J	`jnl`	Games, Automata, Logic, and Formal Verification (GandALF 2011). Theor. Comput. Sci. Giovanna D'Agostino, Salvatore La Torre
2013	—	`conf`	Modular Synthesis with Open Components. RP Ilaria De Crescenzo, Salvatore La Torre
2012	—	`conf`	A Temporal Logic for Multi-threaded Programs. IFIP TCS Salvatore La Torre, Margherita Napoli
2012	—	`conf`	Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. FSTTCS Salvatore La Torre, Gennaro Parlato
2012	Misc	`conf`	Sequentializing Parameterized Programs FIT Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2011	—	`ed.`	Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. GandALF Giovanna D'Agostino, Salvatore La Torre
2011	B	`conf`	Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. CONCUR Salvatore La Torre, Margherita Napoli
2011	—	`conf`	Winning CaRet Games with Modular Strategies. CILC Ilaria De Crescenzo, Salvatore La Torre
2010	A*	`conf`	Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2010	C	`conf`	Parametric Metric Interval Temporal Logic. LATA Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli
2010	B	`conf`	The Language Theory of Bounded Context-Switching. LATIN Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
2009	A*	`conf`	Analyzing recursive programs using a fixed-point calculus. PLDI Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
2009	J	`jnl`	Decision problems for lower/upper bound parametric timed automata. Formal Methods Syst. Des. Laura Bozzelli, Salvatore La Torre
2009	A*	`conf`	Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008	B	`conf`	An Infinite Automaton Characterization of Double Exponential Time. CSL Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008	A	`conf`	Context-Bounded Analysis of Concurrent Queue Systems. TACAS Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008	J	`jnl`	Verification of scope-dependent hierarchical state machines. Inf. Comput. Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
2008	J	`jnl`	Verification of well-formed communicating recursive state machines. Theor. Comput. Sci. Laura Bozzelli, Salvatore La Torre, Adriano Peron
2007	A*	`conf`	A Robust Class of Context-Sensitive Languages. LICS Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
2007	A*	`conf`	Decision Problems for Lower/Upper Bound Parametric Timed Automata. ICALP Laura Bozzelli, Salvatore La Torre
2007	A*	`conf`	On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP Salvatore La Torre, Gennaro Parlato
2007	J	`jnl`	The Firing Squad Synchronization Problem on Squares, Toruses and Rings. Int. J. Found. Comput. Sci. Jozef Gruska, Salvatore La Torre, Mimmo Parente
2007	J	`jnl`	The word problem for visibly pushdown languages described by grammars. Formal Methods Syst. Des. Salvatore La Torre, Margherita Napoli, Mimmo Parente
2007	C	`conf`	Verification of Succinct Hierarchical State Machines. LATA Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
2006	J	`jnl`	Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO Theor. Informatics Appl. Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
2006	J	`jnl`	Modular strategies for recursive game graphs. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, P. Madhusudan
2006	B	`conf`	On the Membership Problem for Visibly Pushdown Languages. ATVA Salvatore La Torre, Margherita Napoli, Mimmo Parente
2006	B	`conf`	Verification of Well-Formed Communicating Recursive State Machines. VMCAI Laura Bozzelli, Salvatore La Torre, Adriano Peron
2005	—	`conf`	Perturbed Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, P. Madhusudan
2005	J	`jnl`	Various Solutions to the Firing Squad Synchronization Problems CoRR Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
2005	J	`jnl`	Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. Salvatore La Torre, Aniello Murano, Margherita Napoli
2004	J	`jnl`	Deterministic generators and games for Ltl fragments. ACM Trans. Comput. Log. Rajeev Alur, Salvatore La Torre
2004	C	`conf`	Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. Developments in Language Theory Jozef Gruska, Salvatore La Torre, Mimmo Parente
2004	J	`jnl`	Optimal paths in weighted timed automata. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, George J. Pappas
2004	J	`jnl`	Polyhedral Flows in Hybrid Automata. Formal Methods Syst. Des. Rajeev Alur, Sampath Kannan, Salvatore La Torre
2004	C	`conf`	Reasoning About Co-Büchi Tree Automata. ICTAC Salvatore La Torre, Aniello Murano
2003	J	`jnl`	Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay
2003	J	`jnl`	Finite automata on timed omega-trees. Theor. Comput. Sci. Salvatore La Torre, Margherita Napoli
2003	A*	`conf`	Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
2003	—	`conf`	Model-checking the Secure Release of a Time-locked Secret over a Network. MEFISTO Salvatore La Torre, Aniello Murano, Mimmo Parente
2003	A*	`conf`	Modular Strategies for Infinite Games on Recursive Graphs. CAV Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	A	`conf`	Modular Strategies for Recursive Game Graphs. TACAS Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	B	`conf`	Playing Games with Boxes and Diamonds. CONCUR Rajeev Alur, Salvatore La Torre, P. Madhusudan
2002	B	`conf`	Automata-Theoretic Decision of Timed Games. VMCAI Marco Faella, Salvatore La Torre, Aniello Murano
2002	A*	`conf`	Dense Real-Time Games. LICS Marco Faella, Salvatore La Torre, Aniello Murano
2002	—	`conf`	Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano
2002	B	`conf`	Weak Muller Acceptance Conditions for Tree Automata. VMCAI Salvatore La Torre, Aniello Murano, Margherita Napoli
2001	—	`conf`	A Model of Finite Automata on Timed omega-Trees. CATS Salvatore La Torre, Margherita Napoli
2001	J	`jnl`	Automata-based Representations for Infinite Graphs. RAIRO Theor. Informatics Appl. Salvatore La Torre, Margherita Napoli
2001	A*	`conf`	Deterministic Generators and Games for LTL Fragments. LICS Rajeev Alur, Salvatore La Torre
2001	C	`conf`	Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU Salvatore La Torre, Margherita Napoli, Mimmo Parente
2001	—	`conf`	Optimal Paths in Weighted Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, George J. Pappas
2001	J	`jnl`	Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
2001	J	`jnl`	Timed tree automata with an application to temporal logic. Acta Informatica Salvatore La Torre, Margherita Napoli
2000	—	`conf`	A Decidable Dense Branching-Time Temporal Logic. FSTTCS Salvatore La Torre, Margherita Napoli
2000	J	`jnl`	A compositional approach to synchronize two dimensional networks of processors. RAIRO Theor. Informatics Appl. Salvatore La Torre, Margherita Napoli, Mimmo Parente
1999	A*	`conf`	Parametric Temporal Logic for "Model Measuring". ICALP Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
1999	—	`conf`	Polyhedral Flows in Hybrid Automata. HSCC Rajeev Alur, Sampath Kannan, Salvatore La Torre
1998	B	`conf`	Representing Hyper-Graphs by Regular Languages. MFCS Salvatore La Torre, Margherita Napoli
1998	J	`jnl`	Synchronization of a Line of Identical Processors at a Given Time. Fundam. Informaticae Salvatore La Torre, Margherita Napoli, Domenico Parente
1997	B	`conf`	Synchronization of 1-Way Connected Processors. FCT Salvatore La Torre, Margherita Napoli, Mimmo Parente
1997	—	`conf`	Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT Salvatore La Torre, Margherita Napoli, Mimmo Parente
1996	J	`jnl`	Parallel Word Substitution. Fundam. Informaticae Salvatore La Torre, Margherita Napoli, Domenico Parente
1996	J	`jnl`	Synchronization of One-way Connected Processors. Complex Syst. Salvatore La Torre, Margherita Napoli, Mimmo Parente