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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 28
Titolo Data di pubblicazione Autori File
Model-checking TRIO specifications in SPIN 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
Practical Model Checking of LTL with Past 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A formal approach supporting the specification and verification of business conversation requirements 1-gen-2005 CHERUBINI, ALESSANDRACOLOMBO, ENZOFRANCALANCI, CHIARASPOLETINI, PAOLA
Formal verification in analysis and design of production systems 1-gen-2006 SPOLETINI, PAOLATOMASELLA, MAURIZIOMATTA, ANDREAROSSI, MATTEO GIOVANNI
Fuzzy querying of semistructured data 1-gen-2006 CAMPI, ALESSANDROGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
History Checking of XML Data Streams 1-gen-2006 CAMPI, ALESSANDROSPOLETINI, PAOLA
A framework for XML data streams history checking and monitoring 1-gen-2006 CAMPI, ALESSANDROSPOLETINI, PAOLA
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 1-gen-2006 SANTAMBROGIO, MARCO DOMENICOSCIUTO, DONATELLASPOLETINI, PAOLA +
On the Use of Alloy to Analyze Graph Transformation Systems 1-gen-2006 BARESI, LUCIANOSPOLETINI, PAOLA
A Fuzzy Extension for the XPath Query Language 1-gen-2006 CAMPI, ALESSANDROGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
XQuery layers 1-gen-2007 BRAGA, DANIELE MARIACAMPI, ALESSANDROCERI, STEFANOSPOLETINI, PAOLA
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 1-gen-2007 MATTA, ANDREAROSSI, MATTEO GIOVANNISPOLETINI, PAOLAMANDRIOLI, DINOSEMERARO, QUIRICOTOLIO, TULLIO ANTONIO MARIA
Validation of Web Service Compositions 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOHE, FEISPOLETINI, PAOLA
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 1-gen-2008 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLABARESI, LUCIANOGUINEA MONTALVO, SAM JESUS ALEJANDRO
Mostrati risultati da 1 a 20 di 28
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