Andrea Polini

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 55

Top Venues

SAC

J. Syst. Softw.

CoRR

Bus. Process. Manag. J.

Publications

Maria Ioanna Maratsi, Umair Ahmed, Charalampos Alexopoulos, Yannis Charalabidis, Andrea Polini
Towards Cross-Domain Linking of Data: A Semantic Mapping of Cultural Heritage Ontologies. DG.O (2024)
Umair Ahmed, Charalampos Alexopoulos, Marco Piangerelli, Andrea Polini
BRYT: Automated keyword extraction for open datasets. Intell. Syst. Appl. 23 (2024)
Morena Barboni, Andrea Morichetta, Andrea Polini, Francesco Casoni
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. Softw. Qual. J. 32 (1) (2024)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A systematic literature review on IoT-aware business process modeling views, requirements and notations. Softw. Syst. Model. 22 (3) (2023)
Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. SAC (2023)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. Softw. Syst. Model. 22 (1) (2023)
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta, Andrea Polini
CATANA: Replay Testing for the Ethereum Blockchain. ICTSS (2023)
Arianna Fedeli, Nils Beutling, Emanuele Laurenzi, Andrea Polini
Comparison of general-purpose and domain-specific modelling languages in the IoT domain: A case study from the OMiLAB community. BIR Workshops (2023)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Luca Ruschioni
X-IoT: a model-driven approach to support IoT application portability across IoT platforms. Computing 105 (9) (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Flexible Approach to Multi-party Business Process Execution on Blockchain. Future Gener. Comput. Syst. 147 (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE (2022)
Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini
ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. QUATIC (2022)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
X-IoT: a model-driven approach for cross-platform IoT applications development. SAC (2022)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28 (2) (2022)
Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech (2022)
Morena Barboni, Andrea Morichetta, Andrea Polini
Smart contract testing: challenges and opportunities. WETSEB@ICSE (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). EGOV-CeDEM-ePart-* (2022)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A mutation testing approach and tool for the Ethereum blockchain. J. Syst. Softw. 193 (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13 (3) (2022)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
DTMN a Modelling Notation for Digital Twins. EDOC Workshops (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops (2022)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT (2021)
Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini
: A Dissimilarity Measure for Public Administration Process Logs. EGOV (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180 (2021)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM (2021)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. AST@ICSE (2021)
Morena Barboni, Andrea Morichetta, Andrea Polini
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. CoRR (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM (2021)
Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re
FloWare: An Approach for IoT Support and Application Development. BPMDS/EMMSAD@CAiSE (2021)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16 (4) (2020)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. Business Process Management Workshops (2020)
Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering trustable choreography-based systems using blockchain. SAC (2020)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Barbara Re, Andrea Sergiacomi
Process-oriented knowledge management and learning in public administrations. Electron. Gov. an Int. J. 16 (4) (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. CoRR (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166 (2020)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina
Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions. J. Intell. Syst. 29 (1) (2020)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) (2019)
Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
Enabling Auditing of Smart Contracts Through Process Mining. From Software Engineering to Formal Methods and Tools, and Back (2019)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20 (2) (2018)
Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions. CoRR (2018)
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. 30 (12) (2018)
Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi
Checking Business Process Correctness in Apromore. CAiSE Forum (2018)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC (2018)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166 (2018)
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113 (2018)
Francesco De Angelis, Andrea Polini
Evaluation of Cloud Portability of Legacy Applications. UCC Companion (2018)
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
On Avoiding Erroneous Synchronization in BPMN Processes. BIS (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: tool support for business process verification. ASE (2017)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: a formal verification framework for business process models. ASE (2017)
Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) (2017)
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
An Overview of Service-Oriented Computing Challenges and Issues. WEBIST (1) (2016)
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
Collaborative requirements elicitation in a european research project. SAC (2016)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) (2016)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini, Darius Silingas
Learn PAd : Collaborative and Model-based Learning in Public Administrations. STAF Projects Showcase (2015)
Flavio Corradini, Andrea Polini, Barbara Re
Inter-organizational business process verification in public administration. Bus. Process. Manag. J. 21 (5) (2015)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops (2015)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Process Variability Modeling for Complex Organizations. ES (2015)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini
Cloud Readiness Assessment of Legacy Application. CLOSER (2015)
Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST (2015)
Riccardo Cognini, Andrea Polini, Alberto Polzonetti, Barbara Re
BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services. IIAI-AAI (2015)
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
An Operational Semantics of BPMN Collaboration. FACS (2015)
Midhat Ali, Francesco De Angelis, Daniele Fanì, Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
An Extensible Framework for Online Testing of Choreographed Services. Computer 47 (2) (2014)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. Business Process Management Workshops (2014)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Research challenges in business process adaptability. SAC (2014)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Modelling Process Intensive Scenarios for the Smart City. EGOV (2014)
Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. ICFEM (2014)
Midhat Ali, Guglielmo De Angelis, Andrea Polini
ServicePot - An Extensible Registry for Choreography Governance. SOSE (2013)
Patricia Lago, Grace A. Lewis, Andreas Metzger, Vladimir Tosic, Domenico Bianculli, Antinisca Di Marco, Andrea Polini, Pierluigi Plebani
Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies. ACM SIGSOFT Softw. Eng. Notes 38 (1) (2013)
Francesco De Angelis, Daniele Fanì, Andrea Polini
ParTes: A test generation strategy for choreography participants. AST (2013)
Riccardo Cognini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
: a tool for collaborative business process modelling and verification. SAC (2013)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
Governance Policies for Verification and Validation of Service Choreographies. WEBIST (Selected Papers) (2012)
Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Direct Verification of BPMN Processes through an Optimized Unfolding Technique. QSIC (2012)
Antonia Bertolino, Guglielmo De Angelis, Sampo Kellomaki, Andrea Polini
Enhancing Service Federation Trustworthiness through Online Testing. Computer 45 (1) (2012)
Guglielmo De Angelis, Antonia Bertolino, Andrea Polini
Validation and Verification Policies for Governance of Service Choreographies. WEBIST (2012)
Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Livelock and Deadlock Detection for PA Inter-organizational Business Processes. EGOVIS/EDEM (2012)
Andrea Polini, Andrea Polzonetti, Barbara Re
Formal Methods to Improve Public Administration Business Processes. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Improving PA Business Processes through Modeling, Analysis, and Reengineering. EGOV (2012)
Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li
Run-time systems failure prediction via proactive monitoring. ASE (2011)
Bedir Tekinerdogan, Paul C. Clements, Henry Muccini, Michel R. V. Chaudron, Andrea Polini, Eoin Woods
Architecture-Based Testing and System Validation - Workshop Summary. WICSA (2011)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
(role)CAST: A Framework for On-line Service Testing. WEBIST (2011)
Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Designing Quality Business Processes for E-Government Digital Services. EGOV (2010)
Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re
Business Processes Verification for e-Government Service Delivery. Inf. Syst. Manag. 27 (4) (2010)
Francesco De Angelis, Andrea Polini, Guglielmo De Angelis
A Counter-Example Testing Approach for Orchestrated Services. ICST (2010)
Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
FITE: future integrated testing environment. FoSER (2010)
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors (2010)
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
On-line validation of service oriented systems in the European Project TAS3. PESOS@ICSE (2009)
Antonia Bertolino, Andrea Polini
SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders. ICST Workshops (2009)
Massimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini
Automated testing of healthcare document transformations in the PICASSO interoperability platform. ICSE Companion (2009)
Tudor Dumitras, Frank Eliassen, Kurt Geihs, Henry Muccini, Andrea Polini, Theo Ungerer
Testing Run-time Evolving Systems. Self-Healing and Self-Adaptive Systems (2009)
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini
WS-TAXI: A WSDL-based Testing Tool for Web Services. ICST (2009)
Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini
An architectural approach to the correct and automatic assembly of evolving component-based systems. J. Syst. Softw. 81 (12) (2008)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti
A participant testing strategy for service orchestrations. ICDIM (2008)
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
The PLASTIC Framework and Tools for Testing Service-Oriented Applications. ISSSE (2008)
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini
Towards Automated WSDL-Based Testing of Web Services. ICSOC (2008)
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti
Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV (2008)
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
Model-Based Generation of Testbeds for Web Services. TestCom/FATES (2008)
Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. ASE (2008)
Elisabetta Di Nitto, Andrea Polini, Andrea Zisman
2nd international workshop on service oriented software engineering (IW-SOSWE 2007). ESEC/SIGSOFT FSE (2007)

Andrea Polini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrea Polini