Download Results
4 research outcomes, page 1 of 1
  • software . 2020
    Open Source English
    Authors:
    Menghi, Claudio; Nejati, Shiva; Briand, Lionel;
    Publisher: Zenodo
    Project: EC | TUNE (694277)

    <p>ARIsTEO (AbstRactIon based TEst generatiOn) is a novel testing framework that generates faulty test inputs for Compute Intensive Cyber-Physical Models in a automatic manner. ARIsTEO is based on an approximation-refinement loop. It is a comprehensive framework that us...

    Add to ORCID
  • software . 2020
    Open Source English
    Authors:
    Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | TUNE (694277)

    <p>The software is referred to as assumPtIon&nbsp;geneRation approach for CPS (EPIcuRus). It automatically synthesizes environment&nbsp;assumptions for a component under analysis (i.e., conditions on the component&nbsp;inputs under which the component is guaranteed to s...

    Add to ORCID
  • software . 2021
    Open Source English
    Authors:
    Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García; Ricardo Caldas; Tim J von Oertzen; Manuel Wimmer; Luca Berardinelli; ...
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | TUNE (694277)

    <p>This release of our repository consists of 14 scenarios.</p> <p>Abstract&mdash;Emerging and future applications of robotic systems pose unique self-adaptation challenges. To support the research needed to address them, we provide an extensible repository of robotic m...

    Add to ORCID
  • software . 2021
    Open Source English
    Authors:
    Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel C.;
    Publisher: Zenodo
    Project: EC | TUNE (694277)

    <p>ThEodorE tackles the challenge of specifying hybrid behaviors of CPSs, in a way amenable to practical and efficient trace-checking. To reach this goal ThEodorE provides:</p> <ul> <li>the&nbsp;<strong>Hybrid Logic of Signals (HLS)</strong>, a new specification languag...

    Add to ORCID
4 research outcomes, page 1 of 1