Biography

Dr. Vitus S. W. Lam is a chartered member of the British Computer Society, a chartered engineer and a member of the IEEE. He received a PhD in computer science from University of Bath, UK. He is serving as the technical editors, editorial members and reviewers of various journals as well as acted as program committees and reviewers for numerous international conferences. He has published widely in international conferences and journals. His research interests include automated software engineering, formal methods, UML, process algebras, pi-calculus, model checking, e-commerce, business process management, workflow patterns and temporal logics.

Area of Interest:

Computer Sciences

100%

Software Engineering

62%

Formal Methods

90%

Algebra Operation

75%

Model Checking

55%

Research Publications in Numbers

Books
0

Chapters
0

Articles
14

Abstracts
10

Selected Publications

Lam, V.S.W., 2015. Constraint-based reasoning on declarative process execution with the logics workbench. Bus. Process Manage. J., 21: 586-609.
Lam, V.S., 2015. A foundation for dynamic workflow patterns. IAENG Int. J. Comput. Sci., 42: 192-206.
Lam, V.S.W. and J. Padget, 2012. Equivalence checking of communicating UML statechart diagrams. Int. J. Software Eng. Knowledge Eng., 22: 265-304.
Lam, V.S., 2012. A precise execution semantics for BPMN. IAENG Int. J. Comput. Sci., 39: 20-33.
Direct Link |
Lam, V., 2012. Foundation for equivalences of BPMN models. Theoret. Applied Inform., 24: 33-66.
Direct Link |
Lam, V.S.W., 2010. Formal analysis of BPMN models: A NuSMV-based approach. J. Software Eng. Knowl. Eng., 20: 987-1023.
CrossRef | Direct Link |
Lam, V.S.W., 2009. Equivalences of BPMN Processes. Serv. Oriented Comput. Applicat., 3: 189-204.
CrossRef | Direct Link |
Lam, V.S.W., 2008. Theory for classifying equivalences of UML activity diagrams. IET. Softw. J., 2: 391-403.
Lam, V.S.W., 2008. On π-calculus semantics as a formal basis for uml activity diagrams. Int. J. Softw. Eng. Knowl. Eng., 18: 541-567.
CrossRef | Direct Link |
Lam, V.S.W., 2008. A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams. University of Bath, UK.
Lam, V.S.W., 2007. A formalism for reasoning about UML activity diagrams. Nordic J. Comput., 14: 43-64.
Direct Link |
Lam, V.S.W. and J. Padget, 2005. Consistency checking of statechart diagrams of a class hierarchy. Proc. 19th Eur. Conf. Object Oriented Programm. Comput, Sci., 3586: 412-427.
Direct Link |
Lam, V.S.W. and J. Padget, 2005. Consistency checking of sequence diagrams and statechart diagrams using the π-calculus. comp. Sci., 3771: 347-365.
CrossRef | Direct Link |
Lam, V.S.W. and J. Padget, 2005. An integrated environment for communicating UML statechart diagrams. Proceedings of 3rd ACS/IEEE International Conference on Computer Systems and Applications, Jan. 03-06, IEEE Computer Society, pp: 111-117.
CrossRef |
Lam, V.S.W. and J. Padget, 2004. Symbolic model checking of UML statechart diagrams with an integrated approach. Proceedings of 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, May 24-27, IEEE Computer Society, Washington, DC, USA., pp: 337-346.
CrossRef | Direct Link |
Lam, V.S.W. and J. Padget, 2004. Formal specification and verification of the SET/A protocol with an integrated approach. Proceedings of 2004 International Conference on E-Commerce Technology, (CEC'04) IEEE Computer Society, pp: 229-235.
Direct Link |
Lam, V.S.W. and J. Padget, 2004. Analyzing execution semantics of statecharts variants. Proc. 8th World Multi Conf. Syst. Cybernet. Inf., 1: 474-478.
Lam, V.S.W. and J. Padget, 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. Proceedings of the Symposium on Human Centric Computing Languages and Environments, Oct. 28-31, IEEE Computer Society, pp: 137-144.
Direct Link |