Vitus S. W. Lam

According to our database, Vitus S. W. Lam authored at least 18 papers between 2001 and 2019.

Collaborative distances:

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

2019

A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts.

Vitus S. W. Lam

Int. J. Softw. Eng. Knowl. Eng., 2019

2017

Detecting violation of business constraints in declarative process execution: a case study.

Vitus S. W. Lam

Bus. Process. Manag. J., 2017

2012

Equivalence Checking of Communicating UML Statechart Diagrams.

Vitus S. W. Lam, Julian A. Padget

Int. J. Softw. Eng. Knowl. Eng., 2012

2010

Formal Analysis of BPMN Models: a NuSMV-Based Approach.

Vitus S. W. Lam

Int. J. Softw. Eng. Knowl. Eng., 2010

2009

Equivalences of BPMN processes.

Vitus S. W. Lam

Serv. Oriented Comput. Appl., 2009

2008

On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.

Vitus S. W. Lam

Int. J. Softw. Eng. Knowl. Eng., 2008

Theory for classifying equivalences of unified modelling language activity diagrams.

Vitus S. W. Lam

IET Softw., 2008

Dynamic Workflow Patterns.

Vitus S. W. Lam

Proceedings of the International Conference on Enterprise Information Systems and Web Technologies, 2008

2007

A Formalism for Reasoning about UML Activity Diagrams.

Vitus S. W. Lam

Nord. J. Comput., 2007

2006

A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams.

Vitus S. W. Lam

PhD thesis, 2006

2005

Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Consistency Checking of Statechart Diagrams of a Class Hierarchy.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the ECOOP 2005, 2005

An integrated environment for communicating UML statechart diagrams.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Formal Specification and Verification of the SET/A Protocol with an Integrated Approach.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the 2004 IEEE International Conference on E-Commerce Technology (CEC 2004), 2004

Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

2001

Formalization of UML Statechart Diagrams in the p-Calculus.

Vitus S. W. Lam, Julian A. Padget

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001