Sfoglia per Autore
A WSDL-based type system for WS-BPEL
2006-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
COWS: A Timed Service-Oriented Calculus
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Regulating Data Exchange in Service Oriented Applications
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Calculus for Orchestration of Web Services
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Specifying and Analysing SOC Applications with COWS
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Service Discovery and Negotiation with COWS
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
2008-01-01 M., Wirsing; M., Hölzl; L., Acciai; F., Banti; A., Clark; A., Fantechi; S., Gilmore; S., Gnesi; L., Gönczy; N., Koch; A., Lapadula; P., Mayer; F., Mazzanti; R., Pugliese; A., Schroeder; Tiezzi, Francesco; M., Tribastone; D., Varró
TAPAs: A Tool for the Analysis of Process Algebras
2008-01-01 Calzolai, F.; De Nicola, R.; Loreti, M.; Tiezzi, Francesco
A Formal Account of WS-BPEL
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Model Checking Approach for Verifying COWS Specifications
2008-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals
2009-01-01 M., Masi; R., Pugliese; Tiezzi, Francesco
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
2009-01-01 F., Banti; A., Lapadula; R., Pugliese; Tiezzi, Francesco
From Architectural to Behavioural Specification of Services
2009-01-01 L., Bocchi; J. L., Fiadeiro; A., Lapadula; R., Pugliese; Tiezzi, Francesco
On Observing Dynamic Prioritised Actions in SOC
2009-01-01 R., Pugliese; Tiezzi, Francesco; N., Yoshida
A Symbolic Semantics for a Calculus for Service-Oriented Computing
2009-01-01 R., Pugliese; Tiezzi, Francesco; N., Yoshida
A tool for rapid development of WS-BPEL applications
2010-01-01 L., Cesari; R., Pugliese; Tiezzi, Francesco
A criterion for separating process calculi
2010-01-01 F., Banti; R., Pugliese; Tiezzi, Francesco
A tool for rapid development of WS-BPEL applications
2010-01-01 L., Cesari; A., Lapadula; R., Pugliese; Tiezzi, Francesco
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)
2011-01-01 L., Kovács; R., Pugliese; Tiezzi, Francesco
An Accessible Verification Environment for UML Models of Services
2011-01-01 F., Banti; R., Pugliese; Tiezzi, Francesco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A WSDL-based type system for WS-BPEL | 1-gen-2006 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
COWS: A Timed Service-Oriented Calculus | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Regulating Data Exchange in Service Oriented Applications | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Calculus for Orchestration of Web Services | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Specifying and Analysing SOC Applications with COWS | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Service Discovery and Negotiation with COWS | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo | |
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity | 1-gen-2008 | M., Wirsing; M., Hölzl; L., Acciai; F., Banti; A., Clark; A., Fantechi; S., Gilmore; S., Gnesi; L., Gönczy; N., Koch; A., Lapadula; P., Mayer; F., Mazzanti; R., Pugliese; A., Schroeder; Tiezzi, Francesco; M., Tribastone; D., Varró | Capitolo di libro o voce di enciclopedia | |
TAPAs: A Tool for the Analysis of Process Algebras | 1-gen-2008 | Calzolai, F.; De Nicola, R.; Loreti, M.; Tiezzi, Francesco | Articolo | |
A Formal Account of WS-BPEL | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Model Checking Approach for Verifying COWS Specifications | 1-gen-2008 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals | 1-gen-2009 | M., Masi; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study | 1-gen-2009 | F., Banti; A., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo | |
From Architectural to Behavioural Specification of Services | 1-gen-2009 | L., Bocchi; J. L., Fiadeiro; A., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo | |
On Observing Dynamic Prioritised Actions in SOC | 1-gen-2009 | R., Pugliese; Tiezzi, Francesco; N., Yoshida | Capitolo di libro o voce di enciclopedia | |
A Symbolic Semantics for a Calculus for Service-Oriented Computing | 1-gen-2009 | R., Pugliese; Tiezzi, Francesco; N., Yoshida | Articolo | |
A tool for rapid development of WS-BPEL applications | 1-gen-2010 | L., Cesari; R., Pugliese; Tiezzi, Francesco | Articolo | |
A criterion for separating process calculi | 1-gen-2010 | F., Banti; R., Pugliese; Tiezzi, Francesco | Articolo | |
A tool for rapid development of WS-BPEL applications | 1-gen-2010 | L., Cesari; A., Lapadula; R., Pugliese; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) | 1-gen-2011 | L., Kovács; R., Pugliese; Tiezzi, Francesco | EDITOR DI SPECIAL ISSUE | |
An Accessible Verification Environment for UML Models of Services | 1-gen-2011 | F., Banti; R., Pugliese; Tiezzi, Francesco | Articolo |
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