- -

Listar por autor "Garcia Gordillo, Miguel"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Garcia Gordillo, Miguel"

Ordenar por:Orden:Resultados:

  • thumb
    Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt 
    García-Gordillo, Miguel; Valls, Joan; Sáez Barona, Sergio (IEEE, 2019-09-13)
    [EN] Monitoring the execution of real-time systems has many advantages, it is not only useful to understand the behaviour of an application but also to find unfulfilled timing constraints in an implementation. However, ...
  • thumb
    Scenario-Based Validation & Verification, the ENABLE-S3 Approach 
    Valls Mompó, Joan Josep; García-Gordillo, Miguel; Sáez Barona, Sergio (Ada-Europe, 2019-12)
    [EN] Automated systems can be found on many current vehi- cles, either land, air or maritime. The reliability, safety and robustness of these systems is extremely important, hence validation approaches need to adapt to ...