3 search results for "author:"Marco Maida""

Showing 1 - 3
  1. coq-prosa

    No documentation

    A Foundation for Formally Proven Schedulability Analysis
    keyword:prosa keyword:real-time keyword:schedulability analysis keyword:response-time analysis logpath:prosa
    Felipe Cerqueira Björn Brandenburg Maxime Lesourd Sergey Bozhko Xiaojie Guo et al.
    0.5
    BSD-2-Clause
    Used by 0 other packages
    08 Nov 2022
  2. rocq-prosa

    No documentation

    A Foundation for Formally Proven Schedulability Analysis
    keyword:prosa keyword:real-time keyword:schedulability analysis keyword:response-time analysis keyword:scheduling theory logpath:prosa
    Felipe Cerqueira Sergey Bozhko Björn Brandenburg Pierre Roux Kimaya Bedarkar et al.
    0.6
    BSD-2-Clause
    Used by 1 other packages
    31 Oct 2025
  3. rocq-prosa-refinements

    No documentation

    Refinements of Prosa RTAs used by POET
    keyword:prosa keyword:poet keyword:real-time keyword:response-time analysis keyword:scheduling theory logpath:prosa.refinements
    Marco Maida Sergey Bozhko Pierre Roux Björn Brandenburg
    0.6
    BSD-2-Clause
    Used by 0 other packages
    31 Oct 2025