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

George J. Milne

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

2006
21EEGeorge J. Milne: Modelling Dynamically Changing Hardware Structure. Electr. Notes Theor. Comput. Sci. 162: 249-254 (2006)
2005
20EEAntonio Cerone, George J. Milne: Property verification of asynchronous systems. ISSE 1(1): 25-40 (2005)
2000
19EEAntonio Cerone, George J. Milne: A Methodology for the Formal Analysis of Asynchronous Micropipelines. FMCAD 2000: 246-262
18EEJihan Zhu, George J. Milne: Implementing Kak Neural Networks on a Reconfigurable Computing Platform. FPL 2000: 260-269
17EEOliver Diessel, George J. Milne: Behavioural Language Compilation with Virtual Hardware Management. FPL 2000: 707-717
16EEOliver Diessel, George J. Milne: Compiling Process Algebraic Descriptions into Reconfigurable Logic. IPDPS Workshops 2000: 916-923
1999
15EEGeorge J. Milne: A Model for Dynamic Adaptation in Reconfigurable Hardware Systems. Evolvable Hardware 1999: 161-169
1998
14EEAntonio 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
3EEGeorge 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

Coauthor Index

1Andrew M. Bailey [9]
2Graham Budd [10]
3Antonio Cerone [11] [12] [13] [14] [19] [20]
4Alex J. Cowie [11] [12]
5Oliver Diessel [16] [17]
6David A. Kearney [14]
7Wenbo Mao [6]
8George A. McCaskill [9]
9Philip A. Moseley [11]
10Laurence Pierre [8]
11Paul Shaw [7]
12Jihan Zhu [18]

Colors in the list of coauthors

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