Sfoglia per Autore
Validation of web service compositions
2007-01-01 Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola
A model checking approach to verify BPEL4WS workflows
2007-01-01 Bianculli, D.; Ghezzi, C.; Spoletini, Paola
A timed extension of WSCoL
2007-01-01 Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola
Towards the exhaustive verification of real-time aspects in controller implementation
2008-01-01 Furia C. A, Mazzucchelli M.; Spoletini, Paola
Tomorrow and all our yesterdays: MTL satisfiability over the integers
2008-01-01 Furia, C. A.; Spoletini, Paola
Practical efficient modular verification and analysis
2008-01-01 Furia, C. A.; Spoletini, Paola
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions
2008-01-01 Baresi, L.; Bianculli, D.; Spoletini, Paola; Ghezzi, C.; Guinea, S.
An efficient solution for model checking graph transformation Systems
2008-01-01 Baresi, L.; Rafe, V.; Rahamani, A. T.; Spoletini, Paola
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12
2009-01-01 Bonchi, F.; Grohman, D.; Spoletini, Paola; Tuosto, E.
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3
2009-01-01 Bonchi, F.; Grohmann, D.; Spoletini, Paola; Troina, A.; Tuosto, E.
Introduzione alla programmazione in Matlab
2009-01-01 Campi, A.; Di Nitto, E.; Loiacono, D.; Morzenti, A.; Spoletini, Paola
Relaxing metric information in linear temporal logic
2009-01-01 Furia, C. A.; Spoletini, Paola
Model checking
2009-01-01 Peled, D.; Pelliccione, P.; Spoletini, Paola
Towards automated verification of layered graph transformation specifications
2009-01-01 Rafe, V.; Rahmani, A. T.; Baresi, L.; Spoletini, Paola
Internal and external bitstream relocation for partial dynamic reconfiguration
2009-01-01 Corbetta, S.; Morandi, M.; Novati, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
A fuzzy extension of the XPath query language
2009-01-01 Campi, A.; Damiani, E.; Guinea, S.; Marrara, S.; Pasi, G.; Spoletini, Paola
An automata-based monitoring technique for commitment-based multi-agent systems
2009-01-01 Spoletini, Paola; Verdicchio, M.
Keep it small, keep it real: efficient run-time verification of Web service compositions
2009-01-01 Baresi, L.; Bianculli, D.; Guinea, S.; Spoletini, Paola
Quantifying the discord: order discrepancies in message sequence charts
2010-01-01 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
Fuzzy Goals for Requirements-Driven Adaptation
2010-01-01 Baresi, L.; Pasquale, L.; Spoletini, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Validation of web service compositions | 1-gen-2007 | Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola | |
| A model checking approach to verify BPEL4WS workflows | 1-gen-2007 | Bianculli, D.; Ghezzi, C.; Spoletini, Paola | |
| A timed extension of WSCoL | 1-gen-2007 | Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola | |
| Towards the exhaustive verification of real-time aspects in controller implementation | 1-gen-2008 | Furia C. A, Mazzucchelli M.; Spoletini, Paola | |
| Tomorrow and all our yesterdays: MTL satisfiability over the integers | 1-gen-2008 | Furia, C. A.; Spoletini, Paola | |
| Practical efficient modular verification and analysis | 1-gen-2008 | Furia, C. A.; Spoletini, Paola | |
| A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions | 1-gen-2008 | Baresi, L.; Bianculli, D.; Spoletini, Paola; Ghezzi, C.; Guinea, S. | |
| An efficient solution for model checking graph transformation Systems | 1-gen-2008 | Baresi, L.; Rafe, V.; Rahamani, A. T.; Spoletini, Paola | |
| Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12 | 1-gen-2009 | Bonchi, F.; Grohman, D.; Spoletini, Paola; Tuosto, E. | |
| Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3 | 1-gen-2009 | Bonchi, F.; Grohmann, D.; Spoletini, Paola; Troina, A.; Tuosto, E. | |
| Introduzione alla programmazione in Matlab | 1-gen-2009 | Campi, A.; Di Nitto, E.; Loiacono, D.; Morzenti, A.; Spoletini, Paola | |
| Relaxing metric information in linear temporal logic | 1-gen-2009 | Furia, C. A.; Spoletini, Paola | |
| Model checking | 1-gen-2009 | Peled, D.; Pelliccione, P.; Spoletini, Paola | |
| Towards automated verification of layered graph transformation specifications | 1-gen-2009 | Rafe, V.; Rahmani, A. T.; Baresi, L.; Spoletini, Paola | |
| Internal and external bitstream relocation for partial dynamic reconfiguration | 1-gen-2009 | Corbetta, S.; Morandi, M.; Novati, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola | |
| A fuzzy extension of the XPath query language | 1-gen-2009 | Campi, A.; Damiani, E.; Guinea, S.; Marrara, S.; Pasi, G.; Spoletini, Paola | |
| An automata-based monitoring technique for commitment-based multi-agent systems | 1-gen-2009 | Spoletini, Paola; Verdicchio, M. | |
| Keep it small, keep it real: efficient run-time verification of Web service compositions | 1-gen-2009 | Baresi, L.; Bianculli, D.; Guinea, S.; Spoletini, Paola | |
| Quantifying the discord: order discrepancies in message sequence charts | 1-gen-2010 | Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola | |
| Fuzzy Goals for Requirements-Driven Adaptation | 1-gen-2010 | Baresi, L.; Pasquale, L.; 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