dblp.uni-trier.dewww.uni-trier.de

Colin J. Fidge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Wil M. P. van der Aalst [60] [63]
2Bandar Alhaqbani [61]
3David A. Carrington [26] [41] [62]
4Antonio Cerone [45]
5Phil Cook [51] [56]
6Marlon Dumas [60] [64]
7Steve Dunne [50]
8Li Gui [59]
9Ian J. Hayes [15] [22] [23] [29] [40] [43] [47]
10Arthur H. M. ter Hofstede [60] [63] [64]
11Peter Kearney [13] [15] [16]
12Karl Lermer [18] [25] [29] [34] [40] [43] [47] [54]
13Benjamin W. Long [45] [57] [62]
14Brendan P. Mahony [23]
15A. P. Martin [22]
16Andrew Martin [31]
17Tim McComb [58]
18R. S. V. Pascoe [1]
19Andrew Rae [48] [49] [53]
20Neil J. Robinson [32] [38]
21Peter Robinson [50]
22Anne Rozinat [63]
23Carron Shankland [42]
24Graeme Smith [27]
25Yu-Chu Tian [55] [59]
26Mark Utting [13] [15] [16]
27Axel Wabenhorst [22]
28Geoffrey Watson [44]
29Andy J. Wellings [17]
30Luke Wildman [26] [35] [41] [53]
31Moe Thandar Wynn [60] [63] [64]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)