Recent Submissions

  • Towards a generic benchmarking platform for origin–destination flows estimation/updating algorithms: design, demonstration and validation 

    Antoniou, Constantinos; Barceló Bugeda, Jaime; Breen, Martijn; Bullejos, Manuel; Casas, Jordi; Cipriani, Ernesto; Ciuffo, Biagio; Djukic, Tamara; Hoogendoorn, Serge; Marzano, Vittorio; Montero Mercadé, Lídia; Nigro, Marialisa; Perarnau, Josep; Punzo, Vincenzo; Toledo, Tomer; van Lint, Hans (2016-05-01)
    Article
    Restricted access - publisher's policy
    Estimation/updating of origin-destination (OD) flows and other traffic state parameters is a classical, widely adopted procedure in transport engineering, both in off-line and in on-line contexts. Notwithstanding numerous ...
  • Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions 

    Tang, Jun; Piera, Miquel Angel; Guasch Petit, Antonio (2016-03-03)
    Article
    Open Access
    The Traffic Alert and Collision Avoidance System (TCAS) is a world-wide accepted lastresort means of reducing the probability and frequency of mid-air collisions between aircraft. Unfortunately, it is widely known that in ...
  • Individual-based modeling of tuberculosis in a user-friendly interface: Understanding the epidemiological role of population heterogeneity in a city 

    Prats Soler, Clara; Montañola Sales, Cristina; Gilabert Navarro, Joan-Francesc; Valls Ribas, Joaquim; Casanovas Garcia, Josep; Vilaplana, Cristina; Cardona Iglesias, Pere Joan; López Codina, Daniel (2016-01-01)
    Article
    Open Access
    © 2016 Prats, Montañola-Sales, Gilabert-Navarro, Valls, Casanovas-Garcia, Vilaplana, Cardona and López. For millennia tuberculosis (TB) has shown a successful strategy to survive, making it one of the world's deadliest ...
  • Incremental checking of OCL constraints with aggregates through SQL 

    Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    Valid states of data are those satisfying a set of constraints. Therefore, efficiently checking whether some constraint has been violated after a data update is an important problem in data management. We tackle this problem ...
  • Computing repairs for constraint violations in UML/OCL conceptual schemas 

    Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Elsevier, 2015-06-25)
    Article
    Restricted access - publisher's policy
    Updating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ...
  • Verification and validation of UML artifact-centric business process models 

    Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...
  • Specifying artifact-centric business process models in UML 

    Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015-04-01)
    Part of book or chapter of book
    Open Access
    In recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...
  • An integrated Computational framework for the estimation of dynamic OD trip matrices 

    Barceló Bugeda, Jaime; Montero Mercadé, Lídia (2015)
    Conference report
    Restricted access - publisher's policy
    Origin-Destination (OD) trip matrices describe the patterns of traffic behavior across the network and play a key role as primary data input to many traffic models. OD matrices are a critical requirement, either in static ...
  • Supporting data integration tasks with semi-automatic ontology construction 

    Touma, Rizkallah; Romero Moral, Óscar; Jovanovic, Petar (Association for Computing Machinery (ACM), 2015)
    Conference report
    Restricted access - publisher's policy
    Data integration aims to facilitate the exploitation of heterogeneous data by providing the user with a unified view of data residing in different sources. Currently, ontologies are commonly used to represent this unified ...
  • A framework for building OLAP cubes on graphs 

    Ghrab, Amine; Romero Moral, Óscar; Skhiri, Sabri; Vaisman, Alejandro; Zimányi, Esteban (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    Graphs are widespread structures providing a powerful abstraction for modeling networked data. Large and complex graphs have emerged in various domains such as social networks, bioinformatics, and chemical data. However, ...

View more