Abel Armas-Cervantes

According to our database, Abel Armas-Cervantes authored at least 26 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Visualising Healthcare Process Variability.

Hunter Chen Chen, Abel Armas-Cervantes, Vickie Irving, Brian Dorricott, Daniel Capurro

Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

2022

Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach.

Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa

IEEE Trans. Knowl. Data Eng., 2022

Generalization in Automated Process Discovery: A Framework based on Event Log Patterns.

Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

CoRR, 2022

Discovering Unseen Behaviour from Event Logs.

Abel Armas-Cervantes, Farbod Taymouri

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2020

Scalable alignment of process models and event logs: An approach based on automata and S-components.

Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa

Inf. Syst., 2020

Efficient Conformance Checking using Alignment Computation with Tandem Repeats.

Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

CoRR, 2020

Efficient conditional compliance checking of business process models.

Heerko Groefsema, N. R. T. P. van Beest, Abel Armas-Cervantes

Comput. Ind., 2020

2019

Process Model Repair.

Abel Armas-Cervantes

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Local Concurrency Detection in Business Process Event Logs.

Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji

ACM Trans. Internet Techn., 2019

2018

Discovering process maps from event streams.

Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi

Proceedings of the 2018 International Conference on Software and System Process, 2018

Explaining Non-compliance of Business Process Models Through Automated Planning.

Fabrizio Maria Maggi, Andrea Marrella, Giuseppe Capezzuto, Abel Armas-Cervantes

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Online Conformance Checking Using Behavioural Patterns.

Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona

Proceedings of the Business Process Management - 16th International Conference, 2018

Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery.

Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Daniel Reißner

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

Scalable Conformance Checking of Business Processes.

Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Interactive and Incremental Business Process Model Repair.

Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Automated Compliance Verification of Business Processes in Apromore.

Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes

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

Incremental and Interactive Business Process Model Repair in Apromore.

Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Simon Raboczi

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

2016

Reduction of event structures under history preserving bisimulation.

Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos

J. Log. Algebraic Methods Program., 2016

Diagnosing behavioral differences between business process models: An approach based on event structures.

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos

Inf. Syst., 2016

On the expressive power of behavioral profiles.

Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos

Formal Aspects Comput., 2016

Behavior-based Process Comparison in Apromore.

Abel Armas-Cervantes, N. R. T. P. van Beest, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa

Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

2015

On the Suitability of Generalized Behavioral Profiles for Process Model Comparison.

Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

2014

BP-Diff: A Tool for Behavioral Comparison of Business Process Models.

Abel Armas, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures.

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos

Proceedings of the Business Process Management - 12th International Conference, 2014

2012

Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes.

Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

2011

Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs.

Konstantin Tretyakov, Abel Armas-Cervantes, Luciano García-Bañuelos, Jaak Vilo, Marlon Dumas

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011