Formalization of UML Statechart Diagrams in the p-Calculus. - Vitus S. W. Lam; Julian A. Padget (Australian Software Engineering Conference, 2001)

On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. - Vitus S. W. Lam; Julian A. Padget (Software Engineering Research and Practice, 2003)

Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. - Vitus S. W. Lam; Julian A. Padget (HCC, 2003)

Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. - Vitus S. W. Lam; Julian A. Padget (ECBS, 2004)

Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. - Vitus S. W. Lam; Julian A. Padget (CEC, 2004)

An integrated environment for communicating UML statechart diagrams. - Vitus S. W. Lam; Julian A. Padget (AICCSA, 2005)

Consistency Checking of Statechart Diagrams of a Class Hierarchy. - Vitus S. W. Lam; Julian A. Padget (ECOOP, 2005)

Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. - Vitus S. W. Lam; Julian A. Padget (IFM, 2005)

A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. - Vitus S. W. Lam (2006)

A Formalism for Reasoning about UML Activity Diagrams. - Vitus S. W. Lam (Nord. J. Comput., 2007)

Dynamic Workflow Patterns. - Vitus S. W. Lam (Enterprise Information Systems and Web Technologies, 2008)

Theory for classifying equivalences of unified modelling language activity diagrams. - Vitus S. W. Lam (IET Softw., 2008)

On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. - Vitus S. W. Lam (Int. J. Softw. Eng. Knowl. Eng., 2008)

Equivalences of BPMN processes. - Vitus S. W. Lam (Serv. Oriented Comput. Appl., 2009)

Formal Analysis of BPMN Models: a NuSMV-Based Approach. - Vitus S. W. Lam (Int. J. Softw. Eng. Knowl. Eng., 2010)

Equivalence Checking of Communicating UML Statechart Diagrams. - Vitus S. W. Lam; Julian A. Padget (Int. J. Softw. Eng. Knowl. Eng., 2012)

Detecting violation of business constraints in declarative process execution: a case study. - Vitus S. W. Lam (Bus. Process. Manag. J., 2017)

A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts. - Vitus S. W. Lam (Int. J. Softw. Eng. Knowl. Eng., 2019)