David Smallwood. ITL Monitor: Compositional Runtime Analysis with
Interval Temporal Logic, PhD thesis, in progress.
Nayef Alhmoud. Specification and Run-time Verification of a L2 Cache
Controller of Multi-core Processor using Interval Temporal Logic, PhD
thesis, in progress.
Bader Alouffi, Run-time Verification of Hybrid Systems, PhD thesis,
2016.
Helge Janicke, Andrew Nicholson, Stuart Webber, and Antonio Cau.
Runtime-Monitoring for Industrial Control Systems. In: Electronics 4.4
2015.
Sulaiman Al Amro. Behaviour-based Virus Analysis and Detection, PhD
thesis, 2013.
Emad Shafie. Runtime Detection and Prevention for Structure Query
Language Injection Attacks, PhD thesis, 2013.
Turki Mohammed Alghamdi. Policy-based Runtime Tracking for
E-learning Environments, PhD thesis, 2012.
Amin Mohammed El-kustaban. Studying and Analysing Transactional
Memory Using Interval Temporal Logic and AnaTempura, PhD thesis,
2012.
Helge T. Janicke. The Development of Secure Multi-Agent Systems,
PhD thesis, 2007.
François Siewe. A Compositional Framework for the Development of
Secure Access Control Systems, PhD thesis, 2005.
Monika Solanki. A Compositional Framework for the Specification,
Verification and Runtime Validation of Reactive Web Services, PhD
thesis, 2005.
Shikun Zhou. Compositional Framework for the Guided Evolution of
Time-Critical Systems, PhD thesis, 2003.
Jordan Dimitrov. Formal Compositional
Design of Mixed Hardware/Software Systems with semantics of Verilog
HDL, PhD thesis, 2002.
The ITL homepage contains additional links to ITL related research.