Albert John Camilleri

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Albert John Camilleri
A Role for Theorem Proving in Multi-Processor Design. CAV (1998)
Albert John Camilleri
A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. TPHOLs (1997)
Steven D. Johnson, Paul S. Miner, Albert John Camilleri
Studies of the Single Pulser in Various Reasoning Systems. TPCD (1994)
Simon Bainbridge, Albert John Camilleri, Roger Fleming
Theorem Proving as an Industrial Tool for System Level Desgin. TPCD (1992)
Simon Bainbridge, Albert John Camilleri, Roger Fleming
Industrial Application of Theorem Proving to System Level Design. TPHOLs (1991)
Albert John Camilleri, Paola Inverardi, Monica Nesi
Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 (1991)
Albert John Camilleri
Mechanizing CSP Trace Theory in Higher Order Logic. IEEE Trans. Software Eng. 16 (9) (1990)
Albert John Camilleri
Reasoning in CSP via the HOL theorem prover. Jerusalem Conference on Information Technology (1990)