University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "formal methods"

DSpace Repository

Browsing LERO - Project partner authors by Subject "formal methods"

Sort by: Order: Results:

  • Martinez, Josu; Dobson, Simon (2009)
    Autonomic computing aims to provide self-management and adaptation in the implementation of complex (large, heterogeneous, distributed) systems over time. Such adaptations must be stable, in the sense of maintaining the ...
  • Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information during the translation ...
  • Shosha, Ahmed F; James, Joshua I; Chen-Ching, Liu; Gladyshev, Pavel (Springer, 2012)
    A call for formalizing digital forensic investigations has been proposed by academics and practitioners alike [1, 2]. Many currently proposed methods of malware analysis for forensic investigation purposes, however, ...

Search ULIR


Browse

My Account

Statistics