SAN PIETRO, PIERLUIGI

SAN PIETRO, PIERLUIGI  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 61 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autori File
A Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
A Logical Characterization of Timed (non-)Regular Languages 1-gen-2014 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata 1-gen-1992 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
A scalable formal method for design and automatic checking of user interfaces 1-gen-2001 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI +
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 1-gen-1998 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGIMORASCA, SANDRO
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Alias Analysis by means of a Model Checker 1-gen-2001 MARTENA, VINCENZOSAN PIETRO, PIERLUIGI
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Automatic verification of multi-queue discrete timed automata 1-gen-2003 SAN PIETRO, PIERLUIGI +
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Commutative Languages and their Composition by Consensual Methods 1-gen-2014 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Consensual Definition of Languages by Regular Sets 1-gen-2008 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Deciding the Satisfiability of MITL Specifications 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Dense counter machines and verification problems 1-gen-2003 SAN PIETRO, PIERLUIGI +
Dense-choice Counter Machines revisited 1-gen-2009 SAN PIETRO, PIERLUIGI +
Deque Languages, Automata and Planar Graphs 1-gen-2018 Crespi Reghizzi S.San Pietro P.