Dr Yan Jin

Qualifications

• PhD, University of Adelaide, Australia
• MEng & BEng, Chongqing University, China

Research Interests

• Component-based software engineering, in particular, formal specification and interoperability checking of software components
• Service-Oriented Computing and Web services, more specifically, service composition and conversations
• Formal specification and verification of discrete-event systems, especially model checking and compositional reasoning techniques
• Visual modelling languages such as Petri nets, UML, Statecharts, FSM&EFSM, etc
• Performance Engineering

Recent Publications

• Found here...

Professional Activities

• PC member for the Australian Software Engineering Conference (ASWEC 2006)
• PC member for 6th Australasian Workshop on Software and System Architectures, ASWEC 2005
• PC member for 1st Asia-Pacific Workshop on Software Architectures and Component Technologies, APSEC 2004

Home Page

• Personal Home Page