Barbara Re

Orcid: 0000-0001-5374-2364

Affiliations:
  • University of Camerino, Italy


According to our database1, Barbara Re authored at least 101 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models.
Bus. Inf. Syst. Eng., February, 2024

2023
X-IoT: a model-driven approach to support IoT application portability across IoT platforms.
Computing, September, 2023

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development.
Softw. Syst. Model., February, 2023

A BPMN-driven framework for Multi-Robot System development.
Robotics Auton. Syst., February, 2023

A systematic literature review on IoT-aware business process modeling views, requirements and notations.
Softw. Syst. Model., 2023

A Flexible Approach to Multi-party Business Process Execution on Blockchain.
Future Gener. Comput. Syst., 2023

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.
Big Data Cogn. Comput., 2023

Enhancing compatibility in QoS communication for the Internet of Robotic Things.
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform.
Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

Design and Development of a Digital Twin Prototype for the SAFE Project.
Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

A Methodology for the Analysis of Robotic Systems via Process Mining.
Proceedings of the Enterprise Design, Operations, and Computing, 2023

BPMN Inspector: A Tool for Extracting Features from BPMN Models.
Proceedings of the Best Dissertation Award, 2023

2022
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
ACM Trans. Manag. Inf. Syst., 2022

BPMN 2.0 OR-Join Semantics: Global and local characterisation.
Inf. Syst., 2022

Formalising and animating multiple instances in BPMN collaborations.
Inf. Syst., 2022

Consistent modelling of hierarchical BPMN collaborations.
Bus. Process. Manag. J., 2022

Flexible execution of multi-party business processes on blockchain.
Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

X-IoT: a model-driven approach for cross-platform IoT applications development.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

A Choreography-Driven Approach for Blockchain-Based IoT Applications.
Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

PURPLE: a PURPose-guided Log GEnerator (Extended Abstract).
Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

DTMN a Modelling Notation for Digital Twins.
Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2022 Workshops, 2022

An Approach to Support Digital Process Twin.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Towards a Digital Twin Modelling Notation.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

A Technique for Collaboration Discovery.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
Proceedings of the Best Dissertation Award, 2022

A Purpose-Guided Log Generation Framework.
Proceedings of the Business Process Management - 20th International Conference, 2022

BPMN-Redrawer: From Images to BPMN Models.
Proceedings of the Best Dissertation Award, 2022

2021
A formal approach for the analysis of BPMN collaboration models.
J. Syst. Softw., 2021

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.
J. Log. Algebraic Methods Program., 2021

Disciplined use of BPMN for mission modeling of Multi-Robot Systems.
Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021) (PoEM 2021), 2021

FloWare: An Approach for IoT Support and Application Development.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

ChorChain: A model-driven framework for choreography-based systems using blockchain.
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories.
Proceedings of the Perspectives in Business Informatics Research, 2021

2020
Collaboration vs. choreography conformance in BPMN.
Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.
J. Syst. Softw., 2020

Process-oriented knowledge management and learning in public administrations.
Electron. Gov. an Int. J., 2020

Engineering trustable choreography-based systems using blockchain.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

PALM: A Technique for Process ALgebraic Specification Mining.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper).
Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), 2020

Verification of Privacy-Enhanced Collaborations.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.
Proceedings of the Business Process Management Workshops, 2020

2019
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

UBBA: Unity Based BPMN Animator.
Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
Proceedings of the Dissertation Award, 2019

Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Enabling Auditing of Smart Contracts Through Process Mining.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Case Studies for a New IoT Programming Paradigm: Fluidware.
Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018
A formal approach to modeling and verification of business process collaborations.
Sci. Comput. Program., 2018

Business process flexibility - a systematic literature review with a software systems perspective.
Inf. Syst. Frontiers, 2018

A Guidelines framework for understandable BPMN models.
Data Knowl. Eng., 2018

A Classification of BPMN Collaborations based on Safeness and Soundness Notions.
CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Runtime Computation of Optimal Offloading Scheduling.
Proceedings of the 6th IEEE International Conference on Mobile Cloud Computing, 2018

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Checking Business Process Correctness in Apromore.
Proceedings of the Information Systems in the Big Data Era, 2018

MIDA: Multiple Instances and Data Animator.
Proceedings of the Dissertation Award, 2018

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
Proceedings of the Business Process Management - 16th International Conference, 2018

2017
Private assisted house for smart living.
J. Ambient Intell. Smart Environ., 2017

BProVe: tool support for business process verification.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

Checking Business Process Modeling Guidelines in Apromore.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

On Avoiding Erroneous Synchronization in BPMN Processes.
Proceedings of the Business Information Systems - 20th International Conference, 2017

2016
webBPMN: A Language to Design Web Applications Regulated by Workflows.
Proceedings of the New Advances in Information Systems and Technologies, 2016

The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises.
Proceedings of the 2nd International Conference on Recent Trends and Applications in Computer Science and Information Technology, 2016

Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

Business Process Feature Model: An Approach to Deal with Variability of Business Processes.
Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

Modeling for Learning in Public Administrations - The Learn PAd Approach.
Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015
Inter-organizational business process verification in public administration.
Bus. Process. Manag. J., 2015

BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services.
Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

An Integration Platform for Private Assisted Houses.
Proceedings of the ICT4AgeingWell 2015, 2015

An Operational Semantics of BPMN Collaboration.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Process Variability Modeling for Complex Organizations.
Proceedings of the International Conference on Enterprise Systems, 2015

Extending Feature Models to Express Variability in Business Process Models.
Proceedings of the Advanced Information Systems Engineering Workshops, 2015

2014
Research challenges in business process adaptability.
Proceedings of the Symposium on Applied Computing, 2014

Interoperability issues among smart home technological frameworks.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

Five factors that make pervasive business intelligence a winning wager.
Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management, 2014

Modelling Process Intensive Scenarios for the Smart City.
Proceedings of the Electronic Government - 13th IFIP WG 8.5 International Conference, 2014

A cloud-based solution for public administrations: The experience of the Regione Marche.
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes.
Proceedings of the Business Process Management Workshops, 2014

2013
<i>HawkEye</i>: a tool for collaborative business process modelling and verification.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Digital Identity into Practice: The Case of UniCam.
Proceedings of the Technology-Enabled Innovation for Democracy, Government and Governance, 2013

A Collaborative Approach to Public Administrations Inter-organizational Business Processes Modelling.
Proceedings of the Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of IFIP EGOV and IFIP ePart 2013, 2013

2012
Formal Methods to Improve Public Administration Business Processes.
RAIRO Theor. Informatics Appl., 2012

Direct Verification of BPMN Processes through an Optimized Unfolding Technique.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Livelock and Deadlock Detection for PA Inter-organizational Business Processes.
Proceedings of the Advancing Democracy, Government and Governance, 2012

Improving PA Business Processes through Modeling, Analysis, and Reengineering.
Proceedings of the Electronic Government - 11th IFIP WG 8.5 International Conference, 2012

FedCohesion: Federated Identity Management in the Marche Region.
Proceedings of the Advancing Democracy, Government and Governance, 2012

2010
Business Processes Verification for e-Government Service Delivery.
Inf. Syst. Manag., 2010

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies.
Expert Syst. Appl., 2010

Internet Security: Now and in the Future.
Proceedings of the 2010 International Conference on Internet Computing, 2010

Designing Quality Business Processes for E-Government Digital Services.
Proceedings of the Electronic Government, 9th IFIP WG 8.5 International Conference, 2010

A System for Process Management for Emergency Teams: Idea, Approach, Governance.
Proceedings of the 2010 International Conference on E-Learning, 2010

2009
E-Commerce and E-Government: How Do They Compare? What Can They Learn from Each Other?
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.
Proceedings of the 2009 International Conference on E-Learning, 2009

2008
Quality of service in e-government underlines the role of information usability.
Int. J. Inf. Qual., 2008

2007
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal.
Proceedings of the Electronic Government, 6th International Conference, 2007

2006
Quality evaluation of e-Government digital services.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

2004
An agent-based matchmaker.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004


  Loading...