University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "verification"

DSpace Repository

Browsing LERO - UL authors by Subject "verification"

Sort by: Order: Results:

  • Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Developing testbenches for dynamic functional verification of hardware designs is a software inten- sive process that lies on the critical path of electronic system design. The increasing capabilities of electronic ...
  • Leen, Gabriel; Heffernan, Donal (IEEE Computer Society, 2007)
    Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems is the underlying ...
  • Mjeda, Anila; Botterweck, Goetz (Technische Universität Berlin, Universitätsbibliothek, 2019)
    In this position paper, we argue that more collaborative research is needed to increase the use of research-led verification and testing techniques in industrialscale projects. We focus on the a) practical applicability ...
  • Pasquale, Liliana; Ghezzi, Carlo; Pasi, Edoardo; Tsigkanos, Christos; Boubekeur, Menouer; Florentino-Liano, Blanca; Hadzic, Tarik; Nuseibeh, Bashar (IEEE Computer Society, 2017)
    Smart spaces are becoming increasingly vulnerable from the interplay of cyber and physical entities. A representation of the spaces' topology can reveal security-relevant contextual characteristics, and a visualization ...

Search ULIR


My Account