Josep Carmona

According to our database1, Josep Carmona authored at least 102 papers between 1999 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
Decomposed Process Discovery and Conformance Checking.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Corrections to "Jutge.org: Characteristics and Experiences".
TLT, 2019

Conformance checking in UML artifact-centric business process models.
Software and System Modeling, 2019

Special issue: Selected papers of BPM 2017.
Inf. Syst., 2019

From Process Models to Chatbots.
Proceedings of the Advanced Information Systems Engineering, 2019

Generalized Alignment-Based Trace Clustering of Process Behavior.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Jutge.org: Characteristics and Experiences.
TLT, 2018

Encoding process discovery problems in SMT.
Software and System Modeling, 2018

Incorporating negative information to process discovery of complex systems.
Inf. Sci., 2018

Aligning textual and model-based process descriptions.
Data Knowl. Eng., 2018

A quality control method for fraud detection on utility customers without an active contract.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Challenges and Opportunities of Applying Natural Language Processing in Business Process Management.
Proceedings of the 27th International Conference on Computational Linguistics, 2018

An Evolutionary Technique to Approximate Multiple Optimal Alignments.
Proceedings of the Business Process Management - 16th International Conference, 2018

The Model Judge - A Tool for Supporting Novices in Learning Process Modeling.
Proceedings of the Dissertation Award, 2018

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

Conformance Checking - Relating Processes and Models
Springer, ISBN: 978-3-319-99413-0, 2018

2017
Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions.
T. Petri Nets and Other Models of Concurrency, 2017

Alignment-Based Trace Clustering.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Communication Requirements for Team Automata.
Proceedings of the Coordination Models and Languages, 2017

Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques.
Proceedings of the Advanced Information Systems Engineering, 2017

Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality.
Proceedings of the Advanced Information Systems Engineering, 2017

Reducing Event Variability in Logs by Clustering of Word Embeddings.
Proceedings of the Business Process Management Workshops, 2017

NLP4BPM - Natural Language Processing Tools for Business Process Management.
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.
Proceedings of the Business Process Management Workshops, 2017

The Alignment of Formal, Structured and Unstructured Process Descriptions.
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.
T. Petri Nets and Other Models of Concurrency, 2016

Mining Conditional Partial Order Graphs from Event Logs.
T. Petri Nets and Other Models of Concurrency, 2016

Model and Event Log Reductions to Boost the Computation of Alignments.
Proceedings of the Data-Driven Process Discovery and Analysis, 2016

Model and Event Log Reductions to Boost the Computation of Alignments.
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.
Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Improving Process Model Precision by Loop Unrolling.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Alignment-based Quality Metrics in Conformance Checking (Summary).
Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016

Fraud Detection in Energy Consumption: A Supervised Approach.
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.
Proceedings of the Business Process Management - 14th International Conference, 2016

Process Model Comparison Based on Cophenetic Distance.
Proceedings of the Business Process Management Forum, 2016

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments.
Proceedings of the Business Process Management - 14th International Conference, 2016

Computing Alignments with Constraint Programming: The Acyclic Case.
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.
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

Anti-alignments in Conformance Checking - The Dark Side of Process Models.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
Measuring precision of modeled behavior.
Inf. Syst. E-Business Management, 2015

Communication and Compatibility in Systems of Systems: Correctness-by-Construction.
ERCIM News, 2015

Log-Based Simplification of Process Models.
Proceedings of the Business Process Management - 13th International Conference, 2015

POD - A Tool For Process Discovery Using Partial Orders and Independence Information.
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.
Proceedings of the Business Process Management - 13th International Conference, 2015

Unfolding-Based Process Discovery.
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.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms.
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.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2014
Process Discovery Algorithms Using Numerical Abstract Domains.
IEEE Trans. Knowl. Data Eng., 2014

Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13).
ACM Trans. Embedded Comput. Syst., 2014

Single-Entry Single-Exit decomposed conformance checking.
Inf. Syst., 2014

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Event-Based Real-Time Decomposed Conformance Analysis.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Process-Oriented Analysis for Medical Devices.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A Recommender System for Process Discovery.
Proceedings of the Business Process Management - 12th International Conference, 2014

RS4PD: A Tool for Recommending Control-Flow Algorithms.
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.
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.
IEEE Trans. Knowl. Data Eng., 2013

Compatibility in a multi-component environment.
Theor. Comput. Sci., 2013

Brownian Circuits: Fundamentals.
JETC, 2013

Amending C-net discovery algorithms.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Conformance Checking in the Large: Partitioning and Topology.
Proceedings of the Business Process Management - 11th International Conference, 2013

Hierarchical Conformance Checking of Process Models Based on Event Logs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Incremental Process Discovery.
Trans. Petri Nets and Other Models of Concurrency, 2012

Projection approaches to process mining using region-based techniques.
Data Min. Knowl. Discov., 2012

Integrating formal verification in an online judge for e-Learning logic circuit design.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Analytical Performance Modeling of Hierarchical Interconnect Fabrics.
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.
Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012

Alignment Based Precision Checking.
Proceedings of the Business Process Management Workshops, 2012

An SMT-Based Discovery Algorithm for C-Nets.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

A High-Level Strategy for C-net Discovery.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Light Region-based Techniques for Process Discovery.
Fundam. Inform., 2011

A Scheduling Strategy for Synchronous Elastic Designs.
Fundam. Inform., 2011

Enhancing precision in Process Conformance: Stability, confidence and severity.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011


The Label Splitting Problem.
Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010
New Region-Based Algorithms for Deriving Bounded Petri Nets.
IEEE Trans. Computers, 2010

Process Mining Meets Abstract Interpretation.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010

A Fresh Look at Precision in Process Conformance.
Proceedings of the Business Process Management - 8th International Conference, 2010

Rbminer: A Tool for Discovering Petri Nets from Transition Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Process Mining from a Basis of State Regions.
Proceedings of the Applications and Theory of Petri Nets, 2010

Incremental Process Mining.
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.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Divide-and-Conquer Strategies for Process Mining.
Proceedings of the Business Process Management, 7th International Conference, 2009

Scheduling Synchronous Elastic Designs.
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.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Elasticity and Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2008

Encoding Large Asynchronous Controllers With ILP Techniques.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

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

Logic Synthesis of Handshake Components Using Structural Clustering Techniques.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

A Region-Based Algorithm for Discovering Petri Nets from Event Logs.
Proceedings of the Business Process Management, 6th International Conference, 2008

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2006
Synthesis of asynchronous controllers using integer linear programming.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006

From molecular interactions to gates: a systematic approach.
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

State encoding of large asynchronous controllers.
Proceedings of the 43rd Design Automation Conference, 2006

2003
ILP Models for the Synthesis of Asynchronous Control Circuits.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Synthesis of Asynchronous Hardware from Petri Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Input/Output Compatibility of Reactive Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.
Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2001
A structural encoding technique for the synthesis of asynchronous circuits.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999
Improving POS Tagging Using Machine-Learning Techniques.
Proceedings of the Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora, 1999


  Loading...