Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Métodos formales y algoritmos para el diseño de sistemas

Total activitats: 17
Tipus d'activitat
Projecte R+D+I competitiu
Entitat finançadora
CICYT TIN2007-66523
Codi de l'entitat finançadora
TIN2007-66523
Import
1.072.060,00 €
Data d'inici
2007-10-01
Data de fi
2012-09-30

Participants

Producció científica

1 a 17 de 17 resultats
 
  • FrogCOL and FrogMIS: new decentralized algorithms for finding large independent sets in graphs  Accés obert

     Blum, C.; Calvo, B.; Blesa, M.
    Swarm intelligence
    Vol. 9, num. 2-3, p. 205-227
    DOI: 10.1007/s11721-015-0110-1
    Data de publicació: 2015-09-01
    Article en revista
    Accés al text complet
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Mueller, M.; Oliva, S.
    Journal of symbolic logic
    Vol. 80, num. 2, p. 450-476
    DOI: 10.1017/jsl.2014.56
    Data de publicació: 2015-06-01
    Article en revista
    Accés al text complet
  • Model synchronization based on triple graph grammars: correctness, completeness and invertibility  Accés obert

     Hermann, F.; Ehrig, H.; Orejas, F.; Czarnecki, K.; Diskin, Z.; Xiong, Y.; Gottmann, S.; Engel, T.
    Software and systems modeling
    Vol. 14, num. 1, p. 241-269
    DOI: 10.1007/s10270-012-0309-1
    Data de publicació: 2015-02-01
    Article en revista
    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
  • Firefighting as a game  Accés obert

     Alvarez, C.; Blesa, M.; Molter, H.
    Lecture notes in computer science
    num. 8882, p. 108-119
    DOI: 10.1007/978-3-319-13123-8_9
    Data de publicació: 2014-12-10
    Article en revista
    Accés al text complet
  • 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
  • Bounded-width QBF is PSPACE-complete  Accés obert

     Atserias, A.; Oliva, S.
    Journal of computer and system sciences
    Vol. 80, num. 7, p. 1415-1429
    DOI: 10.1016/j.jcss.2014.04.014
    Data de publicació: 2014-11-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
  • An operational framework to reason about policy behavior in trust management systems

     Edelmira Pasarella; Lobo, J.
    CEUR Workshop proceedings
    Vol. 1189
    Data de publicació: 2014-07-05
    Article en revista
  • An operational framework to reason about policy behavior in trust management systems  Accés obert

     Edelmira Pasarella; Lobo, J.
    Alberto Mendelzon Workshop on Foundations of Data Management
    Data de presentació: 2014-06-05
    Presentació treball a congrés
    Accés al text complet
  • Excessively duplicating patterns represent non-regular languages

     Creus, C.; Godoy, G.; Ramos, L.
    Information processing letters
    Vol. 114, num. 3, p. 85-93
    DOI: 10.1016/j.ipl.2013.11.010
    Data de publicació: 2014-03-01
    Article en revista
  • 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
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Müller, M.; Oliva, S.
    IEEE Conference on Computational Complexity
    p. 109-120
    DOI: 10.1109/CCC.2013.20
    Data de presentació: 2013-06-05
    Presentació treball a congrés
    Accés al text complet
  • Sensor field: a computational model

     Alvarez, C.; Duch, A.; Gabarro, J.; Serna, M.
    Lecture notes in computer science
    Vol. 5804, p. 3-14
    DOI: 10.1007/978-3-642-05434-1_3
    Data de publicació: 2009
    Article en revista
  • Pattern-based model-to-model transformation: handling attribute conditions

     Guerra, E.; Lara, J.; Orejas, F.
    Lecture notes in computer science
    Vol. 5563, p. 83-99
    DOI: 10.1007/978-3-642-02408-5_7
    Data de publicació: 2009
    Article en revista