César A. Muñoz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'César A. Muñoz' as author, editor, or advisor:

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, ProceedingsAaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0003, editors, Volume 12673 of Lecture Notes in Computer Science, Springer, 2021. [doi]
A Formally Verified Generic Branching Algorithm for Global OptimizationAnthony Narkawicz, César A. Muñoz. vstte 2014: 326-343 [doi]
Verification of Numerical Programs: From Real Numbers to Floating Point NumbersAlwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson. NFM 2013: 441-446 [doi]
Compositional verification of a communication protocol for a remotely operated aircraftAlwyn Goodloe, César A. Muñoz. SCP, 78(7):813-827, 2013. [doi]
Selected Extended Papers of ITP 2017 - PrefaceMauricio Ayala-Rincón, César A. Muñoz. JAR, 63(2):319-321, 2019. [doi]
A Formally Verified Floating-Point Implementation of the Compact Position Reporting AlgorithmLaura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot. FM 2018: 364-381 [doi]
Bounding the Range of a Rational Function over a boxAnthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz. rc, 17:34-39, 2012. [doi]
Selected Extended Papers of NFM 2016: PrefaceCésar A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk. JAR, 60(1):1-2, 2018. [doi]
A Formal Interactive Verification Environment for the Plan Execution Interchange LanguageCamilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu. IFM 2012: 343-357 [doi]
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid SystemsPaolo Masci, César A. Muñoz. tap 2020: 155-166 [doi]
Formal Verification of Termination Criteria for First-Order Recursive FunctionsCésar A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos. JAR, 67(4):40, December 2023. [doi]
Automatic Generation of Guard-Stable Floating-Point CodeLaura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz. IFM 2020: 141-159 [doi]
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's TheoremsAnthony Narkawicz, César A. Muñoz, Aaron Dutle. JAR, 54(4):285-326, 2015. [doi]
Rewriting modulo SMT and open system analysisCamilo Rocha, José Meseguer, César A. Muñoz. jlp, 86(1):269-297, 2017. [doi]
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Paolo Masci 0001, César A. Muñoz. FM 2025: 20-38 [doi]
A Rigorous Generic Branch and Bound Solver for Nonlinear ProblemsAndrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius. synasc 2015: 71-78 [doi]
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point ProgramsLaura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz. vmcai 2018: 516-537 [doi]
Selected extended papers of NFM 2018Aaron Dutle, César A. Muñoz, Anthony Narkawicz. isse, 15(3-4):167-168, 2019. [doi]
Formalization of the Undecidability of the Halting Problem for a Functional LanguageThiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz. wollic 2018: 196-209 [doi]
Provably correct conflict prevention bands algorithmsAnthony Narkawicz, César A. Muñoz, Gilles Dowek. SCP, 77(10-11):1039-1057, 2012. [doi]
Bifurcation analysis using rigorous branch and bound methodsAndrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg. IEEEcca 2014: 2095-2100 [doi]
Software Validation via Model AnimationAaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler. tap 2015: 92-108 [doi]
The MINERVA Software Development ProcessAnthony Narkawicz, César A. Muñoz, Aaron Dutle. NFM 2018: 93-108 [doi]
Rewriting Modulo SMT and Open System AnalysisCamilo Rocha, José Meseguer, César A. Muñoz. WRLA 2014: 247-262 [doi]
Provably Correct Floating-Point Implementation of a Point-in-Polygon AlgorithmMariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz. FM 2019: 21-37 [doi]
Boosting the Reuse of Formal SpecificationsMariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú. itp 2018: 477-494 [doi]
A formal library of set relations and its application to synchronous languagesCamilo Rocha, César A. Muñoz, Gilles Dowek. TCS, 412(37):4853-4866, 2011. [doi]
Synchronous set relations in rewriting logicCamilo Rocha, César A. Muñoz. SCP, 92:211-228, 2014. [doi]
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval SubdivisionCésar A. Muñoz, Anthony J. Narkawicz, Aaron Dutle. jfrea, 11(1):19-41, 2018. [doi]
Formal Verification of Conflict Detection Algorithms for Arbitrary TrajectoriesAnthony Narkawicz, César A. Muñoz. rc, 17:209-237, 2012. [doi]
Advanced Theorem Proving Techniques in PVS and ApplicationsCésar A. Muñoz, Ramiro A. Demasi. laser 2012: 96-132 [doi]
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)César A. Muñoz. ictac 2015: 58-62 [doi]
A Mixed Real and Floating-Point SolverRocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric. NFM 2019: 363-370 [doi]
Simulation and Verification of Synchronous Set Relations in Rewriting LogicCamilo Rocha, César A. Muñoz. sbmf 2011: 60-75 [doi]
A Formal Verification Framework for Runtime AssuranceJ. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo. NFM 2024: 322-328 [doi]
Affine Arithmetic and Applications to Real-Number ProvingMariano M. Moscato, César A. Muñoz, Andrew P. Smith. itp 2015: 294-309 [doi]
Unmanned aircraft systems in the national airspace system: a formal methods perspectiveCésar A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch. siglog, 3(3):67-76, 2016. [doi]
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static AnalysisMariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz. safecomp 2017: 213-229 [doi]
Formal Verification of Termination Criteria for First-Order Recursive FunctionsCésar A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos. itp 2021: [doi]
Formal analysis of the compact position reporting algorithmAaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot. fac, 33(1):65-86, 2021. [doi]
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, ProceedingsMauricio Ayala-Rincón, César A. Muñoz, editors, Volume 10499 of Lecture Notes in Computer Science, Springer, 2017. [doi]
From Formal Requirements to Highly Assured Software for Unmanned Aircraft SystemsCésar A. Muñoz, Anthony Narkawicz, Aaron Dutle. FM 2018: 647-652 [doi]
NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, ProceedingsAaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, Volume 10811 of Lecture Notes in Computer Science, Springer, 2018. [doi]
Eliminating Unstable Tests in Floating-Point ProgramsLaura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato. LOPSTR 2019: 169-183 [doi]
Preface: special issue on NASA Formal Methods Symposium 2010César A. Muñoz. isse, 7(2):71-72, 2011. [doi]
Selected extended papers of NFM 2021Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0001. isse, 19(4):337-338, December 2023. [doi]
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006Myla Archer, Thierry Boy de la Tour, César A. Muñoz, editors, Volume 174 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
A Formal Analysis of the Compact Position Reporting AlgorithmAaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz. vstte 2017: 19-34 [doi]
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management ProjectRicky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek. NFM 2010: 34-46
Formalization of Bernstein Polynomials and Applications to Global OptimizationCésar A. Muñoz, Anthony Narkawicz. JAR, 51(2):151-196, 2013. [doi]
Formal Analysis of Extended Well-Clear Boundaries for Unmanned AircraftCésar A. Muñoz, Anthony Narkawicz. NFM 2016: 221-226 [doi]
A Temporal Differential Dynamic Logic Formal EmbeddingLauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz. CPP 2024: 162-176 [doi]

runs on WebDSL