| EP/H017461/1 | High-integrity Java Applications using Circus | (C) |
| GR/R67668/01 | Distributed Aircraft Maintenance Environment: DAME | (C) |
| GR/M94113/01 | PORTABLE CODE FOR SAFETY CRITICAL REAL-TIME SYSTEMS | (C) |
| GR/N05963/01 | INTEGRATING SEQUENTIAL AND CONCURRENT VERIFICATION TECHNIQUES FOR HIGH INTEGRITY REAL-TIME SOFTWARE | (C) |
| GR/K80334/01 | ENGINEERING OF FLEXIBLE AND ROBUST REAL-TIME SYSTEMS | (C) |
| GR/H39611/01 | REAL-TIME SYSTEMS ENGINEERING | (P) |
| GR/F73441/01 | OPERATING SYSTEM SUPPORT FOR HARD REAL-TIME APPLICATIONS | (P) |
| GR/F35920/01 | REAL-TIME SYSTEMS THE NEXT GENERATION | (P) |