default search action
César A. Muñoz
Person information
- affiliation: NASA Langley Research Center
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c57]Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz:
A Temporal Differential Dynamic Logic Formal Embedding. CPP 2024: 162-176 - [c56]Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Paolo Masci, César A. Muñoz:
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. FM (2) 2024: 20-38 - [c55]J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo:
A Formal Verification Framework for Runtime Assurance. NFM 2024: 322-328 - 2023
- [j24]Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. 19(4): 337-338 (2023) - [j23]Cé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:
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67(4): 40 (2023) - [c54]J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle:
Embedding Differential Dynamic Logic in PVS. LSFA/HCVS 2023: 43-62 - 2022
- [c53]J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White:
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI 2022: 44-50 - 2021
- [j22]Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot:
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33(1): 65-86 (2021) - [c52]Cé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:
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP 2021: 27:1-27:17 - [e9]Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Lecture Notes in Computer Science 12673, Springer 2021, ISBN 978-3-030-76383-1 [contents] - 2020
- [c51]Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz:
Automatic Generation of Guard-Stable Floating-Point Code. IFM 2020: 141-159 - [c50]Paolo Masci, César A. Muñoz:
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF 2020: 155-166 - [c49]Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger:
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS 2020: 23-30 - [i3]Laura Titolo, Mariano M. Moscato, César A. Muñoz:
Automatic generation and verification of test-stable floating-point code. CoRR abs/2001.02981 (2020)
2010 – 2019
- 2019
- [j21]Aaron Dutle, César A. Muñoz, Anthony Narkawicz:
Selected extended papers of NFM 2018. Innov. Syst. Softw. Eng. 15(3-4): 167-168 (2019) - [j20]Mauricio Ayala-Rincón, César A. Muñoz:
Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. 63(2): 319-321 (2019) - [c48]Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz:
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM 2019: 21-37 - [c47]Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric:
A Mixed Real and Floating-Point Solver. NFM 2019: 363-370 - [c46]Paolo Masci, César A. Muñoz:
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM 2019: 35-49 - 2018
- [j19]César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk:
Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. 60(1): 1-2 (2018) - [j18]César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle:
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formaliz. Reason. 11(1): 19-41 (2018) - [c45]Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot:
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM 2018: 364-381 - [c44]César A. Muñoz, Anthony Narkawicz, Aaron Dutle:
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. FM 2018: 647-652 - [c43]Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César A. Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide:
Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences. ISGT 2018: 1-5 - [c42]Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú:
Boosting the Reuse of Formal Specifications. ITP 2018: 477-494 - [c41]Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato:
Eliminating Unstable Tests in Floating-Point Programs. LOPSTR 2018: 169-183 - [c40]Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz:
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI 2018: 516-537 - [c39]Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz:
Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC 2018: 196-209 - [e8]Aaron Dutle, César A. Muñoz, Anthony Narkawicz:
NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science 10811, Springer 2018, ISBN 978-3-319-77934-8 [contents] - [i2]Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato:
Eliminating Unstable Tests in Floating-Point Programs. CoRR abs/1808.04289 (2018) - 2017
- [j17]Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017) - [c38]Anthony Narkawicz, César A. Muñoz, Aaron Dutle:
The MINERVA Software Development Process. AFM@NFM 2017: 93-108 - [c37]Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz:
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP 2017: 213-229 - [c36]Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz:
A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE 2017: 19-34 - [e7]Mauricio Ayala-Rincón, César A. Muñoz:
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. Lecture Notes in Computer Science 10499, Springer 2017, ISBN 978-3-319-66106-3 [contents] - 2016
- [j16]César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch:
Unmanned aircraft systems in the national airspace system: a formal methods perspective. ACM SIGLOG News 3(3): 67-76 (2016) - [c35]César A. Muñoz, Anthony Narkawicz:
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. NFM 2016: 221-226 - [e6]César A. Muñoz, Jorge A. Pérez:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents] - 2015
- [j15]Anthony Narkawicz, César A. Muñoz, Aaron Dutle:
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. J. Autom. Reason. 54(4): 285-326 (2015) - [c34]César A. Muñoz:
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). ICTAC 2015: 58-62 - [c33]Mariano M. Moscato, César A. Muñoz, Andrew P. Smith:
Affine Arithmetic and Applications to Real-Number Proving. ITP 2015: 294-309 - [c32]Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius:
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. SYNASC 2015: 71-78 - [c31]Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler:
Software Validation via Model Animation. TAP@STAF 2015: 92-108 - 2014
- [j14]Camilo Rocha, César A. Muñoz:
Synchronous set relations in rewriting logic. Sci. Comput. Program. 92: 211-228 (2014) - [c30]Andrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg:
Bifurcation analysis using rigorous branch and bound methods. CCA 2014: 2095-2100 - [c29]William Denman, César A. Muñoz:
Automated Real Proving in PVS via MetiTarski. FM 2014: 194-199 - [c28]Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM 2014: 215-229 - [c27]Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262 - 2013
- [j13]César A. Muñoz, Anthony Narkawicz:
Formalization of Bernstein Polynomials and Applications to Global Optimization. J. Autom. Reason. 51(2): 151-196 (2013) - [j12]Alwyn Goodloe, César A. Muñoz:
Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78(7): 813-827 (2013) - [c26]Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson:
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods 2013: 441-446 - [c25]Anthony Narkawicz, César A. Muñoz:
A Formally Verified Generic Branching Algorithm for Global Optimization. VSTTE 2013: 326-343 - 2012
- [j11]Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz:
Bounding the Range of a Rational Function over a box. Reliab. Comput. 17: 34-39 (2012) - [j10]Anthony Narkawicz, César A. Muñoz:
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. Reliab. Comput. 17: 209-237 (2012) - [j9]Anthony Narkawicz, César A. Muñoz, Gilles Dowek:
Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77(10-11): 1039-1057 (2012) - [c24]Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu:
A Formal Interactive Verification Environment for the Plan Execution Interchange Language. IFM 2012: 343-357 - 2011
- [j8]César A. Muñoz:
Preface: special issue on NASA Formal Methods Symposium 2010. Innov. Syst. Softw. Eng. 7(2): 71-72 (2011) - [j7]Camilo Rocha, César A. Muñoz, Gilles Dowek:
A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412(37): 4853-4866 (2011) - [c23]César A. Muñoz, Ramiro A. Demasi:
Advanced Theorem Proving Techniques in PVS and Applications. LASER Summer School 2011: 96-132 - [c22]Camilo Rocha, César A. Muñoz:
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF 2011: 60-75 - 2010
- [j6]Florent Kirchner, César A. Muñoz:
The proof monad. J. Log. Algebraic Methods Program. 79(3-5): 264-277 (2010) - [c21]Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek:
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods 2010: 34-46 - [e5]César A. Muñoz:
Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. NASA Conference Proceedings NASA/CP-2010-216215, 2010 [contents] - [e4]Hélène Kirchner, César A. Muñoz:
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010. EPTCS 44, 2010 [contents]
2000 – 2009
- 2009
- [j5]Marc Daumas, David R. Lester, César A. Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009) - [c20]Alwyn Goodloe, César A. Muñoz:
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101 - [c19]Gilles Dowek, César A. Muñoz, Camilo Rocha:
Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91 - 2008
- [c18]Radu Siminiceanu, Ricky W. Butler, César A. Muñoz:
Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt 2008: 132-146 - [e3]Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar:
Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Lecture Notes in Computer Science 5170, Springer 2008, ISBN 978-3-540-71065-3 [contents] - 2007
- [c17]André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón:
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188 - [e2]Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007 [contents] - [i1]Marc Daumas, David R. Lester, César A. Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR abs/0708.3721 (2007) - 2006
- [c16]Songtao Xia, Ben Di Vito, César A. Muñoz:
Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368 - [c15]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 - [c14]Sylvie Boldo, César A. Muñoz:
Provably faithful evaluation of polynomials. SAC 2006: 1328-1332 - [c13]Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Preface. STRATEGIES@IJCAR 2006: 1-2 - [c12]Florent Kirchner, César A. Muñoz:
PVS#: Streamlined Tacticals for PVS. STRATEGIES@IJCAR 2006: 47-58 - 2005
- [c11]Marc Daumas, Guillaume Melquiond, César A. Muñoz:
Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195 - [c10]Songtao Xia, Ben Di Vito, César A. Muñoz:
Automated test generation for engineering applications. ASE 2005: 283-286 - [c9]César A. Muñoz, David R. Lester:
Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210 - 2004
- [c8]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
- [j4]César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler:
Formal verification of conflict detection algorithms. Int. J. Softw. Tools Technol. Transf. 4(3): 371-380 (2003) - [c7]Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz:
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. WSC 2003: 906-914 - 2002
- [e1]Victor Carreño, César A. Muñoz, Sofiène Tahar:
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 [contents] - 2001
- [j3]César A. Muñoz:
Dependent types and explicit substitutions: a meta-theoretical development. Math. Struct. Comput. Sci. 11(1): 91-129 (2001) - [j2]César A. Muñoz:
Proof-term synthesis on dependent-type systems via explicit substitutions. Theor. Comput. Sci. 266(1-2): 407-440 (2001) - [c6]Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz:
Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417 - 2000
- [j1]Mauricio Ayala-Rincón, César A. Muñoz:
Explicit Substitions and All That. Rev. Colomb. de Computación 1(1): 47-71 (2000) - [c5]Nikolaj S. Bjørner, César A. Muñoz:
Absolute Explicit Unification. RTA 2000: 31-46 - [c4]Victor Carreño, César A. Muñoz:
Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105
1990 – 1999
- 1999
- [c3]César A. Muñoz, John M. Rushby:
Structural Embeddings: Mechanization with Method. World Congress on Formal Methods 1999: 452-471 - 1996
- [c2]César A. Muñoz:
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. LICS 1996: 440-447 - [c1]César A. Muñoz:
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. TYPES 1996: 294-316
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint