Sfoglia per Autore
Automated Dynamic Maintenance of Composite Services based on Service Reputation
2007-01-01 Bianculli, Domenico; R., Jorca; W., Binder; Ghezzi, Carlo; B., Faltings
A Model Checking Approach to Verify BPEL4WS Workflows
2007-01-01 Bianculli, Domenico; Ghezzi, Carlo; 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
Monitoring Conversational Web Services
2007-01-01 Bianculli, Domenico; Ghezzi, Carlo
Validation of Web Service Compositions
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; 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 Timed Extension of WSCoL
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
SAVVY-WS at a glance: supporting verifiable dynamic service compositions
2008-01-01 Bianculli, Domenico; Ghezzi, Carlo
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
Transparent reputation management for composite web services
2008-01-01 Bianculli, Domenico; W., Binder; Drago, MAURO LUIGI; Ghezzi, Carlo
ReMAN: A pro-active reputation management infrastructure for composite web services
2009-01-01 Bianculli, Domenico; W., Binder; Drago, MAURO LUIGI; Ghezzi, Carlo
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
Embedding continuous lifelong verification in service life cycles
2009-01-01 Bianculli, Domenico; Ghezzi, Carlo; C., Pautasso
SOABench: performance evaluation of service-oriented middleware made easy
2010-01-01 Bianculli, Domenico; W., Binder; Drago, MAURO LUIGI
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
2010-01-01 Bianculli, Domenico; W., Binder; Drago, MAURO LUIGI
Towards the formalization of properties of cloud-based elastic systems
2014-01-01 Bersani, MARCELLO MARIA; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstic, Srdan
Trace checking of metric temporal logic with aggregating modalities using MapReduce
2014-01-01 Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
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