© 1996-2019







4.3 Conference Papers

[72]

Hanna Klaudel, Maciej Koutny, and Ben Moszkowski. “From Petri Nets with Shared Variables to ITL”. In: 16th International Conference on Application of Concurrency to System Design (ACSD). June 2016, pp. 11–18.
url: http://dx.doi.org/10.1109/ACSD.2016.12.

[73]

Ben C. Moszkowski and Dimitar P. Guelev. “An Application of Temporal Projection to Interleaving Concurrency”. In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. 2015, pp. 153–167.
url: http://dx.doi.org/10.1007/978-3-319-25942-0_10.

[74]

Andrew Nicholson, Helge Janicke, and Antonio Cau. “Position Paper: Safety and Security Monitoring in ICS/SCADA Systems”. In: Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014. Download pdf. BCS, 2014, pp. 61–66.
url: http://dx.doi.org/10.14236/ewic/ics-csr2014.9.

[75]

Meng Han, Zhenhua Duan, and Xiaobing Wang. “Time constraints with temporal logic programming”. In: Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering. ICFEM’12. Kyoto, Japan: Springer Verlag, 2012, pp. 266–282. isbn: 978-3-642-34280-6.
url: http://dx.doi.org/10.1007/978-3-642-34281-3_20.

[76]

Amin El-kustaban, Ben Moszkowski, and Antonio Cau. “Formalising of Transactional Memory using Interval Temporal Logic (ITL)”. In: Proceedings of the Spring World Congress on Engineering and Technology (SCET 2012). Download pdf. 2012.
url: http://dx.doi.org/10.1109/SCET.2012.6342060.

[77]

Amin El-kustaban, Ben Moszkowski, and Antonio Cau. “Specification Analysis of Transactional Memory using ITL and AnaTempura”. In: Proceedings of International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012). Download pdf. 2012.
url: https://doaj.org/article/373d1feae6e04b2c90b7457634ddfe4d.

[78]

Emad Shafie and Antonio Cau. “A Framework for the Detection and Prevention of SQL Injection”. In: Proceedings of the 11th European Conference on Information Warfare and Security ECIW-2012. Download pdf. 2012.

[79]

Xiaoxiao Yang, Yu Zhang, Ming Fu, and Xinyu Feng. “A concurrent temporal programming model with atomic blocks”. In: Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering. ICFEM’12. Kyoto, Japan: Springer Verlag, 2012, pp. 22–37. isbn: 978-3-642-34280-6.
url: http://dx.doi.org/10.1007/978-3-642-34281-3_5.

[80]

Sulaiman Al Amro and Antonio Cau. “Behaviour-based Virus Detection System using Interval Temporal Logic”. In: CRiSIS 2011, Proceedings of the Sixth International Conference on Risks and Security of Internet and Systems, Timioara, Romania, September 26-28, 2011. 2011, pp. 106–111.
url: http://dx.doi.org/10.1109/CRiSIS.2011.6061544.

[81]

Ben C. Moszkowski. “Compositional Reasoning Using Intervals and Time Reversal”. In: Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning TIME2011. 2011, pp. 107–114.
url: http://dx.doi.org/10.1109/TIME.2011.25.

[82]

Jim Woodcock, Marcel Oliveira, Alan Burns, and Kun Wei. “Modelling and Implementing Complex Systems with Timebands”. In: Fourth International Conference on Secure Software Integration and Reliability Improvement (SSIRI), 2010. June 2010, pp. 1–13.
url: http://dx.doi.org/10.1109/SSIRI.2010.7.

[83]

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. Download pdf. 2009.

[84]

Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “Concurrent Enforcement of Usage Control Policies”. In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA. Download pdf. 2008, pp. 111–118.
url: http://dx.doi.org/10.1109/POLICY.2008.44.

[85]

Kamal Lodaya, Paritosh K. Pandya, and Simoni S. Shah. “Marking the chops: an unambiguous temporal logic”. In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. 2008, pp. 461–476.
url: http://dx.doi.org/10.1007/978-0-387-09680-3_31.

[86]

Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “A note on the formalisation of UCON”. In: SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies, Sophia Antipolis, France, June 20-22, 2007, Proceedings. Download pdf. 2007, pp. 163–168.
url: http://dx.doi.org/10.1145/1266840.1266867.

[87]

Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “Deriving Enforcement Mechanisms from Policies”. In: 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy. Download pdf. 2007, pp. 161–172.
url: http://dx.doi.org/10.1109/POLICY.2007.15.

[88]

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.

[89]

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, and Kevin Jones. “A Compositional Event & Time-Based Policy Model”. In: 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada. Download pdf. 2006, pp. 173–182.
url: http://dx.doi.org/10.1109/POLICY.2006.2.

[90]

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. Download pdf. Edinburgh, Scotland: ACM, 2006.
url: http://dx.doi.org/10.1145/1135777.1135878.

[91]

Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, and Hussein Zedan. “Analysis and Run-time Verification of Dynamic Security Policies”. In: In Proceedings of The First Workshop on Defence Applications for Multi-Agent Systems (DAMAS’05). Ed. by Robert Ghanea-Hercock and Mark Greaves and Nick Jennings and Simon Thompson. Vol. 3890. Lecture Notes in Computer Science. Download pdf. Utrecht, The Netherlands: Springer Verlag, July 2005, pp. 92–103.
url: http://dx.doi.org/10.1007/11683704_8.

[92]

François Siewe, Helge Janicke, and Kevin 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.

[93]

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. Vol. 140. Download pdf. 2005.

[94]

Monika Solanki, Antonio Cau, and Hussein Zedan. “Augmenting semantic web service descriptions with compositional specification”. In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004. Ed. by Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills. Download pdf. ACM, 2004, pp. 544–552. isbn: 1-58113-844-X.
url: http://dx.doi.org/10.1145/988672.988746.

[95]

Monika Solanki, Antonio Cau, and Hussein 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. Download pdf. IEEE Computer Society, 2004, pp. 14–20. isbn: 0-7695-2118-5.
url: http://dx.doi.org/10.1109/FTDCS.2004.1316588.

[96]

Martin Wildmoser and Tobias Nipkow. “Certifying Machine Code Safety: Shallow versus Deep Embedding”. In: Theorem Proving in Higher Order Logics (TPHOLs 2004). Ed. by K. Slind, A. Bunker, and G. Gopalakrishnan. Vol. 3223. LNCS. Springer, 2004, pp. 305–320.

[97]

Ben 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)). Vienna, Aug. 2003, pp. 41–65.

[98]

Ben Moszkowski. “A Hierarchical Completeness Proof for Propositional Temporal Logic”. In: 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). Ed. by Nachum Dershowitz. Vol. 2772. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2003, pp. 480–523. isbn: 3-540-21002-4.
url: http://dx.doi.org/10.1007/978-3-540-39910-0_22.

[99]

François Siewe, Antonio Cau, and Hussein Zedan. “A Compositional Framework for Access Control Policies Enforcement”. In: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering. FMSE ’03. Download pdf. Washington, D.C.: ACM, 2003, pp. 32–42. isbn: 1-58113-781-8.
url: http://dx.doi.org/10.1145/1035429.1035433.

[100]

Monika Solanki, Antonio Cau, and Hussein Zedan. “Introducing compositionality in webservice descriptions”. In: proceedings of the 3rd International Anwire Workshop on Adaptable Service Provision. Download pdf. Springer Verlag, 2003.

[101]

Roger Hale. “Using ITL for Codesign”. In: Proceedings of the Verification Workshop part of the International Joint Conference on Automated Reasoning IJCAR’2001. 2001.

[102]

Hussein Zedan and Antonio 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. IEEE Computer Society, 2001, pp. 194–200. isbn: 0-7695-1384-0.
url: http://dx.doi,org/10.1109/FTDCS.2001.969641.

[103]

Hussein Zedan et al. “K-Mediator: Towards Evolving Information Systems”. In: Software Maintenance, 2001. Proceedings. IEEE International Conference on. Download pdf. 2001, pp. 520–527.
url: http://dx.doi.org/10.1109/ICSM.2001.972765.

[104]

Jordan Dimitrov. “Compositional Reasoning about Events in Interval Temporal Logic”. In: Proc. of The Fifth International Conference on Computer Science and Informatics. 2000.

[105]

Wang Jianzhong, Xu Qiwen, and Ma Huadong. “Modelling and Verification of a Network Player System with DCValid”. In: Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2OOO). Ed. by T. H. Tse and T. Y. Chen. Hong Kong: IEEE Computer Society Press, Oct. 2000, pp. 44–49.
url: http://dx.doi.org/10.1109/APAQ.2000.883777.

[106]

Kamal Lodaya. “Sharpening the Undecidability of Interval Temporal Logic”. In: Advances in Computing Science - ASIAN 2000: Proc. of Sixth Asian Computing Science Conference. Ed. by He Jifeng and Masahiko Sato. Vol. 1961. Lecture Notes in Computer Science. Penang, Malaysia: Springer Verlag, Nov. 2000. isbn: 3-540-41428-2.
url: http://dx.doi.org/10.1007/3-540-44464-5_21.

[107]

Ben 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). Download pdf. IEEE Computer Society Press, June 2000, pp. 242–251. isbn: 0–7695–0725–5.
url: http://dx.doi.org/10.1109/LICS.2000.855773.

[108]

Ben Moszkowski. “An Automata-Theoretic Completeness Proof for Interval Temporal Logic (Extended Abstract)”. In: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Ed. by Ugo Montanari, José Rolim, and Emo Welzl. Vol. 1853. Lecture Notes in Computer Science. Download pdf. Geneva, Switzerland: Springer Verlag, July 2000, pp. 223–234. isbn: 3-540-67715-1.
url: http://dx.doi.org/10.1007/3-540-45022-X_19.

[109]

Arun C. Rao, Antonio Cau, and Hussein Zedan. “Visualization of Interval Temporal Logic”. In: Proc. of the Fifth International Conference on Computer Science and Informatics. Download pdf. 2000.

[110]

Hussein Zedan, Antonio Cau, and Ben C. Moszkowski. “Compositional Modelling: The Formal Perspective”. In: Proc. of Workshop on Systems Modelling for Business Process Improvement. Ed. by David Bustard. Download pdf. Artech House, 2000, pp. 333–354.

[111]

Hussein Zedan, Antonio Cau, and Shikun Zhou. “A Calculus for Evolution”. In: Proc. of the Fifth International Conference on Computer Science and Informatics. Download pdf. 2000.

[112]

XiaoShan Li. “Formal Semantics of Verilog HDL”. In: CDROM: Proceedings of the Second Forum on Design Languages (FDL ’99). Lyon, France: ECSI Verlag, Gières, Aug. 1999, pp. 127–136. isbn: 2-84010-033-9.

[113]

XiaoShan Li. “Specification and Simulation of a Concurrent Real-Time System”. In: IEEE Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems. Los Angeles, California: IEEE Computer Society, May 1999, pp. 197–204.
url: http://dx.doi.org/10.1109/PDSE.1999.779752.

[114]

Matthew J. Morley. “Semantics of Temporal e”. In: Banff’99 Higher Order Workshop: Formal Methods in Computation, Ullapool, Scotland, 9–11 Sept. 1999. Ed. by T. F. Melham and F. G. Moller. University of Glasgow, Department of Computing Science Technical Report. 1999, pp. 138–142.

[115]

Markus Müller-Olm. “A Modal Fixpoint Logic with Chop”. In: Proc. 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS’99). Ed. by Christoph Meinel and Sophie Tison. Vol. 1563. Lecture Notes in Computer Science. Trier, Germany: Springer Verlag, Mar. 1999, pp. 510–520.
url: http://dx.doi.org/10.1007/3-540-49116-3_48.

[116]

Thomas M. Rasmussen. “Signed Interval Logic”. In: Computer Science Logic, 13th International Workshop, CSL ’99, 8th Annual Conference of the EACSL. Ed. by Jörg Flum and Mario Rodríguez-Artalejo. Vol. 1683. Lecture Notes in Computer Science. Berlin, 1999, pp. 157–171. isbn: 3-540-66536-6.
url: http://dx.doi.org/10.1007/3-540-48168-0_12.

[117]

Shikun Zhou, Hussein Zedan, and Antonio Cau. “A Framework For Analysing The Effect of ‘Change’ In Legacy Code”. In: IEEE Proc. of ICSM’99. Download pdf. IEEE. 1999.
url: http://dx.doi,org/10.1109/ICSM.1999.792639.

[118]

Antonio Cau, Chris Czarnecki, and Hussein Zedan. “Designing a Provably Correct Robot Control System using a ‘Lean’ Formal Method”. In: Proceedings 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT’98). Ed. by Anders P. Ravn and Hans Rischel. Vol. 1486. Lecture Notes in Computer Science. Download pdf. Springer Verlag, 1998, pp. 123–132.
url: http://dx.doi.org/10.1007/BFb0055342.

[119]

Ben Moszkowski. “Compositional reasoning using Interval Temporal Logic and Tempura”. In: Compositionality: The Significant Difference. Ed. by Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli. Vol. 1536. Lecture Notes in Computer Science. Download pdf. Berlin: Springer Verlag, 1998, pp. 439–464. isbn: 3-540-65493-3.
url: http://dx.doi.org/10.1007/3-540-49213-5_17.

[120]

Antonio Cau and Hussein Zedan. “Refining Interval Temporal Logic specifications”. In: Transformation-Based Reactive Systems Development. Ed. by M. Bertran and T. Rus. Vol. 1231. Lecture Notes in Computer Science. Download pdf. AMAST. Springer Verlag, 1997, pp. 79–94.
url: http://dx.doi.org/10.1007/3-540-63010-4_6.

[121]

XiaoShan Li, Antonio Cau, Ben Moszkowski, and Nick Coleman. “Proving the correctness of the interlock mechanism in processor design”. In: Advances in Hardware Design and Verification. Ed. by Hon F. Li and David K. Probst. Download pdf. London: IFIP/Chapman and Hall, 1997, pp. 2–22.

[122]

Antonio Cau, Hussein Zedan, Nick Coleman, and Ben Moszkowski. “Using ITL and TEMPURA for large scale specification and simulation”. In: Proc. of the 4th Euromicro Workshop on Parallel and Distributed Processing. Download pdf. IEEE Computer Society Press, 1996, pp. 493–500.
url: http://dx.doi.org/10.1109/EMPDP.1996.500624.

[123]

Ben Moszkowski. “Using temporal fixpoints to compositionally reason about liveness”. In: BCS-FACS 7th Refinement Workshop. Ed. by He Jifeng, John Cooke, and Peter Wallis. electronic Workshops in Computing. Download pdf. BCS-FACS. London: Springer Verlag and British Computer Society, 1996. isbn: 3-540-76104-7.

[124]

Jonathan Bowen, He Jifeng, Roger Hale, and John Herbert. “Towards Verified Systems: The SAFEMOS Project”. In: The Mathematics of Dependable Systems. Ed. by C. Mitchell and V. Stavridou. The Institute of Mathematics and its Applications Conference Series. Oxford: Oxford University Press, 1995.

[125]

Bruno Dutertre. “Complete proof systems for first order interval temporal logic”. In: Proc. of the 10th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, Calif., USA: IEEE Computer Society Press, June 1995, pp. 36–43.
url: http://dx.doi.org/10.1109/LICS.1995.523242.

[126]

Ben 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). Download pdf. Los Alamitos, California: IEEE Computer Society Press, 1995, pp. 238–245.
url: http://dx.doi.org/10.1109/ICECCS.1995.479336.

[127]

R. Elliot. “An exercise in formally based circuit synthesis from a behavioural specification in Interval Temporal Logic”. In: Proc. EUROMICRO ’94. 1994.
url: http://dx.doi.org/10.1109/EURMIC.1994.390402.

[128]

Arjun Kapur, Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. “Proving safety properties of hybrid systems”. In: Formal Techniques in Real-Time and Fault-Tolerant Systems. Ed. by Hans Langmaack, Willem-Paul de Roever, and Jan Vytopil. Vol. 863. Lecture Notes in Computer Science. Springer Verlag, 1994, pp. 431–454. isbn: 978-3-540-58468-1.
url: http://dx.doi.org/10.1007/3-540-58468-4_177.

[129]

Ben Moszkowski. “Some very compositional temporal properties”. In: Programming Concepts, Methods and Calculi. Ed. by E.-R. Olderog. Vol. A-56. IFIP Transactions. IFIP. Elsevier Science B.V. (North–Holland), 1994, pp. 307–326.

[130]

Masahiro Fujita and Shinji Kono. “Synthesis of Controllers from Interval Temporal Logic Specification”. In: International Conference on Computer Design: VLSI in Computers and Processors. IEEE Computer Society Press, 1993.
url: http://dx.doi.org/10.1109/ICCD.1993.393373.

[131]

Alastair R. Ruddle. “Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems”. In: Z User Workshop, London 1992. Ed. by J. P. Bowen and J. E. Nicholls. Workshops in Computing. Springer Verlag, 1993, pp. 131–146. isbn: 3-540-19818-0.
url: http://dx.doi.org/10.1007/978-1-4471-3556-2_10.

[132]

He JiFeng and Jonathan Bowen. “Time Interval Semantics and Implementation of a Real-Time Programming Language”. In: Proceedings of the 4-th Euromicro Workshop on Real-Time Systems. IEEE Computer Society Press, 1992, pp. 110–115.
url: http://dx.doi.org/10.1109/EMWRT.1992.637480.

[133]

Shinji Kono. “Automatic Verification of Interval Temporal Logic”. In: 8th British Colloquium For Theoretical Computer Science. 1992.

[134]

Y. Srivinas Ramakrishna, Laura K. Dillon, Louise E. Moser, Peter M. Melliar-Smith, and George Kutty. “An Automata-theoretic decision procedure for Future Interval Logic”. In: Proc. 12th FST& TCS. Vol. 652. Lecture Notes in Computer Science. Springer Verlag, Dec. 1992, pp. 51–67.
url: http://dx.doi.org/10.1007/3-540-56287-7_94.

[135]

Roger Hale. “Using temporal logic for prototyping: The design of a lift controller”. In: Temporal Logic in Specification. Ed. by B. Banieqbal, H. Barringer, and A. Pnueli. Vol. 398. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1989, pp. 375–408.
url: http://dx.doi.org/10.1007/3-540-51803-7_35.

[136]

Danny Kilis, Albert C. Esterline, and James R. Slagle. “Specification and verification of network protocols using executable temporal logic”. In: Proceedings of IFIP Congress ’89. North Holland Publishing Co. Amsterdam, 1989, pp. 845–850.

[137]

Barbara Paech. “Gentzen-systems for propositional temporal logics”. In: Proceedings of the 2nd Workshop on Computer Science Logic, Duisburg (FRG). Ed. by E. Börger, H. Kleine Büning, and M. M. Richter. Vol. 385. Lecture Notes in Computer Science. Springer Verlag, Oct. 1988, pp. 240–253.
url: http://dx.doi.org/10.1007/BFb0026305.

[138]

Roger Hale and Ben C. Moszkowski. “Parallel Programming in Temporal Logic”. In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages. Ed. by J. W. de Bakker, A. J. Nijman, and Philip C. Treleaven. Vol. 259. Lecture Notes in Computer Science. Eindhoven, The Netherlands: Springer Verlag, June 1987, pp. 277–296. isbn: 3-540-17945-3.
url: http://dx.doi.org/10.1007/3-540-17945-3_16.

[139]

Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, and Tatsuhiko Moto-oka. “Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis”. In: Logic Programming ’85. Ed. by Eiiti Wada. Vol. 221. Lecture Notes in Computer Science. Springer Verlag, 1986, pp. 246–255. isbn: 978-3-540-16479-1.
url: http://dx.doi.org/10.1007/3-540-16479-0_24.

[140]

Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, and Tatsuhiko Moto-oka. “Tokio: Logic programming language based on temporal logic and its compilation to Prolog”. In: Third International Conference on Logic Programming. Ed. by Ehud Shapiro. Vol. 225. Lecture Notes in Computer Science. Springer Verlag, 1986, pp. 695–709. isbn: 978-3-540-16492-0.
url: http://dx.doi.org/10.1007/3-540-16492-8_119.

[141]

Roni Rosner and Amir Pnueli. “A choppy logic”. In: First Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, June 1986, pp. 306–313. isbn: 0-8186-0720-3.

[142]

Shinji Kono, Tatsuya Aoyagi, Masahiro Fujita, and Hidehiko Tanaka. “Implementation of Temporal Logic Programming Language Tokio”. In: Logic Programming ’85. Ed. by Eiiti Wada. Vol. 221. Lecture Notes in Computer Science. Springer Verlag, 1985, pp. 138–147.
url: http://dx.doi.org/10.1007/3-540-16479-0_14.

[143]

Ben Moszkowski. “A temporal analysis of some concurrent systems”. In: The Analysis of Concurrent Systems. Ed. by B. T. Denvir, W. T .Harwood, M. I. Jackson, and M. J. Wray. Vol. 207. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1985, pp. 359–364.
url: http://dx.doi.org/10.1007/3-540-16047-7_58.

[144]

Joseph Halpern, Zohar Manna, and Ben Moszkowski. “A hardware semantics based on temporal intervals”. In: Proceedings of the 10-th International Colloquium on Automata, Languages and Programming. Ed. by Josep Diaz. Vol. 154. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1983, pp. 278–291.
url: http://dx.doi.org/10.1007/BFb0036915.

[145]

Ben Moszkowski. “A temporal logic for multi-level reasoning about hardware”. In: Proceedings of the 6-th International Symposium on Computer Hardware Description Languages. Pittsburgh, Pennsylvania: North-Holland Pub. Co., May 1983, pp. 79–90.

[146]

Ben Moszkowski and Zohar Manna. “Reasoning in Interval Temporal Logic”. In: Proceedings of the Workshop on Logics of Programs. Ed. by Edmund Clarke and Dexter Kozen. Vol. 164. Lecture Notes in Computer Science. Pittsburgh, PA: Springer Verlag, June 1983, pp. 371–382. isbn: 3-540-12896-4.
url: http://dx.doi.org/10.1007/3-540-12896-4_374.

[147]

Richard L. Schwartz, Peter M. Melliar-Smith, and Friedrich H. Vogt. “An Interval Logic for Higher-Level Temporal Reasoning”. In: Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. Aug. 1983, pp. 173–186.
url: http://dx.doi.org/10.1145/800221.806720.







2019-03-16
Contact | Home | ITL home | Course | Proofs | Algebra | FL