Josep Carmona

Proceedings of the Business Process Management - 19th International Conference, 2021

A Discounted Cost Function for Fast Alignments of Business Processes.

[BibT_eX]

[DOI]

Mathilde Boltenhagen

Proceedings of the Business Process Management - 19th International Conference, 2021

2020

Computing Alignments of Well-Formed Process Models using Local Search.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

Supporting the Process of Learning and Teaching Process Models.

[BibT_eX]

[DOI]

Amine Abbad Andaloussi

Andrea Burattin

Guillermo Calderón-Ruiz

Barbara Weber

IEEE Trans. Learn. Technol., 2020

Flexible Process Model Mapping using Relaxation Labeling.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models.

[BibT_eX]

[DOI]

Bernat Coma-Puig

CoRR, 2020

Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis.

[BibT_eX]

[DOI]

Luis Quishpi

Proceedings of the Process Mining Workshops, 2020

Explainable Predictive Process Monitoring.

[BibT_eX]

[DOI]

Riccardo Galanti

Bernat Coma-Puig

Massimiliano de Leoni

Nicolò Navarin

Proceedings of the 2nd International Conference on Process Mining, 2020

Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs.

[BibT_eX]

[DOI]

Marcello La Rosa

Proceedings of the Advanced Information Systems Engineering, 2020

Extracting Annotations from Textual Descriptions of Processes.

[BibT_eX]

[DOI]

Luis Quishpi

Proceedings of the Business Process Management - 18th International Conference, 2020

Automated Repair of Process Models Using Non-local Constraints.

[BibT_eX]

[DOI]

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

2019

Decomposed Process Discovery and Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

A Tour in Process Mining: From Practice to Algorithmic Challenges.

[BibT_eX]

[DOI]

Enric Rodríguez-Carbonell

Trans. Petri Nets Other Model. Concurr., 2019

Corrections to "Jutge.org: Characteristics and Experiences".

[BibT_eX]

[DOI]

Enric Rubio

Enric de San Pedro

Divya Venkataramani

IEEE Trans. Learn. Technol., 2019

Conformance checking in UML artifact-centric business process models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Special issue: Selected papers of BPM 2017.

[BibT_eX]

[DOI]

Inf. Syst., 2019

Actionable Conformance Checking: From Intuitions to Code.

[BibT_eX]

[DOI]

Matthias Weidlich

Proceedings of the Big Data Management and Analytics - 9th European Summer School, 2019

From Process Models to Chatbots.

[BibT_eX]

[DOI]

Anselmo López

Proceedings of the Advanced Information Systems Engineering, 2019

Formal Reasoning on Natural Language Descriptions of Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 17th International Conference, 2019

Approximate Computation of Alignments of Business Processes Through Relaxation Labelling.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 17th International Conference, 2019

Encoding Conformance Checking Artefacts in SAT.

[BibT_eX]

[DOI]

Mathilde Boltenhagen

Proceedings of the Business Process Management Workshops, 2019

Generalized Alignment-Based Trace Clustering of Process Behavior.

[BibT_eX]

[DOI]

Mathilde Boltenhagen

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

Structural Computation of Alignments of Business Processes Over Partial Orders.

[BibT_eX]

[DOI]

Enric Rodríguez-Carbonell

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Jutge.org: Characteristics and Experiences.

[BibT_eX]

[DOI]

Enric Rubio

Enric de San Pedro

Divya Venkataramani

IEEE Trans. Learn. Technol., 2018

Encoding process discovery problems in SMT.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Incorporating negative information to process discovery of complex systems.

[BibT_eX]

[DOI]

Hernán Ponce de León

Lucio Nardelli

Seppe K. L. M. vanden Broucke

Inf. Sci., 2018

Aligning textual and model-based process descriptions.

[BibT_eX]

[DOI]

Han van der Aa

Data Knowl. Eng., 2018

A quality control method for fraud detection on utility customers without an active contract.

[BibT_eX]

[DOI]

Bernat Coma-Puig

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Challenges and Opportunities of Applying Natural Language Processing in Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Computational Linguistics, 2018

An Evolutionary Technique to Approximate Multiple Optimal Alignments.

[BibT_eX]

[DOI]

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

The Model Judge - A Tool for Supporting Novices in Learning Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2018

Online Conformance Checking Using Behavioural Patterns.

[BibT_eX]

[DOI]

Andrea Burattin

Sebastiaan J. van Zelst

Abel Armas-Cervantes

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

Conformance Checking - Relating Processes and Models

[BibT_eX]

[DOI]

Andreas Solti

Matthias Weidlich

Springer, ISBN: 978-3-319-99413-0, 2018

2017

Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2017

Alignment-Based Trace Clustering.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Communication Requirements for Team Automata.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2017

Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2017

Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2017

Reducing Event Variability in Logs by Clustering of Word Embeddings.

[BibT_eX]

[DOI]

David Sánchez-Charles

Proceedings of the Business Process Management Workshops, 2017

NLP4BPM - Natural Language Processing Tools for Business Process Management.

[BibT_eX]

[DOI]

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

A Framework for Online Conformance Checking.

[BibT_eX]

[DOI]

Andrea Burattin

Proceedings of the Business Process Management Workshops, 2017

The Alignment of Formal, Structured and Unstructured Process Descriptions.

[BibT_eX]

[DOI]

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

2016

Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data.

[BibT_eX]

[DOI]

Timo Sztyler

Johanna Völker

Heiner Stuckenschmidt

Trans. Petri Nets Other Model. Concurr., 2016

A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms.

[BibT_eX]

[DOI]

Joel Ribeiro

Trans. Petri Nets Other Model. Concurr., 2016

Mining Conditional Partial Order Graphs from Event Logs.

[BibT_eX]

[DOI]

Andrey Mokhov

Jonathan Beaumont

Trans. Petri Nets Other Model. Concurr., 2016

Alignment-based Quality Metrics in Conformance Checking.

[BibT_eX]

EMISA Forum, 2016

Model and Event Log Reductions to Boost the Computation of Alignments.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Clustering Software Developer Repository Accesses with the Cophenetic Distance.

[BibT_eX]

[DOI]

David Sanchez-Charles

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Improving Process Model Precision by Loop Unrolling.

[BibT_eX]

[DOI]

David Sanchez-Charles

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Conditions for Compatibility of Components - The Case of Masters and Slaves.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Jetty Kleijn

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Alignment-based Quality Metrics in Conformance Checking (Summary).

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016

Fraud Detection in Energy Consumption: A Supervised Approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 14th International Conference, 2016

Process Model Comparison Based on Cophenetic Distance.

[BibT_eX]

[DOI]

David Sánchez-Charles

Proceedings of the Business Process Management Forum, 2016

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 14th International Conference, 2016

Computing Alignments with Constraint Programming: The Acyclic Case.

[BibT_eX]

[DOI]

María Teresa Gómez-López

Diana Borrego

Rafael M. Gasca

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

Security-Sensitive Tackling of Obstructed Workow Executions.

[BibT_eX]

[DOI]

Julius Holderer

Günter Müller

Anti-alignments in Conformance Checking - The Dark Side of Process Models.

[BibT_eX]

[DOI]

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

2015

Measuring precision of modeled behavior.

[BibT_eX]

[DOI]

Arya Adriansyah

Inf. Syst. E Bus. Manag., 2015

Communication and Compatibility in Systems of Systems: Correctness-by-Construction.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Jetty Kleijn

ERCIM News, 2015

Log-Based Simplification of Process Models.

[BibT_eX]

[DOI]

Javier de San Pedro

Proceedings of the Business Process Management - 13th International Conference, 2015

POD - A Tool For Process Discovery Using Partial Orders and Independence Information.

[BibT_eX]

[DOI]

Hernán Ponce de León

César Rodríguez

Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Incorporating Negative Information in Process Discovery.

[BibT_eX]

[DOI]

Hernán Ponce de León

Seppe K. L. M. vanden Broucke

Proceedings of the Business Process Management - 13th International Conference, 2015

Unfolding-Based Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care.

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data.

[BibT_eX]

[DOI]

Andrey Mokhov

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2014

Process Discovery Algorithms Using Numerical Abstract Domains.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2014

Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13).

[BibT_eX]

[DOI]

Mihai Teodor Lazarescu

Marta Pietkiewicz-Koutny

ACM Trans. Embed. Comput. Syst., 2014

Single-Entry Single-Exit decomposed conformance checking.

[BibT_eX]

[DOI]

Inf. Syst., 2014

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Seppe K. L. M. vanden Broucke

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Event-Based Real-Time Decomposed Conformance Analysis.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Process-Oriented Analysis for Medical Devices.

[BibT_eX]

[DOI]

Vasiliki Sfyrla

Pascal Henck

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A Recommender System for Process Discovery.

[BibT_eX]

[DOI]

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

RS4PD: A Tool for Recommending Control-Flow Algorithms.

[BibT_eX]

[DOI]

Joel Ribeiro

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

PMLAB: An Scripting Environment for Process Mining.

[BibT_eX]

[DOI]

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

2013

Region-Based Foldings in Process Discovery.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Compatibility in a multi-component environment.

[BibT_eX]

[DOI]

Jetty Kleijn

Theor. Comput. Sci., 2013

Brownian Circuits: Fundamentals.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2013

Amending C-net discovery algorithms.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Conformance Checking in the Large: Partitioning and Topology.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 11th International Conference, 2013

Hierarchical Conformance Checking of Process Models Based on Event Logs.

[BibT_eX]

[DOI]

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

2012

Incremental Process Discovery.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2012

The Label Splitting Problem.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2012

Projection approaches to process mining using region-based techniques.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2012

Integrating formal verification in an online judge for e-Learning logic circuit design.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Analytical Performance Modeling of Hierarchical Interconnect Fabrics.

[BibT_eX]

[DOI]

Proceedings of the 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2012

Online Techniques for Dealing with Concept Drift in Process Mining.

[BibT_eX]

[DOI]

Ricard Gavaldà

Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012

Alignment Based Precision Checking.

[BibT_eX]

[DOI]

Arya Adriansyah

Proceedings of the Business Process Management Workshops, 2012

An SMT-Based Discovery Algorithm for C-Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

A High-Level Strategy for C-net Discovery.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Light Region-based Techniques for Process Discovery.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

A Scheduling Strategy for Synchronous Elastic Designs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Enhancing precision in Process Conformance: Stability, confidence and severity.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

Process Mining Manifesto.

[BibT_eX]

[DOI]

Ana Karla Alves de Medeiros

Arya Adriansyah

Franco Arcieri

Thomas Baier

Tobias Blickle

R. P. Jagadeesh Chandra Bose

Massimiliano de Leoni

Pavlos Delias

Arthur H. M. ter Hofstede

Hamid R. Motahari Nezhad

Proceedings of the Business Process Management Workshops, 2011

2010

New Region-Based Algorithms for Deriving Bounded Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

Process Mining Meets Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010

A Fresh Look at Precision in Process Conformance.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 8th International Conference, 2010

Rbminer: A Tool for Discovering Petri Nets from Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Process Mining from a Basis of State Regions.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2010

Incremental Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Elastic Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Divide-and-Conquer Strategies for Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 7th International Conference, 2009

Scheduling Synchronous Elastic Designs.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Genet: A Tool for the Synthesis and Mining of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Elasticity and Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

Encoding Large Asynchronous Controllers With ILP Techniques.

[BibT_eX]

[DOI]

Francisco Fernández-Nogueira

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2008

Logic Synthesis of Handshake Components Using Structural Clustering Techniques.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

A Region-Based Algorithm for Discovering Petri Nets from Event Logs.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 6th International Conference, 2008

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2006

Synthesis of asynchronous controllers using integer linear programming.

[BibT_eX]

[DOI]

José Manuel Colom

Fernando García-Vallés

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

From molecular interactions to gates: a systematic approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

State encoding of large asynchronous controllers.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

2003

ILP Models for the Synthesis of Asynchronous Control Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Synthesis of Asynchronous Hardware from Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

A structural encoding technique for the synthesis of asynchronous circuits.

[BibT_eX]

[DOI]

Enric Pastor

Fundam. Informaticae, 2002

Input/Output Compatibility of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.

[BibT_eX]

[DOI]