Browse by all authors Browse By Author ID - Colin John FIDGE

Browse Results (53 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 2

Result Pages:    1 2  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Lermer, K. and Fidge, C. J. (1999). A formal model of real-time program compilation. In: J. P. Katoen, Formal Methods for Real-Time and Probabilistic Systems: ARTS'99. 5th International AMAST Workshop on Real-Time and Probabilistic Systems ARTS'99, Bamberg, Germany, (192-210). 26-28 May 1999. 44  
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 47   5 Cited 7 times in Scopus7 0
Robinson, N. J. and Fidge, C. J. (2002). Animation of data refinements. In: P. Strooper and P. Muenchaisri, Ninth Asia-Pacific Software Engineering Conference (APSEC 2002). APSEC 2002, Gold Coast, Australia, (137-146). 4-6 December 2002. 55   2
Watson, G. N. and Fidge, C. J. (2003). A partial-correctness semantics for modelling assembler programs. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods. First International Conference on Software Engineering and Formal Methods 2003, Brisbane, Australia, (82-90). 22-27 September 2003. doi:10.1109/SEFM.2003.1236210 61   0 0
de Beer, A. and Fidge, C. J. (2003). A simple multi-tasking simulator. In: M. Caulfield and M. Hinchey, Proceedings of the Twenty-Seventh Annual NASA Goddard/IEEE Software Engineering Workshop. The Twenty-Seventh Annual NASA Goddard/IEEE Software Engineering Workshop, Maryland, USA, (209-216). 5-6 December, 2003. 30  
Fidge, C. J. (2001) A survey of verification techniques for security protocols Brisbane: Software Verification Research Cen. Univ of Qld 42  
Fidge, Colin (2001) A Survey of Verification Techniques for Security Protocols. Technical Report 01-22, Software Verification Research Centre, School of Information Technology, The University of Queensland. 575 767
Lermer, K., Fidge, C. J. and Hayes, I. J. (2005) A theory for execution-time derivation in real-time programs. Theoretical Computer Science, 346 1: 3-27. doi:10.1016/j.tcs.2005.08.003 53   1 Cited 2 times in Scopus2 0
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) A Theory for Execution Time Derivation in Real-time Programs. Technical Report 02-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 442 299
Long, Benjamin W., Fidge, Colin J. and Cerone, Antonio (2002) A Z Based Approach to Verifying Security Protocols. Technical Report 02-02, Software Verification Research Centre, School of Information Technology, The University of Queensland. 299 454
Long, B. W., Fidge, C. J. and Cerone, A. (2002) A Z Based approach to verifying security protocols Brisbane, Australia: The University of Queensland 37  
Long, B. W., Fidge, C. J. and Cerone, A. (2003). A Z based approach to verifying security protocols. In: J. Dong and J. Woodcock, Proceedings of the Fifth International Conference on Formal Engineering Methods. The Fifth International Conference on Formal Engineering Methods (ICFEM 2003), Singapore, (375-395). 5-7 November 2003. doi:10.1007/b94115 49   0
Fidge, C. J. and Shankland, C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 3: 281-294. doi:10.1007/s001650300006 41   Cited 5 times in Scopus5 0
Fidge, C. J. (2001). Compilation of specifications. In: H. Jifeng, L. Yiping and G. Lowe, Proceedings of Eighth Asia-Pacific Software Engineering Conference (APSEC 2001). APSEC 2001, Macao, China, (355-362-362). 4-7 December 2001. 34  
Fidge, C. J. (2001) Compilation of specifications Brisbane: Software Verification Research Centre, University of Queensland 40  
Fidge, Colin (2001) Compilation of Specifications. Technical Report 01-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 275 386
Wildman, Luke, Fidge, Colin and Carrington, David (2000) Computer-aided development of a real-time program. SVRC Technical Report 99-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Wildman, Luke P., Fidge, Colin J. and Carrington, David A. (2000) Computer-aided development of a real-time program. Software Concepts and Tools, 19 4: 190-202. doi:10.1007/s003780000006 54   0
Fidge, C. J. (2002). Contextual matching of software library components. In: P. Strooper and P. Muenchaisri, Ninth Asia-Pacific Software Engineering Conference (APSEC 2002). APSEC 2002, Gold Coast, Australia, (297-306). 4-6 December 2002. 29  
Fidge, Colin. J., Hayes, Ian. J. and Mahony, B. P. (1998) Defining Differentiation and Integration in Z. SVRC Technical Report 98-09, Software Verification Research Centre, School of Information Technology, The University of Queensland. 20 1
Rae, A., Fidge, C. and Wildman, L. (2006) Fault evaluation for security-critical communications devices. Computer, 39 5: 61-68. doi:10.1109/MC.2006.161 49   3 Cited 5 times in Scopus5 0
Fidge, Colin J. (2003) Foreword. Theoretical Computer Science, 293 3: 477-581. doi:10.1016/S0304-3975(02)00610-2 42   0 Cited 0 times in Scopus0 0
Fidge, C. J. (2006) Formal change impact analyses for emulated control software. International Journal on Software Tools for Technology Transfer, 8 4-5: 321-335. doi:10.1007/s10009-004-0174-5 32   Cited 0 times in Scopus0 0
Long, B. W. and Fidge, C. J. (2006). Formally analysing a security protocol for replay attacks. In: J. Han and M. Staples, Proceedings of the 2006 Australian Software Engineering Conference (ASWEC 2006). 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, (171-180). 18-21 April, 2006. 53   Cited 1 times in Scopus1
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Formal Semantics for Program Paths. Technical Report 02-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 378 343
Lermer, Karl, Fidge, Colin and Hayes, Ian J. (2003). Formal Semantics for Program Paths. In: James Hartland, Electronic Notes in Theoretical Computer Science. CATS'03, Computing: the Australasian Theory Symposium. Computing: The Australasian Theory Symposium [CATS], Adelaide, (58-81). 4-7 February 2003. doi:10.1016/S1571-0661(04)81006-5 117   Cited 4 times in Scopus4 0
Fidge, Colin and Tian, Yu-Chu (2006). Functional analysis of a real-time protocol for networked control systems. In: Lecture Notes in Computer Science. 4th International Symposium on Automated Technology for Verification and Analysis Beijing, Beijing, China, (446-460). 23-26 October, 2006. 36   3 Cited 2 times in Scopus2
Rae, Andrew and Fidge, Colin (2005) Identifying critical components during information security evaluations. Journal of Research And Practice In Information Technology, 37 4: 311-322. 41   0 Cited 6 times in Scopus6
Smith, G. P. and Fidge, C. J. (2000) Incremental development of real-time requirements: The light control case study. Journal of Universal Computer Science, 6 7: 704-730. 52  
Rae, Andrew and Fidge, Colin (2005) Information flow analysis for fail-secure devices. Computer Journal, 48 1: 17-26. doi:10.1093/comjnl/bxh056 36   6 Cited 10 times in Scopus10 0
Martin, Andrew and Fidge, Colin (1998) Lifting in Z. SVRC Technical Report 98-06, Software Verification Research Centre, School of Information Technology, The University of Queensland. 20 1
Martin, A. and Fidge, C. J. (2001). Lifting in Z. In: C. Fidge, Computing: The Australasian Theory Symposium 2001. CATS 2001, Gold Coast, (197-219). 29 January - 1 February 2001. 34  
Lermer, K. R. C., Fidge, C. J. and Hayes, I. J. (2003) Linear approximation of execution-time constraints. Formal Aspects of Computing, 15 4: 319-348. doi:10.1007/s00165-003-0019-0 38   Cited 2 times in Scopus2 0
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Linear Approximation of Execution Time Constraints. Technical Report 02-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 372 479
Fidge, C. and Cook, P. J. (2005). Model checking interrupt-dependent software. In: W. Huang, Y. Kuo and J. J. Chen, Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05). 12th Asia-Pacific Software Engineering Conference (APSEC'05), Taipei, Taiwan, (51-58). 15-17 December, 2005. 39   Cited 2 times in Scopus2
Fidge, C. J. (1999) Modelling discrete behaviour in a continuous-time formalism. Technical Report SSE 99-06, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 18 1
Fidge, C. J. (2002) Real-Time Scheduling Theory. Technical Report 02-19, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1593 1648
Fidge, C. J., Hayes, I. J., Mahony, B. and Wabenhorst, A. K. (1999). Real-time specification and reasoning using maximal intervals. In: W. C. H. Cheng and A. S. M. Sajeev, 6th Australasian Conference on Parallel and Real-Time Systems. PART '99, Melbourne, Australia, (344-354). 29 Nov - 1 Dec 1999. 26  
Fidge, C. J., Hayes, I. J., Mahony, B. P. and Wabenhorst, A. K. (1999) Real-time specification and reasoning using maximal intervals. SVRC Technical Report 99-29, Software Verification Research Centre, School of Information Technology, The University of Queensland. 23 1
Fidge, C. J., Robinson, P. J. and Dunne, S. (2005). Refinement laws for verifying library subroutine adaptation. In: P. Strooper, 2005 Australian Software Engineering Conference Proceedings. 2005 Australian Software Engineering Conference, Brisbane, Australia, (224-232). 29 March - 1 April, 2005. doi:10.1109/ASWEC.2005.40 44   0 Cited 0 times in Scopus0 0
Hayes, I. J., Fidge, C. J. and Lermer, K. R. C. (2001) Semantic characterisation of dead control-flow paths. IEE Proceedings Software, 148 6: 175-186. doi:10.1049/ip-sen:20010834 66 58 Cited 11 times in Scopus11 0
Hayes, Ian, Fidge, Colin and Lermer, Karl (1999) Semantic identification of dead control-flow paths. SVRC Technical Report 99-32, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 23 1
Fidge, C. J. (2000). The algebra of multi-tasking. In: T. Rus, Algebraic Methodology and Software Testing (AMAST 2000). 8th International Conference AMAST 2000, Iowa, USA, (213-227). 23-27 May, 2000. 31  
Fidge, C. J., Hayes, I. J. and Watson, G. N. (1999) The deadline command. IEE Proceedings - Software, 146 2: 104-111. 53  
Wildman, L., Fidge, C. and Carrington, D. (2002) The Variety of Variables in Automated Real-Time Refinement. Technical Report 02-38, Software Verification Research Centre, School of Information Technology, The University of Queensland. 329 596
Wildman, Luke P., Fidge, Colin J. and Carrington, David A. (2003) The variety of variables in automated real-time refinement. Formal Aspects of Computing, 15 2-3: 258-279. doi:10.1007/s00165-003-0009-2 49   Cited 2 times in Scopus2 0
Wildman, L. P. and Fidge, C. J. (2001) The variety of variables in computer-aided real-time programming Brisbane: Software Verification Research Cen. Univ of Qld 45  
Fidge, C. J. (2002). Timing analysis of assembler code control-flow paths. In: L.-H. Eriksson and P. A. Lindsay, FME2002: Formal Methods - Getting IT Right. 11th International Symposium of Formal Methods Europe, Copenhagen, Denmark, (370-389). 22-24 July, 2002. doi:10.1007/3-540-45614-7_21 34   0
Fidge, Colin and McComb, Tim (2006). Tracing secure information flow through mode changes. In: V. Estivill-Castro and G. Dobbie, 29th Australasian Computer Science Conference. 29th Australasian Computer Science Conference, Hobart, Tasmania, (303-310). 16-19 January, 2006. 40  
Fidge, C. J. (2003). Verifying emulation of legacy mission computer systems. In: K. Araki, S. Gnesi and D. Mandrioli, FME 2003: Formal Methods. International Symposium of Formal Methods, Pisa, Italy, (187-207). 8-14 September, 2003. 38  

Page 1 of 2

Result Pages:    1 2  next › last »