SPOLETINI, PAOLA

SPOLETINI, PAOLA  

DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autori File
A formal approach supporting the specification and verification of business conversation requirements 1-gen-2005 CHERUBINI, ALESSANDRACOLOMBO, ENZOFRANCALANCI, CHIARASPOLETINI, PAOLA
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures 1-gen-2006 SANTAMBROGIO, MARCO DOMENICOSCIUTO, DONATELLASPOLETINI, 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
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
An Efficient Solution for Model Checking Graph Transformation Systems 1-gen-2008 BARESI, LUCIANOSPOLETINI, PAOLA +
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings 1-gen-2018 Nacci, Alessandro A.Rana, VincenzoSpoletini, PaolaSciuto, Donatella +
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
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 1-gen-2007 BARESI, LUCIANOGHEZZI, CARLOHE, FEISPOLETINI, PAOLA
Formal verification in analysis and design of production systems 1-gen-2006 SPOLETINI, PAOLATOMASELLA, MAURIZIOMATTA, ANDREAROSSI, MATTEO GIOVANNI
A framework for XML data streams history checking and monitoring 1-gen-2006 CAMPI, ALESSANDROSPOLETINI, PAOLA
A Fuzzy Extension for the XPath Query Language 1-gen-2006 CAMPI, ALESSANDROGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
A Fuzzy Extension for the XPath Query Language 1-gen-2009 CAMPI, ALESSANDROGUINEA MONTALVO, SAM JESUS ALEJANDROMARRARA, STEFANIASPOLETINI, PAOLA +
Fuzzy goals for Requirements-driven adaptation 1-gen-2010 BARESI, LUCIANOPASQUALE, LILIANASPOLETINI, PAOLA
Fuzzy querying of semistructured data 1-gen-2006 CAMPI, ALESSANDROGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Fuzzy time in linear temporal logic 1-gen-2014 Frigeri, AchillePasquale, LilianaSpoletini, Paola
History Checking of XML Data Streams 1-gen-2006 CAMPI, ALESSANDROSPOLETINI, PAOLA
Keep it small, keep it real: Efficient run-time verification of web service compositions 1-gen-2009 BARESI, LUCIANOBIANCULLI, DOMENICOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Model Checking Temporal Metric Specifications with Trio2Promela 1-gen-2007 BIANCULLI, DOMENICOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA