• CleanET: enabling timing validation for complex automotive systems 

      Vilardell Moreno, Sergi; Serra Mochales, Isabel; Tabani, Hamid; Abella Ferrer, Jaume; del Castillo Franquet, Joan; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2020)
      Text en actes de congrés
      Accés obert
      Timing validation for automotive systems occurs in late integration stages when it is hard to control how the instances of software tasks overlap in time. To make things worse, in complex software systems, like those for ...
    • Simulation of cell signalling communications using event-driven algorithms 

      Huertas Gonzalez, Daniel; Rojas Espinosa, Alfonso (2014)
      Text en actes de congrés
      Accés obert
      In this paper we present two implementations of event-driven algorithms for simulating molecular dynamics using the Omnet++ Simulation Framework and its Future Event Set (FES) implementation. The first one uses a cell-linked ...