Exploració per autor "Carmona Vargas, Josep"
Ara es mostren els items 41-60 de 105
-
Conformance checking in UML artifact-centric business process models
Estañol Lamarca, Montserrat; Muñoz Gama, Jorge; Carmona Vargas, Josep; Teniente López, Ernest (2019-08)
Article
Accés obertBusiness artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial ... -
Decomposed process discovery and conformance checking
Carmona Vargas, Josep (Springer, 2018)
Capítol de llibre
Accés obertDecomposed process discovery and decomposed conformance checking are the corresponding variants of the two monolithic fundamental problems in process mining (van der Aalst 2011): automated process discovery, which considers ... -
Decomposing alignment-based conformance checking of data-aware process models
Leoni, Massimiliano de; Muñoz Gama, Jorge; Carmona Vargas, Josep; van der Aalst, Wil M. P. (Springer, 2014)
Text en actes de congrés
Accés obertProcess mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance ... -
Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care
Sztyler, Timo; Völker, Johanna; Carmona Vargas, Josep; Meier, Oliver; Stuckenschmidt, Heiner (CEUR-WS.org, 2015)
Text en actes de congrés
Accés obertCurrently, there is a trend to promote personalized health care in order to prevent diseases or to have a healthier life. Using current devices such as smart-phones and smart-watches, an individual can easily record detailed ... -
Divide-and-conquer strategies for process mining
Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Mike (2009-03)
Report de recerca
Accés obertThe 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
Accés obertElasticity 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
Accés obertDigital 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
Accés obertConformance 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)
Text en actes de congrés
Accés obertConformance 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
Accés obertState 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
Accés obertInformation 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)
Report de recerca
Accés obertProcess 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)
Text en actes de congrés
Accés obertProcess 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)
Report de recerca
Accés obertProcess 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)
Text en actes de congrés
Accés obertProcess 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)
Text en actes de congrés
Accés obertPredictive 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)
Text en actes de congrés
Accés obertOrganizations 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
Accés obertComputing 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)
Text en actes de congrés
Accés obertThe 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)
Comunicació de congrés
Accés obertData 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 ...