Journal Publications:







Conference Papers:

Dowek, Gilles and Cesar Munoz, "Conflict Detection and Resolution for 1,2,...,N Aircraft," 7th Annual Aviation Technology, Integration and Operations Conference, Belfast, Northern Ireland, September 18-20, 2007, AIAA Paper ATIO-2007-7737.

Dowek, Gilles, Cesar Munoz, and Corina S. Pasareanu, "A Formal Analysis Framework for PLEXIL," Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems, September 2007.

Galdino, Andre L., Cesar Munoz, and Mauricio Ayala-Rincon, "Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm," Proceedings of the 14th Workshop on Logic, Language, Information and Computation, Rio de Janeiro, Brazil, Lecture Notes in Computer Science, eds. D. Leivant and R. de Queiroz, Springer-Verlag, pp. 177-188, July 2007.