The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Colin J. Fidge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Colin J. Fidge, Tim McComb
    Tracing secure information flow through mode changes. [Citation Graph (0, 0)][DBLP]
    ACSC, 2006, pp:303-310 [Conf]
  2. Colin J. Fidge
    The Algebra of Multi-tasking. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:213-227 [Conf]
  3. Colin J. Fidge
    Refinement Rules for Real-Time Multi-tasking Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:199-215 [Conf]
  4. Colin J. Fidge
    Compilation of Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:355-362 [Conf]
  5. Colin J. Fidge
    Contextual Matching of Software Library Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:297-306 [Conf]
  6. Colin J. Fidge, Phil Cook
    Model Checking Interrupt-Dependent Software. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:51-58 [Conf]
  7. Neil J. Robinson, Colin J. Fidge
    Animation of Data Refinements. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:137-146 [Conf]
  8. Karl Lermer, Colin J. Fidge
    A Formal Model of Real-Time Program Compilation. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:192-210 [Conf]
  9. Phil Cook, Colin J. Fidge
    Well-Measuring Programs. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:253-261 [Conf]
  10. Colin J. Fidge, Peter Robinson, Steve Dunne
    Refinement Laws for Verifying Library Subroutine Adaptation. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:224-232 [Conf]
  11. Benjamin W. Long, Colin J. Fidge
    Formally Analysing a Security Protocol for Replay Attacks. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:171-180 [Conf]
  12. Neil J. Robinson, Colin J. Fidge
    Visualisation of Refinements. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:244-254 [Conf]
  13. Colin J. Fidge, Yu-Chu Tian
    Functional Analysis of a Real-Time Protocol for Networked Control Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:446-460 [Conf]
  14. Colin J. Fidge, Peter Kearney, Mark Utting
    Interactively Verifying a Simple Real-time Scheduler. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:395-408 [Conf]
  15. Karl Lermer, Colin J. Fidge
    A Methodology for Compilation of High-Integrity Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1274-1281 [Conf]
  16. Colin J. Fidge
    Timing Analysis of Assembler Code Control-Flow Paths. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:370-389 [Conf]
  17. Colin J. Fidge
    Verifying Emulation of Legacy Mission Computer Systems. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:187-207 [Conf]
  18. Colin J. Fidge
    Real-Time Refinement. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:314-331 [Conf]
  19. Colin J. Fidge
    Adding Real Time to Formal Program Development. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:618-638 [Conf]
  20. Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes
    Integrating Real-Time Scheduling Theory and Program Refinement. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:327-346 [Conf]
  21. Colin J. Fidge
    Process Algebra Traces Augmented with Causal Relationships. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:527-541 [Conf]
  22. Colin J. Fidge
    A constraint-oriented real-time process calculus. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:363-378 [Conf]
  23. Colin J. Fidge
    A LOTOS Interpreter for Simulating Real-Time Behaviour. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:523-526 [Conf]
  24. Colin J. Fidge
    Specification and Verification of Real-Time Behaviour Using Z and RTL. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:393-409 [Conf]
  25. Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
    Defining Differentiation and Integration in Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:64-0 [Conf]
  26. Benjamin W. Long, Colin J. Fidge, Antonio Cerone
    A Z Based Approach to Verifying Security Protocols. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:375-395 [Conf]
  27. Colin J. Fidge
    Modelling Discrete Behaviour in a Continuous-Time Formalism. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:170-188 [Conf]
  28. Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst
    A Set-Theoretic Model for Real-Time Specification and Reasoning. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:188-206 [Conf]
  29. Colin J. Fidge
    Partial Orders for Parallel Debugging. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1988, pp:183-194 [Conf]
  30. Geoffrey Watson, Colin J. Fidge
    A Partial-Correctness Semantics for Modelling Assembler Programs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:82-90 [Conf]
  31. Colin J. Fidge, R. S. V. Pascoe
    A Comparison of the Concurrency Constructs and Module Facilities of CHILL and Ada. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1983, v:15, n:1, pp:17-27 [Journal]
  32. Colin J. Fidge
    Reproducible Tests in CSP. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1987, v:19, n:2, pp:92-98 [Journal]
  33. Andrew Rae, Colin J. Fidge
    Identifying Critical Components During Information Security Evaluations. [Citation Graph (0, 0)][DBLP]
    Journal of Research and Practice in Information Technology, 2005, v:37, n:4, pp:- [Journal]
  34. Andrew Rae, Colin J. Fidge
    Information Flow Analysis for Fail-Secure Devices. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:1, pp:17-26 [Journal]
  35. Colin J. Fidge
    Logical Time in Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1991, v:24, n:8, pp:28-33 [Journal]
  36. Andrew Rae, Colin J. Fidge, Luke Wildman
    Fault Evaluation for Security-Critical Communications Devices. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:5, pp:61-68 [Journal]
  37. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    Formal Semantics for Program Paths. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  38. Luke Wildman, Colin J. Fidge
    The variety of variables in computer-aided real-time programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  39. Colin J. Fidge, Carron Shankland
    But What if I Don't Want to Wait Forever? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:281-294 [Journal]
  40. Colin J. Fidge, Andy J. Wellings
    An Action-Based Formal Model for Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:2, pp:175-207 [Journal]
  41. Karl Lermer, Colin J. Fidge
    Procedure compilation in the refinement calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:2, pp:152-180 [Journal]
  42. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    Linear Approximation of Execution-Time Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:319-348 [Journal]
  43. Luke Wildman, Colin J. Fidge, David A. Carrington
    The Variety of Variables in Automated Real-Time Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:258-279 [Journal]
  44. Ian J. Hayes, Colin J. Fidge, Karl Lermer
    Semantic characterisation of dead control-flow paths. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2001, v:148, n:6, pp:175-186 [Journal]
  45. Colin J. Fidge
    A Limitation of Vector Timestamps for Reconstructing Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:68, n:2, pp:87-91 [Journal]
  46. Graeme Smith, Colin J. Fidge
    Incremental Development of Real-Time Requirements: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:704-730 [Journal]
  47. Colin J. Fidge
    Real-Time Schedulability Tests for Preemptive Multitasking. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1998, v:14, n:1, pp:61-93 [Journal]
  48. Colin J. Fidge
    Fundamentals of Distributed System Observation. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1996, v:13, n:6, pp:77-83 [Journal]
  49. Colin J. Fidge, Peter Kearney, Mark Utting
    A Formal Method for Building Concurrent Real-Time Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1997, v:14, n:2, pp:99-106 [Journal]
  50. Colin J. Fidge
    A LISP Implementation of the Model for `Communicating Sequential Processes'. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1988, v:18, n:10, pp:923-943 [Journal]
  51. Luke Wildman, Colin J. Fidge, David A. Carrington
    Computer-aided development of a real-time program. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 2000, v:19, n:4, pp:190-202 [Journal]
  52. Colin J. Fidge
    Formal change impact analyses for emulated control software. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:321-335 [Journal]
  53. Colin J. Fidge
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  54. Colin J. Fidge
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:3, pp:477- [Journal]
  55. Karl Lermer, Colin J. Fidge
    A formal model of real-time program compilation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:151-190 [Journal]
  56. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    A theory for execution-time derivation in real-time programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:3-27 [Journal]
  57. Andrew Martin, Colin J. Fidge
    Lifting in Z. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  58. Colin J. Fidge
    A Formal Definition of Priority in CSP. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:681-705 [Journal]

  59. Relative simulation and model checking of real-time processes. [Citation Graph (, )][DBLP]


  60. Cross-Layer Verification of Type Flaw Attacks on Security Protocols. [Citation Graph (, )][DBLP]


  61. Product flow analysis in distribution networks with a fixed time horizon. [Citation Graph (, )][DBLP]


  62. Business Process Simulation for Operational Decision Support. [Citation Graph (, )][DBLP]


  63. Access Control Requirements for Processing Electronic Health Records. [Citation Graph (, )][DBLP]


  64. Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. [Citation Graph (, )][DBLP]


  65. Performance Evaluation of IEEE 802.11 Wireless Networks for Real-time Networked Control Systems. [Citation Graph (, )][DBLP]


  66. High-Precision Relative Clock Synchronization Using Time Stamp Counters. [Citation Graph (, )][DBLP]


  67. Integrating hardware and software information flow analyses. [Citation Graph (, )][DBLP]


  68. Hybrid system simulation of computer control applications over communication networks. [Citation Graph (, )][DBLP]


  69. Security Metrics for Object-Oriented Class Designs. [Citation Graph (, )][DBLP]


  70. A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. [Citation Graph (, )][DBLP]


  71. Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. [Citation Graph (, )][DBLP]


  72. Workflow simulation for operational decision support. [Citation Graph (, )][DBLP]


Search in 0.082secs, Finished in 0.085secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002