| 2024 | CPP | A Temporal Differential Dynamic Logic Formal Embedding. | Lauren M. White, Laura Titolo, J. Tanner Slagel, Csar A. Muoz |
| 2024 | FM | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2022 | PLDI | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2021 | ITP | Formal Verification of Termination Criteria for First-Order Recursive Functions. | Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos |
| 2020 | IFM | Automatic Generation of Guard-Stable Floating-Point Code. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz |
| 2020 | TAP | A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. | Paolo Masci, Csar A. Muoz |
| 2019 | FM | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. | Mariano M. Moscato, Laura Titolo, Marco A. Feli, Csar A. Muoz |
| 2018 | FM | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. | Csar A. Muoz, Anthony Narkawicz, Aaron Dutle |
| 2018 | FM | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2018 | ITP | Boosting the Reuse of Formal Specifications. | Mariano M. Moscato, Carlos Gustavo Lpez Pombo, Csar A. Muoz, Marco A. Feli |
| 2018 | LOPSTR | Eliminating Unstable Tests in Floating-Point Programs. | Laura Titolo, Csar A. Muoz, Marco A. Feli, Mariano M. Moscato |
| 2018 | VMCAI | An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. | Laura Titolo, Marco A. Feli, Mariano M. Moscato, Csar A. Muoz |
| 2018 | WoLLIC | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2017 | SAFECOMP | Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. | Mariano M. Moscato, Laura Titolo, Aaron Dutle, Csar A. Muoz |
| 2015 | ICTAC | Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). | Csar A. Muoz |
| 2015 | ITP | Affine Arithmetic and Applications to Real-Number Proving. | Mariano M. Moscato, Csar A. Muoz, Andrew P. Smith |
| 2015 | SYNASC | A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. | Andrew P. Smith, Csar A. Muoz, Anthony J. Narkawicz, Mantas Markevicius |
| 2015 | TAP | Software Validation via Model Animation. | Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler |
| 2014 | FM | Automated Real Proving in PVS via MetiTarski. | William Denman, Csar A. Muoz |
| 2014 | FM | Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. | Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, Csar A. Muoz |
| 2012 | IFM | A Formal Interactive Verification Environment for the Plan Execution Interchange Language. | Camilo Rocha, Hctor Cadavid, Csar A. Muoz, Radu Siminiceanu |
| 2009 | FMICS | Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. | Alwyn Goodloe, Csar A. Muoz |
| 2007 | WoLLIC | Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. | Andr Luiz Galdino, Csar A. Muoz, Mauricio Ayala-Rincn |
| 2006 | ATVA | Predicate Abstraction of Programs with Non-linear Computation. | Songtao Xia, Ben Di Vito, Csar A. Muoz |
| 2006 | SAC | Provably faithful evaluation of polynomials. | Sylvie Boldo, Csar A. Muoz |
| 2005 | ARITH | Guaranteed Proofs Using Interval Arithmetic. | Marc Daumas, Guillaume Melquiond, Csar A. Muoz |
| 2004 | ISSTA | Modeling and verification of an air traffic concept of operations. | Csar A. Muoz, Gilles Dowek, Victor Carreo |
| 2003 | WSC | Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. | Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, Csar A. Muoz |
| 1999 | FM | Structural Embeddings: Mechanization with Method. | Csar A. Muoz, John M. Rushby |
| 1996 | LICS | Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. | Csar A. Muoz |