Barbara Re

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 70

Top Venues

Publications

Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. Bus. Inf. Syst. Eng. 66 (1) (2024)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re
A Data Extraction Methodology for Ethereum Smart Contracts. PerCom Workshops (2024)
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. EDOC Workshops (2023)
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)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
BPMN Inspector: A Tool for Extracting Features from BPMN Models. BPM (Demos / Resources Forum) (2023)
Massimo Callisto De Donato, Flavio Corradini, Fabrizio Fornari, Barbara Re, Matteo Romagnoli
Design and Development of a Digital Twin Prototype for the SAFE Project. EDOC Workshops (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160 (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)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. Big Data Cogn. Comput. 7 (3) (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, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Methodology for the Analysis of Robotic Systems via Process Mining. EDOC (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, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) (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)
Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta
BPMN-Redrawer: From Images to BPMN Models. BPM (PhD/Demos) (2022)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech (2022)
Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE (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, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103 (2022)
Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech (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)
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Purpose-Guided Log Generation Framework. BPM (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)
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). ICPM Doctoral Consortium / Demo (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105 (2022)
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)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR (2021)
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119 (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)
Khalid Burr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) (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)
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
PALM: A Technique for Process ALgebraic Specification Mining. IFM (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)
Alessandro Marcelletti, Barbara Re
FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper). PoEM Workshops (2020)
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE (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)
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems (2019)
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. PerCom Workshops (2019)
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)
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case Studies for a New IoT Programming Paradigm: Fluidware. AI&IoT@AI*IA (2019)
Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
UBBA: Unity Based BPMN Animator. CAiSE Forum (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)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM (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)
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) (2018)
Andrea Morichetta, Barbara Re, Francesco Tiezzi
Runtime Computation of Optimal Offloading Scheduling. MobileCloud (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)
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
Private assisted house for smart living. J. Ambient Intell. Smart Environ. 9 (6) (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)
Alessandro Bettacchi, Alberto Polzonetti, Barbara Re
Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario. CAiSE Workshops (2016)
Riccardo Cognini, Michelangelo Marani, Alberto Polzonetti, Barbara Re
webBPMN: A Language to Design Web Applications Regulated by Workflows. WorldCIST (1) (2016)
Flavio Corradini, Barbara Re
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. RTA-CSIT (2016)
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)
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)
Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas
An Integration Platform for Private Assisted Houses. ICT4AgeingWell (2015)
Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re
Five factors that make pervasive business intelligence a winning wager. IEEM (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)
Daniele Spiga, Gian Mario Bilei, Hassen Riahi, Loriano Storchi, Enrico Fattibene, Matteo Manzali, Davide Salomoni, Valerio Venturi, Paolo Veronesi, Claudia Diamantini, Domenico Potena, Laura Raffaeli, Livio Fani, Andrea Valentini, Damiano Falcioni, Daniele Fanì, Barbara Re, Cinzia Amici, Serenella Carota, Francesco Cirillo
A cloud-based solution for public administrations: The experience of the Regione Marche. CTS (2014)
Lorena Rossi, Alberto Belli, Adelmo De Santis, Claudia Diamantini, Emanuele Frontoni, Ennio Gambi, Lorenzo Palma, Luca Pernini, Paola Pierleoni, Domenico Potena, Laura Raffaeli, Susanna Spinsante, Primo Zingaretti, Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Francesco De Angelis, Emanuela Merelli, Barbara Re
Interoperability issues among smart home technological frameworks. MESA (2014)
Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
Modelling Process Intensive Scenarios for the Smart City. EGOV (2014)
Damiano Falcioni, Fabrizio Ippoliti, Fausto Marcantoni, Barbara Re
Digital Identity into Practice: The Case of UniCam. EGOVIS/EDEM (2013)
Riccardo Cognini, Damiano Falcioni, Alberto Polzonetti, Barbara Re
A Collaborative Approach to Public Administrations Inter-organizational Business Processes Modelling. EGOV/ePart Ongoing Research (2013)
Riccardo Cognini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
: a tool for collaborative business process modelling and verification. SAC (2013)
Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Direct Verification of BPMN Processes through an Optimized Unfolding Technique. QSIC (2012)
Serenella Carota, Flavio Corradini, Damiano Falcioni, Maria Laura Maggiulli, Fausto Marcantoni, Roberto Piangerelli, Alberto Polzonetti, Barbara Re, Andrea Sergiacomi
FedCohesion: Federated Identity Management in the Marche Region. EGOVIS/EDEM (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)
Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
Designing Quality Business Processes for E-Government Digital Services. EGOV (2010)
Francesco De Angelis, Roberto Gagliardi, Barbara Re, Alberto Polzonetti
Internet Security: Now and in the Future. International Conference on Internet Computing (2010)
Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. Expert Syst. Appl. 37 (5) (2010)
Francesco De Angelis, Fausto Marcantoni, Barbara Re, Alberto Polzonetti
A System for Process Management for Emergency Teams: Idea, Approach, Governance. CSREA EEE (2010)
Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re
Business Processes Verification for e-Government Service Delivery. Inf. Syst. Manag. 27 (4) (2010)
Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. CSREA EE (2009)
Hans Jochen Scholl, Karine Barzilai-Nahon, Jin-Hyuk Ahn, Olga H. Popova, Barbara Re
E-Commerce and E-Government: How Do They Compare? What Can They Learn from Each Other? HICSS (2009)
Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei
Quality of service in e-government underlines the role of information usability. Int. J. Inf. Qual. 2 (2) (2008)
Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. EGOV (2007)
Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re
Quality evaluation of e-Government digital services. DG.O (2006)

Barbara Re.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barbara Re