SAN PIETRO, PIERLUIGI
SAN PIETRO, PIERLUIGI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A Finite-Domain Semantics for Testing Temporal Logic Specifications
1998-01-01 Alberto Coen, Porisini; Pradella, Matteo; SAN PIETRO, Pierluigi
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata
1992-01-01 Cherubini, Alessandra; SAN PIETRO, Pierluigi
A scalable formal method for design and automatic checking of user interfaces
2001-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
A scalable formal method for design and automatic checking of user interfaces
2005-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)
1998-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi; Morasca, Sandro
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Alias Analysis by means of a Model Checker
2001-01-01 Martena, Vincenzo; SAN PIETRO, Pierluigi
An application of a tool for automated system analysis based on modular specifications
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
An object-oriented logic language for modular system specification
1991-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Associative languages descriptions
2002-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Automatic verification of multi-queue discrete timed automata
2003-01-01 SAN PIETRO, Pierluigi; Z., Dang
Benchmarking Model- and Satisfiability-Checking on bi-infinite time
2008-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Commutative Languages and their Composition by Consensual Methods
2014-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Consensual Definition of Languages by Regular Sets
2008-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Consensual languages and matching finite-state computations
2011-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano