Josep Carmona

ORCID

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 86

Top Venues

Publications

Bernat Coma-Puig, Josep Carmona
Non-technical losses detection in energy consumption focusing on energy recovery and explainability. Mach. Learn. 111 (2) (2022)
Jorge Munoz-Gama, Niels Martin, Carlos Fernández-Llatas, Owen A. Johnson, Marcos Sepúlveda, Emmanuel Helm, Victor Galvez-Yanjari, Eric Rojas, Antonio Martinez-Millana, Davide Aloini, Ilaria Angela Amantea, Robert Andrews, Michael Arias, Iris Beerepoot, Elisabetta Benevento, Andrea Burattin, Daniel Capurro, Josep Carmona, Marco Comuzzi, Benjamin Dalmas, Rene de la Fuente, Chiara Di Francescomarino, Claudio Di Ciccio, Roberto Gatta, Chiara Ghidini, Fernanda Gonzalez-Lopez, Gema Ibáñez-Sánchez, Hilda B. Klasky, Angelina Prima Kurniati, Xixi Lu, Felix Mannhardt, Ronny Mans, Mar Marcos, Renata Medeiros de Carvalho, Marco Pegoraro, Simon K. Poon, Luise Pufahl, Hajo A. Reijers, Simon Remy, Stefanie Rinderle-Ma, Lucia Sacchi, Fernando Seoane, Minseok Song, Alessandro Stefanini, Emilio Sulis, Arthur H. M. ter Hofstede, Pieter J. Toussaint, Vicente Traver, Zoe Valero-Ramon, Inge van de Weerd, Wil M. P. van der Aalst, Rob J. B. Vanwersch, Mathias Weske, Moe Thandar Wynn, Francesca Zerbato
Process mining for healthcare: Characteristics and challenges. J. Biomed. Informatics 127 (2022)
Didier Buchs, Josep Carmona, Jetty Kleijn
Preface. Fundam. Informaticae 187 (2-4) (2022)
Lluís Padró, Josep Carmona
Computation of alignments of business processes through relaxation labeling and local optimal search. Inf. Syst. 104 (2022)
Josep Carmona, Mieke Jans, Marcello La Rosa
Special issue: Selected papers of ICPM 2019. Inf. Syst. 106 (2022)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Optimized SAT encoding of conformance checking artefacts. Computing 103 (1) (2021)
Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez López, Josep Carmona
CC4Spark: Distributing event logs and big complex conformance checking problems. BPM (PhD/Demos) (2021)
Luis Quishpi, Josep Carmona, Lluís Padró
Extracting Decision Models from Textual Descriptions of Processes. BPM (2021)
Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory. CoRR (2021)
Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Josep Carmona, Robin Bergenthum
Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. 99 (2021)
Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi
Unleashing textual descriptions of business processes. Softw. Syst. Model. 20 (6) (2021)
Bernat Coma-Puig, Josep Carmona
Non-Technical Losses Detection in Energy Consumption Focusing on Energy Recovery and Explainability: Extended Abstract. DSAA (2021)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-alignments - Measuring the precision of process models and event logs. Inf. Syst. 98 (2021)
Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. Fundam. Informaticae 183 (3-4) (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Model-based trace variant analysis of event logs. Inf. Syst. 102 (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
A Discounted Cost Function for Fast Alignments of Business Processes. BPM (2021)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
-Algorithm for Computing Discounted Anti-Alignments in Process Mining. ICPM (2021)
Bernat Coma-Puig, Josep Carmona
A Human-in-the-Loop Approach based on Explainability to Improve NTL Detection. ICDM (Workshops) (2021)
Josep Carmona, Lluís Padró, Luis Delicado
Flexible Process Model Mapping using Relaxation Labeling. Fundam. Informaticae 175 (1-4) (2020)
Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin
Explainable Predictive Process Monitoring. ICPM (2020)
Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
Automated Repair of Process Models Using Non-local Constraints. Petri Nets (2020)
Josep Sànchez-Ferreres, Luis Delicado, Amine Abbad Andaloussi, Andrea Burattin, Guillermo Calderón-Ruiz, Barbara Weber, Josep Carmona, Lluís Padró
Supporting the Process of Learning and Teaching Process Models. IEEE Trans. Learn. Technol. 13 (3) (2020)
Luis Quishpi, Josep Carmona, Lluís Padró
Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis. ICPM Workshops (2020)
Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin
Explainable Predictive Process Monitoring. CoRR (2020)
Farbod Taymouri, Marcello La Rosa, Josep Carmona
Business Process Variant Analysis Based on Mutual Fingerprints of Event Logs. CAiSE (2020)
Farbod Taymouri, Josep Carmona
Computing Alignments of Well-Formed Process Models using Local Search. ACM Trans. Softw. Eng. Methodol. 29 (3) (2020)
Bernat Coma-Puig, Josep Carmona
An Iterative Approach based on Explainability to Improve the Learning of Fraud Detection Models. CoRR (2020)
Luis Quishpi, Josep Carmona, Lluís Padró
Extracting Annotations from Textual Descriptions of Processes. BPM (2020)
Lluís Padró, Josep Carmona
Approximate Computation of Alignments of Business Processes Through Relaxation Labelling. BPM (2019)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Generalized Alignment-Based Trace Clustering of Process Behavior. Petri Nets (2019)
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Encoding Conformance Checking Artefacts in SAT. Business Process Management Workshops (2019)
Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen
A Tour in Process Mining: From Practice to Algorithmic Challenges. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Anselmo López, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
From Process Models to Chatbots. CAiSE (2019)
Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente
Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18 (4) (2019)
Josep Carmona, Matthias Weidlich, Boudewijn F. van Dongen
Actionable Conformance Checking: From Intuitions to Code. eBISS (2019)
Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
Corrections to "Jutge.org: Characteristics and Experiences". IEEE Trans. Learn. Technol. 12 (2) (2019)
Farbod Taymouri, Marcello La Rosa, Josep Carmona
Business Process Variant Analysis based on Mutual Fingerprints of Event Logs. CoRR (2019)
Josep Carmona, Gregor Engels, Akhil Kumar, Manfred Reichert
Special issue: Selected papers of BPM 2017. Inf. Syst. 84 (2019)
Farbod Taymouri, Josep Carmona
Structural Computation of Alignments of Business Processes Over Partial Orders. ACSD (2019)
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Anti-Alignments - Measuring The Precision of Process Models and Event Logs. CoRR (2019)
Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró
Formal Reasoning on Natural Language Descriptions of Processes. BPM (2019)
Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
The Model Judge - A Tool for Supporting Novices in Learning Process Modeling. BPM (Dissertation/Demos/Industry) (2018)
Bernat Coma-Puig, Josep Carmona
A quality control method for fraud detection on utility customers without an active contract. SAC (2018)
Josep Sànchez-Ferreres, Han van der Aa, Josep Carmona, Lluís Padró
Aligning textual and model-based process descriptions. Data Knowl. Eng. 118 (2018)
Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
Jutge.org: Characteristics and Experiences. IEEE Trans. Learn. Technol. 11 (3) (2018)
Han van der Aa, Josep Carmona, Henrik Leopold, Jan Mendling, Lluís Padró
Challenges and Opportunities of Applying Natural Language Processing in Business Process Management. COLING (2018)
Marc Solé, Josep Carmona
Encoding process discovery problems in SMT. Softw. Syst. Model. 17 (4) (2018)
Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona
Online Conformance Checking Using Behavioural Patterns. BPM (2018)
Farbod Taymouri, Josep Carmona
An Evolutionary Technique to Approximate Multiple Optimal Alignments. BPM (2018)
Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke
Incorporating negative information to process discovery of complex systems. Inf. Sci. 422 (2018)
Thomas Chatain, Josep Carmona, Boudewijn F. van Dongen
Alignment-Based Trace Clustering. ER (2017)
David Sánchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé
Reducing Event Variability in Logs by Clustering of Word Embeddings. Business Process Management Workshops (2017)
Luis Delicado, Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
NLP4BPM - Natural Language Processing Tools for Business Process Management. BPM (Demos) (2017)
Andrea Burattin, Josep Carmona
A Framework for Online Conformance Checking. Business Process Management Workshops (2017)
Josep Sànchez-Ferreres, Josep Carmona, Lluís Padró
Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques. CAiSE (2017)
Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller
Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Josep Carmona
The Alignment of Formal, Structured and Unstructured Process Descriptions. Petri Nets (2017)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri
Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. CAiSE (2017)
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
Communication Requirements for Team Automata. COORDINATION (2017)
Timo Sztyler, Josep Carmona, Johanna Völker, Heiner Stuckenschmidt
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Farbod Taymouri, Josep Carmona
Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA (Revised Selected Papers) (2016)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments. BPM (2016)
Thomas Chatain, Josep Carmona
Anti-alignments in Conformance Checking - The Dark Side of Process Models. Petri Nets (2016)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
Alignment-based Quality Metrics in Conformance Checking. EMISA Forum 36 (2) (2016)
Joel Ribeiro, Josep Carmona
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) (2016)
Julius Holderer, Josep Carmona, Günter Müller
Security-Sensitive Tackling of Obstructed Workow Executions. ATAED@Petri Nets/ACSD (2016)
David Sánchez-Charles, Victor Muntés-Mulero, Josep Carmona, Marc Solé
Process Model Comparison Based on Cophenetic Distance. BPM (Forum) (2016)
Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain
Alignment-based Quality Metrics in Conformance Checking (Summary). EMISA (2016)
Andrey Mokhov, Josep Carmona, Jonathan Beaumont
Mining Conditional Partial Order Graphs from Event Logs. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Farbod Taymouri, Josep Carmona
Model and Event Log Reductions to Boost the Computation of Alignments. SIMPDA (2016)
David Sanchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé
Clustering Software Developer Repository Accesses with the Cophenetic Distance. SIMPDA (2016)
David Sanchez-Charles, Marc Solé, Josep Carmona, Victor Muntés-Mulero
Improving Process Model Precision by Loop Unrolling. SIMPDA (2016)
Bernat Coma-Puig, Josep Carmona, Ricard Gavaldà, Santiago Alcoverro, Victor Martin
Fraud Detection in Energy Consumption: A Supervised Approach. DSAA (2016)
Farbod Taymouri, Josep Carmona
A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models. BPM (2016)
María Teresa Gómez López, Diana Borrego, Josep Carmona, Rafael M. Gasca
Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News 2015 (102) (2015)
Andrey Mokhov, Josep Carmona
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD (2015)
Javier de San Pedro, Josep Carmona, Jordi Cortadella
Log-Based Simplification of Process Models. BPM (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. CoRR (2015)
Timo Sztyler, Johanna Völker, Josep Carmona, Oliver Meier, Heiner Stuckenschmidt
Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care. ATAED@Petri Nets/ACSD (2015)
Arya Adriansyah, Jorge Munoz-Gama, Josep Carmona, Boudewijn F. van Dongen, Wil M. P. van der Aalst
Measuring precision of modeled behavior. Inf. Syst. E Bus. Manag. 13 (1) (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. ATVA (2015)
Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke
Incorporating Negative Information in Process Discovery. BPM (2015)
Joel Ribeiro, Josep Carmona
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. ATAED@Petri Nets/ACSD (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona
POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) (2015)
Vasiliki Sfyrla, Josep Carmona, Pascal Henck
Process-Oriented Analysis for Medical Devices. MCPS (2014)
Joel Ribeiro, Josep Carmona
RS4PD: A Tool for Recommending Control-Flow Algorithms. BPM (Demos) (2014)
Joel Ribeiro, Josep Carmona, Mustafa Misir, Michèle Sebag
A Recommender System for Process Discovery. BPM (2014)
Josep Carmona, Jordi Cortadella
Process Discovery Algorithms Using Numerical Abstract Domains. IEEE Trans. Knowl. Data Eng. 26 (12) (2014)
Josep Carmona, Mihai Teodor Lazarescu, Marta Pietkiewicz-Koutny
Introduction to Special Issue on Application of Concurrency to System Design (ACSD'13). ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Josep Carmona, Marc Solé
PMLAB: An Scripting Environment for Process Mining. BPM (Demos) (2014)
Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
Single-Entry Single-Exit decomposed conformance checking. Inf. Syst. 46 (2014)
Seppe K. L. M. vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, Jan Vanthienen
Event-Based Real-Time Decomposed Conformance Analysis. OTM Conferences (2014)
Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. OTM Conferences (2014)
Josep Carmona, Jetty Kleijn
Compatibility in a multi-component environment. Theor. Comput. Sci. 484 (2013)
Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, Kenichi Morita
Brownian Circuits: Fundamentals. ACM J. Emerg. Technol. Comput. Syst. 9 (1) (2013)
Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
Hierarchical Conformance Checking of Process Models Based on Event Logs. Petri Nets (2013)
Marc Solé, Josep Carmona
Amending C-net discovery algorithms. SAC (2013)
Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
Conformance Checking in the Large: Partitioning and Topology. BPM (2013)

Josep Carmona.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Josep Carmona