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. 43  
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 46   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. 54   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 60   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. 28  
Fidge, C. J. (2001) A survey of verification techniques for security protocols Brisbane: Software Verification Research Cen. Univ of Qld 41  
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. 573 759
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. 441 291
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 52   1 Cited 2 times in Scopus2 0
Long, B. W., Fidge, C. J. and Cerone, A. (2002) A Z Based approach to verifying security protocols Brisbane, Australia: The University of Queensland 36  
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 48   0
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. 298 442
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 40   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. 33  
Fidge, Colin (2001) Compilation of Specifications. Technical Report 01-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 274 379
Fidge, C. J. (2001) Compilation of specifications Brisbane: Software Verification Research Centre, University of Queensland 39  
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 53   0
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
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. 28  
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. 19 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 48   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 41   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 31   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. 50   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. 376 334
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 102   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. 35   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 5 times in Scopus5
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. 51  
Rae, Andrew and Fidge, Colin (2005) Information flow analysis for fail-secure devices. Computer Journal, 48 1: 17-26. doi:10.1093/comjnl/bxh056 35   6 Cited 10 times in Scopus10 0
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. 33  
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. 18 1
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 37   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. 371 467
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. 38   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. 15 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. 1587 1622
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. 21 1
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. 25  
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 43   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 64 55 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. 21 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. 28  
Fidge, C. J., Hayes, I. J. and Watson, G. N. (1999) The deadline command. IEE Proceedings - Software, 146 2: 104-111. 52  
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 48   Cited 2 times in Scopus2 0
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. 327 583
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 43  
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 33   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. 38  
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. 37  

Page 1 of 2

Result Pages:    1 2  next › last »