2008 |
13 | | Arturo Fornés,
José A. Conejero,
Antonio Molina,
Antonio Pérez,
Eduardo Vendrell,
Andrés Terrasa,
Emilio Sanchis:
Predicting Success in the Computer Science Degree Using ROC Analysis.
FECS 2008: 86-90 |
12 | EE | Andrés Terrasa,
Agustín Espinosa,
Ana García-Fornes:
Lightweight POSIX tracing.
Softw., Pract. Exper. 38(5): 447-469 (2008) |
2007 |
11 | EE | Eduardo Vendrell,
Emilio Sanchis,
Andrés Terrasa:
E-Learning at the Faculty of Computer Science of Valencia: A Report.
AICT 2007: 28 |
2006 |
10 | EE | Gustavo Aranda Bada,
Javier Palanca Cámara,
Agustín Espinosa,
Andrés Terrasa,
Ana García-Fornes:
Towards Developing Multi-agent Systems in Ada.
Ada-Europe 2006: 131-142 |
2005 |
9 | EE | Carlos Carrascosa,
Andrés Terrasa,
Ana García-Fornes,
Agustín Espinosa,
Vicente J. Botti:
A Meta-Reasoning Model for Hard Real-Time Agents.
CAEPIA 2005: 42-51 |
2004 |
8 | EE | Agustín Espinosa Minguet,
Ana García-Fornes,
Vicente Lorente Garcés,
Andrés Terrasa Barrena:
Mixing Scheduling Policies in Ada.
Ada-Europe 2004: 273-282 |
2003 |
7 | EE | Andrés Terrasa,
Guillem Bernat:
Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.
RTCSA 2003: 466-485 |
6 | | Vicent Lorente,
Agustín Espinosa,
Andrés Terrasa,
Ana García-Fornes,
Alfons Crespo:
Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code.
WCET 2003: 79-85 |
2002 |
5 | | Andrés Terrasa,
Ana García-Fornes,
Vicente J. Botti:
Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment.
Real-Time Systems 22(1-2): 151-173 (2002) |
2000 |
4 | EE | Andrés Terrasa,
Ana García-Fornes,
Vicente J. Botti:
Including user-defined timing exception support in FRTL.
RTCSA 2000: 255-262 |
1999 |
3 | EE | Andrés Terrasa,
Ana García-Fornes:
Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux.
RTCSA 1999: 434- |
1998 |
2 | EE | Agustín Espinosa,
Vicente Julián,
Carlos Carrascosa,
Andrés Terrasa,
Ana García-Fornes:
Programming Hard Real-Time Systems with Optional Components in Ada.
Ada-Europe 1998: 102-111 |
1 | EE | Andrés Terrasa,
Agustín Espinosa,
Ana García-Fornes:
Extending RT-Linux to Support Flexible Hard Real-Time Systems with Optional Components.
LCTES 1998: 41-50 |