5.5 Theses

[164]

David Smallwood. “ITL Monitor: Compositional Runtime Analysis with Interval Temporal Logic”. PhD thesis. De Montfort University, 2019.
url: https://www.dora.dmu.ac.uk/handle/2086/18424.

[165]

Nayef Alhmoud. “Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)”. PhD thesis. De Montfort University, 2018.
url: https://www.dora.dmu.ac.uk/handle/2086/20250.

[166]

Bader Alouffi. “Run Time verification of Hybrid Systems”. PhD thesis. De Montfort University, 2016.
url: https://www.dora.dmu.ac.uk/handle/2086/12490.

[167]

Sami Alsarhani. “Reasoning about History Based Access Control Policy Using Past Time Operators of Interval Temporal Logic”. PhD thesis. De Montfort University, 2014.
url: https://www.dora.dmu.ac.uk/handle/2086/10406.

[168]

Sulaiman Al Amro. “Behaviour-based Virus Analysis and Detection”. PhD thesis. De Montfort University, 2013.
url: https://www.dora.dmu.ac.uk/handle/2086/9488.

[169]

Emad Shafie. “Runtime Detection and Prevention for Structure Query Language Injection Attacks”. PhD thesis. De Montfort University, 2013.
url: https://www.dora.dmu.ac.uk/handle/2086/10076.

[170]

Turki Mohammed Alghamdi. “Policy-based Runtime Tracking for E-learning Environments”. PhD thesis. De Montfort University, 2012.
url: https://www.dora.dmu.ac.uk/handle/2086/8237.

[171]

Amin Mohammed El-kustaban. “Studying and Analysing Transactional Memory Using Interval Temporal Logic and AnaTempura”. PhD thesis. De Montfort University, 2012.
url: https://www.dora.dmu.ac.uk/handle/2086/6900.

[172]

Helge T. Janicke. “The Development of Secure Multi-Agent Systems”. PhD thesis. De Montfort University, 2007.
url: https://www.dora.dmu.ac.uk/xmlui/handle/2086/4809.

[173]

Frederick V. Ramsey. “A General Algebra of Business Rules for Heterogeneous Systems”. PhD thesis. De Montfort University, 2007.
url: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.438868.

[174]

François Siewe. “A Compositional Framework for the Development of Secure Access Control Systems”. PhD thesis. De Montfort University, 2005.
url: http://www.cse.dmu.ac.uk/~fsiewe/papers/fsiewephd.pdf.

[175]

Monika Solanki. “A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services”. PhD thesis. De Montfort University, 2005.
url: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.422585.

[176]

Shikun Zhou. “Compositional Framework for the Guided Evolution of Time-Critical Systems”. PhD thesis. De Montfort University, 2003.
url: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250763.

[177]

Jordan Dimitrov. “Formal Compositional Design of Mixed Hardware/Software Systems with semantics of Verilog HDL”. PhD thesis. De Montfort University, 2002.
url: http://www.cse.dmu.ac.uk/~jordan/root.pdf.

[178]

Arun Chakrapnani Rao. “A Visual Framework for Formal Systems Development Using Interval Temporal Logic”. PhD thesis. De Montfort University, 2002.
url: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393497.

[179]

Thomas Marthedal Rasmussen. “Interval Logic, Proof Theory and Theorem Proving”. PhD thesis. Informatics and Mathematical Modelling, Technical University of Denmark, 2002.
url: https://orbit.dtu.dk/en/publications/interval-logic-proof-theory-and-theorem-proving.

[180]

Xiaodong Liu. “Abstraction: A Notion For Reverse Engineering”. PhD thesis. De Montfort University, 1999.
url: https://www.dora.dmu.ac.uk/handle/2086/4214.

[181]

Arjun Kapur. “Interval and Point-Based Approaches to Hybrid System Verification”. PhD thesis. Dept. of Computer Science, Stanford University, Sept. 1997.
url: http://theory.stanford.edu/people/arjun/thesis.ps.

[182]

Zhenhua H. Duan. “An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming”. PhD thesis. Dept. of Computing Science, University of Newcastle Upon Tyne, May 1996.
url: https://theses.ncl.ac.uk/jspui/handle/10443/2075.

[183]

Stephen M. Brien. “A relational calculus of intervals”. MA thesis. Programming Research Group, Oxford University, Dec. 1990.

[184]

Roger W. S. Hale. “Programming in Temporal Logic”. Download pdf. PhD thesis. Cambridge University, England, Oct. 1988.

[185]

Randall W. Lichota. “Evaluating Hardware Architectures for Real-Time Parallel Algorithms using Temporal Specifications”. PhD thesis. Computer Science Department, University of California at Los Angeles, 1988.
url: http://www.osti.gov/scitech/biblio/5213399.

[186]

Ben Moszkowski. “Reasoning about Digital Circuits”. Download pdf. PhD thesis. Department of Computer Science, Stanford University, 1983.