profile icon
Dr

Abel Armas Cervantes

Lecturer/Senior Lecturer In Information Systems
technology
science & technology
computer science
petri nets
computer science, software engineering
computer science, information systems
computer science, theory & methods
process mining
asymmetric event structures
Abel Armas Cervantes's Profile Picture
Dr

Abel Armas Cervantes

 
Division
Engineering
Abel Armas Cervantes's Profile Picture
Dr

Abel Armas Cervantes

 

Abel Armas Cervantes is a lecturer at the School of Computing and Information Systems at The University of Melbourne. Previously he was a postdoctoral research fellow at the Queensland University of Technology, where he was part of the BPM Discipline, and a junior researcher at the University of Tartu, where he was part of the Software Engineering group.

He obtained his PhD in Computer Science from the University of Tartu in 2015. He was recipient of a best student paper award and co-inventor of two US patent applications. His research areas of interest include business process management, process mining, and social network analysis.

Scholarly Works

Displaying the 18 most recent scholarly works by Abel Armas Cervantes.

Scholarly works icon

Local Concurrency Detection in Business Process Event Logs

A Armas Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji

Journal article  |  2019  |  ACM Transactions on Internet Technology

Process mining techniques aim at analysing records generated during the execution of a business process in order to provide insigh..

Scholarly works icon

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

A Augusto, Abel Armas Cervantes, Raffaele Conforti, Marlon Dumas, Marcello LA ROSA, Daniel Reissner

Report  |  2019

Scholarly works icon

Discovering process maps from event streams

MARLON Dumas

Conference Proceedings  |  2018  |  Proceedings of the 2018 International Conference on Software and System Process - ICSSP '18

© 2018 Association for Computing Machinery. Automated process discovery is a class of process mining methods that allow analysts t..

Scholarly works icon

Abstract and Compare: A Framework for Defining Precision Measures for Automated Process Discovery

A Augusto, A Armas Cervantes, R Conforti, M Dumas, M La Rosa, D Reissner

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Automated process discovery techniques allow us to extract business process models from event logs. The quality of process models ..

Scholarly works icon

Online conformance checking using behavioural patterns

A Burattin, SJ van Zelst, A Armas-Cervantes, BF van Dongen, J Carmona

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer Nature Switzerland AG 2018. New and compelling regulations (e.g., the GDPR in Europe) impose tremendous pressure on org..

Scholarly works icon

Interactive and incremental business process model repair

A Armas Cervantes, NRTP van Beest, M La Rosa, M Dumas, L García-Bañuelos

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2017, Springer International Publishing AG. It is common for the observed behavior of a business process to differ from the beha..

Scholarly works icon

Scalable conformance checking of business processes

D Reißner, R Conforti, M Dumas, M La Rosa, A Armas-Cervantes

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2017, Springer International Publishing AG. Given a process model representing the expected behavior of a business process and a..

Scholarly works icon

Incremental and interactive business process model repair in apromore

Marcello La Rosa

Conference Proceedings  |  2017  |  CEUR Workshop Proceedings

This paper presents the integration of a plugin for interactive and incremental business process repair into the Apromore advanced..

Scholarly works icon

Automated compliance verification of business processes in apromore

H Groefsema, NRTP Van Beest, A Armas-Cervantes

Conference Proceedings  |  2017  |  CEUR Workshop Proceedings

This paper presents the integration of two plugins, a declarative process specification generator and a compliance verifier, into ..

Scholarly works icon

Reduction of event structures under history preserving bisimulation

Abel Armas-Cervantes, Paolo Baldan, Luciano Garcia-Banuelos

Journal article  |  2016  |  Journal of Logical and Algebraic Methods in Programming

Scholarly works icon

On the expressive power of behavioral profiles

Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano Garcia-Banuelos

Journal article  |  2016  |  Formal Aspects of Computing

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business pro..

Scholarly works icon

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

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano Garcia-Banuelos

Journal article  |  2016  |  Information Systems

Scholarly works icon

Behavior-based process comparison in Apromore

A Armas-Cervantes, NRTP Van Beest, M Dumas, L García-Bañuelos, ML Rosa

Conference Proceedings  |  2016  |  CEUR Workshop Proceedings

Copyright © 2016 for this paper by its authors. This paper presents the integration of three behavior-based comparison operations ..

Scholarly works icon

On the suitability of generalized behavioral profiles for process model comparison

A armas-cervantes, M Dumas, A Polyvyanyy

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing Switzerland 2016. Given two process models, the problem of behavioral comparison is that of de..

Scholarly works icon

Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures

Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano Garcia-Banuelos

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

BP-Diff: A tool for behavioral comparison of business process models

A Armas-Cervantes, P Baldan, M Dumas, L García-Bañuelos

Conference Proceedings  |  2014  |  CEUR Workshop Proceedings

Copyright © 2014 for this paper by its authors. Copying permitted for private and academic purposes. BP-Diff is a tool for identif..

Scholarly works icon

Event structures as a foundation for process model differencing, Part 1: Acyclic processes

M Dumas, L García-Bañuelos, A Armas-Cervantes

Conference Proceedings  |  2013  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

This paper considers the problem of comparing process models in terms of their behavior. Given two process models, the problem add..

Scholarly works icon

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

K Tretyakov, A Armas-Cervantes, L García-Bãuelos, J Vilo, M Dumas

Conference Proceedings  |  2011  |  Proceedings of the 20th ACM international conference on Information and knowledge management - CIKM '11

18

Scholarly Works

Keyword Analysis

Information Systems
Expanding Knowledge
Computer Software and Services
Artificial Intelligence and Image Processing

Credentials

Positions

Associate Lecturer

Computing And Information Systems

Lecturer/Senior Lecturer In Information Systems

Computing And Information Systems

Education

PhD in Computer Science

University of Tartu

PhD in Computer Science

University of Tartu

Master in Software Engineering

University of Tartu

Links