University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "verification"

DSpace/Manakin Repository

Browsing LERO - Project partner authors by Subject "verification"

Sort by: Order: Results:

  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
  • Holub, Viliam; Parsons, Trevor; O'Sullivan, Patrick; Murphy, John (Association for Computing Machinery, 2009)
    We present an approach and implementation for run-time correlation of large volumes of log data and symptom matching of know issues in the context of large enterprise applications. Our solution provides for (a) automatic ...
  • 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 ...

Search DSpace


Advanced Search

Browse

My Account