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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 92
Titolo Data di pubblicazione Autori File
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata 1-gen-1992 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
Embedding time granularity in a logical specification language for synchronous real-time systems 1-gen-1993 SAN PIETRO, PIERLUIGI +
Object-oriented logical specification of time-critical systems 1-gen-1994 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Reuse of object-oriented requirement specificationsEntity-Relationship Approach — ER '93 1-gen-1994 SAN PIETRO, PIERLUIGI +
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 1-gen-1996 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI +
The word problem for k -depth languages. Semigroups, automata and languages 1-gen-1996 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
A polynomial-time parsing algorithm for $K$-depth languages. 1-gen-1996 CHERUBINI, ALESSANDRASAN 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 Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
On the relation between multi-depth grammars and tree adjoining grammars. 1-gen-1999 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
On the relations between multi-depth grammars and label distinguished control.grammars 1-gen-1999 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
Languages based on structural local testability 1-gen-1999 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI
Validation and Verification of the safety Kernel of the Naples subway 1-gen-1999 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Generation of Execution Sequences for Modular Time Critical Systems 1-gen-2000 SAN PIETRO, PIERLUIGIMORZENTI, ANGELO CARLOMORASCA, SANDRO
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
An application of a tool for automated system analysis based on modular specifications 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Tree Adjoining Languages and Multipushdown Languages 1-gen-2000 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI
On Presburger Liveness of Discrete Timed Automata 1-gen-2001 SAN PIETRO, PIERLUIGI +
A scalable formal method for design and automatic checking of user interfaces 1-gen-2001 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI +
Associative definition of programming languages 1-gen-2001 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Alias Analysis by means of a Model Checker 1-gen-2001 MARTENA, VINCENZOSAN PIETRO, PIERLUIGI
Some structural Properties of Associative Language Descriptions 1-gen-2001 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI
Software procurement and methods for specification and validation in the railway transportation industry 1-gen-2002 GIULIANI, MARCOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
Associative languages descriptions 1-gen-2002 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI
Dense counter machines and verification problems 1-gen-2003 SAN PIETRO, PIERLUIGI +
Automatic verification of multi-queue discrete timed automata 1-gen-2003 SAN PIETRO, PIERLUIGI +
Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata 1-gen-2003 SAN PIETRO, PIERLUIGI +
Model-checking TRIO specifications in SPIN 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Model Checking the Secure Electronic Transaction Protocol, 1-gen-2003 VERDICCHIO, MARIOSAN PIETRO, PIERLUIGI
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Practical Model Checking of LTL with Past 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
On Presburger Liveness of Discrete Timed Automata 1-gen-2003 SAN PIETRO, PIERLUIGI +
Model Checking-Aided Design of Secure Distributed Systems 1-gen-2004 SAN PIETRO, PIERLUIGIVERDICCHIO, MARIO
Real-Counter Automata and Applications to Verification 1-gen-2004 SAN PIETRO, PIERLUIGI +
Regular Languages and Associative Language Descriptions 1-gen-2004 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI +
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces 1-gen-2004 CAMPI, ALESSANDROSAN PIETRO, PIERLUIGI +
Potenza e limiti del calcolo automatico:problemi intrattabil 1-gen-2005 SAN PIETRO, PIERLUIGI
A scalable formal method for design and automatic checking of user interfaces 1-gen-2005 CRESPI REGHIZZI, STEFANOSAN PIETRO, PIERLUIGI +
Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations. Electronic Modeling. 1-gen-2006 BELETSKA, ANNASAN PIETRO, PIERLUIGI
The defense of electric power systems: an approach exploiting formal methods 1-gen-2006 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI +
Picture languages: Tiling systems versus tile rewriting grammars 1-gen-2006 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops 1-gen-2007 BELETSKA, ANNASAN PIETRO, PIERLUIGI +
Extracting Synchronization-free chains of dependent iterations in non-uniform loops 1-gen-2007 BELETSKA, ANNASAN PIETRO, PIERLUIGI +
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework 1-gen-2007 BELETSKA, ANNASAN PIETRO, PIERLUIGI +
Regular languages and associative language descriptions 1-gen-2007 CHERUBINI, ALESSANDRASAN PIETRO, PIERLUIGI +
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 1-gen-2007 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops 1-gen-2008 BELETSKA, ANNASAN PIETRO, PIERLUIGI +
Mostrati risultati da 1 a 50 di 92
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile