[go: up one dir, main page]

Follow
Barbara Re
Barbara Re
Verified email at unicam.it
Title
Cited by
Cited by
Year
A guidelines framework for understandable BPMN models
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo
Data & Knowledge Engineering 113, 129-154, 2018
1582018
E-Commerce and e-Government: How do they Compare? what can they Learn from each Other?
HJ Scholl, K Barzilai-Nahon, JH Ann, OH Popova, B Re
2009 42nd Hawaii International Conference on System Sciences, 1-10, 2009
1322009
Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda
B Van Loenen, C Casiano Flores, I Mulder, FJ Lopez-Pellicer, B Re, ...
eJournal of eDemocracy and Open Government, 2021
822021
A formal approach for the analysis of BPMN collaboration models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
Journal of Systems and Software 180, 111007, 2021
762021
Business process flexibility-a systematic literature review with a software systems perspective
R Cognini, F Corradini, S Gnesi, A Polini, B Re
Information Systems Frontiers 20 (2), 343-371, 2018
762018
A formal approach to modeling and verification of business process collaborations
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Science of Computer Programming 166, 35-70, 2018
662018
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies
LMÁ Sabucedo, LEA Rifón, F Corradini, A Polzonetti, B Re
Expert Systems with Applications 37 (5), 3647-3656, 2010
542010
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
532021
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
512022
A systematic literature review on IoT-aware business process modeling views, requirements and notations
I Compagnucci, F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Software and Systems Modeling 22 (3), 969-1004, 2023
502023
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
502020
BProVe: a formal verification framework for business process models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
502017
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models: I. Compagnucci et al.
I Compagnucci, F Corradini, F Fornari, B Re
Business & Information Systems Engineering 66 (1), 43-66, 2024
462024
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
452019
A flexible approach to multi-party business process execution on blockchain
F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi
Future Generation Computer Systems 147, 219-234, 2023
422023
Interoperability issues among smart home technological frameworks
L Rossi, A Belli, A De Santis, C Diamantini, E Frontoni, E Gambi, L Palma, ...
2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded …, 2014
402014
Trends on the usage of BPMN 2.0 from publicly available repositories
I Compagnucci, F Corradini, F Fornari, B Re
International Conference on Business Informatics Research, 84-99, 2021
382021
A BPMN-driven framework for Multi-Robot System development
F Corradini, S Pettinari, B Re, L Rossi, F Tiezzi
Robotics and Autonomous Systems 160, 104322, 2023
372023
Animating multiple instances in BPMN collaborations: from formal semantics to tool support
F Corradini, C Muzi, B Re, L Rossi, F Tiezzi
International Conference on Business Process Management, 83-101, 2018
352018
Formalising and animating multiple instances in BPMN collaborations
F Corradini, C Muzi, B Re, L Rossi, F Tiezzi
Information Systems 103, 101459, 2022
342022
The system can't perform the operation now. Try again later.
Articles 1–20