 | 1998 |
|---|
| 8 |       | Albert John Camilleri:
A Role for Theorem Proving in Multi-Processor Design.
CAV 1998: 45-48 |
| 1997 |
|---|
| 7 | | Albert John Camilleri:
A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.
TPHOLs 1997: 49-67 |
| 1996 |
|---|
| 6 |  | Mandayam K. Srivas,
Albert John Camilleri:
Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings
Springer 1996 |
| 1994 |
|---|
| 5 | | Steven D. Johnson,
Paul S. Miner,
Albert John Camilleri:
Studies of the Single Pulser in Various Reasoning Systems.
TPCD 1994: 126-145 |
| 1992 |
|---|
| 4 | | Simon Bainbridge,
Albert John Camilleri,
Roger Fleming:
Theorem Proving as an Industrial Tool for System Level Desgin.
TPCD 1992: 253-274 |
| 1991 |
|---|
| 3 | | Albert John Camilleri,
Paola Inverardi,
Monica Nesi:
Combining Interaction and Automation in Process Algebra Verification.
TAPSOFT, Vol.2 1991: 283-296 |
| 2 | | Simon Bainbridge,
Albert John Camilleri,
Roger Fleming:
Industrial Application of Theorem Proving to System Level Design.
TPHOLs 1991: 130-142 |
| 1990 |
|---|
| 1 | | Albert John Camilleri:
Mechanizing CSP Trace Theory in Higher Order Logic.
IEEE Trans. Software Eng. 16(9): 993-1004 (1990) |
