| |
| 2008 | ||
|---|---|---|
| 5 | EE | César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427 |
| 4 | EE | César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123 |
| 3 | EE | César Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 |
| 2 | EE | César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 |
| 1 | EE | César Andrés, Rafael G. Aranda, Manuel Núñez: Using formal methods to develop a complex information system: a practical/theoretical experience. SAC 2008: 848-849 |
| 1 | Rafael G. Aranda | [1] |
| 2 | Mercedes G. Merayo | [4] [5] |
| 3 | Manuel Núñez | [1] [3] [4] [5] |
| 4 | Ismael Rodríguez | [2] |
| 5 | Fernando Rubio | [2] |