Search the dblp DataBase

Publications of Author

1. Albert John Camilleri
   A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. [Citation Graph (1, 0)][DBLP]
   TPHOLs, 1997, pp:49-67 [Conf]
   
2. Albert John Camilleri
   A Role for Theorem Proving in Multi-Processor Design. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:45-48 [Conf]
   
3. Albert John Camilleri, Paola Inverardi, Monica Nesi
   Combining Interaction and Automation in Process Algebra Verification. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1991, pp:283-296 [Conf]
   
4. Simon Bainbridge, Albert John Camilleri, Roger Fleming
   Theorem Proving as an Industrial Tool for System Level Desgin. [Citation Graph (0, 0)][DBLP]
   TPCD, 1992, pp:253-274 [Conf]
   
5. Steven D. Johnson, Paul S. Miner, Albert John Camilleri
   Studies of the Single Pulser in Various Reasoning Systems. [Citation Graph (0, 0)][DBLP]
   TPCD, 1994, pp:126-145 [Conf]
   
6. Simon Bainbridge, Albert John Camilleri, Roger Fleming
   Industrial Application of Theorem Proving to System Level Design. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1991, pp:130-142 [Conf]
   
7. Albert John Camilleri
   Mechanizing CSP Trace Theory in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:9, pp:993-1004 [Journal]