Abel Armas-Cervantes

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 24

Top Topics

Uml Activity Diagrams

Top Venues

OTM Conferences (1)

Publications

Abel Armas-Cervantes, Ehsan Abedin, Farbod Taymouri
Dusting for fingerprints: Tracking online student engagement. Comput. Educ. Artif. Intell. 6 (2024)
Hunter Chen Chen, Abel Armas-Cervantes, Vickie Irving, Brian Dorricott, Daniel Capurro
Visualising Healthcare Process Variability. MedInfo (2023)
Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa
Generalization in Automated Process Discovery: A Framework based on Event Log Patterns. CoRR (2022)
Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa
Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach. IEEE Trans. Knowl. Data Eng. 34 (4) (2022)
Abel Armas-Cervantes, Farbod Taymouri
Discovering Unseen Behaviour from Event Logs. Petri Nets (2022)
Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa
Scalable alignment of process models and event logs: An approach based on automata and S-components. Inf. Syst. 94 (2020)
Heerko Groefsema, N. R. T. P. van Beest, Abel Armas-Cervantes
Efficient conditional compliance checking of business process models. Comput. Ind. 115 (2020)
Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa
Efficient Conformance Checking using Alignment Computation with Tandem Repeats. CoRR (2020)
Daniël Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa
Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components. CoRR (2019)
Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji
Local Concurrency Detection in Business Process Event Logs. ACM Trans. Internet Techn. 19 (1) (2019)
Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Daniel Reißner
Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery. BPM (2018)
Fabrizio Maria Maggi, Andrea Marrella, Giuseppe Capezzuto, Abel Armas-Cervantes
Explaining Non-compliance of Business Process Models Through Automated Planning. ICSOC (2018)
Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona
Online Conformance Checking Using Behavioural Patterns. BPM (2018)
Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi
Discovering Process Maps from Event Streams. CoRR (2018)
Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi
Discovering process maps from event streams. ICSSP (2018)
Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes
Scalable Conformance Checking of Business Processes. OTM Conferences (1) (2017)
Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes
Automated Compliance Verification of Business Processes in Apromore. BPM (Demos) (2017)
Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos
Interactive and Incremental Business Process Model Repair. OTM Conferences (1) (2017)
Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Simon Raboczi
Incremental and Interactive Business Process Model Repair in Apromore. BPM (Demos) (2017)
Abel Armas-Cervantes, N. R. T. P. van Beest, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa
Behavior-based Process Comparison in Apromore. BPM (Demos) (2016)
Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. 85 (6) (2016)
Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56 (2016)
Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos
On the expressive power of behavioral profiles. Formal Aspects Comput. 28 (4) (2016)
Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. WS-FM (2015)
Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM (2014)
Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
Reduction of Event Structures under History Preserving Bisimulation. CoRR (2014)
Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. WS-FM (2012)
Konstantin Tretyakov, Abel Armas-Cervantes, Luciano García-Bañuelos, Jaak Vilo, Marlon Dumas
Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. CIKM (2011)