The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Victor Carreño: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Gerald Lüttgen, Victor Carreño
    Analyzing Mode Confusion via Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:120-135 [Conf]
  4. Victor Carreño
    Verification in Higher Order Logic of Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:501-513 [Conf]
  5. 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]
  6. 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]
  7. 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.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002