Vitus S. W. Lam

19 papers A 1B 2C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts.
Int. J. Softw. Eng. Knowl. Eng.
Vitus S. W. Lam
2017 J jnl
Detecting violation of business constraints in declarative process execution: a case study.
Bus. Process. Manag. J.
Vitus S. W. Lam
2015 J jnl
Constraint-based reasoning on declarative process execution with the logics workbench.
Bus. Process. Manag. J.
Vitus S. W. Lam
2012 J jnl
Equivalence Checking of Communicating UML Statechart Diagrams.
Int. J. Softw. Eng. Knowl. Eng.
Vitus S. W. Lam, Julian A. Padget
2010 J jnl
Formal Analysis of BPMN Models: a NuSMV-Based Approach.
Int. J. Softw. Eng. Knowl. Eng.
Vitus S. W. Lam
2009 J jnl
Equivalences of BPMN processes.
Serv. Oriented Comput. Appl.
Vitus S. W. Lam
2008 — conf
Dynamic Workflow Patterns.
Enterprise Information Systems and Web Technologies
Vitus S. W. Lam
2008 J jnl
On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.
Int. J. Softw. Eng. Knowl. Eng.
Vitus S. W. Lam
2008 J jnl
Theory for classifying equivalences of unified modelling language activity diagrams.
IET Softw.
Vitus S. W. Lam
2007 J jnl
A Formalism for Reasoning about UML Activity Diagrams.
Nord. J. Comput.
Vitus S. W. Lam
2006 — —
A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams.
Vitus S. W. Lam
2005 C conf
An integrated environment for communicating UML statechart diagrams.
AICCSA
Vitus S. W. Lam, Julian A. Padget
2005 B conf
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.
IFM
Vitus S. W. Lam, Julian A. Padget
2005 A conf
Consistency Checking of Statechart Diagrams of a Class Hierarchy.
ECOOP
Vitus S. W. Lam, Julian A. Padget
2004 B conf
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach.
CEC
Vitus S. W. Lam, Julian A. Padget
2004 — conf
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.
ECBS
Vitus S. W. Lam, Julian A. Padget
2003 — conf
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.
HCC
Vitus S. W. Lam, Julian A. Padget
2003 — conf
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus.
Software Engineering Research and Practice
Vitus S. W. Lam, Julian A. Padget
2001 — conf
Formalization of UML Statechart Diagrams in the p-Calculus.
Australian Software Engineering Conference
Vitus S. W. Lam, Julian A. Padget