Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Carmona Vargas, Jose

Total activitats: 106
Àrees d'expertesa
Mineria de processos, Mètodes formals
Categoria professional
Titular d'universitat
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Departament
Departament de Ciències de la Computació
Centre docent
Facultat d'Informàtica de Barcelona (FIB)
Correu electrònic
jcarmonacs.upc.edu
Dades de contacte
Directori de la UPC Obrir en finestra nova
Orcid
0000-0001-9656-254X Obrir en finestra nova
Scopus Author ID
22333712700 Obrir en finestra nova
Completa les teves dades

Producció científica

1 a 50 de 106 resultats
 
  • Fraud detection in energy consumption: a supervised approach

     Coma-Puig, B.; Carmona, J.; Gavaldà, R.; Alcoverro, S.; Martín, V.
    IEEE International Conference on Data Science and Advanced Analytics
    p. 120-129
    DOI: 10.1109/DSAA.2016.19
    Data de presentació: 2016-10-17
    Presentació treball a congrés
  • Conditions for compatibility of components: The case of masters and slaves

     Beek, M.; Carmona, J.; Kleijn, J.
    International Symposium of Leveraging Applications of Formal Methods, Verification and Validation
    p. 784-805
    DOI: 10.1007/978-3-319-47166-2_55
    Data de presentació: 2016-10
    Presentació treball a congrés
  • A unified approach for measuring precision and generalization based on anti-alignments

     van Dongen, B.; Carmona, J.; Chatain, T.
    International Conference on Business Process Management
    p. 39-56
    DOI: 10.1007/978-3-319-45348-4_3
    Data de presentació: 2016-09
    Presentació treball a congrés
  • Process model comparison based on cophenetic distance

     Sanchez, D.; Muntés, V.; Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 141-158
    DOI: 10.1007/978-3-319-45468-9_9
    Data de presentació: 2016-09
    Presentació treball a congrés
  • A recursive paradigm for aligning observed behavior of large structured process models

     Taymouri, F.; Carmona, J.
    International Conference on Business Process Management
    p. 197-214
    DOI: 10.1007/978-3-319-45348-4_12
    Data de presentació: 2016-09
    Presentació treball a congrés
  • Anti-alignments in conformance checking: the dark side of process models

     Chatain, T.; Carmona, J.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 240-258
    DOI: 10.1007/978-3-319-39086-4_15
    Data de presentació: 2016-06-19
    Presentació treball a congrés
  • Security-sensitive tackling of obstructed workflow executions  Accés obert

     Holderer, J.; Carmona, J.; Müller, G.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 126-137
    Data de presentació: 2016-06
    Presentació treball a congrés
    Accés al text complet
  • Computing alignments with constraint programming : the acyclic case

     Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 1-15
    Data de presentació: 2016-06
    Presentació treball a congrés
  • Mining conditional partial order graphs from event logs

     Mokhov, A.; Carmona, J.; Beaumont, J.
    Lecture notes in computer science
    Vol. 9930, p. 114-136
    DOI: 10.1007/978-3-662-53401-4_6
    Data de publicació: 2016
    Article en revista
  • Self-tracking reloaded: Applying process mining to personalized health care from labeled sensor data

     Sztyler, T.; Carmona, J.; Völker, J.; Stuckenschmidt, H.
    Lecture notes in computer science
    Vol. 9930, p. 160-180
    DOI: 10.1007/978-3-662-53401-4_8
    Data de publicació: 2016
    Article en revista
  • Unfolding-based process discovery  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.; Heljanko, K.; Haar, S.
    International Symposium Automated Technology for Verification and Analysis
    p. 31-47
    DOI: 10.1007/978-3-319-24953-7_4
    Data de presentació: 2015-10-12
    Presentació treball a congrés
    Accés al text complet
  • Log-based simplification of process models  Accés obert

     San Pedro, J. de; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Data de presentació: 2015-09-03
    Presentació treball a congrés
    Accés al text complet
  • POD: A tool for process discovery using partial orders and independence information  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.
    International Conference on Business Process Management
    p. 100-104
    Data de presentació: 2015-09-01
    Presentació treball a congrés
    Accés al text complet
  • Incorporating negative information in process discovery  Accés obert

     Ponce de León, H.; Carmona, J.; vanden Broucke, S.K.L.M.
    International Conference on Business Process Management
    p. 126-143
    DOI: 10.1007/978-3-319-23063-4_8
    Data de presentació: 2015-09
    Presentació treball a congrés
    Accés al text complet
  • Communication and compatibility in systems of systems: Correctness-by-construction  Accés obert

     Beek, M.; Carmona, J.; Kleijn, J.
    ERCIM news
    Vol. 2015, num. 102, p. 21-22
    Data de publicació: 2015-07-01
    Article en revista
    Accés al text complet
  • A method for assessing parameter impact on control-flow discovery algorithms  Accés obert

     Ribeiro, J.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 83-96
    Data de presentació: 2015-06-23
    Presentació treball a congrés
    Accés al text complet
  • Event log visualisation with conditional partial order graphs: from control flow to data  Accés obert

     Mokhov, A.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 16-30
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care  Accés obert

     Sztyler, T.; Völker, J.; Carmona, J.; Meier, O.; Stuckenschmidt, H.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 31-46
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Measuring precision of modeled behavior  Accés obert

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Information systems and e-business management
    Vol. 13, num. 1, p. 37-67
    DOI: 10.1007/s10257-014-0234-7
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Conformance Checking and Diagnosis in Process Mining  Accés obert

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Single-entry single-exit decomposed conformance checking

     Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    Information systems
    Vol. 46, p. 102-122
    DOI: 10.1016/j.is.2014.04.003
    Data de publicació: 2014-12
    Article en revista
  • Process discovery algorithms using numerical abstract domains  Accés obert

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Data de publicació: 2014-12-01
    Article en revista
    Accés al text complet
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    International Conference on Cooperative Information Systems
    p. 345-363
    DOI: 10.1007/978-3-662-45563-0_20
    Data de presentació: 2014-10-31
    Presentació treball a congrés
    Accés al text complet
  • Decomposing alignment-based conformance checking of data-aware process models  Accés obert

     de Leoni, M.; Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    International Conference on Cooperative Information Systems
    p. 3-20
    DOI: 10.1007/978-3-662-45563-0_1
    Data de presentació: 2014-10-29
    Presentació treball a congrés
    Accés al text complet
  • A recommender system for process discovery  Accés obert

     Ribeiro, J.; Carmona, J.; Misir, M.; Sebag, M.
    International Conference on Business Process Management
    p. 67-83
    DOI: 10.1007/978-3-319-10172-9_5
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • PMLAB: An scripting environment for process mining  Accés obert

     Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 16-20
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • Process-oriented analysis for medical devices  Accés obert

     Sfyrla, V.; Carmona, J.; Henck, P.
    Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance
    p. 143-146
    DOI: 10.4230/OASIcs.MCPS.2014.143
    Data de presentació: 2014-04
    Presentació treball a congrés
    Accés al text complet
  • Detecció de frau a plataformes de/'CrowdSourcing/'

     Nin, J.; Larriba, J.; Carmona, J.
    Projecte R+D+I competitiu
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    Data: 2013-12-13
    Document cientificotècnic
    Accés al text complet
  • Hierarchical conformance checking of process models based on event logs

     Munoz-Gama, J.; Carmona, J.; Aalst, W. M.P.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 291-310
    DOI: 10.1007/978-3-642-38697-8_16
    Data de presentació: 2013-06-28
    Presentació treball a congrés
  • Compatibility in a multi-component environment

     Carmona, J.; Kleijn, J.
    Theoretical computer science
    Vol. 484, p. 1-15
    DOI: 10.1016/j.tcs.2013.03.006
    Data de publicació: 2013-05-06
    Article en revista
  • Amending C-net discovery algorithms

     Solé, M.; Carmona, J.
    ACM Symposium on Applied Computing
    p. 1418-1425
    DOI: 10.1145/2480362.2480628
    Data de presentació: 2013-03
    Presentació treball a congrés
  • Brownian circuits: fundamentals

     Peper, F.; Lee, J.; Carmona, J.; Cortadella, J.; Morita, K.
    ACM journal on emerging technologies in computing systems
    Vol. 9, num. 1, p. 3:1-3:24
    DOI: 10.1145/2422094.2422097
    Data de publicació: 2013-02
    Article en revista
  • Region-based foldings in process discovery

     Solé, M.; Carmona, J.
    IEEE transactions on knowledge and data engineering
    Vol. 25, num. 1, p. 192-205
    DOI: 10.1109/TKDE.2011.192
    Data de publicació: 2013-01
    Article en revista
  • Hierarchical conformance checking of process models based on event logs  Accés obert

     Muñoz, J.; Carmona, J.; Aalst, W. M.P.
    Data: 2013
    Document cientificotècnic
    Accés al text complet
  • Online techniques for dealing with concept drift in process mining

     Carmona, J.; Gavaldà, R.
    International Symposium on Intelligent Data Analysis
    p. 90-102
    DOI: 10.1007/978-3-642-34156-4_10
    Data de presentació: 2012-12-27
    Presentació treball a congrés
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Enterprise Information System Conference
    p. 1-12
    Data de presentació: 2012-11-28
    Presentació treball a congrés
  • Alignment based precision checking

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    International Workshop on Business Process Intelligence
    p. 137-149
    DOI: 10.1007/978-3-642-36285-9_15
    Data de presentació: 2012-09-03
    Presentació treball a congrés
  • A general framework for precision checking

     Munoz-Gama, J.; Carmona, J.
    International journal of innovative computing information and control
    Vol. 8, num. 7B, p. 5317-5339
    Data de publicació: 2012-07
    Article en revista
  • Incremental process discovery

     Sole, M.; Carmona, J.
    DOI: 10.1007/978-3-642-29072-5
    Data de publicació: 2012
    Capítol de llibre
    Imatge
  • Conformance checking in the large: partitioning and topology

     Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    International Conference on Business Process Management
    p. 130-145
    DOI: 10.1007/978-3-642-40176-3_11
    Presentació treball a congrés
  • A high-level strategy for C-net discovery

     Sole, M.; Carmona, J.
    International Conference on Application of Concurrency in System Design
    p. 102-111
    DOI: 10.1109/ACSD.2012.20
    Data de presentació: 2012
    Presentació treball a congrés
  • Process mining manifesto

     Carmona, J.; Munoz-Gama, J.
    International Conference on Business Process Management
    p. 169-194
    DOI: 10.1007/978-3-642-28108-2_19
    Data de presentació: 2012
    Presentació treball a congrés
  • Analytical performance modeling of hierarchical interconnect fabrics

     Nikitin, N.; San Pedro, J. de; Carmona, J.; Cortadella, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 107-114
    DOI: 10.1109/NOCS.2012.20
    Data de presentació: 2012
    Presentació treball a congrés
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     San Pedro, J. de; Carmona, J.; Cortadella, J.; Petit, J.
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Data de presentació: 2012
    Presentació treball a congrés
  • An SMT-based discovery algorithm for C-Nets

     Sole, M.; Carmona, J.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 51-71
    DOI: 10.1007/978-3-642-31131-4_4
    Presentació treball a congrés
  • Projection approaches to process mining using region-based techniques

     Carmona, J.
    Data mining and knowledge discovery
    Vol. 24, num. 1, p. 218-246
    DOI: 10.1007/s10618-011-0226-x
    Data de publicació: 2012-01
    Article en revista