Victor Carreño

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

César A. Muñoz, Victor Carreño, Gilles Dowek
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. RODIN Book (2006)
César A. Muñoz, Gilles Dowek, Victor Carreño
Modeling and verification of an air traffic concept of operations. ISSTA (2004)
César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
Formal verification of conflict detection algorithms. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz
Formal Verification of Conflict Detection Algorithms. CHARME (2001)
Victor Carreño, César A. Muñoz
Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs (2000)
Gerald Lüttgen, Victor Carreño
Analyzing Mode Confusion via Model Checking. SPIN (1999)
Victor Carreño
Verification in Higher Order Logic of Mutual Exclusion Algorithm. HUG (1993)