| The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015 | 76 | 2015 |
| Engineering trustable choreography-based systems using blockchain F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi Proceedings of the 35th annual ACM symposium on applied computing, 1470-1479, 2020 | 38 | 2020 |
| Model-driven engineering for multi-party business processes on multiple blockchains F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, E Scala, F Tiezzi Blockchain: Research and Applications 2 (3), 100018, 2021 | 32 | 2021 |
| Enabling auditing of smart contracts through process mining F Corradini, F Marcantoni, A Morichetta, A Polini, B Re, M Sampaolo From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 31 | 2019 |
| Engineering trustable and auditable choreography-based systems using blockchain F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi ACM Transactions on Management Information Systems (TMIS) 13 (3), 1-53, 2022 | 29 | 2022 |
| Decision support for mobile cloud computing applications via model checking L Aceto, A Morichetta, F Tiezzi 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services …, 2015 | 29 | 2015 |
| Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice F Corradini, A Morichetta, A Polini, B Re, F Tiezzi 2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018 | 24 | 2018 |
| Sumo: A mutation testing strategy for solidity smart contracts M Barboni, A Morichetta, A Polini 2021 IEEE/ACM International Conference on Automation of Software Test (AST …, 2021 | 21 | 2021 |
| Correctness checking for BPMN collaborations with sub-processes F Corradini, A Morichetta, A Polini, B Re, L Rossi, F Tiezzi Journal of Systems and Software 166, 110594, 2020 | 18 | 2020 |
| Programming and verifying component ensembles R De Nicola, A Lluch Lafuente, M Loreti, A Morichetta, R Pugliese, ... From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014 | 17 | 2014 |
| Adequate monitoring of service compositions A Bertolino, E Marchetti, A Morichetta Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 13 | 2013 |
| Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations F Corradini, A Morichetta, C Muzi, B Re, F Tiezzi Journal of Logical and Algebraic Methods in Programming 119, 100630, 2021 | 12 | 2021 |
| A cost/reward method for optimal infinite scheduling in mobile cloud computing L Aceto, KG Larsen, A Morichetta, F Tiezzi Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 12 | 2016 |
| SuMo: A mutation testing approach and tool for the Ethereum blockchain M Barboni, A Morichetta, A Polini Journal of Systems and Software 193, 111445, 2022 | 11 | 2022 |
| Smart contract testing: challenges and opportunities M Barboni, A Morichetta, A Polini Proceedings of the 5th International Workshop on Emerging Trends in Software …, 2022 | 11 | 2022 |
| Walking through the semantics of exclusive and event-based gateways in BPMN choreographies F Corradini, A Morichetta, B Re, F Tiezzi The Art of Modelling Computational Systems: A Journey from Logic and …, 2019 | 8 | 2019 |
| Collaboration vs. choreography conformance in BPMN F Corradini, A Morichetta, A Polini, B Re, F Tiezzi Logical Methods in Computer Science 16, 2020 | 5 | 2020 |
| Resumo: Regression mutation testing for solidity smart contracts M Barboni, F Casoni, A Morichetta, A Polini International Conference on the Quality of Information and Communications …, 2022 | 4 | 2022 |
| A choreography-driven approach for blockchain-based IoT applications F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi 2022 IEEE International Conference on Pervasive Computing and Communications …, 2022 | 4 | 2022 |
| ChorChain: A model-driven framework for choreography-based systems using blockchain. F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi ITBPM@ BPM, 26-32, 2021 | 4 | 2021 |
