© 1996-2019







4.5 Theses

[153]

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

[154]

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.

[155]

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.

[156]

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.

[157]

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.

[158]

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.

[159]

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.

[160]

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.

[161]

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.

[162]

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.

[163]

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.

[164]

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.

[165]

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.

[166]

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

[167]

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.

[168]

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/dspace/handle/10443/2075.

[169]

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

[170]

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

[171]

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.

[172]

Ben Moszkowski. “Reasoning about Digital Circuits”. PhD thesis. Department of Computer Science, Stanford University, 1983.
url: http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA136634.







2019-06-11
Contact | Home | ITL home | Course | Proofs | Algebra | FL