Abel Armas-Cervantes

According to our database1, Abel Armas-Cervantes authored at least 19 papers between 2011 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Process Model Repair.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Local Concurrency Detection in Business Process Event Logs.
ACM Trans. Internet Techn., 2019

2018
Discovering process maps from event streams.
Proceedings of the 2018 International Conference on Software and System Process, 2018

Explaining Non-compliance of Business Process Models Through Automated Planning.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Online Conformance Checking Using Behavioural Patterns.
Proceedings of the Business Process Management - 16th International Conference, 2018

Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery.
Proceedings of the Business Process Management - 16th International Conference, 2018

2017
Scalable Conformance Checking of Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Interactive and Incremental Business Process Model Repair.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Automated Compliance Verification of Business Processes 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

Incremental and Interactive Business Process Model Repair 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

2016
Reduction of event structures under history preserving bisimulation.
J. Log. Algebr. Meth. Program., 2016

Diagnosing behavioral differences between business process models: An approach based on event structures.
Inf. Syst., 2016

On the expressive power of behavioral profiles.
Formal Asp. Comput., 2016

Behavior-based Process Comparison in Apromore.
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.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

2014
BP-Diff: A Tool for Behavioral Comparison of Business Process Models.
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.
Proceedings of the Business Process Management - 12th International Conference, 2014

2012
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes.
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.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011


  Loading...