Sfoglia per Autore
A Counter-example Testing Approach for Orchestrated Services
2010-01-01 DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea
Improving e-Government Business Processes Applying Formal Verification
2010-01-01 Corradini, Flavio; D., Falcioni; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
A Model Checking Strategy to Test Services in Orchestrations
2010-01-01 Corradini, Flavio; DE ANGELIS, Francesco; Guglielmo De, Angelis; Polini, Andrea; Polzonetti, Alberto
Designing Quality Business Processes for E-Government Digital Services
2010-01-01 Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Quality Assurance for Service-based applications - QASBA 2011
2011-01-01 Domenico, Bianculli; Sam, Guinea; Andreas, Metzger; Polini, Andrea
Run-time systems failure prediction via proactive monitoring
2011-01-01 Pengcheng, Zhang; Henry, Muccini; Polini, Andrea; Xuandong, Li
Monitoring Cases of Applicative Cooperation in Italian Local Public Administrations Focusing on the Process
2011-01-01 Corradini, Flavio; Polini, Andrea; Polzonetti, Alberto; Re, Barbara; Carota, S.; Arduini, D.
(role)CAST: A Framework for On-line Service Testing
2011-01-01 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea
eGAML: A Domain Specific Language for Design and Verification of e-Government Digital Services
2011-01-01 Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
An Eclipe plug-in for Public Administration software system modellling and simulation
2011-01-01 Cognini, Riccardo; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Trends and Research Issues in SOA Validation
2011-01-01 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea; Antonino, Sabetta
Validation and Verification Policies for Governance of Service Choreographies
2012-01-01 Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea
Livelock and Deadlock Detection for PA Inter-organizational Business Processes.
2012-01-01 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Formal methods to improve public administration business processes
2012-01-01 Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Improving PA Business Processes through Modeling, Analysis, and Reengineering
2012-01-01 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Enhancing Service Federation Trustworthiness through Online Testing
2012-01-01 Antonia, Bertolino; Guglielmo De, Angelis; Sampo, Kellomäki; Polini, Andrea
Direct Verification of BPMN Processes through an Optimized Unfolding Technique
2012-01-01 Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
ParTes: A test generation strategy for choreography participants
2013-01-01 DE ANGELIS, Francesco; Fani', Daniele; Polini, Andrea
ServicePot - An Extensible Registry for Choreography Governance
2013-01-01 Midhat, Ali; Guglielmo De, Angelis; Polini, Andrea
HawkEye: a tool for collaborative business process modelling and verification
2013-01-01 Riccardo, Cognini; Damiano, Falcioni; Polini, Andrea; Alberto, Polzonetti; Re, Barbara
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Counter-example Testing Approach for Orchestrated Services | 1-gen-2010 | DE ANGELIS, Francesco; DE ANGELIS, Guglielmo; Polini, Andrea | Contributo in atto di convegno su volume | |
Improving e-Government Business Processes Applying Formal Verification | 1-gen-2010 | Corradini, Flavio; D., Falcioni; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
A Model Checking Strategy to Test Services in Orchestrations | 1-gen-2010 | Corradini, Flavio; DE ANGELIS, Francesco; Guglielmo De, Angelis; Polini, Andrea; Polzonetti, Alberto | Contributo in atto di convegno su volume | |
Designing Quality Business Processes for E-Government Digital Services | 1-gen-2010 | Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
Quality Assurance for Service-based applications - QASBA 2011 | 1-gen-2011 | Domenico, Bianculli; Sam, Guinea; Andreas, Metzger; Polini, Andrea | ORGANIZZAZIONE DI EVENTI | |
Run-time systems failure prediction via proactive monitoring | 1-gen-2011 | Pengcheng, Zhang; Henry, Muccini; Polini, Andrea; Xuandong, Li | Contributo in atto di convegno su volume | |
Monitoring Cases of Applicative Cooperation in Italian Local Public Administrations Focusing on the Process | 1-gen-2011 | Corradini, Flavio; Polini, Andrea; Polzonetti, Alberto; Re, Barbara; Carota, S.; Arduini, D. | Contributo in atto di convegno su volume | |
(role)CAST: A Framework for On-line Service Testing | 1-gen-2011 | Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea | Contributo in atto di convegno su volume | |
eGAML: A Domain Specific Language for Design and Verification of e-Government Digital Services | 1-gen-2011 | Corradini, Flavio; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
An Eclipe plug-in for Public Administration software system modellling and simulation | 1-gen-2011 | Cognini, Riccardo; Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
Trends and Research Issues in SOA Validation | 1-gen-2011 | Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea; Antonino, Sabetta | Capitolo di libro o voce di enciclopedia | |
Validation and Verification Policies for Governance of Service Choreographies | 1-gen-2012 | Antonia, Bertolino; Guglielmo De, Angelis; Polini, Andrea | Contributo in atto di convegno su volume | |
Livelock and Deadlock Detection for PA Inter-organizational Business Processes. | 1-gen-2012 | Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
Formal methods to improve public administration business processes | 1-gen-2012 | Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Articolo | |
Improving PA Business Processes through Modeling, Analysis, and Reengineering | 1-gen-2012 | Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
Enhancing Service Federation Trustworthiness through Online Testing | 1-gen-2012 | Antonia, Bertolino; Guglielmo De, Angelis; Sampo, Kellomäki; Polini, Andrea | Articolo | |
Direct Verification of BPMN Processes through an Optimized Unfolding Technique | 1-gen-2012 | Falcioni, Damiano; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
ParTes: A test generation strategy for choreography participants | 1-gen-2013 | DE ANGELIS, Francesco; Fani', Daniele; Polini, Andrea | Contributo in atto di convegno su volume | |
ServicePot - An Extensible Registry for Choreography Governance | 1-gen-2013 | Midhat, Ali; Guglielmo De, Angelis; Polini, Andrea | Contributo in atto di convegno su volume | |
HawkEye: a tool for collaborative business process modelling and verification | 1-gen-2013 | Riccardo, Cognini; Damiano, Falcioni; Polini, Andrea; Alberto, Polzonetti; Re, Barbara | Contributo in atto di convegno su volume |
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