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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 84
Titolo Data di pubblicazione Autori File
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Trio2Promela: A Model Checker for Temporal Metric Specifications 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
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
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A SAT-based parser and completer for pictures specified by tiling 1-gen-2008 PRADELLA, MATTEOCRESPI REGHIZZI, STEFANO
A CKY parser for picture grammars 1-gen-2008 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 1-gen-2008 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
An Automatic Approach to Enable Replacement of Conversational Services 1-gen-2009 CAVALLARO, LUCADI NITTO, ELISABETTAPRADELLA, MATTEO
Snake-Deterministic Tiling Systems 1-gen-2009 PRADELLA, MATTEO +
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Picture Languages: From Wang Tiles to 2DGrammars 1-gen-2009 CHERUBINI, ALESSANDRAPRADELLA, MATTEO
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 1-gen-2009 BERSANI, MARCELLO MARIAFURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Picture recognizability with automata based on Wang tiles 1-gen-2010 PRADELLA, MATTEO +
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 1-gen-2010 BERSANI, MARCELLO MARIACAVALLARO, LUCAFRIGERI, ACHILLEPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Synthesizing adapters for conversational web-services from their WSDL interface 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAPRADELLA, MATTEO +
Mostrati risultati da 21 a 40 di 84
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