Search Results - Parache, Yago Isasi

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Combining Genetic Programming and Model Checking to Generate Environment Assumptions

    Combining Genetic Programming and Model Checking to Generate Environment Assumptions by Gaaloul, Khouloud, Menghi, Claudio, Nejati, Shiva, Briand, Lionel C., Parache, Yago Isasi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization

    Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization by Boufaied, Chaima, Jukss, Maris, Bianculli, Domenico, Briand, Lionel Claude, Isasi Parache, Yago

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification by Menghi, Claudio, Nejati, Shiva, Briand, Lionel, Parache, Yago Isasi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages

    Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages by Lee, Jaekwon, Shin, Seung Yeob, Nejati, Shiva, Briand, Lionel, Parache, Yago Isasi

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages

    Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages by Lee, Jaekwon, Shin, Seung Yeob, Nejati, Shiva, Briand, Lionel C, Yago Isasi Parache

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization

    Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization by Boufaied, Chaima, Maris Jukss, Bianculli, Domenico, Briand, Lionel Claude, Yago Isasi Parache

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach

    Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach by Boufaied, Chaima, Menghi, Claudio, Bianculli, Domenico, Briand, Lionel, Parache, Yago Isasi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification by Menghi, Claudio, Nejati, Shiva, Briand, Lionel C, Yago Isasi Parache

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Combining Genetic Programming and Model Checking to Generate Environment Assumptions

    Combining Genetic Programming and Model Checking to Generate Environment Assumptions by Gaaloul, Khouloud, Menghi, Claudio, Nejati, Shiva, Briand, Lionel C, Yago Isasi Parache

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

Search Tools: