Victor Carreño

According to our database1, Victor Carreño authored at least 6 papers between 1993 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

2004
Modeling and verification of an air traffic concept of operations.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Formal verification of conflict detection algorithms.
Int. J. Softw. Tools Technol. Transf., 2003

2000
Aircraft Trajectory Modeling and Altering Algorithm Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999
Analyzing Mode Confusion via Model Checking.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1993
Verification in Higher Order Logic of Mutual Exclusion Algorithm.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993


  Loading...