Lista de obras - Andrea Polini - Dominio Público Uruguay

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

artículo científico publicado en 2007

A Choreography-Driven Approach for Blockchain-Based IoT Applications

artículo científico publicado en 2022

A Counter-Example Testing Approach for Orchestrated Services

artículo científico publicado en 2010

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

scientific article published in 2023

A Guidelines framework for understandable BPMN models

artículo científico publicado en 2018

A QoS Test-Bed Generator for Web Services

artículo científico publicado en 2007

A formal approach for the analysis of BPMN collaboration models

artículo científico publicado en 2021

A formal approach to modeling and verification of business process collaborations

artículo científico publicado en 2018

A framework for component deployment testing

A participant testing strategy for service orchestrations

artículo científico publicado en 2008

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

artículo científico publicado en 2022

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

artículo científico publicado en 2008

An Extensible Framework for Online Testing of Choreographed Services

artículo científico publicado en 2014

An Operational Semantics of BPMN Collaboration

artículo científico publicado en 2016

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

artículo científico publicado en 2008

Architectural Verification of Black-Box Component-Based Systems

Architecture-Based Testing and System Validation - Workshop Summary

artículo científico publicado en 2011

Audition of Web Services for Testing Conformance to Open Specified Protocols

artículo científico publicado en 2006

Automated testing of healthcare document transformations in the PICASSO interoperability platform

artículo científico publicado en 2009

Automatic Test Data Generation for XML Schema-based Partition Testing

artículo científico publicado en 2007

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

artículo científico publicado en 2007

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

BRYT: Automated keyword extraction for open datasets

artículo científico publicado en 2024

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

Business Processes Verification for e-Government Service Delivery

artículo científico publicado en 2010

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

artículo científico publicado en 2016

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems

artículo científico publicado en 2014

CATANA: Replay Testing for the Ethereum Blockchain

artículo científico publicado en 2023

Checking Business Process Correctness in Apromore

artículo científico publicado en 2018

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

artículo científico publicado en 2023

Consistent modelling of hierarchical BPMN collaborations

artículo científico publicado en 2022

Correctness checking for BPMN collaborations with sub-processes

artículo científico publicado en 2020

DTMN a Modelling Notation for Digital Twins

artículo científico publicado en 2023

Designing Quality Business Processes for E-Government Digital Services

artículo científico publicado en 2010

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

artículo científico publicado en 2012

Early performance testing of distributed software applications

Enabling Auditing of Smart Contracts Through Process Mining

artículo científico publicado en 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

artículo científico publicado en 2022

Engineering trustable choreography-based systems using blockchain

artículo científico publicado en 2020

Enhancing Service Federation Trustworthiness through Online Testing

artículo científico publicado en 2012

Extending Feature Models to Express Variability in Business Process Models

artículo científico publicado en 2015

FITE

artículo científico publicado en 2010

Flexible execution of multi-party business processes on blockchain

artículo científico publicado en 2022

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

artículo científico publicado en 2024

FloWare: An Approach for IoT Support and Application Development

artículo científico publicado en 2021

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

artículo científico publicado en 2022

Formal Methods to Improve Public Administration Business Processes

artículo científico publicado en 2012

Governance Policies for Verification and Validation of Service Choreographies

artículo científico publicado en 2013

HawkEye

artículo científico publicado en 2013

Improving PA Business Processes through Modeling, Analysis, and Reengineering

artículo científico publicado en 2012

Improving Trust in Composite eServices Via Run-Time Participants Testing

artículo científico publicado en 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

artículo científico publicado en 2012

Model-Based Generation of Testbeds for Web Services

artículo científico publicado en 2008

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

artículo científico publicado en 2021

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

artículo científico publicado en 2020

Modelling Process Intensive Scenarios for the Smart City

artículo científico publicado en 2014

Monitoring Architectural Properties in Dynamic Component-Based Systems

Mutation Testing of Smart Contracts As a Service

On Avoiding Erroneous Synchronization in BPMN Processes

artículo científico publicado en 2017

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

artículo científico publicado en 2009

Performance Testing of Distributed Component Architectures

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

artículo científico publicado en 2024

Process-oriented knowledge management and learning in public administrations

artículo científico publicado en 2020

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

artículo científico publicado en 2023

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts

artículo científico publicado en 2022

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

artículo científico publicado en 2023

Requirements elicitation and refinement in collaborative research projects

artículo científico publicado en 2018

Research challenges in business process adaptability

artículo científico publicado en 2014

Run-time systems failure prediction via proactive monitoring

artículo científico publicado en 2011

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

artículo científico publicado en 2009

ServicePot -- An Extensible Registry for Choreography Governance

artículo científico publicado en 2013

Smart contract testing

artículo científico publicado en 2022

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

artículo científico publicado en 2021

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

artículo científico publicado en 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

artículo científico publicado en 2007

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

artículo científico publicado en 2021

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

artículo científico publicado en 2019

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

artículo científico publicado en 2007

The Audition Framework for TestingWeb Services Interoperability

The PLASTIC Framework and Tools for Testing Service-Oriented Applications

artículo científico publicado en 2009

Towards Automated WSDL-Based Testing of Web Services

artículo científico publicado en 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

artículo científico publicado en 2015

WCT: A Wrapper for Component Testing

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

artículo científico publicado en 2009

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

artículo científico publicado en 2023

Lista de obras de Andrea Polini

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

A Choreography-Driven Approach for Blockchain-Based IoT Applications

A Counter-Example Testing Approach for Orchestrated Services

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

A Guidelines framework for understandable BPMN models

A QoS Test-Bed Generator for Web Services

A formal approach for the analysis of BPMN collaboration models

A formal approach to modeling and verification of business process collaborations

A framework for component deployment testing

A participant testing strategy for service orchestrations

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

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

An Extensible Framework for Online Testing of Choreographed Services

An Operational Semantics of BPMN Collaboration

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

Architectural Verification of Black-Box Component-Based Systems

Architecture-Based Testing and System Validation - Workshop Summary

Audition of Web Services for Testing Conformance to Open Specified Protocols

Automated testing of healthcare document transformations in the PICASSO interoperability platform

Automatic Test Data Generation for XML Schema-based Partition Testing

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

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

BRYT: Automated keyword extraction for open datasets

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

Business Processes Verification for e-Government Service Delivery

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

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems

CATANA: Replay Testing for the Ethereum Blockchain

Checking Business Process Correctness in Apromore

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

Consistent modelling of hierarchical BPMN collaborations

Correctness checking for BPMN collaborations with sub-processes

DTMN a Modelling Notation for Digital Twins

Designing Quality Business Processes for E-Government Digital Services

Direct Verification of BPMN Processes through an Optimized Unfolding Technique

Early performance testing of distributed software applications

Enabling Auditing of Smart Contracts Through Process Mining

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

Engineering trustable choreography-based systems using blockchain

Enhancing Service Federation Trustworthiness through Online Testing

Extending Feature Models to Express Variability in Business Process Models

FITE

Flexible execution of multi-party business processes on blockchain

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

FloWare: An Approach for IoT Support and Application Development

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

Formal Methods to Improve Public Administration Business Processes

Governance Policies for Verification and Validation of Service Choreographies

HawkEye

Improving PA Business Processes through Modeling, Analysis, and Reengineering

Improving Trust in Composite eServices Via Run-Time Participants Testing

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

Model-Based Generation of Testbeds for Web Services

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

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

Modelling Process Intensive Scenarios for the Smart City

Monitoring Architectural Properties in Dynamic Component-Based Systems

Mutation Testing of Smart Contracts As a Service

On Avoiding Erroneous Synchronization in BPMN Processes

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

Performance Testing of Distributed Component Architectures

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

Process-oriented knowledge management and learning in public administrations

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

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts

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

Requirements elicitation and refinement in collaborative research projects

Research challenges in business process adaptability

Run-time systems failure prediction via proactive monitoring

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

ServicePot -- An Extensible Registry for Choreography Governance

Smart contract testing

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

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

Supporting Multi-layer Modeling in BPMN Collaborations

Systematic Generation of XML Instances to Test Complex Software Applications