A methodology for extracting and decoding smart contracts data.

Andrea Morichetta 0001 University of Camerino, Italy https://scholar.google.com/citations?user=al1kU6YAAAAJ https://scholar.google.com/citations?user=Pto3IrMAAAAJ https://orcid.org/0000-0003-1738-9043 https://www.wikidata.org/entity/Q123909780 Andrea Morichetta Andrea Morichetta 0002 TU Wien, Vienna, Austria Politecnico di Torino, Italy https://orcid.org/0000-0003-3765-3067 https://ieeexplore.ieee.org/author/37085389047

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A methodology for extracting and decoding smart contracts data. 108204 2025 240 Comput. Commun. https://doi.org/10.1016/j.comcom.2025.108204 db/journals/comcom/comcom240.html#CorradiniMMR25 streams/journals/comcom

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. 11:1-11:21 2025 June 4 Distributed Ledger Technol. Res. Pract. 2 https://doi.org/10.1145/3637555 https://www.wikidata.org/entity/Q130819181 db/journals/distribledger/distribledger4.html#CorradiniMMPRT25 streams/journals/distribledger

Andrea Morichetta 0001 Yuri Paoloni Barbara Re 0001 Event log extraction methodology for Ethereum applications. 107566 2025 164 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2024.107566 https://www.wikidata.org/entity/Q132190962 db/journals/fgcs/fgcs164.html#MorichettaPR25 streams/journals/fgcs

Morena Barboni Guglielmo De Angelis Andrea Morichetta 0001 Andrea Polini Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts. 19:1-19:30 2025 August 25 ACM Trans. Internet Techn. 3 https://doi.org/10.1145/3737699 db/journals/toit/toit25.html#BarboniAMP25 streams/journals/toit

Caterina Luciani Luigi Bucchicchio Andrea Morichetta 0001 Marco Piangerelli Andrea Polini ReACMe: Repetition Aware Clustering Methodology for Business Process Log Collections. 219-237 2025 BIR https://doi.org/10.1007/978-3-032-04375-7_14 conf/bir/2025 db/conf/bir/bir2025.html#LucianiB0PP25 Morena Barboni Filippo Lampa Andrea Morichetta 0001 Andrea Polini Optimizing Smart Contract Testing via Neural-MCTS Test Prioritization. 19-36 2025 BlockTEA https://doi.org/10.1007/978-3-032-12335-0_2 conf/blocktea/2025 db/conf/blocktea/blocktea2025.html#BarboniL0P25 Alessandro Marcelletti Leonardo Migliorelli Andrea Morichetta 0001 PolyIDns: A Blockchain-Based Solution for Decentralized Domain Management. 157-173 2025 BlockTEA https://doi.org/10.1007/978-3-032-12335-0_10 conf/blocktea/2025 db/conf/blocktea/blocktea2025.html#MarcellettiM025 Flavio Corradini Lorenzo Luzi Fausto Marcantoni Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A Framework for Supporting Decentralised Applications Analysis. 197-213 2025 BlockTEA https://doi.org/10.1007/978-3-032-12335-0_12 conf/blocktea/2025 db/conf/blocktea/blocktea2025.html#CorradiniLMM0025 Francesco Donini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership. 2025 DLT https://ceur-ws.org/Vol-4105/paper07.pdf conf/dlt2/2025 db/conf/dlt2/dlt2025.html#DoniniMMP25 streams/conf/dlt2 Nawaz Abdullah Malla Alessandro Marcelletti Andrea Morichetta 0001 Francesco Tiezzi 0001 An Algorand-based Approach for Flexible Execution of BPMN Choreographies. 2025 DLT https://ceur-ws.org/Vol-4105/paper03.pdf conf/dlt2/2025 db/conf/dlt2/dlt2025.html#MallaMMT25 streams/conf/dlt2 Sikandar Ali Roberto Ciccocioppo Massimo Ubaldi Andrea Morichetta 0001 Matteo Piersantelli Enhancing Research Data Integrity Through Blockchain: Design and Implementation of a Web Based Management System. 19-24 2025 FedCSIS (Communication Papers) https://doi.org/10.15439/2025F3484 conf/fedcsis/2025c db/conf/fedcsis/fedcsis2025c.html#AliCU0P25 Morena Barboni Filippo Lampa Andrea Morichetta 0001 Andrea Polini Edward Zulkoski Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method. 1-5 2025 ICBC https://doi.org/10.1109/ICBC64466.2025.11114643 conf/icbc2/2025 db/conf/icbc2/icbc2025.html#BarboniLMPZ25 streams/conf/icbc2 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Looseness for Choreography-based Software Architectures on Blockchain. 1759-1761 2025 SAC https://doi.org/10.1145/3672608.3707865 conf/sac/2025 db/conf/sac/sac2025.html#CorradiniM0P0025

Anders Flodström Robert Andrei Buchmann Andrea Morichetta 0001 CSIMQ Anniversary Editor-in-Chief Thoughts and Editorial Introduction to Issue 38: Model-based and Decision Support Methods for Next-generation Information Systems. I-III 2024 38 Complex Syst. Informatics Model. Q. https://doi.org/10.7250/csimq.2024-38.00 db/journals/csimq/csimq38.html#FlodstromBM24

Tommaso Cippitelli Alessandro Marcelletti Andrea Morichetta 0001 ChorSSI: A Model-Driven Framework for Self-Sovereign Identity Systems on Blockchain. 2024 19 Enterp. Model. Inf. Syst. Archit. https://doi.org/10.18417/emisa.19.9 db/journals/emisaij/emisaij19.html#CippitelliMM24 streams/journals/emisaij

Morena Barboni Andrea Morichetta 0001 Andrea Polini Francesco Casoni ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. 225-253 2024 March 32 Softw. Qual. J. 1 https://doi.org/10.1007/s11219-023-09637-1 https://www.wikidata.org/entity/Q122726382 db/journals/sqj/sqj32.html#BarboniMPC24

Nawaz Abdullah Malla Alessandro Marcelletti Andrea Morichetta 0001 Francesco Tiezzi 0001 Unveiling Algorand Storage Peculiarities. 2024 DLT https://ceur-ws.org/Vol-3791/paper28.pdf conf/dlt2/2024 db/conf/dlt2/dlt2024.html#MallaM0024 Sebastian Banescu Morena Barboni Andrea Morichetta 0001 Andrea Polini Edward Zulkoski Enhanced mutation testing of smart contracts in support of code inspection. 558-566 2024 ICBC https://doi.org/10.1109/ICBC59979.2024.10634403 conf/icbc2/2024 db/conf/icbc2/icbc2024.html#BanescuB0PZ24 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A Data Extraction Methodology for Ethereum Smart Contracts. 524-529 2024 PerCom Workshops https://doi.org/10.1109/PerComWorkshops59983.2024.10502604 conf/percom/2024w db/conf/percom/percomw2024.html#CorradiniMMR24 Morena Barboni Andrea Morichetta 0001 Andrea Polini Sebastian Banescu Edward Zulkoski Mutation Testing of Smart Contracts As a Service. 93-109 2024 QUATIC https://doi.org/10.1007/978-3-031-70245-7_7 https://www.wikidata.org/entity/Q131059465 conf/quatic/2024 db/conf/quatic/quatic2024.html#Barboni0PBZ24 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 Luca Ruschioni A Digital Twin Approach for Blockchain Smart Contracts. 1-11 2024 SANER (Companion) https://doi.org/10.1109/SANER-C62648.2024.00007 conf/wcre/2024c db/conf/wcre/saner2024c.html#CorradiniMMRR24 streams/conf/wcre Tiago Prince Sales David Aveiro Henderik A. Proper Petra Maria Asprion Alessandro Marcelletti Andrea Morichetta 0001 Bettina Schneider Philipp Zech Vinay Kulkarni 0001 Ruth Breu Souvik Barat Geert Poels Jonas Van Riel Rodrigo Fernandes Calhau Dominik Bork Mark Mulder Sybren de Kinderen Sérgio Guerreiro 0001 Cristine Griffo Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28 - December 01, 2023. PoEM Companion CEUR-WS.org 2024 CEUR Workshop Proceedings 3645 https://ceur-ws.org/Vol-3645 https://nbn-resolving.org/urn:nbn:de:0074-3645-7 db/conf/ifip8-1/poem2023c.html

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A Flexible Approach to Multi-party Business Process Execution on Blockchain. 219-234 2023 147 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2023.05.006 https://www.wikidata.org/entity/Q120908450 db/journals/fgcs/fgcs147.html#CorradiniM0P0023

Flavio Corradini Caterina Luciani Andrea Morichetta 0001 Marco Piangerelli Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift. 31-44 2023 BIR https://doi.org/10.1007/978-3-031-43126-5_3 https://www.wikidata.org/entity/Q124300558 conf/bir/2023 db/conf/bir/bir2023.html#CorradiniL0P23 Tommaso Cippitelli Alessandro Marcelletti Andrea Morichetta 0001 ChorSSI: A BPMN-Based Execution Framework for Self-Sovereign Identity Systems on Blockchain. 5-20 2023 BPM (Blockchain and RPA Forum) https://doi.org/10.1007/978-3-031-43433-4_1 conf/bpm/2023bc db/conf/bpm/bpm2023bc.html#CippitelliM023 Morena Barboni Guglielmo De Angelis Andrea Morichetta 0001 Andrea Polini CATANA: Replay Testing for the Ethereum Blockchain. 257-265 2023 ICTSS https://doi.org/10.1007/978-3-031-43240-8_17 https://www.wikidata.org/entity/Q124293054 conf/pts/2023 db/conf/pts/ictss2023.html#BarboniAMP23 Francesco Donini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. 245-248 2023 SAC https://doi.org/10.1145/3555776.3577826 https://www.wikidata.org/entity/Q123915867 conf/sac/2023 db/conf/sac/sac2023.html#DoniniM0P23 Andrea Morichetta 0001 Robert Andrei Buchmann Kurt Sandkuhl Ulf Seigerroth Marite Kirikova Charles Møller Anne Gutschmidt Ana-Maria Ghiran Alessandro Marcelletti Barbara Re 0001 Björn Johansson 0002 Joint Proceedings of the BIR 2023 Workshops and Doctoral Consortium co-located with 22nd International Conference on Perspectives in Business Informatics Research (BIR 2023), Ascoli Piceno, Italy, September 13-15, 2023. BIR Workshops CEUR-WS.org 2023 CEUR Workshop Proceedings 3514 https://ceur-ws.org/Vol-3514 https://nbn-resolving.org/urn:nbn:de:0074-3514-0 db/conf/bir/bir2023w.html

Morena Barboni Andrea Morichetta 0001 Andrea Polini SuMo: A mutation testing approach and tool for the Ethereum blockchain. 111445 2022 193 J. Syst. Softw. https://doi.org/10.1016/j.jss.2022.111445 https://www.wikidata.org/entity/Q113869705 db/journals/jss/jss193.html#BarboniMP22

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. 31:1-31:53 2022 13 ACM Trans. Manag. Inf. Syst. 3 https://doi.org/10.1145/3505225 https://www.wikidata.org/entity/Q123915874 db/journals/tmis/tmis13.html#CorradiniMMPRT22

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. 132-136 2022 BPM (PhD/Demos) https://ceur-ws.org/Vol-3216/paper_254.pdf conf/bpm/2022d db/conf/bpm/bpmd2022.html#CorradiniM0P0022 Flavio Corradini Caterina Luciani Andrea Morichetta 0001 Marco Piangerelli Andrea Polini Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). 2022 EGOV-CeDEM-ePart-* https://ceur-ws.org/Vol-3399/paper22.pdf conf/egov/2022w db/conf/egov/egov2022w.html#CorradiniL0PP22 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A Choreography-Driven Approach for Blockchain-Based IoT Applications. 255-260 2022 PerCom Workshops https://doi.org/10.1109/PerComWorkshops53856.2022.9767513 https://www.wikidata.org/entity/Q123915873 conf/percom/2022w db/conf/percom/percomw2022.html#CorradiniMMPRT22 Morena Barboni Francesco Casoni Andrea Morichetta 0001 Andrea Polini ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. 61-76 2022 QUATIC https://doi.org/10.1007/978-3-031-14179-9_5 https://www.wikidata.org/entity/Q124293055 conf/quatic/2022 db/conf/quatic/quatic2022.html#BarboniC0P22 Morena Barboni Andrea Morichetta 0001 Andrea Polini Smart contract testing: challenges and opportunities. 21-24 2022 WETSEB@ICSE https://doi.org/10.1145/3528226.3528370 https://www.wikidata.org/entity/Q124293057 conf/wetseb-ws/2022 db/conf/wetseb-ws/wetseb-ws2022.html#Barboni0P22 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Flexible execution of multi-party business processes on blockchain. 25-32 2022 WETSEB@ICSE https://doi.org/10.1145/3528226.3528369 https://www.wikidata.org/entity/Q123915875 conf/wetseb-ws/2022 db/conf/wetseb-ws/wetseb-ws2022.html#CorradiniM0P0022 Dominik Bork Souvik Barat Petra Maria Asprion Alessandro Marcelletti Andrea Morichetta 0001 Bettina Schneider Vinay Kulkarni 0001 Ruth Breu Philipp Zech Proceedings of the PoEM 2022 Workshops and Models at Work co-located with Practice of Enterprise Modelling 2022, London, United Kingdom, November 23-25, 2022. PoEM Workshops CEUR-WS.org 2022 CEUR Workshop Proceedings 3298 https://ceur-ws.org/Vol-3298 https://nbn-resolving.org/urn:nbn:de:0074-3298-7 db/conf/ifip8-1/poem2022w.html

Flavio Corradini Andrea Morichetta 0001 Chiara Muzi Barbara Re 0001 Francesco Tiezzi 0001 Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. 100630 2021 119 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2020.100630 https://www.wikidata.org/entity/Q123763099 db/journals/jlap/jlap119.html#CorradiniMMRT21

Morena Barboni Andrea Morichetta 0001 Andrea Polini SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. 50-59 2021 AST https://doi.org/10.1109/AST52587.2021.00014 https://www.wikidata.org/entity/Q124293058 conf/ast/2021 db/conf/ast/ast2021.html#Barboni0P21 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 ChorChain: A model-driven framework for choreography-based systems using blockchain. 26-32 2021 ITBPM@BPM https://ceur-ws.org/Vol-2952/paper_294a.pdf conf/bpm/2021itbpm db/conf/bpm/itbpm2021.html#CorradiniM0P0021 Flavio Corradini Caterina Luciani Andrea Morichetta 0001 Marco Piangerelli Andrea Polini TLV-diss<sub>γ </sub>: A Dissimilarity Measure for Public Administration Process Logs. 301-314 2021 EGOV https://doi.org/10.1007/978-3-030-84789-0_22 https://www.wikidata.org/entity/Q123763129 conf/egov/2021 db/conf/egov/egov2021.html#CorradiniLMPP21 Flavio Corradini Caterina Luciani Andrea Morichetta 0001 Andrea Polini Process Variance Analysis and Configuration in the Public Administration Sector. 103-112 2021 RTA-CSIT https://ceur-ws.org/Vol-2872/paper14.pdf conf/rtacsit/2021 db/conf/rtacsit/rtacsit2021.html#CorradiniL0P21 Peter Forbrig Knut Hinkelmann Marite Kirikova Birger Lantow Charles Møller Andrea Morichetta 0001 Pierluigi Plebani Barbara Re 0001 Kurt Sandkuhl Ulf Seigerroth Joint Proceedings of the BIR 2021 Workshops and Doctoral Consortium co-located with 20th International Conference on Perspectives in Business Informatics Research (BIR 2021), Vienna, Austria, September 22-24, 2021. BIR Workshops CEUR-WS.org CEUR Workshop Proceedings 2991 2021 https://ceur-ws.org/Vol-2991 https://nbn-resolving.org/urn:nbn:de:0074-2991-7 db/conf/bir/bir2021w.html Beatriz Marín Yves Wautelet Samedi Heng Saïd Assar Petra Maria Asprion Andrea Morichetta 0001 Proceedings of workshops co-organized with the 14th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2021), Online, originally held in Riga, Latvia, November 24, 2021 PoEM Workshops CEUR-WS.org CEUR Workshop Proceedings 3031 2021 https://ceur-ws.org/Vol-3031 https://nbn-resolving.org/urn:nbn:de:0074-3031-0 db/conf/ifip8-1/poem2021w.html

Morena Barboni Andrea Morichetta 0001 Andrea Polini SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. 2021 abs/2105.03626 CoRR https://arxiv.org/abs/2105.03626 db/journals/corr/corr2105.html#abs-2105-03626

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Correctness checking for BPMN collaborations with sub-processes. 110594 2020 166 J. Syst. Softw. https://doi.org/10.1016/j.jss.2020.110594 https://www.wikidata.org/entity/Q123763130 db/journals/jss/jss166.html#CorradiniMPRRT20

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. choreography conformance in BPMN. 2020 16 Log. Methods Comput. Sci. 4 https://lmcs.episciences.org/6861 db/journals/lmcs/lmcs16.html#CorradiniMPRT20

Flávio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Engineering trustable choreography-based systems using blockchain. 1470-1479 2020 SAC https://doi.org/10.1145/3341105.3373988 https://www.wikidata.org/entity/Q123915876 conf/sac/2020 db/conf/sac/sac2020.html#CorradiniMMPRT20 Petra Maria Asprion Signe Balina Peter Forbrig Janis Kampars Marite Kirikova Charles Møller Andrea Morichetta 0001 Ben Roelens Kurt Sandkuhl Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), On-line (originally located in Riga, Latvia), November 26, 2020. PoEM Workshops CEUR-WS.org CEUR Workshop Proceedings 2749 2020 https://ceur-ws.org/Vol-2749 https://nbn-resolving.org/urn:nbn:de:0074-2749-5 db/conf/ifip8-1/poem2020w.html

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. choreography conformance in BPMN. 2020 abs/2002.04396 CoRR https://arxiv.org/abs/2002.04396 db/journals/corr/corr2002.html#abs-2002-04396

Flavio Corradini Andrea Morichetta 0001 Barbara Re 0001 Francesco Tiezzi 0001 Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. 163-181 2019 The Art of Modelling Computational Systems https://doi.org/10.1007/978-3-030-31175-9_10 conf/birthday/2019palamidessi db/conf/birthday/palamidessi2019.html#Corradini00T19 Flavio Corradini Fausto Marcantoni Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Massimiliano Sampaolo Enabling Auditing of Smart Contracts Through Process Mining. 467-480 2019 From Software Engineering to Formal Methods and Tools, and Back https://doi.org/10.1007/978-3-030-30985-5_27 https://www.wikidata.org/entity/Q123763135 conf/birthday/2019gnesi db/conf/birthday/gnesi2019.html#CorradiniM0P0S19 Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. 95-104 2018 EDOC https://doi.org/10.1109/EDOC.2018.00022 https://doi.ieeecomputersociety.org/10.1109/EDOC.2018.00022 conf/edoc/2018 db/conf/edoc/edoc2018.html#Corradini0P0T18 Andrea Morichetta 0001 Barbara Re 0001 Francesco Tiezzi 0001 Runtime Computation of Optimal Offloading Scheduling. 73-78 2018 MobileCloud https://doi.org/10.1109/MobileCloud.2018.00019 https://doi.ieeecomputersociety.org/10.1109/MobileCloud.2018.00019 conf/mobilecloud/2018 db/conf/mobilecloud/mobilecloud2018.html#Morichetta0T18 Luca Aceto Kim G. Larsen Andrea Morichetta 0001 Francesco Tiezzi 0001 A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. 66-85 2015 FACS https://doi.org/10.1007/978-3-319-28934-2_4 conf/facs2/2015 db/conf/facs2/facs2015.html#AcetoLMT15 Luca Aceto Andrea Morichetta 0001 Francesco Tiezzi 0001 Decision Support for Mobile Cloud Computing Applications via Model Checking. 199-204 2015 MobileCloud https://doi.org/10.1109/MobileCloud.2015.21 https://doi.ieeecomputersociety.org/10.1109/MobileCloud.2015.21 conf/mobilecloud/2015 db/conf/mobilecloud/mobilecloud2015.html#AcetoMT15 Rocco De Nicola Diego Latella Alberto Lluch-Lafuente Michele Loreti Andrea Margheri Mieke Massink Andrea Morichetta 0001 Rosario Pugliese Francesco Tiezzi 0001 Andrea Vandin The SCEL Language: Design, Implementation, Verification. 3-71 2015 The ASCENS Approach https://doi.org/10.1007/978-3-319-16310-9_1 https://www.wikidata.org/entity/Q56494471 series/lncs/8998 db/series/lncs/lncs8998.html#NicolaLLLMMMPTV15 Rocco De Nicola Alberto Lluch-Lafuente Michele Loreti Andrea Morichetta 0001 Rosario Pugliese Valerio Senni Francesco Tiezzi 0001 Programming and Verifying Component Ensembles. 69-83 2014 FPS@ETAPS https://doi.org/10.1007/978-3-642-54848-2_5 https://www.wikidata.org/entity/Q56497690 conf/etaps/2014fps db/conf/etaps/fps2014.html#NicolaLLMPST14 Antonia Bertolino Eda Marchetti Andrea Morichetta 0001 Adequate monitoring of service compositions. 59-69 2013 ESEC/SIGSOFT FSE https://doi.org/10.1145/2491411.2491441 https://www.wikidata.org/entity/Q124302205 conf/sigsoft/2013 db/conf/sigsoft/fse2013.html#BertolinoMM13 Luca Aceto Sikandar Ali Guglielmo De Angelis Petra Maria Asprion Saïd Assar David Aveiro Signe Balina Sebastian Banescu Souvik Barat Morena Barboni Antonia Bertolino Dominik Bork Ruth Breu Luigi Bucchicchio Robert Andrei Buchmann Rodrigo Fernandes Calhau Francesco Casoni Roberto Ciccocioppo Tommaso Cippitelli Flavio CorradiniFlávio Corradini Francesco Donini Anders Flodström Peter Forbrig Ana-Maria Ghiran Cristine Griffo Sérgio Guerreiro 0001 Anne Gutschmidt Samedi Heng Knut Hinkelmann Björn Johansson 0002 Janis Kampars Sybren de Kinderen Marite Kirikova Vinay Kulkarni 0001 Filippo Lampa Birger Lantow Kim G. Larsen Diego Latella Alberto Lluch-Lafuente Michele Loreti Caterina Luciani Lorenzo Luzi Nawaz Abdullah Malla Fausto Marcantoni Alessandro Marcelletti Eda Marchetti Andrea Margheri Beatriz Marín Mieke Massink Leonardo Migliorelli Charles Møller Mark Mulder Chiara Muzi Rocco De Nicola Yuri Paoloni Marco Piangerelli Matteo Piersantelli Pierluigi Plebani Geert Poels Andrea Polini Henderik Alex ProperHenderik A. Proper Rosario Pugliese Barbara Re 0001 Jonas Van Riel Ben Roelens Lorenzo Rossi 0001 Luca Ruschioni Tiago Prince Sales Massimiliano Sampaolo Kurt Sandkuhl Bettina Schneider Ulf Seigerroth Valerio Senni Francesco Tiezzi 0001 Massimo Ubaldi Andrea Vandin Yves Wautelet Philipp Zech Edward Zulkoski