Showing 1 - 7 results of 7 for search 'Diciolla, M', query time: 0.02s Refine Results
  1. 1
    Quantitative verification of real-time properties with application to medical devices

    Quantitative verification of real-time properties with application to medical devices by Marco Diciolla, M, Marco Diciolla

    Published 2014
    Thesis
  2. 2
    A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers

    A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

    Published 2013
    Conference item
  3. 3
    Time−Bounded Verification of CTMCs Against Real−Time Specifications

    Time−Bounded Verification of CTMCs Against Real−Time Specifications by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

    Published 2011
    Conference item
  4. 4
    Verification of Linear Duration Properties over Continuous−Time Markov Chains

    Verification of Linear Duration Properties over Continuous−Time Markov Chains by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

    Published 2012
    Conference item
  5. 5
    Quantitative Verification of Implantable Cardiac Pacemakers

    Quantitative Verification of Implantable Cardiac Pacemakers by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

    Published 2015
    Conference item
  6. 6
    Verification of Linear Duration Properties over Continuous Time Markov Chains

    Verification of Linear Duration Properties over Continuous Time Markov Chains by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A, ACM

    Published 2012
    Conference item
  7. 7
    Synthesising Optimal Timing Delays for Timed I/O Automata

    Synthesising Optimal Timing Delays for Timed I/O Automata by Diciolla, M, Kim, C, Kwiatkowska, M, Mereacre, A

    Published 2014
    Report

Search Tools: