Concepedia

Salvatore La Torre

SL

27

Publications

1.1K

Citations

19

H-Index

1998

Active since

Affiliations

University of Salerno(Current)

University of Southampton

Stellenbosch University

University of Pennsylvania

University of Illinois Urbana-Champaign

Salvatore La Torre is an author at University of Salerno specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisComputer EngineeringAutomated ReasoningSoftware AnalysisComputational Complexity

Publications per year

1998–2021

27

Publications

27

Optimal paths in weighted timed automata

Rajeev Alur, Salvatore La Torre, George J. Pappas · Theoretical Computer Science · 2003 · 140 citations

Mathematical Programming, Engineering, Formal Methods +7

Deterministic generators and games for Ltl fragments

Rajeev Alur, Salvatore La Torre · ACM Transactions on Computational Logic · 2004 · 135 citations

Ltl Fragments, Engineering, Reachability Problem +17

A Robust Class of Context-Sensitive Languages

Salvatore La Torre, P. Madhusudan, Gennaro Parlato · 2007 · 133 citations

Engineering, Multi-stack Pushdown Automata, Verification +22

Parametric temporal logic for “model measuring”

Rajeev Alur, Kousha Etessami, Salvatore La Torre et al. · ACM Transactions on Computational Logic · 2001 · 94 citations

Engineering, Ltl Model, Verification +20

Decision problems for lower/upper bound parametric timed automata

Laura Bozzelli, Salvatore La Torre · Formal Methods in System Design · 2009 · 78 citations

Lower/upper Bound Parametric, Engineering, Formal Methods +7

Rows per page

1–5 of 27