 | 2006 |
|---|
| 21 |       | George J. Milne:
Modelling Dynamically Changing Hardware Structure.
Electr. Notes Theor. Comput. Sci. 162: 249-254 (2006) |
| 2005 |
|---|
| 20 | | Antonio Cerone,
George J. Milne:
Property verification of asynchronous systems.
ISSE 1(1): 25-40 (2005) |
| 2000 |
|---|
| 19 | | Antonio Cerone,
George J. Milne:
A Methodology for the Formal Analysis of Asynchronous Micropipelines.
FMCAD 2000: 246-262 |
| 18 | | Jihan Zhu,
George J. Milne:
Implementing Kak Neural Networks on a Reconfigurable Computing Platform.
FPL 2000: 260-269 |
| 17 | | Oliver Diessel,
George J. Milne:
Behavioural Language Compilation with Virtual Hardware Management.
FPL 2000: 707-717 |
| 16 | | Oliver Diessel,
George J. Milne:
Compiling Process Algebraic Descriptions into Reconfigurable Logic.
IPDPS Workshops 2000: 916-923 |
| 1999 |
|---|
| 15 | | George J. Milne:
A Model for Dynamic Adaptation in Reconfigurable Hardware Systems.
Evolvable Hardware 1999: 161-169 |
| 1998 |
|---|
| 14 | | Antonio Cerone,
David A. Kearney,
George J. Milne:
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
ACSD 1998: 109-119 |
| 1997 |
|---|
| 13 |  | Antonio Cerone,
George J. Milne:
Specification of Timing Constraints within the Circal Process Algebra.
AMAST 1997: 108-122 |
| 12 | | Antonio Cerone,
Alex J. Cowie,
George J. Milne:
The Circal System.
AMAST 1997: 563-564 |
| 11 | | Antonio Cerone,
Alex J. Cowie,
George J. Milne,
Philip A. Moseley:
Modelling a Time-Dependent Protocol Using the Circal Process Algebra.
HART 1997: 124-138 |
| 1996 |
|---|
| 10 | | Graham Budd,
George J. Milne:
ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications.
COMPCON 1996: 182-187 |
| 1994 |
|---|
| 9 | | Andrew M. Bailey,
George A. McCaskill,
George J. Milne:
An Exercise in the Automatic Verification of Asynchronous Designs.
Formal Methods in System Design 4(3): 213-242 (1994) |
| 1993 |
|---|
| 8 | | George J. Milne,
Laurence Pierre:
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings
Springer 1993 |
| 1992 |
|---|
| 7 | | Paul Shaw,
George J. Milne:
A Highly Parallel FPL-Based Machine and Its Formal Verification.
FPL 1992: 162-173 |
| 1991 |
|---|
| 6 | | Wenbo Mao,
George J. Milne:
An Automated Proof Technique for Finite-State Machine Equivalence.
CAV 1991: 233-243 |
| 5 | | George J. Milne:
The Formal Description and Verification of Hardware Timing.
IEEE Trans. Computers 40(7): 811-826 (1991) |
| 1989 |
|---|
| 4 | | George J. Milne:
Design for Verifiability.
Hardware Specification, Verification and Synthesis 1989: 1-13 |
| 1985 |
|---|
| 3 | | George J. Milne:
Circal and the Representation of Communication, Concurrency, and Time.
ACM Trans. Program. Lang. Syst. 7(2): 270-298 (1985) |
| 1983 |
|---|
| 2 | | George J. Milne:
Description and Analysis Using Circal.
The Analysis of Concurrent Systems 1983: 293-313 |
| 1982 |
|---|
| 1 | | George J. Milne:
Abstraction and Nondeterminism in Concurrent Systems.
ICDCS 1982: 358-364 |
