Dr Abel Armas Cervantes

Biography

Abel Armas Cervantes is an associate 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.

Recent publications

  1. Armas Cervantes, A.; Dumas, M.; La Rosa, M.; Maaradji, A. Local Concurrency Detection in Business Process Event Logs. ACM Transactions on Internet Technology. Association for Computing Machinery. 2019, Vol. 19, Issue 1. DOI: 10.1145/3289181
  2. Augusto, A.; Armas Cervantes, A.; Conforti, R.; Dumas, M.; La Rosa, M.; Reissner, D. Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach. . 2019.
  3. Reissner, D.; Armas Cervantes, A.; Conforti, R.; Dumas, M.; Fahland, D.; La Rosa, M. Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components. . 2019.
  4. Augusto, A.; Armas Cervantes, A.; Conforti, R.; Dumas, M.; La Rosa, M.; Reissner, D. Abstract and Compare: A Framework for Defining Precision Measures for Automated Process Discovery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SpringerLink. 2018, Vol. 11080 LNCS, pp. 158-175. DOI: 10.1007/978-3-319-98648-7_10
  5. Dumas, MARLON. Discovering process maps from event streams. Proceedings of the 2018 International Conference on Software and System Process - ICSSP '18. Association for Computing Machinery (ACM). 2018, pp. 86-95. DOI: 10.1145/3202710.3203154
  6. Burattin, A.; Van Zelst, SJ.; Armas-cervantes, A.; Van Dongen, BF.; Carmona, J. Online conformance checking using behavioural patterns. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature Switzerland. 2018, Vol. 11080 LNCS, pp. 250-267. DOI: 10.1007/978-3-319-98648-7_15
  7. Groefsema, H.; Van Beest, NRTP.; Armas-cervantes, A. Automated compliance verification of business processes in apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2017, Vol. 1920.
  8. La Rosa, M. Incremental and interactive business process model repair in apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2017, Vol. 1920.
  9. Armas Cervantes, A.; Van Beest, NRTP.; La Rosa, M.; Dumas, M.; García-bañuelos, L. Interactive and incremental business process model repair. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2017, Vol. 10573 LNCS, pp. 53-74. DOI: 10.1007/978-3-319-69462-7_5
  10. Reißner, D.; Conforti, R.; Dumas, M.; La Rosa, M.; Armas-cervantes, A. Scalable conformance checking of business processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2017, Vol. 10573 LNCS, pp. 607-627. DOI: 10.1007/978-3-319-69462-7_38
  11. Armas-cervantes, A.; Van Beest, NRTP.; Dumas, M.; García-bañuelos, L.; Rosa, ML. Behavior-based process comparison in Apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2016, Vol. 1789, pp. 34-38.
  12. Armas-cervantes, A.; Baldan, P.; Dumas, M.; Garcia-banuelos, L. Diagnosing behavioral differences between business process models: An approach based on event structures. Information Systems. PERGAMON-ELSEVIER SCIENCE LTD. 2016, Vol. 56, pp. 304-325. DOI: 10.1016/j.is.2015.09.009
  13. Polyvyanyy, A.; Armas-cervantes, A.; Dumas, M.; Garcia-banuelos, L. On the expressive power of behavioral profiles. Formal Aspects of Computing. SPRINGER. 2016, Vol. 28, Issue 4, pp. 597-613. DOI: 10.1007/s00165-016-0372-4
  14. Armas-cervantes, A.; Dumas, M.; Polyvyanyy, A. On the suitability of generalized behavioral profiles for process model comparison. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. 2016, Vol. 9421, pp. 13-28. DOI: 10.1007/978-3-319-33612-1_2
  15. Armas-cervantes, A.; Baldan, P.; Garcia-banuelos, L. Reduction of event structures under history preserving bisimulation. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC. 2016, Vol. 85, Issue 6, pp. 1110-1130. DOI: 10.1016/j.jlamp.2015.10.004
  16. Armas-cervantes, A.; Baldan, P.; Dumas, M.; Garcia-banuelos, L. Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2014, Vol. 8659, pp. 267-282. DOI: 10.1007/978-3-319-10172-9_17
  17. Armas-cervantes, A.; Baldan, P.; Dumas, M.; García-bañuelos, L. BP-Diff: A tool for behavioral comparison of business process models. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2014, Vol. 1295, pp. 1-5.
  18. Dumas, M.; García-bañuelos, L.; Armas-cervantes, A. Event structures as a foundation for process model differencing, Part 1: Acyclic processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. 2013, Vol. 7843 LNCS, pp. 69-86. DOI: 10.1007/978-3-642-38230-7_5
  19. Tretyakov, K.; Armas-cervantes, A.; García-bãuelos, L.; Vilo, J.; Dumas, M. Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. Proceedings of the 20th ACM international conference on Information and knowledge management - CIKM '11. ACM Press. 2011, pp. 1785-1794. DOI: 10.1145/2063576.2063834

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile