Search Results - Moscato, Mariano M.

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Formal Verification of Termination Criteria for First-Order Recursive Functions

    Formal Verification of Termination Criteria for First-Order Recursive Functions by Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications by Giménez, Manuel, Moscato, Mariano M., Lopez Pombo, Carlos G., Frias, Marcelo F.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Selected extended papers of NFM 2021

    Selected extended papers of NFM 2021 by Dutle Aaron, Moscato, Mariano M, Titolo Laura, Muñoz, César A, Perez, Ivan

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Formal analysis of the compact position reporting algorithm

    Formal analysis of the compact position reporting algorithm by Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Selected extended papers of NFM 2021: Preface

    Selected extended papers of NFM 2021: Preface by Dutle, Aaron, Moscato, Mariano M., Titolo, Laura, Muñoz, C.ésar A., Perez, Ivan

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Dynamite: A tool for the verification of alloy models based on PVS

    Dynamite: A tool for the verification of alloy models based on PVS by Moscato, Mariano M., Pombo, Carlos G. Lopez, Frias, Marcelo F.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Eliminating Unstable Tests in Floating-Point Programs

    Eliminating Unstable Tests in Floating-Point Programs by Titolo, Laura, Muñoz, Cesar A, Feliu, Marco A, Moscato, Mariano M

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications by Giménez, Manuel, Moscato, Mariano M, Lopez Pombo, Carlos G, Frias, Marcelo F

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Treatment of Isolated Systolic Hypertension: The SHELL Study Results

    Treatment of Isolated Systolic Hypertension: The SHELL Study Results by MALACCO, ETTORE, MANCIA, GIUSEPPE, RAPPELLI, ALESSANDRO, MENOTTI, ALESSANDRO, ZUCCARO, M. STEFANO, COPPINI, ALESSANDRO

    Published in Blood pressure
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: