Exploració per autor "Carmona Vargas, Josep"Més informacióMés informació

Ara es mostren els items 1-20 de 105

    • 1849-2016 - IEEE Standard for eXtensible Event Stream (XES) for achieving interoperability in event logs and event streams 

      Van der Aalst, Wil M.P.; Günther, Christian; Bose, J. C.; Carmona Vargas, Josep; Dumas, Marlon; van Geffen, Frank; Goel, Sukriti; Guzzo, Antonella; Khalaf, Rania; Kuhn, Rudolf; Lehto, Teemu; Mannhardt, Felix (2016-09-22)
      Report de recerca
      Accés restringit per política de l'editorial
      Abstract: A grammar for a tag-based language whose aim is to provide designers of information systems with a unified and extensible methodology for capturing systems behaviors by means of event logs and event streams is ...

    • A framework for online conformance checking 

      Burattin, Andrea; Carmona Vargas, Josep (Springer, 2017)
      Text en actes de congrés
      Accés obert
      Conformance checking – a branch of process mining – focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model. Current conformance checking techniques ...

    • A High-level strategy for C-net discovery 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      Report de recerca
      Accés obert
      Causal nets have been recently proposed as a suitable model for process mining, due to their declarative semantics and compact representation. However, the discovery of causal nets from a log is a complex problem. The ...

    • A human-in-the-loop approach based on explainability to improve NTL detection 

      Coma Puig, Bernat; Carmona Vargas, Josep (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Text en actes de congrés
      Accés obert
      Implementing systems based on Machine Learning to detect fraud and other Non-Technical Losses (NTL) is challenging: the data available is biased, and the algorithms currently used are black-boxes that cannot be either ...

    • A method for assessing parameter impact on control-flow discovery algorithms 

      Ribeiro, Joel; Carmona Vargas, Josep (CEUR-WS.org, 2015)
      Text en actes de congrés
      Accés obert
      Given an event log L, a control-flow discovery algorithm f, and a quality metric m, this paper faces the following problem: what are the parameters in f that mostly influence its application in terms of m when applied ...

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

      Coma Puig, Bernat; Carmona Vargas, Josep (Association for Computing Machinery (ACM), 2018)
      Text en actes de congrés
      Accés obert
      Fraud detection in energy consumption has proven to be a difficult problem for current techniques. In general, the approaches used in this area are restricted to compute a fraud score for each client based on its behaviour. ...

    • A recommender system for process discovery 

      Ribeiro, Joel; Carmona Vargas, Josep; Misir, Mustafa; Sebag, Michele (Springer, 2014)
      Text en actes de congrés
      Accés obert
      Over the last decade, several algorithms for process discovery and process conformance have been proposed. Still, it is well-accepted that there is no dominant algorithm in any of these two disciplines, and then it is often ...

    • A recursive paradigm for aligning observed behavior of large structured process models 

      Taymouri, Farbod; Carmona Vargas, Josep (Springer, 2016)
      Text en actes de congrés
      Accés obert
      The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation ...

    • A region-based algorithm for discovering Petri nets from event logs 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael (Springer, 2008)
      Text en actes de congrés
      Accés obert
      The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the behavior of an event log. The most important ...

    • A Structural encoding technique for the synthesis of asynchronous circuits 

      Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric (2000-12)
      Report de recerca
      Accés obert
      This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...

    • A structural encoding technique for the synthesis of asynchronous circuits 

      Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric (Institute of Electrical and Electronics Engineers (IEEE), 2001)
      Text en actes de congrés
      Accés obert
      This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...

    • A symbolic algorithm for the synthesis of bounded Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Springer, 2008)
      Text en actes de congrés
      Accés obert
      This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee ...

    • A tour in process mining: from practice to algorithmic challenges 

      Van der Aalst, Wil M.P.; Carmona Vargas, Josep; Chatain, Thomas; Dongen, Boudewijn F. van (2019-11-01)
      Article
      Accés obert
      Process mining seeks the confrontation between modeled behavior and observed behavior. In recent years, process mining techniques managed to bridge the gap between traditional model-based process analysis (e.g., simulation ...

    • A unified approach for measuring precision and generalization based on anti-alignments 

      Dongen, Boudewijn van; Carmona Vargas, Josep; Chatain, Thomas (Springer, 2016)
      Text en actes de congrés
      Accés obert
      The holy grail in process mining is an algorithm that, given an event log, produces fitting, precise, properly generalizing and simple process models. While there is consensus on the existence of solid metrics for fitness ...

    • Actionable conformance checking: from intuitions to code 

      Carmona Vargas, Josep; Weidlich, Matthias; Dongen, Boudewijn F. van (Springer, 2019)
      Text en actes de congrés
      Accés obert
      Conformance checking is receiving increasing attention in the last years. This is due to several reasons, that can be summarized into two: the explosion of digital information that talks about processes, and the need to ...

    • Aligning modeled and observed behavior: A compromise between computation complexity and quality 

      Dongen, Boudewijn F. van; Carmona Vargas, Josep; Chatain, Thomas; Taymouri, Farbod (Springer, 2017)
      Text en actes de congrés
      Accés obert
      Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can ...

    • Aligning textual and graphical descriptions of processes through ILP techniques 

      Sànchez-Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2017)
      Comunicació de congrés
      Accés obert
      With the aim of having individuals from different backgrounds and expertise levels examine the operations in an organization, different representations of business processes are maintained. To have these different ...

    • Aligning textual and model-based process descriptions 

      Sànchez-Ferreres, Josep; van der Aa, Han; Carmona Vargas, Josep; Padró, Lluís (Elsevier, 2018-01-01)
      Article
      Accés obert
      Process model descriptions are an ubiquitous source of information that exists in any organization. To reach different types of stakeholders, distinct descriptions are often kept, so that process understandability is boosted ...

    • Alignment based precision checking 

      Adriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil M.P. van der (Springer, 2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Most organizations have process models describing how cases need to be handled. In fact, legislation and standardization (cf. the Sarbanes-Oxley Act, the Basel II Accord, and the ISO 9000 family of standards) are forcing ...

    • Alignment based precision checking 

      Adriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil M.P. van der (2012)
      Text en actes de congrés
      Accés restringit per decisió de l'autor
      In this paper, we show an application of alignments between process models and their executions to measure their precision.We show that pre-alignment improves the accuracy existing precision measurement technique, even ...