iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/26/2079.html

dblp: César A. Muñoz

default search action

combined dblp search
author search
venue search
publication search

ask others

César A. Muñoz

> Home > Persons

Person information

affiliation: NASA Langley Research Center

Other persons with a similar name

see FAQ

Why are some names followed by a four digit number?

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/WhiteTSM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/WhiteTSM24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/TitoloMFMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/TitoloMFMM24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SlagelWDMC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SlagelWDMC24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/DutleMTMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/DutleMTMP23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MunozAMDNASR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MunozAMDNASR23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-15214
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-15214
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SlagelMBMD0W22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SlagelMBMD0W22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DutleMTMAB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DutleMTMAB21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/MunozAMDNAAR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MunozAMDNAAR21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TitoloMFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TitoloMFM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MasciM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MasciM20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-03745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-03745
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-02981
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-02981
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isse/DutleMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/DutleMN19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Ayala-RinconM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ayala-RinconM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MoscatoTFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MoscatoTFM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SalviaTFMMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SalviaTFMMR19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-10632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-10632
Paolo Masci, César A. Muñoz:
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM 2019: 35-49
2018
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MunozRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MunozRT18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/MunozND18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/MunozND18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/TitoloMMDB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/TitoloMMDB18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MunozND18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MunozND18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isgt/MooreSRBCMSLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgt/MooreSRBCMSLS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MoscatoPMF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MoscatoPMF18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/TitoloMFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/TitoloMFM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/TitoloFMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/TitoloFMM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/RamosMAMDN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/RamosMAMDN18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-04289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-04289
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/RochaMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RochaMM17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/nfm/NarkawiczMD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarkawiczMD17
Anthony Narkawicz, César A. Muñoz, Aaron Dutle:
The MINERVA Software Development Process. AFM@NFM 2017: 93-108
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MoscatoTDM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MoscatoTDM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DutleMTM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DutleMTM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/2017
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]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/MunozDNU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/MunozDNU16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MunozN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MunozN16
César A. Muñoz, Anthony Narkawicz:
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. NFM 2016: 221-226
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MunozP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MunozP16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NarkawiczMD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NarkawiczMD15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Munoz15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Munoz15
César A. Muñoz:
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). ICTAC 2015: 58-62
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MoscatoMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MoscatoMS15
Mariano M. Moscato, César A. Muñoz, Andrew P. Smith:
Affine Arithmetic and Applications to Real-Number Proving. ITP 2015: 294-309
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/SmithMNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/SmithMNM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/DutleMNB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DutleMNB15
Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler:
Software Validation via Model Animation. TAP@STAF 2015: 92-108
2014
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RochaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RochaM14
Camilo Rocha, César A. Muñoz:
Synchronous set relations in rewriting logic. Sci. Comput. Program. 92: 211-228 (2014)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/SmithCML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/SmithCML14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DenmanM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DenmanM14
William Denman, César A. Muñoz:
Automated Real Proving in PVS via MetiTarski. FM 2014: 194-199
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DuggiralaWMVM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DuggiralaWMVM14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wrla/RochaMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/RochaMM14
Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262
2013
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MunozN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MunozN13
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GoodloeM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GoodloeM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GoodloeMKC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GoodloeMKC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NarkawiczM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NarkawiczM13
Anthony Narkawicz, César A. Muñoz:
A Formally Verified Generic Branching Algorithm for Global Optimization. VSTTE 2013: 326-343
2012
[j11]
- view
  - electronic edition @ louisiana.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rc/NarkawiczGSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rc/NarkawiczGSM12
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]
- view
  - electronic edition @ louisiana.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rc/NarkawiczM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rc/NarkawiczM12
Anthony Narkawicz, César A. Muñoz:
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. Reliab. Comput. 17: 209-237 (2012)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NarkawiczMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NarkawiczMD12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/RochaCMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/RochaCMS12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/Munoz11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Munoz11
César A. Muñoz:
Preface: special issue on NASA Formal Methods Symposium 2010. Innov. Syst. Softw. Eng. 7(2): 71-72 (2011)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RochaMD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RochaMD11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/MunozD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/MunozD11
César A. Muñoz, Ramiro A. Demasi:
Advanced Theorem Proving Techniques in PVS and Applications. LASER Summer School 2011: 96-132
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/RochaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/RochaM11
Camilo Rocha, César A. Muñoz:
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF 2011: 60-75
2010
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KirchnerM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KirchnerM10
Florent Kirchner, César A. Muñoz:
The proof monad. J. Log. Algebraic Methods Program. 79(3-5): 264-277 (2010)
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/ButlerHMMND10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ButlerHMMND10
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]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2010
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-5337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-5337
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/DaumasLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/DaumasLM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GoodloeM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GoodloeM09
Alwyn Goodloe, César A. Muñoz:
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2872
Gilles Dowek, César A. Muñoz, Camilo Rocha:
Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91
2008
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/SiminiceanuBM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/SiminiceanuBM08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/2008
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/GaldinoMA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/GaldinoMA07
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]
- view
- export record
  dblp key:
  - conf/strategies/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strategies/2006
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0708-3721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0708-3721
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/XiaVM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/XiaVM06
Songtao Xia, Ben Di Vito, César A. Muñoz:
Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/rodin/MunozCD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rodin/MunozCD06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BoldoM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BoldoM06
Sylvie Boldo, César A. Muñoz:
Provably faithful evaluation of polynomials. SAC 2006: 1328-1332
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArcherTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArcherTM07
Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Preface. STRATEGIES@IJCAR 2006: 1-2
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KirchnerM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KirchnerM07
Florent Kirchner, César A. Muñoz:
PVS#: Streamlined Tacticals for PVS. STRATEGIES@IJCAR 2006: 47-58
2005
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/DaumasMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/DaumasMM05
Marc Daumas, Guillaume Melquiond, César A. Muñoz:
Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XiaVM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XiaVM05
Songtao Xia, Ben Di Vito, César A. Muñoz:
Automated test generation for engineering applications. ASE 2005: 283-286
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/MunozL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/MunozL05
César A. Muñoz, David R. Lester:
Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MunozDC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MunozDC04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MunozCDB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MunozCDB03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/ButlerMGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/ButlerMGM03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/2002
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]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/mscs/Munoz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Munoz01
César A. Muñoz:
Dependent types and explicit substitutions: a meta-theoretical development. Math. Struct. Comput. Sci. 11(1): 91-129 (2001)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Munoz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Munoz01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/ButlerCDM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ButlerCDM01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/rcc/Ayala-RinconM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcc/Ayala-RinconM00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/BjornerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BjornerM00
Nikolaj S. Bjørner, César A. Muñoz:
Absolute Explicit Unification. RTA 2000: 31-46
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/CarrenoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/CarrenoM00
Victor Carreño, César A. Muñoz:
Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MunozR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MunozR99
César A. Muñoz, John M. Rushby:
Structural Embeddings: Mechanization with Method. World Congress on Formal Methods 1999: 452-471
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Munoz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Munoz96
César A. Muñoz:
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. LICS 1996: 440-447
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/types/Munoz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Munoz96
César A. Muñoz:
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. TYPES 1996: 294-316

Coauthor Index

see FAQ

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.