Search filters

List of works by Andrea Polini

2nd international workshop on service oriented software engineering (IW-SOSWE 2007)

scientific article published on 7 September 2007

A Choreography-Driven Approach for Blockchain-Based IoT Applications

scientific article published on 21 March 2022

A Counter-Example Testing Approach for Orchestrated Services

scientific article published in April 2010

A Flexible Approach to Multi-party Business Process Execution on Blockchain

scientific article published in 2023

A Guidelines framework for understandable BPMN models

scientific article published in January 2018

A QoS Test-Bed Generator for Web Services

scientific article published in 2007

A formal approach for the analysis of BPMN collaboration models

scientific article published in October 2021

A formal approach to modeling and verification of business process collaborations

scientific article published in November 2018

A framework for component deployment testing

A participant testing strategy for service orchestrations

scientific article published in November 2008

A systematic literature review on IoT-aware business process modeling views, requirements and notations

scientific article published on 28 October 2022

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems

scientific article published in September 2008

An Extensible Framework for Online Testing of Choreographed Services

scientific article published in February 2014

An Operational Semantics of BPMN Collaboration

scientific article published in 2016

An architectural approach to the correct and automatic assembly of evolving component-based systems

scientific article published in December 2008

Architectural Verification of Black-Box Component-Based Systems

Architecture-Based Testing and System Validation - Workshop Summary

scientific article published in June 2011

Audition of Web Services for Testing Conformance to Open Specified Protocols

scientific article published in 2006

Automated testing of healthcare document transformations in the PICASSO interoperability platform

scientific article published in May 2009

Automatic Test Data Generation for XML Schema-based Partition Testing

scientific article published in May 2007

Automatic generation of test-beds for pre-deployment QoS evaluation of web services

scientific article published on 5 February 2007

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

BRYT: Automated keyword extraction for open datasets

scientific article published in September 2024

Business Process Feature Model: An Approach to Deal with Variability of Business Processes

Business Processes Verification for e-Government Service Delivery

scientific article published on 15 October 2010

Business process flexibility - a systematic literature review with a software systems perspective

scientific article published on 22 July 2016

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems

scientific article published in 2014

CATANA: Replay Testing for the Ethereum Blockchain

scientific article published in 2023

Checking Business Process Correctness in Apromore

scientific article published in 2018

Comparison of general-purpose and domain-specific modelling languages in the IoT domain: A case study from the OMiLAB community

scientific article published on 20 October 2023

Consistent modelling of hierarchical BPMN collaborations

scientific article published on 11 March 2022

Correctness checking for BPMN collaborations with sub-processes

scientific article published in August 2020

DTMN a Modelling Notation for Digital Twins

scientific article published in 2023

Designing Quality Business Processes for E-Government Digital Services

scientific article published in 2010

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

scientific article published in August 2012

Early performance testing of distributed software applications

Enabling Auditing of Smart Contracts Through Process Mining

scientific article published in 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

scientific article published on 11 February 2022

Engineering trustable choreography-based systems using blockchain

scientific article published on 30 March 2020

Enhancing Service Federation Trustworthiness through Online Testing

scientific article published in January 2012

Extending Feature Models to Express Variability in Business Process Models

scientific article published in 2015

FITE

scientific article published on 7 November 2010

Flexible execution of multi-party business processes on blockchain

scientific article published on 19 May 2022

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

scientific article published on 28 February 2024

FloWare: An Approach for IoT Support and Application Development

scientific article published in 2021

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development

scientific article published in 2022

Formal Methods to Improve Public Administration Business Processes

scientific article published on 21 February 2012

Governance Policies for Verification and Validation of Service Choreographies

scientific article published in 2013

HawkEye

scientific article published on 18 March 2013

Improving PA Business Processes through Modeling, Analysis, and Reengineering

scientific article published in 2012

Improving Trust in Composite eServices Via Run-Time Participants Testing

scientific article published in 2008

Integration of “Components” to Test Software Components

Inter-organizational business process verification in public administration

Livelock and Deadlock Detection for PA Inter-organizational Business Processes

scientific article published in 2012

Model-Based Generation of Testbeds for Web Services

scientific article published in 2008

Model-driven engineering for multi-party business processes on multiple blockchains

scientific article published in 2021

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review

scientific article published in 2020

Modelling Process Intensive Scenarios for the Smart City

scientific article published in 2014

Monitoring Architectural Properties in Dynamic Component-Based Systems

Mutation Testing of Smart Contracts As a Service

On Avoiding Erroneous Synchronization in BPMN Processes

scientific article published in 2017

On-line validation of service oriented systems in the European Project TAS3

scientific article published in May 2009

Performance Testing of Distributed Component Architectures

Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager

scientific article published on 28 May 2024

Process-oriented knowledge management and learning in public administrations

scientific article published in 2020

RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies

scientific article published on 27 March 2023

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts

scientific article published in 2022

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts

scientific article published in 2023

Requirements elicitation and refinement in collaborative research projects

scientific article published on 30 August 2018

Research challenges in business process adaptability

scientific article published on 24 March 2014

Run-time systems failure prediction via proactive monitoring

scientific article published in November 2011

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders

scientific article published in 2009

ServicePot -- An Extensible Registry for Choreography Governance

scientific article published in March 2013

Smart contract testing

scientific article published on 19 May 2022

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

scientific article published in May 2021

SuMo: A mutation testing approach and tool for the Ethereum blockchain

scientific article published in 2022

Supporting Multi-layer Modeling in BPMN Collaborations

Systematic Generation of XML Instances to Test Complex Software Applications

TAXI--A Tool for XML-Based Testing

scientific article published in May 2007

TLV-diss$$_{\gamma }$$: A Dissimilarity Measure for Public Administration Process Logs

scientific article published in 2021

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions

scientific article published on 26 January 2019

Testing software components for integration: a survey of issues and techniques

scientific article published in 2007

The Audition Framework for TestingWeb Services Interoperability

The PLASTIC Framework and Tools for Testing Service-Oriented Applications

scientific article published in 2009

Towards Automated WSDL-Based Testing of Web Services

scientific article published in 2008

Towards Cross-Domain Linking of Data: A Semantic Mapping of Cultural Heritage Ontologies

Towards a Digital Twin Modelling Notation

Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda

scientific article published on 23 December 2021

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes

scientific article published in 2015

WCT: A Wrapper for Component Testing

WS-TAXI: A WSDL-based Testing Tool for Web Services

scientific article published in April 2009

X-IoT: a model-driven approach to support IoT application portability across IoT platforms

scientific article published on 27 January 2023