Welcome to the University of Limerick Institutional Repository.

Access digital archive collections, and published and unpublished works of faculty and researchers at the University of Limerick.

Communities in ULIR

Recently Added

  • I’ve seen this before: sharing cyber-physical incident knowledge 
    Alrimawi, Faeq; Pasquale, Liliana; Mehta, Deepak; Nuseibeh, Bashar (Association for Computing Machinery, 2018)
    An increasing number of security incidents in cyber-physical systems (CPSs) arise from the exploitation of cyber and physical components of such systems. Knowledge about how such incidents arose is rarely captured and used ...
  • Compositional verification of self-adaptive cyber-physical systems 
    Borda, Aimee; Pasquale, Liliana; Koutavas, Vasileios; Nuseibeh, Bashar (Assocation for Computing Machinery, 2018)
    Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, using formal verification techniques to provide assurances that critical requirements are satisfied can ...
  • Towards forensic-ready software systems 
    Pasquale, Liliana; Alrajeh, Dalal; Peersman, Claudia; Nuseibeh, Bashar; Rashid, Awais (Association for Computing Machinery, 2018)
    As software becomes more ubiquitous, and the risk of cyber-crimes increases, ensuring that software systems are forensic-ready (i.e., capable of supporting potential digital investigations) is critical. However, little ...
  • On the interplay between cyber and physical spaces for adaptive security 
    Tsigkanos, Christos; Pasquale, Liliana; Ghezzi, Carlo; Nuseibeh, Bashar (IEEE Computer Society, 2018)
    Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or manage valuable physical and digital assets. These assets can be harmed by malicious agents through both cyber-enabled or ...
  • Requirements and specifications for adaptive security: concepts and analysis 
    Tun, Thein Than; Yang, M.; Bandara, Arosha K.; Yu, Yijun; Nhlabatsi, A.; Khan, N.; Khan, K.M.; Nuseibeh, Bashar (Association for Computing Machinery, 2018)
    In an adaptive security-critical system, security mechanisms change according to the type of threat posed by the environment. Specifying the behavior of these systems is diicult because conditions of the environment are ...

View more