A. Polini

Most-cited papers

Measurement of the W-boson mass in pp collisions at $$\sqrt{s}=7\, \hbox {TeV}$$ s = 7 TeV with the ATLAS detector
M. Aaboud, G. Aad, B. Abbott, J. Abdallah +496 more
2018The European Physical Journal C114 citations Open access
Semantic Scholar
A Guidelines framework for understandable BPMN models
F. Corradini, Alessio Ferrari, Fabrizio Fornari, S. Gnesi +3 more
2017Data & Knowledge Engineering93 citations Open access
Semantic Scholar
Overt and Subclinical Hypothyroidism in the Elderly: When to Treat?
V. Calsolaro, F. Niccolai, G. Pasqualetti, A. Calabrese +5 more
2019Frontiers in Endocrinology71 citations Open access
Semantic Scholar
Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda
B. van Loenen, A. Zuiderwijk, G. Vancauwenberghe, F. J. López-Pellicer +9 more
2021JeDEM - eJournal of eDemocracy & Open Government57 citations Open access
Semantic Scholar
Business process flexibility - a systematic literature review with a software systems perspective
R. Cognini, F. Corradini, S. Gnesi, A. Polini +1 more
2016Information Systems Frontiers51 citations
Semantic Scholar
A formal approach to modeling and verification of business process collaborations
F. Corradini, Fabrizio Fornari, A. Polini, B. Re +1 more
2018Science of Computer Programming49 citations Open access
Semantic Scholar
A formal approach for the analysis of BPMN collaboration models
F. Corradini, Fabrizio Fornari, A. Polini, B. Re +2 more
2021Journal of Systems and Software46 citations
Semantic Scholar
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2022ACM Transactions on Management Information Systems45 citations Open access
Semantic Scholar
Search for dijet resonances in events with an isolated charged lepton using √s=13 TeV proton-proton collision data collected by the ATLAS detector
G. Aad, B. Abbott, D. Abbott, A. A. Abud +496 more
202035 citations Open access
Semantic Scholar
Engineering trustable choreography-based systems using blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2020ACM Symposium on Applied Computing35 citations
Semantic Scholar
A systematic literature review on IoT-aware business process modeling views, requirements and notations
Ivan Compagnucci, F. Corradini, Fabrizio Fornari, A. Polini +2 more
2022Journal of Software and Systems Modeling34 citations Open access
Semantic Scholar
Model-driven engineering for multi-party business processes on multiple blockchains
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +3 more
2021Blockchain: Research and Applications32 citations Open access
Semantic Scholar
Measurements of differential cross-sections in top-quark pair events with a high transverse momentum top quark and limits on beyond the Standard Model contributions to top-quark pair production with the ATLAS detector at $$ \sqrt{s} $$ = 13 TeV
G. Aad, B. Abbott, D. C. Abbott, A. A. Abud +496 more
2022Journal of High Energy Physics31 citations Open access
Semantic Scholar
Enabling Auditing of Smart Contracts Through Process Mining
F. Corradini, F. Marcantoni, A. Morichetta, A. Polini +2 more
2019From Software Engineering to Formal Methods and Tools, and Back31 citations
Semantic Scholar
BProVe: A formal verification framework for business process models
F. Corradini, Fabrizio Fornari, A. Polini, B. Re +2 more
2017International Conference on Automated Software Engineering30 citations Open access
Semantic Scholar
A Flexible Approach to Multi-party Business Process Execution on Blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2023Future generations computer systems27 citations Open access
Semantic Scholar
SuMo: A mutation testing approach and tool for the Ethereum blockchain
Morena Barboni, A. Morichetta, A. Polini
2022Journal of Systems and Software27 citations
Semantic Scholar
Correctness checking for BPMN collaborations with sub-processes
F. Corradini, A. Morichetta, A. Polini, B. Re +2 more
2020Journal of Systems and Software26 citations
Semantic Scholar
RePROSitory: a Repository Platform for Sharing Business PROcess modelS
F. Corradini, Fabrizio Fornari, A. Polini, B. Re +1 more
2019International Conference on Business Process Management25 citations
Semantic Scholar
Search for neutral long-lived particles in pp collisions at $$ \sqrt{s} $$ = 13 TeV that decay into displaced hadronic jets in the ATLAS calorimeter
G. Aad, B. Abbott, D. C. Abbott, A. A. Abud +496 more
2022Journal of High Energy Physics24 citations Open access
Semantic Scholar
Smart Contract Testing: Challenges and Opportunities
Morena Barboni, A. Morichetta, A. Polini
2022International Workshop on Emerging Trends in Software Engineering for Blockchain24 citations Open access
Semantic Scholar
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Morena Barboni, A. Morichetta, A. Polini
2021International Conference/Workshop on Automation of Software Test22 citations Open access
Semantic Scholar
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice
F. Corradini, A. Morichetta, A. Polini, B. Re +1 more
2018IEEE International Enterprise Distributed Object Computing Conference20 citations
Semantic Scholar
Business Process Feature Model: An Approach to Deal with Variability of Business Processes
R. Cognini, F. Corradini, A. Polini, B. Re
2016Domain-Specific Conceptual Modeling18 citations Open access
Semantic Scholar
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review
Ivan Compagnucci, F. Corradini, Fabrizio Fornari, A. Polini +2 more
2020Business Process Management Workshops17 citations
Semantic Scholar
X-IoT: a model-driven approach to support IoT application portability across IoT platforms
F. Corradini, Arianna Fedeli, Fabrizio Fornari, A. Polini +2 more
2023Computing15 citations
Semantic Scholar
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
Arianna Fedeli, Fabrizio Fornari, A. Polini, B. Re +2 more
2024Journal of Software and Systems Modeling14 citations Open access
Semantic Scholar
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
F. Corradini, Arianna Fedeli, Fabrizio Fornari, A. Polini +1 more
2022Journal of Software and Systems Modeling14 citations
Semantic Scholar
Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions
F. Corradini, F. De Angelis, A. Polini, Carlo Castagnari +2 more
2018Journal of Intelligent Systems14 citations Open access
Semantic Scholar
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts
Morena Barboni, A. Morichetta, A. Polini, F. Casoni
2023Software quality journal12 citations
Semantic Scholar
DTMN a Modelling Notation for Digital Twins
F. Corradini, Arianna Fedeli, Fabrizio Fornari, A. Polini +1 more
2022EDOC Workshops12 citations
Semantic Scholar
BRYT: Automated keyword extraction for open datasets
Umair Ahmed, C. Alexopoulos, Marco Piangerelli, A. Polini
2024Intelligent Systems with Applications10 citations Open access
Semantic Scholar
Blockchain-Based Execution of BPMN Choreographies with Multiple Instances
Flavio Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2023Distributed Ledger Technol. Res. Pract.10 citations Open access
Semantic Scholar
Flexible Execution of Multi-Party Business Processes on Blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2022International Workshop on Emerging Trends in Software Engineering for Blockchain10 citations Open access
Semantic Scholar
FloWare: An Approach for IoT Support and Application Development
F. Corradini, Arianna Fedeli, Fabrizio Fornari, A. Polini +1 more
2021BPMDS/EMMSAD@CAiSE10 citations
Semantic Scholar
Collaborative requirements elicitation in a european research project
G. De Angelis, Alessio Ferrari, S. Gnesi, A. Polini
2016ACM Symposium on Applied Computing10 citations Open access
Semantic Scholar
X-IoT: a model-driven approach for cross-platform IoT applications development
F. Corradini, Arianna Fedeli, Fabrizio Fornari, A. Polini +1 more
2022ACM Symposium on Applied Computing9 citations
Semantic Scholar
Prognostic Value of Glycated Hemoglobin in Frail Older Diabetic Patients With Hip Fracture
Simone Paterni, C. Okoye, A. Calabrese, F. Niccolai +4 more
2021Frontiers in Endocrinology9 citations Open access
Semantic Scholar
Requirements elicitation and refinement in collaborative research projects
G. De Angelis, Alessio Ferrari, S. Gnesi, A. Polini
2018J. Softw. Evol. Process.9 citations
Semantic Scholar
ChorChain: A model-driven framework for choreography-based systems using blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2021ITBPM@BPM8 citations
Semantic Scholar
Collaboration vs. choreography conformance in BPMN
F. Corradini, A. Morichetta, A. Polini, B. Re +1 more
2020Log. Methods Comput. Sci.8 citations Open access
Semantic Scholar
BProVe: Tool support for business process verification
F. Corradini, Fabrizio Fornari, A. Polini, B. Re +2 more
2017International Conference on Automated Software Engineering8 citations Open access
Semantic Scholar
Consistent modelling of hierarchical BPMN collaborations
F. Corradini, A. Polini, B. Re, Lorenzo Rossi +1 more
2022Business Process Management Journal7 citations
Semantic Scholar
Electronic Government: 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Ida Lindgren, M. Janssen, Ha-Bin Lee, A. Polini +3 more
2019International Conference on Electronic Government7 citations Open access
Semantic Scholar
On Avoiding Erroneous Synchronization in BPMN Processes
F. Corradini, Fabrizio Fornari, Chiara Muzi, A. Polini +2 more
2017Business Information Systems5 citations
Semantic Scholar
A Flexible Approach to Multi-Party Business Process Execution on Blockchain
F. Corradini, A. Marcelletti, A. Morichetta, A. Polini +2 more
2022Social Science Research Network4 citations Open access
Semantic Scholar
Measurements of the Higgs boson inclusive and differential fiducial cross-sections in the diphoton decay channel with pp collisions at $$ \sqrt{s} $$ = 13 TeV with the ATLAS detector
G. Aad, B. Abbott, D. C. Abbott, A. A. Abud +496 more
2022Journal of High Energy Physics4 citations Open access
Semantic Scholar
Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method
Morena Barboni, Filippo Lampa, A. Morichetta, A. Polini +1 more
2025International Conference on Blockchain3 citations
Semantic Scholar
Mutant-Driven Test Generation for Ethereum Smart Contracts via LLMs
Morena Barboni, Filippo Lampa, A. Morichetta, A. Polini +1 more
2025International Conference on Artificial Intelligence Testing3 citations
Semantic Scholar
Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager
D. Herrera-Murillo, Héctor Ochoa-Ortiz, Umair Ahmed, F. J. López-Pellicer +3 more
2024AGILE Conf.3 citations Open access
Semantic Scholar