Search the dblp DataBase
Victor Carreño: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ricky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz
Formal Verification of Conflict Detection Algorithms. [Citation Graph (0, 0)][DBLP]
CHARME, 2001, pp:403-417 [Conf] - César Muñoz, Gilles Dowek, Victor Carreño
Modeling and verification of an air traffic concept of operations. [Citation Graph (0, 0)][DBLP]
ISSTA, 2004, pp:175-182 [Conf] - Gerald Lüttgen, Victor Carreño
Analyzing Mode Confusion via Model Checking. [Citation Graph (0, 0)][DBLP]
SPIN, 1999, pp:120-135 [Conf] - Victor Carreño
Verification in Higher Order Logic of Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
HUG, 1993, pp:501-513 [Conf] - Victor Carreño, César Muñoz
Aircraft Trajectory Modeling and Altering Algorithm Verification. [Citation Graph (0, 0)][DBLP]
TPHOLs, 2000, pp:90-105 [Conf] - César Muñoz, Victor Carreño, Gilles Dowek
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. [Citation Graph (0, 0)][DBLP]
RODIN Book, 2006, pp:306-325 [Conf] - César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
Formal verification of conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:371-380 [Journal]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002