Vitus S. W. Lam

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 2

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Bus. Process. Manag. J.

University of Bath, UK (PHD)

Education History

University of Bath, UK

PHD

Publications

Vitus S. W. Lam
A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts. Int. J. Softw. Eng. Knowl. Eng. 29 (3) (2019)
Vitus S. W. Lam
Detecting violation of business constraints in declarative process execution: a case study. Bus. Process. Manag. J. 23 (5) (2017)
Vitus S. W. Lam, Julian A. Padget
Equivalence Checking of Communicating UML Statechart Diagrams. Int. J. Softw. Eng. Knowl. Eng. 22 (2) (2012)
Vitus S. W. Lam
Formal Analysis of BPMN Models: a NuSMV-Based Approach. Int. J. Softw. Eng. Knowl. Eng. 20 (7) (2010)
Vitus S. W. Lam
Equivalences of BPMN processes. Serv. Oriented Comput. Appl. 3 (3) (2009)
Vitus S. W. Lam
Theory for classifying equivalences of unified modelling language activity diagrams. IET Softw. 2 (5) (2008)
Vitus S. W. Lam
On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. Int. J. Softw. Eng. Knowl. Eng. 18 (4) (2008)
Vitus S. W. Lam
Dynamic Workflow Patterns. Enterprise Information Systems and Web Technologies (2008)
Vitus S. W. Lam
A Formalism for Reasoning about UML Activity Diagrams. Nord. J. Comput. 14 (1-2) (2007)
Vitus S. W. Lam, Julian A. Padget
Consistency Checking of Statechart Diagrams of a Class Hierarchy. ECOOP (2005)
Vitus S. W. Lam, Julian A. Padget
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. IFM (2005)
Vitus S. W. Lam, Julian A. Padget
An integrated environment for communicating UML statechart diagrams. AICCSA (2005)
Vitus S. W. Lam, Julian A. Padget
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. ECBS (2004)
Vitus S. W. Lam, Julian A. Padget
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. CEC (2004)
Vitus S. W. Lam, Julian A. Padget
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. HCC (2003)
Vitus S. W. Lam, Julian A. Padget
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. Software Engineering Research and Practice (2003)
Vitus S. W. Lam, Julian A. Padget
Formalization of UML Statechart Diagrams in the p-Calculus. Australian Software Engineering Conference (2001)

Vitus S. W. Lam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vitus S. W. Lam