Institutions | About Us | Help | Gaeilge
rian logo



Limited By: Subject = verification;
13 items found
 
Displaying Results 1 - 13 of 13 on page 1 of 1
Mark
Trinity College Dublin
Doctoral thesis
peer-reviewed
Enterprise Ireland
Mark
Dynamic Current Modelling at the Instruction Level (2015)
Rizo-Morente, J.; Casas-Sanchez, M.; Bleakley, Chris J.
University College Dublin
Other
unknown
Mark
Reverse Hoare Logic (2011)
KOUTAVAS, VASILEIOS
Trinity College Dublin
Conference item
peer-reviewed
Mark
Model-driven automation for simulation-based functional verification (2012)
Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
Trinity College Dublin
Conference item
peer-reviewed
Mark
Run-time correlation engine for system monitoring and testing (2009)
Holub, Viliam; Parsons, Trevor; O'Sullivan, Patrick; Murphy, John
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
SMT-based bounded model checking for embedded ANSI-C software (2012)
Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao
University of Limerick
Journal article
peer-reviewed
Mark
Topology aware access control of smart spaces (2017)
Pasquale, Liliana; Ghezzi, Carlo; Pasi, Edoardo; Tsigkanos, Christos; Boubekeur, Menoue...
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
NUI Galway
Journal article
unknown
Mark
University of Limerick
Doctoral thesis
peer-reviewed
Displaying Results 1 - 13 of 13 on page 1 of 1
Hide Main Menu block
Institution
Hide Main Menu block
Item Type
Hide Main Menu block
Peer Review Status
Hide Main Menu block
Year