Sfoglia per Autore
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.; Spoletini, P.
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings
2018-01-01 Nacci, Alessandro A.; Rana, Vincenzo; Balaji, Bharathan; Spoletini, Paola; Gupta, Rajesh; Sciuto, Donatella; Agarwal, Yuvraj
Fuzzy time in linear temporal logic
2014-01-01 Frigeri, Achille; Pasquale, Liliana; Spoletini, Paola
Fuzzy goals for Requirements-driven adaptation
2010-01-01 Baresi, Luciano; Pasquale, Liliana; Spoletini, Paola
Towards Automated Verification of Layered Graph Transformation Specifications
2009-01-01 V., Rafe; A. T., Rahmani; Baresi, Luciano; Spoletini, Paola
A Fuzzy Extension for the XPath Query Language
2009-01-01 Campi, Alessandro; GUINEA MONTALVO, SAM JESUS ALEJANDRO; E., Damiani; Marrara, Stefania; G., Pasi; Spoletini, Paola
Keep it small, keep it real: Efficient run-time verification of web service compositions
2009-01-01 Baresi, Luciano; Bianculli, Domenico; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
An Efficient Solution for Model Checking Graph Transformation Systems
2008-01-01 Baresi, Luciano; V., Rafe; A., Torkaman Rahmani; Spoletini, Paola
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
2008-01-01 Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola; Baresi, Luciano; GUINEA MONTALVO, SAM JESUS ALEJANDRO
XQuery layers
2007-01-01 Braga, DANIELE MARIA; Campi, Alessandro; Ceri, Stefano; Spoletini, Paola
Model Checking Temporal Metric Specifications with Trio2Promela
2007-01-01 Bianculli, Domenico; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
A Model Checking Approach to Verify BPEL4WS Workflows
2007-01-01 Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
2007-01-01 Baresi, Luciano; Ghezzi, Carlo; He, Fei; Spoletini, Paola
Trio2Promela: A Model Checker for Temporal Metric Specifications
2007-01-01 Bianculli, Domenico; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
A Timed Extension of WSCoL
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, Andrea; Rossi, MATTEO GIOVANNI; Spoletini, Paola; Mandrioli, Dino; Semeraro, Quirico; Tolio, TULLIO ANTONIO MARIA
Validation of Web Service Compositions
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
Formal verification in analysis and design of production systems
2006-01-01 Spoletini, Paola; Tomasella, Maurizio; Matta, Andrea; Rossi, MATTEO GIOVANNI
Fuzzy querying of semistructured data
2006-01-01 Campi, Alessandro; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
A framework for XML data streams history checking and monitoring
2006-01-01 Campi, Alessandro; Spoletini, Paola
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures
2006-01-01 M., Giorgetta; Santambrogio, MARCO DOMENICO; Sciuto, Donatella; Spoletini, Paola
History Checking of XML Data Streams
2006-01-01 Campi, Alessandro; Spoletini, Paola
On the Use of Alloy to Analyze Graph Transformation Systems
2006-01-01 Baresi, Luciano; Spoletini, Paola
A Fuzzy Extension for the XPath Query Language
2006-01-01 Campi, Alessandro; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
A formal approach supporting the specification and verification of business conversation requirements
2005-01-01 Cherubini, Alessandra; Colombo, Enzo; Francalanci, Chiara; Spoletini, Paola
Model-checking TRIO specifications in SPIN
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Spoletini, Paola
Practical Model Checking of LTL with Past
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
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