SAN PIETRO, PIERLUIGI

SAN PIETRO, PIERLUIGI  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 89 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autori File
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN 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 scalable formal method for design and automatic checking of user interfaces 1-gen-2005 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 application of a tool for automated system analysis based on modular specifications 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Associative definition of programming languages 1-gen-2001 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Associative languages descriptions 1-gen-2002 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOSAN 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
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN 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
Consensual languages and matching finite-state computations 1-gen-2011 SAN PIETRO, PIERLUIGICRESPI REGHIZZI, STEFANO