26 citations · 30 across the 3 of their papers we have counts for
3 papers
cs.LO2012★ 26 cited
Sequentializing Parameterized Programs
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequenti…
cs.LO2011★ 4 cited
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Giovanna D'Agostino, Salvatore La Torre
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori…
cs.DS2005
Various Solutions to the Firing Squad Synchronization Problems
J. Gruska, S. La Torre, M. Napoli +1
We present different classes of solutions to the Firing Squad Synchronization Problem on networks of different shapes. The nodes are finite state processors that work at unison dis…