Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Victor Carreño

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rodin/MunozCD06
- ask others
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: 306-325
2004
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/MunozDC04
- ask others
César A. Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182
2003
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/MunozCDB03
- ask others
César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler: Formal verification of conflict detection algorithms. STTT 4(3): 371-380 (2003)
2002
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/2002
- ask others
Victor Carreño, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2410, Springer 2002, ISBN 3-540-44039-9
2001
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/charme/ButlerCDM01
- ask others
Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz: Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417
2000
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/CarrenoM00
- ask others
Victor Carreño, César A. Muñoz: Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/LuttgenC99
- ask others
Gerald Lüttgen, Victor Carreño: Analyzing Mode Confusion via Model Checking. SPIN 1999: 120-135
1993
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Carreno93
- ask others
Victor Carreño: Verification in Higher Order Logic of Mutual Exclusion Algorithm. HUG 1993: 501-513

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?