Search Results - Flores-Montoya, Antonio

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

    Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings by Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    May-Happen-in-Parallel Analysis for Actor-Based Concurrency

    May-Happen-in-Parallel Analysis for Actor-Based Concurrency by Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    jPET: An Automatic Test-Case Generator for Java

    jPET: An Automatic Test-Case Generator for Java by Albert, E., Cabanas, I., Flores-Montoya, A., Gomez-Zamalloa, M., Gutierrez, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Datalog Disassembly

    Datalog Disassembly by Flores-Montoya, Antonio, Schulte, Eric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    GTIRB: Intermediate Representation for Binaries

    GTIRB: Intermediate Representation for Binaries by Schulte, Eric, Dorn, Jonathan, Flores-Montoya, Antonio, Ballman, Aaron, Johnson, Tom

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: