Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the popup-by-supsystic domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /dati/html/wordpress/pros/wp-includes/functions.php on line 6121
Publications – PROS

Publications

65 entries « 1 of 3 »

2024

Rossi, Lorenzo; Vandin, Andrea

Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation Book Section

In: ACM Conferences, pp. 131–132, Association for Computing Machinery, New York, NY, USA, 2024.

Links | BibTeX

Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A BPMN-Based Approach for IoT Systems Engineering Book Section

In: Fluidware, pp. 85–105, Springer, Cham, Switzerland, 2024, ISSN: 2199-1081.

Links | BibTeX

Pianini, Danilo; Re, Barbara; Rossi, Lorenzo; Zambonelli, Franco

Envisioning Unpredictability in Smart Environments Book Section

In: Fluidware, pp. 165–178, Springer, Cham, Switzerland, 2024, ISSN: 2199-1081.

Links | BibTeX

Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A Methodology for the Analysis of Robotic Systems via Process Mining Proceedings Article

In: Enterprise Design, Operations, and Computing, pp. 117–133, Springer, 2024.

BibTeX

Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A technique for discovering BPMN collaboration diagrams Journal Article

In: Software and Systems Modeling, pp. 1–21, 2024.

BibTeX

Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea

Formal Approaches for Modeling and Analysis of Business Process Collaborations Book Section

In: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, pp. 50–61, Springer, Cham, Switzerland, 2024, ISSN: 1611-3349.

Links | BibTeX

Corradini, Flavio; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

On the Interplay Between BPMN Collaborations and the Physical Environment Book Section

In: Business Process Management, pp. 93–110, Springer, 2024, ISSN: 1611-3349.

Links | BibTeX

Corradini, Flavio; Mozzoni, Luca; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

BEAR: BPMN and Environment AnimatoR Proceedings Article

In: BPM Demonstration Track, 2024.

BibTeX

2023

Barboni, Morena; Angelis, Guglielmo De; Morichetta, Andrea; Polini, Andrea

CATANA: Replay Testing for the Ethereum Blockchain Proceedings Article

In: Testing Software and Systems, pp. 257–265, 2023, ISBN: 978-3-031-43240-8.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea; Casoni, Francesco

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

In: Software Quality Journal, pp. 1–29, 2023.

Links | BibTeX

Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems Journal Article

In: Big Data and Cognitive Computing, vol. 7, no. 3, 2023.

BibTeX

Catervi, Tommaso; Cipolletta, Leonardo; Corradini, Flavio; Re, Barbara; Rondini, Matteo; Rossi, Lorenzo

PlayWithUnicam: An extensible platform for serious games Proceedings Article

In: EPiC, (Ed.): Society 5.0, pp. 33–40, 2023.

BibTeX

2022

Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A BPMN-driven framework for Multi-Robot System development Journal Article

In: Robotics and Autonomous Systems, vol. 160, pp. 104322, 2022, ISSN: 0921-8890.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

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

In: Journal of Systems and Software, vol. 193, 2022, ISSN: 0164-1212.

Links | BibTeX

Barboni, Morena; Casoni, Francesco; Morichetta, Andrea; Polini, Andrea

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts Proceedings Article

In: Quality of Information and Communications Technology, pp. 61–76, 2022, ISBN: 978-3-031-14179-9.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

Smart Contract Testing: Challenges and Opportunities Proceedings Article

In: Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 21–24, 2022, ISBN: 9781450393317.

Links | BibTeX

Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Formalising and animating multiple instances in BPMN collaborations Journal Article

In: Information System, vol. 103, pp. 101459, 2022.

Links | BibTeX

Corradini, Flavio; Polini, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Consistent modelling of hierarchical BPMN collaborations Journal Article

In: Business Process Management Journal, 2022.

BibTeX

Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A Technique for Collaboration Discovery Proceedings Article

In: Enterprise, Business-Process and Information Systems Modeling, pp. 63–78, Springer, 2022.

Links | BibTeX

Antinori, Alessandro; Coltrinari, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Scarpetta, Marco

BPMN-Redrawer: From Images to BPMN Models Proceedings Article

In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022), Münster, Germany, September 11th to 16th, 2022, pp. 107–111, CEUR-WS.org, 2022.

Links | BibTeX

Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara

X-IoT: a model-driven approach for cross-platform IoT applications development Proceedings Article

In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 1448–1451, ACM, 2022.

Links | BibTeX

Burattin, Ändrea; Re, Barbara; Rossi, Lorenzo; Tiezzi", Francesco

PURPLE: a PURPose-guided Log GEnerator Proceedings Article

In: Proceedings of the ICPM Doctoral Consortium and Demo Track 2022, CEUR-WS, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Ä Purpose-Guided Log Generation Framework" Proceedings Article

In: Business Process Management, pp. 181–198, Springer, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Ä Purpose-Guided Log Generation Framework" Proceedings Article

In: Business Process Management, Springer, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A Purpose-Guided Log Generation Framework Proceedings Article

In: Business Process Management, Springer, 2022.

BibTeX

65 entries « 1 of 3 »