Now showing items 41-60 of 95

    • Divide-and-conquer strategies for process mining 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-03)
      External research report
      Open Access
      The main goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphical representation, clear semantics ...
    • Elastic circuits 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Taubin, Alexander (2009-10)
      Article
      Open Access
      Elasticity in circuits and systems provides tolerance to variations in computation and communication delays. This paper presents a comprehensive overview of elastic circuits for those designers who are mainly familiar with ...
    • Elasticity and Petri nets 

      Cortadella, Jordi; Kishinevsky, Michael; Bufistov, Dmitry; Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio (2008-01)
      Article
      Open Access
      Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with ...
    • Empowering conformance checking using Big Data through horizontal decomposition 

      Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona Vargas, Josep; Bergenthum, Robin (Elsevier, 2021-07)
      Article
      Restricted access - publisher's policy
      Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of the quality of a process model through the discovery of event data, the identification of potential ...
    • Encoding conformance checking artefacts in SAT 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Springer, 2019)
      Conference report
      Open Access
      Conformance checking strongly relies on the computation of artefacts, which enable reasoning on the relation between observed and modeled behavior. This paper shows how important conformance artefacts like alignments, ...
    • Encoding large asynchronous controllers with ILP techniques 

      Carmona Vargas, Josep; Cortadella, Jordi (2008-01)
      Article
      Open Access
      State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The ...
    • Encoding process discovery problems in SMT 

      Sole Simò, Marc; Carmona Vargas, Josep (2018-10)
      Article
      Open Access
      Information systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left ...
    • Enhancing precision in process conformance: stability, confidence and severity 

      Muñoz Gama, Jorge; Carmona Vargas, Josep (2011)
      External research report
      Open Access
      Process Conformance is becoming a crucial area due to the changing nature of processes within an Information System. By confronting specifications against system executions (the main problem tackled in process conformance), ...
    • Event log visualisation with conditional partial order graphs: from control flow to data 

      Mokhov, Andrey; Carmona Vargas, Josep (CEUR-WS.org, 2015)
      Conference report
      Open Access
      Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checked against an event log, and the enhancement ...
    • Event-based real-time decomposed conformance analysis 

      vanden Broucke, Seppe; Muñoz Gama, Jorge; Carmona Vargas, Josep; Baesens, Bart; Vanthienen, Jan (2013-12-13)
      External research report
      Open Access
      Process mining deals with the extraction of knowledge from event logs. One important task within this research field is denoted as conformance checking, which aims to diagnose deviations and discrepancies between modeled ...
    • Event-based real-time decomposed conformance analysis 

      vanden Broucke, Seppe; Muñoz Gama, Jorge; Carmona Vargas, Josep; Baesens, Bart; Vanthienen, Jan (Springer, 2014)
      Conference report
      Open Access
      Process mining deals with the extraction of knowledge from event logs. One important task within this research field is denoted as conformance checking, which aims to diagnose deviations and discrepancies between modeled ...
    • Explainable predictive process monitoring 

      Galanti, Riccardo; Coma Puig, Bernat; de Leoni, Massimiliano; Carmona Vargas, Josep; Navarin, Nicolò (Institute of Electrical and Electronics Engineers (IEEE), 2020)
      Conference report
      Open Access
      Predictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business ...
    • Extracting annotations from textual descriptions of processes 

      Quishpi Betún, Luis Hernán; Carmona Vargas, Josep; Padró, Lluís (Springer, 2020)
      Conference report
      Open Access
      Organizations often have textual descriptions as a way to document their main processes. These descriptions are primarily used by the company’s personnel to understand the processes, specially for those ones that cannot ...
    • Flexible process model mapping using relaxation labeling 

      Delicado Alcántara, Luis; Carmona Vargas, Josep; Padró, Lluís (2020-09-28)
      Article
      Open Access
      Computing a mapping between two process models is a crucial technique, since it enables reasoning and operating across processes, like providing a similarity score between two processes, or merging different process variants ...
    • Formal reasoning on natural language descriptions of processes 

      Sánchez Ferreres, Josep; Burattin, Andrea; Carmona Vargas, Josep; Montali, Marco; Padró, Lluís (Springer, 2019)
      Conference report
      Open Access
      The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this ...
    • Fraud detection in energy consumption: a supervised approach 

      Coma Puig, Bernat; Carmona Vargas, Josep; Gavaldà Mestre, Ricard; Alcoverro, Santiago; Martín, Victor (Institute of Electrical and Electronics Engineers (IEEE), 2016)
      Conference lecture
      Open Access
      Data from utility meters (gas, electricity, water) is a rich source of information for distribution companies, beyond billing. In this paper we present a supervised technique, which primarily but not only feeds on meter ...
    • From process models to chatbots 

      López Cuenca, Francisco Anselmo; Sánchez Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2019)
      Conference report
      Open Access
      The effect of digital transformation in organizations needs to go beyond automation, so that human capabilities are also augmented. A possibility in this direction is to make formal representations of processes more ...
    • Generalized alignment-based trace clustering of process behavior 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Springer, 2019)
      Conference report
      Open Access
      Process mining techniques use event logs containing real process executions in order to mine, align and extend process models. The partition of an event log into trace variants facilitates the understanding and analysis ...
    • Genet: a tool for the synthesis and mining of Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael (Institute of Electrical and Electronics Engineers (IEEE), 2009)
      Conference report
      Open Access
      State-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in ...
    • Hierarchical conformance checking of process models based on event logs 

      Muñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der (Springer Berlin Heidelberg, 2013)
      Conference report
      Restricted access - publisher's policy
      Process mining techniques aim to extract knowledge from event logs. Conformance checking is one of the hard problems in process mining: it aims to diagnose and quantify the mismatch between observed and modeled behavior. ...