| 2004 | ICSOC | A model for abstract process specification, verification and composition. | Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 2004 | ICWS | Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. | Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 2000 | ICDE | Semantic Conditions for Correctness at Different Isolation Levels. | Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
| 1998 | ICDE | Design and Performance of an Assertional Concurrency Control System. | Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis |
| 1996 | CAV | The Concurrency Factory: A Development Environment for Concurrent Systems. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | SEKE | A Theory of Testing for Soft Real-Time Processes. | Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka |
| 1996 | TACAS | The Concurrency Factory Software Development Environment. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1995 | PDPTA | An Integrated Approach to Communication Axioms Among Concurrent Processes. | Rui Hu, Philip M. Lewis |