Sequentializing Parameterized Programs von La Torre, Salvatore, P. Madhusudan, Parlato, Gennaro

Volltext

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization von Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore, Parlato, Gennaro

Volltext

Deterministic generators and games for Ltl fragments von Alur, Rajeev, La Torre, Salvatore

Volltext

A Unifying Approach for Multistack Pushdown Automata von La Torre, Salvatore, Napoli, Margherita, Parlato, Gennaro

Volltext

Decision problems for lower/upper bound parametric timed automata von Bozzelli, Laura, La Torre, Salvatore

Volltext

A Robust Class of Context-Sensitive Languages von La Torre, S., Madhusudan, P., Parlato, G.

Volltext

A General Modular Synthesis Problem for Pushdown Systems von De Crescenzo, Ilaria, La Torre, Salvatore

Volltext

Reachability of scope-bounded multistack pushdown systems von La Torre, Salvatore, Napoli, Margherita, Parlato, Gennaro

Volltext

Visibly Pushdown Modular Games von De Crescenzo, Ilaria, La Torre, Salvatore, Velner, Yaron

Volltext

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models von Tomasco, Ermenegildo, Nguyen, Truc Lam, Fischer, Bernd, La Torre, Salvatore, Parlato, Gennaro

Volltext

The Language Theory of Bounded Context-Switching von La Torre, Salvatore, Madhusudan, Parthasarathy, Parlato, Gennaro

Volltext

On the Membership Problem for Visibly Pushdown Languages von LA TORRE, Salvatore, NAPOLI, Margherita, PARENTE, Mimmo

Volltext

A Temporal Logic for Multi-threaded Programs von La Torre, Salvatore, Napoli, Margherita

Volltext

CHC-Based Verification of Programs Through Graph Decompositions von Faella, Marco, Garbi, Giulio, La Torre, Salvatore, Parlato, Gennaro

Volltext

Parametric temporal logic for "model measuring" von Alur, Rajeev, Etessami, Kousha, La Torre, Salvatore, Peled, Doron

Volltext

Automata-theoretic decision of timed games von Faella, Marco, La Torre, Salvatore, Murano, Aniello

Volltext

Optimal Paths in Weighted Timed Automata von Alur, Rajeev, La Torre, Salvatore, Pappas, George J.

Volltext

Parametric metric interval temporal logic von Di Giampaolo, Barbara, La Torre, Salvatore, Napoli, Margherita

Volltext

Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations von La Torre, Salvatore, Napoli, Margherita

Volltext

Games, Automata, Logic, and Formal Verification (GandALF 2011) von D’Agostino, Giovanna, La Torre, Salvatore

Volltext