| 2006 |
|---|
| 8 | EE | César Muñoz,
Victor Carreño,
Gilles Dowek:
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
RODIN Book 2006: 306-325 |
| 2004 |
|---|
| 7 | EE | César Muñoz,
Gilles Dowek,
Victor Carreño:
Modeling and verification of an air traffic concept of operations.
ISSTA 2004: 175-182 |
| 2003 |
|---|
| 6 | EE | César Muñoz,
Victor Carreño,
Gilles Dowek,
Ricky W. Butler:
Formal verification of conflict detection algorithms.
STTT 4(3): 371-380 (2003) |
| 2002 |
|---|
| 5 | | Victor Carreño,
César Muñoz,
Sofiène Tahar:
Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings
Springer 2002 |
| 2001 |
|---|
| 4 | EE | Ricky W. Butler,
Victor Carreño,
Gilles Dowek,
César Muñoz:
Formal Verification of Conflict Detection Algorithms.
CHARME 2001: 403-417 |
| 2000 |
|---|
| 3 | | Victor Carreño,
César Muñoz:
Aircraft Trajectory Modeling and Altering Algorithm Verification.
TPHOLs 2000: 90-105 |
| 1999 |
|---|
| 2 | EE | Gerald Lüttgen,
Victor Carreño:
Analyzing Mode Confusion via Model Checking.
SPIN 1999: 120-135 |
| 1993 |
|---|
| 1 | | Victor Carreño:
Verification in Higher Order Logic of Mutual Exclusion Algorithm.
HUG 1993: 501-513 |
