| |
| 2008 | ||
|---|---|---|
| 10 | Vitus S. W. Lam: Dynamic Workflow Patterns. Enterprise Information Systems and Web Technologies 2008: 160-166 | |
| 9 | EE | Vitus S. W. Lam: On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. International Journal of Software Engineering and Knowledge Engineering 18(4): 541-567 (2008) |
| 2005 | ||
| 8 | EE | Vitus S. W. Lam, Julian A. Padget: An integrated environment for communicating UML statechart diagrams. AICCSA 2005: 111 |
| 7 | EE | Vitus S. W. Lam, Julian A. Padget: Consistency Checking of Statechart Diagrams of a Class Hierarchy. ECOOP 2005: 412-427 |
| 6 | EE | Vitus S. W. Lam, Julian A. Padget: Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. IFM 2005: 347-365 |
| 2004 | ||
| 5 | EE | Vitus S. W. Lam, Julian A. Padget: Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. CEC 2004: 229-235 |
| 4 | EE | Vitus S. W. Lam, Julian A. Padget: Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. ECBS 2004: 337-347 |
| 2003 | ||
| 3 | Vitus S. W. Lam, Julian A. Padget: Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. HCC 2003: 137-144 | |
| 2 | Vitus S. W. Lam, Julian A. Padget: On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. Software Engineering Research and Practice 2003: 877-882 | |
| 2001 | ||
| 1 | EE | Vitus S. W. Lam, Julian A. Padget: Formalization of UML Statechart Diagrams in the p-Calculus. Australian Software Engineering Conference 2001: 213-223 |
| 1 | Julian A. Padget | [1] [2] [3] [4] [5] [6] [7] [8] |