P. San Pietro

Extracting Synchronization-free chains of dependent iterations in non-uniform loops

Wlodzimierz Bielecki, Anna Beletska, Marek Palkowski, 2007 .

Real-Counter Automata and Applications to Verification

Oscar H. Ibarra, Zhe Dang, P. San Pietro, 2004 .

The defense of electric power systems: an approach exploiting formal methods

Dino Mandrioli, Emanuele Ciapessoni, Angelo Morzenti, 2006 .

Practical Model Checking of LTL with Past

Matteo Pradella, Paola Spoletini, Angelo Morzenti, 2003 .

The Role of Formal Methods in Software Procurement for the Railway Transportation Industry

Matteo Pradella, Angelo Morzenti, P. San Pietro, 2003, FME 2003.

Model Checking the Secure Electronic Transaction Protocol

Mario Verdicchio, P. San Pietro, 2003 .