RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

SAN PIETRO, PIERLUIGI

SAN PIETRO, PIERLUIGI  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.003 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 Logical Characterization of Timed (non-)Regular Languages 1-gen-2014 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A logical characterization of timed regular languages 1-gen-2017 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 $K$-depth languages. 1-gen-1996 CHERUBINI, ALESSANDRASAN 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
A tool for deciding the satisfiability of continuous-time metric temporal logic 1-gen-2016 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
An SMT-based approach to satisfiability checking of MITL 1-gen-2015 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN 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