List of works - Josep Carmona

A Fresh Look at Precision in Process Conformance

scientific article published in 2010

A High-Level Strategy for C-net Discovery

scientific article published in June 2012

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

scientific article published in 2016

A Recommender System for Process Discovery

scientific article published in 2014

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

scientific article published in 2016

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

article

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

scientific article published in 2016

A structural encoding technique for the synthesis of asynchronous circuits

Aligning textual and model-based process descriptions

scientific article published in November 2018

Amending C-net discovery algorithms

scientific article published in 2013

An SMT-Based Discovery Algorithm for C-Nets

scientific article published in 2012

Analytical Performance Modeling of Hierarchical Interconnect Fabrics

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

scientific article published in 2016

Brownian Circuits

Communication Requirements for Team Automata

scientific article published in 2017

Compatibility in a multi-component environment

scientific article published in May 2013

Conditions for Compatibility of Components

scientific article published in 2016

Conformance Checking

scientific article published in 2018

Conformance Checking in the Large: Partitioning and Topology

Divide-and-Conquer Strategies for Process Mining

Elastic Circuits

article

Encoding Large Asynchronous Controllers With ILP Techniques

Enhancing precision in Process Conformance: Stability, confidence and severity

scientific article published in April 2011

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

Fraud Detection in Energy Consumption: A Supervised Approach

scientific article published in October 2016

From molecular interactions to gates: a systematic approach

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

scholarly article

Hierarchical Conformance Checking of Process Models Based on Event Logs

Incorporating Negative Information in Process Discovery

scientific article published in 2015

Incremental Process Discovery

scientific article published in 2012

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

Log-Based Simplification of Process Models

Logic Synthesis of Handshake Components Using Structural Clustering Techniques

scientific article published in 2009

Measuring precision of modeled behavior

Mining Conditional Partial Order Graphs from Event Logs

scientific article published in 2016

New Region-Based Algorithms for Deriving Bounded Petri Nets

scholarly article by Josep Carmona et al published March 2010 in IEEE Transactions on Computers

Online Techniques for Dealing with Concept Drift in Process Mining

scientific article published in 2012

Process Discovery Algorithms Using Numerical Abstract Domains

article

Process Mining Manifesto

scientific article published in 2012

Process Mining Meets Abstract Interpretation

article

Process Mining from a Basis of State Regions

scientific article published in 2010

Process Model Comparison Based on Cophenetic Distance

scientific article published in 2016

Projection approaches to process mining using region-based techniques

scientific article published on 12 June 2011

Rbminer: A Tool for Discovering Petri Nets from Transition Systems

scientific article published in 2010

Region-Based Foldings in Process Discovery

scientific article published in January 2013

Scheduling Synchronous Elastic Designs

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

scientific article published in 2016

Single-Entry Single-Exit decomposed conformance checking

article by Jorge Munoz-Gama et al published December 2014 in Information Systems

List of works by Josep Carmona

A Fresh Look at Precision in Process Conformance

A High-Level Strategy for C-net Discovery

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

A Recommender System for Process Discovery

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

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

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

A structural encoding technique for the synthesis of asynchronous circuits

Aligning textual and model-based process descriptions

Amending C-net discovery algorithms

An SMT-Based Discovery Algorithm for C-Nets

Analytical Performance Modeling of Hierarchical Interconnect Fabrics

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

Brownian Circuits

Communication Requirements for Team Automata

Compatibility in a multi-component environment

Conditions for Compatibility of Components

Conformance Checking

Conformance Checking in the Large: Partitioning and Topology

Divide-and-Conquer Strategies for Process Mining

Elastic Circuits

Encoding Large Asynchronous Controllers With ILP Techniques

Enhancing precision in Process Conformance: Stability, confidence and severity

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

Fraud Detection in Energy Consumption: A Supervised Approach

From molecular interactions to gates: a systematic approach

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

Hierarchical Conformance Checking of Process Models Based on Event Logs

Incorporating Negative Information in Process Discovery

Incremental Process Discovery

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

Log-Based Simplification of Process Models

Logic Synthesis of Handshake Components Using Structural Clustering Techniques

Measuring precision of modeled behavior

Mining Conditional Partial Order Graphs from Event Logs

New Region-Based Algorithms for Deriving Bounded Petri Nets

Online Techniques for Dealing with Concept Drift in Process Mining

Process Discovery Algorithms Using Numerical Abstract Domains

Process Mining Manifesto

Process Mining Meets Abstract Interpretation

Process Mining from a Basis of State Regions

Process Model Comparison Based on Cophenetic Distance

Projection approaches to process mining using region-based techniques

Rbminer: A Tool for Discovering Petri Nets from Transition Systems

Region-Based Foldings in Process Discovery

Scheduling Synchronous Elastic Designs

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

Single-Entry Single-Exit decomposed conformance checking

State encoding of large asynchronous controllers

Supporting the Process of Learning and Teaching Process Models

Synthesis of asynchronous controllers using integer linear programming

The Alignment of Formal, Structured and Unstructured Process Descriptions

The Label Splitting Problem

Unfolding-Based Process Discovery