[1]   B. Moszkowski. A temporal logic for multi-level reasoning about hardware. In Proceedings of the 6-th International Symposium on Computer Hardware Description Languages, pages 79–90, Pittsburgh, Pennsylvania, May 1983. North-Holland Pub. Co.

[2]   B. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, 1983. Technical report STAN–CS–83–970.

[3]   B. Moszkowski and Z. Manna. Reasoning in Interval Temporal Logic. In Edmund Clarke and Dexter Kozen, editors, Proceedings of the Workshop on Logics of Programs, volume 164 of LNCS, pages 371–382, Pittsburgh, PA, June 1983. Springer Verlag.

[4]   J. Halpern, Z. Manna, and B. Moszkowski. A hardware semantics based on temporal intervals. In J. Diaz, editor, Proceedings of the 10-th International Colloquium on Automata, Languages and Programming, volume 154 of LNCS, pages 278–291, Berlin, 1983. Springer Verlag.

[5]   B. Moszkowski. Executing temporal logic programs. Technical Report 55, Computer Laboratory, University of Cambridge, 1984.

[6]   B. Moszkowski. A temporal logic for multilevel reasoning about hardware. IEEE Computer, 18(2):10–19, 1985.

[7]   B. Moszkowski. Executing temporal logic programs (preliminary version). In S. D. Brookes, A. W. Roscose, and G. Winskel, editors, Seminary on Concurrency, volume 197 of LNCS, pages 111–130, Berlin, 1985. Springer Verlag.

[8]   B. Moszkowski. A temporal analysis of some concurrent systems. In B. T. Denvir, W. T .Harwood, M. I. Jackson, and M. J. Wray, editors, The Analysis of Concurrent Systems, volume 207 of LNCS, pages 359–364, Berlin, 1985. Springer Verlag.

[9]   B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986. online version Tempura Book.

[10]   R. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pages 91–119. Academic Press, London, 1987.

[11]   R. Hale and B. C. Moszkowski. Parallel programming in temporal logic. In J. W. de Bakker, A. J. Nijman, and Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, volume 259 of LNCS, pages 277–296, Eindhoven, The Netherlands, June 1987. Springer Verlag.

[12]   R. W. S. Hale. Programming in Temporal Logic. PhD thesis, Computer Laboratory, Cambridge University, Cambridge, England, October 1988. Appeared as technical report 173 in year 1989.

[13]   R. Hale. Using temporal logic for prototyping: The design of a lift controller. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 of LNCS, pages 375–408, Berlin, 1989. Springer Verlag. Proceedings (Altrincham, UK, April, 1987).

[14]   B. Moszkowski. Some very compositional temporal properties. Technical Report 466, Dept. of Computing Science, University of Newcastle, December 1993.

[15]   B. Moszkowski. Some very compositional temporal properties. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 307–326. IFIP, Elsevier Science B.V. (North–Holland), 1994.

[16]   R. W. S. Hale. Program compilation. In J. Bowen, editor, Towards Verified Systems, chapter 7, pages 131–130. Elsevier Science B.V. (North–Holland), Amsterdam, 1994.

[17]   R. W. S. Hale and He Jifeng. A real-time programming language. In J. Bowen, editor, Towards Verified Systems, chapter 6, pages 115–130. Elsevier Science B.V. (North–Holland), Amsterdam, 1994.

[18]   B. Moszkowski. Compositional reasoning about projected and infinite time. Technical Report EE/0495/M1, Dept. of Elec. and Elec. Eng., Univ. of Newcastle, UK, Newcastle upon Type, UK, April 1995. Some preliminary ideas presented at 2nd ProCoS-WG meeting, Oxford, 10–12 Jan 1995.

[19]   B. Moszkowski. Compositional reasoning about projected and infinite time. In Proceedings of the First IEEE Int’l Conf. on Engineering of Complex Computer Systems (ICECCS’95), pages 238–245. IEEE Computer Society Press, 1995. STRL Publication 1995-2.

[20]   B. Moszkowski. Embedding imperative constructs in Interval Temporal Logic. Technical Report Internal memorandum EE/0895/M1, Dept. of Elec. and Elec. Eng., Univ. of Newcastle, UK, Newcastle upon Type, UK, August 1995. Presented at Third ProCoS WG meeting at Vedbaek, Denmark, 21-23 August 1995.

[21]   B. Moszkowski. Using temporal fixpoints to compositionally reason about liveness. In He Jifeng, John Cooke, and Peter Wallis, editors, BCS-FACS 7th Refinement Workshop, electronic Workshops in Computing, London, 1996. BCS-FACS, Springer-Verlag and British Computer Society. STRL Publication 1996-4.

[22]   A. Cau, H. Zedan, N. Coleman, and B. Moszkowski. Using ITL and TEMPURA for large scale specification and simulation. In Proc. of the 4th Euromicro Workshop on Parallel and Distributed Processing, pages 493–500. IEEE Computer Society Press, 1996. STRL Publication 1996-1.

[23]   A. Cau and B. Moszkowski. Using PVS for Interval Temporal Logic Proofs. Part 1: The syntactic and semantic encoding. Technical monograph 14, SERCentre, De Montfort University, Leicester, 1996. STRL Technical Monograph 7.

[24]   B. Moszkowski. The programming language Tempura. Journal of Symbolic Computation, 22(5/6):730–733, November/December 1996. STRL Publication 1996-3.

[25]   A. Cau and H. Zedan. Refining Interval Temporal Logic specifications. In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development, volume 1231 of LNCS, pages 79–94. AMAST, Springer Verlag, 1997. STRL Publication 1997-2.

[26]   X. Li, A. Cau, B. Moszkowski, and N. Coleman. Proving the correctness of the interlock mechanism in processor design. In Hon F. Li and David K. Probst, editors, Advances in Hardware Design and Verification, pages 2–22, London, 1997. IFIP/Chapman and Hall. STRL Publication 1997-3.

[27]   A. Cau, C. Czarnecki, and H. Zedan. Designing a Provably Correct Robot Control System using a ‘Lean’ Formal Method. In Anders P. Ravn and Hans Rischel, editors, Proceedings 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT’98), volume 1486 of LNCS, pages 123–132. Springer Verlag, 1998. STRL Publication 1998-2.

[28]   B. Moszkowski. Compositional reasoning using Interval Temporal Logic and Tempura. In Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli, editors, Compositionality: The Significant Difference, volume 1536 of LNCS, pages 439–464, Berlin, 1998. Springer Verlag. STRL Publication 1998-1.

[29]   S. Zhou, H. Zedan, and A. Cau. A framework for analysing the effect of ‘change’ in legacy code. In IEEE Proc. of ICSM’99. IEEE, 1999. STRL Publication 1999-1.

[30]   H. Zedan, A. Cau, Z. Chen, and H. Yang. Atom: An object-based formal method for real-time systems. Annals of Software Engineering, 7:235–256, 1999. STRL Publication 1999-3.

[31]   Z. Chen, H. Zedan, A. Cau, and H. Yang. A wide-spectrum language for object-based development of real-time systems. Journal of Information Sciences, 118:15–35, 1999. STRL Publication 1999-4.

[32]   H. Zedan, A. Cau, and B.C. Moszkowski. Compositional modelling: The formal perspective. In David Bustard, editor, Proc. of Workshop on Systems Modelling for Business Process Improvement, pages 333–354. Artech House, 2000. STRL Publication 2000-1.

[33]   J. Dimitrov. Compositional reasoning about events in interval temporal logic. In Proc. of The Fifth International Conference on Computer Science and Informatics, 2000. STRL Publication 2000-3.

[34]   A.C. Rao, A. Cau, and H. Zedan. Visualization of interval temporal logic. In Proc. of the Fifth International Conference on Computer Science and Informatics, 2000. STRL Publication 2000-4.

[35]   H. Zedan, A. Cau, and S. Zhou. A calculus for evolution. In Proc. of the Fifth International Conference on Computer Science and Informatics, 2000. STRL Publication 2000-6.

[36]   B. Moszkowski. A complete axiomatization of Interval Temporal Logic with infinite time (extended abstract). In Proc. of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000), pages 242–251. IEEE Computer Society Press, June 2000. STRL Publication 2000-21.

[37]   B. Moszkowski. An automata-theoretic completeness proof for Interval Temporal Logic (extended abstract). In Ugo Montanari, José Rolim, and Emo Welzl, editors, Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), volume 1853 of LNCS, pages 223–234, Geneva, Switzerland, July 2000. Springer Verlag. STRL Publication 2000-20.

[38]   A. Cau and H. Zedan. Systems Engineering for Business Process Change, Peter Henderson, editor, chapter The Systematic Construction of Information Systems, pages 264–278. Springer Verlag, 2000. STRL Publication 2000-8.

[39]   H. Yang, X. Liu, and H. Zedan. Abstraction: A key notion for reverse engineering in a reengineering approach. Journal of Software Maintenance: Research and Practice, 12(4):197–228, 2000.

[40]   R. Hale. Using itl for codesign. In Proceedings of the Verification Workshop part of the International Joint Conference on Automated Reasoning IJCAR’2001, 2001. STRL Publication 2001-12.

[41]   H. Zedan and A. Cau. Voice over ip: Correct hardware/software co-design. In 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 31 October, 2 November 2001, Bologna, Italy, Proceedings, pages 194–200. IEEE Computer Society, 2001.

[42]   H. Zedan, S. Zhou, N. Sampat, X. Chen, A. Cau, and H. Yang. K-mediator: Towards evolving information systems. In ICSM, pages 520–527, 2001. STRL Publication 2001-11.

[43]   A. Cau, R. Hale, J. Dimitrov, H. Zedan, B. Moszkowski, M. Manjunathaiah, and M. Spivey. A compositional framework for hardware/software co-design. Design Automation for Embedded Systems, 6(4):367–399, 2002. STRL Publication 2002-4.

[44]   Jordan Dimitrov. Formal Compositional Design of Mixed Hardware/Software Systems with semantics of Verilog HDL. PhD thesis, Software Technology Research Laboratory, De Montfort University, 2002. STRL Thesis 10.

[45]   B. Moszkowski. A hierarchical completeness proof for propositional temporal logic. In Nachum Dershowitz, editor, Verification–Theory and Practice: Proceedings of an International Symposium in Honor of Zohar Manna’s 64th Birthday (Taormina, Sicily, Italy, June 29 - July 4, 2003), volume 2772 of LNCS, pages 480–523, Berlin, 2003. Springer Verlag.

[46]   B. Moszkowski. A hierarchical completeness proof for interval temporal logic with finite time (preliminary version). In Proc. of the Workshop on Interval Temporal Logics and Duration Calculi (part of 15th European Summer School in Logic Language and Information (ESSLLI-2003)), pages 41–65, Vienna, August 2003.

[47]   M. Solanki, A. Cau, and H. Zedan. Introducing compositionality in webservice descriptions. In proceedings of the 3rd International Anwire Workshop on Adaptable Service Provision. Springer-Verlag, 2003.

[48]   F. Siewe, A. Cau, and H. Zedan. A compositional framework for access control policies enforcement. In proceedings of the ACM workshop on Formal Methods in Security Engineering: From Specifications to Code, 2003. STRL Publication 2003-16.

[49]   M. Solanki, A. Cau, and H. Zedan. Augmenting semantic web service descriptions with compositional specification. In Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills, editors, Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pages 544–552. ACM, 2004. STRL Publication 2004-7.

[50]   Ben Moszkowski. A hierarchical completeness proof for Propositional Interval Temporal Logic with finite time. Journal of Applied Non-Classical Logics, 14(1–2):55–104, 2004. Special issue on Interval Temporal Logics and Duration Calculi.

[51]   Ben Moszkowski. A hierarchical completeness proof for propositional temporal logic. In Nachum Dershowitz, editor, Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, volume 2772 of LNCS, pages 480–523. Springer Verlag, Heidelberg, 2004.

[52]   M. Solanki, A. Cau, and H. Zedan. Introducing compositionality in web service descriptions. In 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China, pages 14–20. IEEE Computer Society, 2004. STRL Publication 2004-8.

[53]   S. Zhou, H. Zedan, and A. Cau. Run-time analysis of time-critical systems. Journal of System Architecture, 51(5):331–345, 2005. STRL Publication 2005-1.

[54]   François Siewe. A Compositional Framework for the Development of Secure Access Control Systems. PhD thesis, Software Technology Research Laboratory, Department of Computer Science and Engineering, De Montfort University, Leicester, 2005. STRL Thesis 20.

[55]   Monika Solanki. A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services. PhD thesis, Software Technology Research Laboratory, Department of Computer Science and Engineering, De Montfort University, Leicester, 2005. STRL Thesis 21.

[56]   Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, and Hussein Zedan. Analysis and Run-time Verification of Dynamic Security Policies. In Robert Ghanea-Hercock and Mark Greaves and Nick Jennings and Simon Thompson, editor, In Proceedings of The First Workshop on Defence Applications for Multi-Agent Systems (DAMAS’05), volume 3890 of Lecture Notes in Computer Science, pages 92–103, Utrecht, The Netherlands, July 2005. Springer. STRL Publication 2005-3.

[57]   F. Siewe, H. Janicke, and K. Jones. Dynamic access control policies and web-service composition. In Proceedings of the 1st Young Researchers Workshop on Service Oriented Computing (YR-SOC 05), 2005. STRL Publication 2005-4.

[58]   Monika Solanki, Antonio Cau, and Hussein Zedan. Semantic Web Services, Processes and Applications, chapter Temporal Specifications for Semantic Web services. Springer, 2005. Link to publication on Springer website.

[59]   Monika Solanki, Antonio Cau, and Hussein Zedan. Semantically annotating reactive web services with temporal specifications. In Proceedings of the IEEE ICWS 2005, Second International Workshop on Semantic and Dynamic Web Processes, volume 140, 2005. STRL Publication 2005-13.

[60]   Ben Moszkowski. A hierarchical analysis of propositional temporal logic based on intervals. In Sergei Artemov, Howard Barringer, Artur S. d’Avila Garcez, Luis C. Lamb, and John Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, volume 2, pages 371–440. College Publications (formerly KCL Publications), King’s College, London, 2005.

[61]   Helge Janicke, Antonio Cau, Francois Siewe, Hussein Zedan, and Kevin Jones. A Compositional Event & Time-based Policy Model. In Procceedings of POLICY2006, London, Ontario, Canada, pages 173–182, London, Ontario Canada, June 2006. IEEE Computer Society. STRL Publication 2006-3.

[62]   Monika Solanki, Antonio Cau, and Hussein Zedan. Asdl: A wide spectrum language for designing web services. In Proceedings of 15th International World Wide Web Conference WWW2006, Edinburgh, Scotland, 2006. ACM. STRL Publication 2006-4.

[63]   Helge T. Janicke. The Development of Secure Multi-Agent Systems. PhD thesis, De Montfort University, February 2007. STRL Thesis 31.

[64]   Ben Moszkowski. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals. Journal of Logic and Computation, 17(2):333–409, 2007. STRL Publication 2007-8.

[65]   Helge Janicke, Antonio Cau, Francois Siewe, and Hussein Zedan. Deriving Enforcement Mechanisms from Policies. In In Proceedings of the 8th IEEE international Workshop on Policies for Distributed Systems, 2007. STRL Publication 2007-6.

[66]   Helge Janicke, Antonio Cau, Francois Siewe, and Hussein Zedan. A note on the formalisation of UCON. In In Proceedings of SACMAT07, 2007. STRL Publication 2007-7.

[67]   Helge Janicke and Linda Finch. The Role of Dynamic Security Policy in Military Scenarios. In In Proceedings of the 6th European Conference on Information Warfare and Security, 2007. STRL Publication 2007-9.

[68]   Helge Janicke, Antonio Cau, Francois Siewe, and Hussein Zedan. Concurrent Enforcement of Usage Control Policies. In In Proceedings of the 9th IEEE international Workshop on Policies for Distributed Systems, 2008. STRL Publication 2008-4.

[69]   Mohamed Sarrab, Helge Janicke, and Antonio Cau. Interactive runtime monitoring of information flow policies. In In proceedings of Second international conference of Creativity and Innovation in Software Engineering, 2009. STRL Publication 2009-17.

[70]   Mohamed Sarrab and Helge Janicke. Monitoring explicit information flow using java byte-code instrumentation. In In proceedings of the 8th ICCA, Yangon, Myanmar, 2010. STRL Publication 2010-8.

[71]   Turki Alghamdi, Hussein Zedan, and Ali Alzahrani. Enforcing learning activities policies in runtime monitoring system for e-learning environments. International Journal of Computer Science and Information Security (IJCSIS), 9(8):45–53, 2011.

[72]   Sulaiman Al Amro and Antonio Cau. Behaviour-based virus detection system using interval temporal logic. In Proceedings of the 6th IEEE International Conference on Risks and Security of Internet and Systems (CRiSIS 2011), 2011.

[73]   Ben C. Moszkowski. Compositional reasoning using intervals and time reversal. In Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning TIME2011, pages 107–114, 2011.