Albert John Camilleri

According to our database, Albert John Camilleri authored at least 8 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

A Role for Theorem Proving in Multi-Processor Design.

Albert John Camilleri

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.

Albert John Camilleri

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1994

Studies of the Single Pulser in Various Reasoning Systems.

Steven D. Johnson, Paul S. Miner, Albert John Camilleri

Proceedings of the Theorem Provers in Circuit Design, 1994

1992

Theorem Proving as an Industrial Tool for System Level Desgin.

Simon Bainbridge, Albert John Camilleri, Roger Fleming

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Industrial Application of Theorem Proving to System Level Design.

Simon Bainbridge, Albert John Camilleri, Roger Fleming

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Combining Interaction and Automation in Process Algebra Verification.

Albert John Camilleri, Paola Inverardi, Monica Nesi

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Mechanizing CSP Trace Theory in Higher Order Logic.

Albert John Camilleri

IEEE Trans. Software Eng., 1990

Reasoning in CSP via the HOL theorem prover.

Albert John Camilleri

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990