ProfessorsProfessors of Università degli Studi di SalernoSalvatore La Torre

Salvatore La Torre

Università degli Studi di Salerno

H-index: 28

Europe-Italy

About Salvatore La Torre

Salvatore La Torre, With an exceptional h-index of 28 and a recent h-index of 14 (since 2020), a distinguished researcher at Università degli Studi di Salerno, specializes in the field of Formal Verification, Automata Theory, Logic, Games.

His recent articles reflect a diverse array of research interests and contributions to the field:

Verifying Programs by Bounded Tree-Width Behavior Graphs

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory

Bounded verification of multi-threaded programs via lazy sequentialization

Automated Planning Through Program Verification.

Complexity of qualitative timeline-based planning

Reachability of scope-bounded multistack pushdown systems

A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.

On the Model-Checking of Branching-time Temporal Logic with BDI Modalities.

Salvatore La Torre Information

University	Università degli Studi di Salerno
Position	___
Citations(all)	2883
Citations(since 2020)	631
Cited By	2603
hIndex(all)	28
hIndex(since 2020)	14
i10Index(all)	53
i10Index(since 2020)	19
Email	Access Email
University Profile Page	Università degli Studi di Salerno
Google Scholar	View Google Scholar Profile

Salvatore La Torre Skills & Research Interests

Formal Verification

Automata Theory

Logic

Games

Top articles of Salvatore La Torre

Title	Journal	Author(s)	Publication Date
Verifying Programs by Bounded Tree-Width Behavior Graphs		Omar Inverso Salvatore La Torre Gennaro Parlato Ermenegildo Tomasco	2023/9/7
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory		Bernd Fischer Salvatore La Torre Gennaro Parlato Peter Schrammel	2022/10/10
Bounded verification of multi-threaded programs via lazy sequentialization	ACM Transactions on Programming Languages and Systems (TOPLAS)	Omar Inverso Ermenegildo Tomasco Bernd Fischer Salvatore La Torre Gennaro Parlato	2021/12/9
Automated Planning Through Program Verification.		Salvatore La Torre Gennaro Parlato	2021
Complexity of qualitative timeline-based planning		Dario Della Monica Nicola Gigante Salvatore La Torre Angelo Montanari	2020
Reachability of scope-bounded multistack pushdown systems	Information and Computation	Salvatore La Torre Margherita Napoli Gennaro Parlato	2020/12/1
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.		Salvatore La Torre Gennaro Parlato	2020/9/25
On the Model-Checking of Branching-time Temporal Logic with BDI Modalities.		Salvatore La Torre Gennaro Parlato	2020/5/5