Skip to Content

Center for Information Technology Research


Publications

Ryszard Kowalczyk

Publication list covering the last five years (2001-2005)

Book Chapters:

  • J. Brzostowski, R. Kowalczyk (2005). Possibilistic Case-based Reasoning for Selecting Partners in Multi-attribute Multi-Agent Negotiations. In: O.Hryniewicz, J. Kacprzyk, J. Koronacki, S.T. Wierzchon (Eds.), Issues in Intelligent Systems. Paradigms. EXIT (ISBN 83-87674-90-7), Warszawa, 2005, pp. 1-17.

  • X. Nguyen, R. Kowalczyk, M. Chhetri, and A. Grant (2005). WS2JADE: A Tool for Run-time Deployment and Control of Web Services as JADE agent services. In M. Calisti, M. Klusch and R. Unland (Eds.) Software Agent-Based Applications, Platforms and Development Kits. Whitestein Technologies AG, 2005, pp. 223-252.

  • P. Braun, J. Brzostowski, G. Kersten, J. Kim, R. Kowalczyk, S. Strecker, R. Vahidov (2005). E-Negotiation Systems and Software Agents Methods, Models, and Applications (2005). In J. Gupta, G. Forgionne, M. Mora (Eds.) Intelligent Decision-Making Support Systems (i-DMSS): Foundations, Applications and Challenges. Springer-Verlag London , UK , Chapter 15, pp. 1-35.

  • R. Kowalczyk and L. Alem (2003). Supporting Mobility and Negotiation in Agent-based E-commerce. In J. Mariga (Ed.) Managing E-Commerce and Mobile Computing Technologies. IRM Press , USA , Chapter 16.

  • L. Alem, R. Kowalczyk and M. Lee (2001). Supporting Electronic Negotiation for Intelligent Trading. In A. Gangopadhyay (Ed.) Managing Business with Electronic Commerce: Issues and Trends. Idea Group Publishing (ISBN: 1930708122), USA , pp. 1-16.

 

Journal Articles:

  • R. Kowalczyk, V. Phiong, S. Dunstall , B. Owens (2004). Towards Supporting Collaborative Scheduling in Adaptive Supply Networks with Negotiation Agents. Journal of Decision Systems, Vol. 13, No. 4/2004, special issue on Electronic Negotiations, pp. 441-460.

  • R. Kowalczyk, P. Braun, J. Eismann, B. Franczyk, W. Rossak, A. Speck (2003). Deploying Mobile and Intelligent Agents in Interconnected e-Marketplaces. SDPS Journal, Vol.7 Number 3, September 2003, pp. 109-123.

  • R. Kowalczyk, R. Unland and M. Ulieru (2003). Integrating Mobile and Intelligent Agents in Advanced E-commerce: a Survey. In R. Kowalczyk, J. Müller, H. Tianfield, R. Unland (2003) Eds. Agent Technologies, Infrastructures, Tools, and Applications for e-Services. Lecture Notes in Artificial Intelligence, LNAI 2592, Springer-Verlag Berlin Heidelberg , pp. 295-313.

  • R. Kowalczyk, B. Franczyk, A. Speck, P. Braun, J. Eismann, W. Rossak (2003). InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. ECBS 2002, pp. 268-286.

  • R. Kowalczyk (2002). Fuzzy e-Negotiation Agents. Journal of Soft Computing, Special Issue on Fuzzy Logic and the Internet, Springer, Vol. 6 Issue 5, pp. 337-347.

  • R. Kowalczyk and M. Lee (2001). Artificial Intelligence in Electronic Commerce (Introduction Chapter). In R. Kowalczyk, S.W. Loke, N.E. Reed, G. Williams (Eds.): Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence, LNAI 2112, Springer-Verlag Berlin Heidelberg , pp. 133–134

  • Iyad Rahwan, Ryszard Kowalczyk and Yun Yang (2001). Virtual Enterprise Design – BDI Agents vs. Objects. In R. Kowalczyk, S.W. Loke, N.E. Reed, G. Williams (Eds.): Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence, LNAI 2112, Springer-Verlag Berlin Heidelberg , pp. 147–157.

  • Ryszard Kowalczyk, Van Bui (2001). On Constraint-based Reasoning in e-Negotiation Agents. In F. Dignum and U. Cortés (Eds.) Agent Mediated Electronic Commerce III, Lecture Notes in Computer Science LNCS 2003, Springer-Verlag, pp. 31 - 46.


Conference Papers:

  • J. Brzostowski and R. Kowalczyk (2006). Predicting partner's behaviour in agent negotiation. The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2006), Hakodate , Japan in May 2006. (accepted for publication on 22/12/05 - acceptance rate 23%).

  • T. Schlegel, P. Braun and R. Kowalczyk (2006). Towards Autonomous Mobile Agents with Emergent Migration Behaviour. The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2006), Hakodate , Japan in May 2006. (accepted for publication on 22/12/05 - acceptance rate 23%).

  • M. Chhetri, J. Lin, S. Goh, J. Yan, J.Y. Zhang, R. Kowalczyk (2006). A Coordinated Architecture for the Agent-based Service Level Agreement Negotiation of Web Service Compositions. The Australian Software Engineering Conference (ASWEC 2006), Sydney , Australia , April 18-21, 2006 , (accepted for publication 19/12/2005 ).

  • J.Y. Zhang, H. Deng and R. Kowalczyk (2005). A Qualitative Model for Service Oriented Computing. The Sixth International Conference on Intelligent Technologies InTech'05, Phuket , Thailand , December 14-16, 2005 , (accepted for publication 19/09/2005 ).

  • J. Brzostowski and R. Kowalczyk (2005). Modelling partner's behaviour in agent negotiation. The 18th Joint Australian Conference on Artificial Intelligence (AI’2005), Sydney , Australia , in Lecture Notes in Computer Science, LNCS, Springer-Verlag (accepted for publication on 22/08/2005 ).

  • I. Mueller and R. Kowalczyk (2005). Service Composition through Agent-Based Coalition Formation. The Workshop on WWW Service Composition with Semantic Web Services (WSCOMPS'05) held in conjunction with the 2005 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Compiegne, France September 19, 2005. (accepted for publication on 18/8/05 )

  • Peter Braun, Duc Trinh, and Ryszard Kowalczyk (2005). Integrating a New Mobility Service into the Jade Agent Toolkit. The 2 nd International Workshop on Mobility Aware Technologies and Applications (MATA2005), Montréal , Canada , October 17-19, 2005 . A. Karmouch, S. Pierre (eds.) Lecture Notes in Computer Science, Springer-Verlag, 2005 (accepted for publication on 2/7/05)

  • Jun Yan, Yun Yang, Ryszard Kowalczyk, Xuan Thang Nguyen (2005). A service workflow management framework based on peer-to-peer and agent technologies. International Workshop on Grid and Peer-to-Peer based Workflows co-hosted with the 5th International Conference on Quality Software, Melbourne , Australia , September 19 -21, 2005. (accepted for publication on 22/06/05 )

  • Xuan Thang Nguyen and Ryszard Kowalczyk (2005). Enabling Agent-Based Management of Web Services with WS2JADE. The First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005) held in conjunction with the Fifth International Conference on Quality Software (QSIC 2005), September 19-21, 2005, Melbourne, Australia. (accepted for publication on 20/06/05 )

  • Ingo Mueller, Peter Braun, Ryszard Kowalczyk (2005). Design Patterns for Agent-Based Service Composition in the Web. In Proceedings of the First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005) in conjunction with the Fifth International Conference on Quality Software (QSIC 2005), Melbourne (Australia), September 2005, Michael Winikoff, Hong Zhu (eds.), IEEE Computer Society Press, 2005. (accepted for publication on 20/06/05 ).

  • Peter Braun, Ingo Mueller, Steffen Kern, Ryszard Kowalczyk (2005). Increasing the Migration Efficiency of Java-based Mobile Agents. The 2005 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, Compiegne ( France ), September 2005. IEEE Computer Society Press, 2005. (accepted for publications on 14/06/05 - acceptance rate 25%)

  • André Ludwig, Peter Braun, Ryszard Kowalczyk, Bogdan Franczyk (2005). A Framework for Automated Negotiation of Service Level Agreements in Service Grids. In Proc. 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, held at the 3rd International Conference on Business Process Management (BPM 2004), Nancy, France, September 5th, 2005, Lecture Notes in Computer Science, Springer-Verlag (accepted for publication on 22/05/05)

  • Jakub Brzostowski, Ryszard Kowalczyk (2005). Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning. 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005), Edinburgh , Scotland . (accepted for publication on 21/05/05 - acceptance rate 34%)

  • Xuan Thang Nguyen and Ryszard Kowalczyk (2005). WS2JADE: Integrating Web Service with Jade Agents. Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE'2005) in conjunction with 4th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2005), Utrecht , the Netherlands , July 25-29, 2005 , pp.9-15. (acceptance rate 40%).

  • Ingo Mueller and Ryszard Kowalczyk (2005). A Classification Scheme for the Integration of Software Agent and Service-oriented Paradigms. Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE'2005) in conjunction with 4th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'2005), Utrecht , the Netherlands , July 25-29, 2005 . (accepted for publication on 18/04/05 - acceptance rate 40%).

  • Xuan Thang Nguyen and Ryszard Kowalczyk (2005). A Method for Efficient Computation of SLAs for Composite Services. IEEE International Conference on Service Computing (SCC 2005), July 12-15, 2005 , Orlando , Florida , USA . (accepted for publication on 25/04/05 ).

  • J. Brzostowski and R. Kowalczyk (2005). On Possibilistic Case-based Reasoning for Selecting Partners for Multi-Attribute Agent Negotiation. The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), Utrecht, The Netherlands, 25-29 July 2005 (accepted for publication on 23/02/05) (acceptance rate 24%)

  • Peter Braun, Ryszard Kowalczyk, Ingo Mueller, Steffen Kern (2005). Attacking the Migration Bottleneck of Mobile Agents. The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), Utrecht, The Netherlands, 25-29 July 2005 (accepted for publication on 23/02/05) (acceptance rate 23%)

  • J. Brzostowski and R. Kowalczyk (2004). On Possibilistic Case-based Reasoning for Selecting Partners in Multi-Agent Negotiation. The 17th Joint Australian Conference on Artificial Intelligence (AI’2004), Cairns, Australia, in Lecture Notes in Computer Science, LNCS 3339, Springer-Verlag, pp. 694-704 (acceptance rate 23%).

  • R. Kowalczyk, V. Phiong, Simon Dunstall and Bowie Owens (2004). Towards Supporting Collaborative Scheduling in Adaptive Supply Networks with Negotiation Agents, International Workshop on Theory and Applications of e-Negotiations (TAEN’2004), in conjunction with 7th International Conference on Business Information Systems (BIS’2004), Poznan, Poland, April 21-23 2004, pp. 501-515.

  • R. Kowalczyk and V. Phiong (2003). Towards Supporting Collaborative Scheduling in Adaptive Supply Networks with Intelligent Agents, 2003 International Conference on Management of e-Commerce and e-Government, Nanchang, China, pp. 6-13 (Invited talk)

  • R. Kowalczyk, R. Unland and M. Ulieru (2002). Integrating Mobile and Intelligent Agents in Advanced E-commerce: a Survey, 3rd International Symposium on Multi-Agent Systems, Large Complex Systems, and E-Businesses (MALCEB'2002), Erfurt , Germany , 8-10 October 2002, pp. 692-709.

  • R. Kowalczyk, B. Franczyk, A. Speck, P. Braun, J. Eismann, W. Rossak (2002). InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. The 9th Annual IEEE Conference and Workshop on the Engineering of Computer based Systems (ECBS’2002), Lund , Sweden , April 2002, pp. 268-275.

  • R. Kowalczyk, P. Braun, J. Eismann, B. Franczyk, W. Rossak, A. Speck (2002). Integrating Mobile and Intelligent Agents in e-Marketplaces, 5th International Conference on Business Information Systems BIS2002, Poznań , Poland , April 2002, pp. 84-90.

  • Iyad Rahwan, Ryszard Kowalczyk and Ha Pham (2002). Intelligent Agents for Automated One-to-Many E-Commerce Negotiation. The Australasian Computer Science Conference ACSC 2002, pp. 197-204.

  • Ryszard Kowalczyk, Van Anh Bui (2001). JFSolver: A Tool for Modelling and Solving Fuzzy Constraint Satisfaction Problems. The IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2001, Melbourne , Australia , pp. 304-308.

 

Yun Yang

Publication list covering the last five years (2001-2005)

Book Chapters:

  • J. Yan, Y. Yang and G. K. Raikundalia. Towards Incompletely Specified Process Support in SwinDeW - a Peer-to-Peer based Workflow System. Computer Supported Cooperative Work in Design (1), Lecture Notes in Computer Science, Vol. 3168, pages 328-338, Springer-Verlag, 2005.

  • T. Y. Chen, I. Rahwan and Y. Yang. Temporal interaction diagrams for multi-process environments. Practicing Software Engineering in the 21st Century. Chapter 10, pages 143-156, IRM Press, USA , 2003.

 

Journal Articles:

  • J. Yan, Y. Yang and G. K. Raikundalia. SwinDeW - A Peer-to-Peer based Decentralised Workflow Management System. IEEE Transactions on Systems, Man and Cybernetics, Part A (accepted on Jan. 18, 2005 )

  • H. Li and Y. Yang. Dynamic Checking of Temporal Constraints for Concurrent Workflows. Electronic Commerce Research and Applications, Elsevier, 4(2):124-142, 2005.

  • M. H. Tran, G. K. Raikundalia and Y. Yang, Consumption of Multiple Concurrent Identities: the Need from the Instant Messaging Virtual Community. The Australasian Journal of Information Systems, Special Issue:4-20, Dec. 2004.

  • H. Li, Y. Yang and T.Y. Chen. Resource Constraints Analysis of Workflow Specifications. Journal of Systems and Software, Elsevier, 73(2):271-285, Oct. 2004.

  • J. Yong and Y. Yang, Distributed Internet-Based E-Commerce Tools. WSEAS Transactions on Computers, 3(3):619-625, 2004.

  • J. Shen and Y. Yang. Extending RDF in Distributed Knowledge-Intensive Applications. Future Generation Computer Systems (special issue on “Grid and Knowledge Grid: The Next-Generation Web”), Elsevier, 20(1):27-46, 2004.

  • J. Yong and Y. Yang, Fostering E-Commerce among Australian SMEs. IEEE IT Pro, 5(5):21-24, Sept./Oct. 2003.

  • J. Yong, Y. Yang and J. Yan, Building ontology repositories for e-commerce systems, WSEAS Transactions on Systems, 2(2):241-245, Apr. 2003.

  • J. Shen and Y. Yang, RDF-Based Knowledge Model for Network Management, Integrated Network Management - Managing It All, IFIP 118:123-126, Kluwer Academic Publishers, 2003.

  • Y. Yang and J. Cheng. Applying software performance engineering method to development of interactive software, Journal of Software, Science Press, 13(10):1921-1932, 2002.

  • Y. Yang. Enabling cost-effective light-weight disconnected workflow for Web-based teamwork support. Journal of Applied Systems Studies, Cambridge , England , 3(2): 437-453, 2002.

 

Conference Papers:

  • L. Li, Y. Yang and B. Wu, Agent-based Ontology Mapping towards Ontology Interoperability. The 18th Australian Joint Conference on Artificial Intelligence (AI05), Lecture Notes in Artificial Intelligence, Vol. 3809, pages 843-846, Springer-Verlag, 2005.

  • J. Chen and Y. Yang, Flexible Temporal Consistency for Fixed-time Constraint Verification in Grid Workflow Systems (pdf - 340K). Grid and Cooperative Computing, Lecture Notes in Computer Science, Springer-Verlag, to appear (accepted on August 8, 2005 ).

  • J. Chen and Y. Yang, An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems (pdf - 425K). Grid Service Engineering and Management, Lecture Notes in Informatics, P-69, pages 296-310, Springer-Verlag, 2005.

  • X. Zhao. C. Liu and Y. Yang. An Organisational Perspective on Collaborative Business Processes. Business Process Management, Lecture Notes in Computer Science, Vol. 3649, pages 17-30, Springer-Verlag.

  • L. Li, B. Wu and Y. Yang, Agent-Based Approach for Dynamic Ontology Management, Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, Vol. 3683, pages 1-7, Springer-Verlag, 2005.

  • J. Chen and Y. Yang, Temporal Dependency for Dynamic Verification of Fixed-date Constraints in Grid Workflow Systems (pdf - 159K). Advanced Web Technologies and Applications, Lecture Notes in Computer Science, Vol. 3399, pages 820-831, Springer-Verlag, 2005.

  • L. Li, Y. Yang and B. Wu, Ontology-based Matchmaking in e-marketplace towards Web Services. Advanced Web Technologies and Applications, Lecture Notes in Computer Science, Vol. 3399, pages 620-631, Springer-Verlag, 2005.

  • M. N. Dewan, B. Wu and Y. Yang, A Formal Approach to Derive Business Process from Value Process in E-Business Modelling 6th International We-B (Working For E-Business) Conference (We-B2005), Melbourne , Australia , Nov. 2005, to appear (accepted on Oct. 14, 2005 ).

  • L. Li, B. Wu and Y. Yang, Agent-based Ontology Integration for Ontology-based Applications, Proc. of Australasian Ontology Workshop (AOW 2005), Sydney , Australia , Dec. 2005, to appear (accepted on Oct. 10, 2005 ).

  • J. Chen and Y. Yang, A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems (pdf - 465K), Proc. of 12th Asia Pacific Software Engineering Conf. (APSEC05), Taiwan, Dec. 2005, to appear (accepted on Sept. 17, 2005).

  • J. Chen and Y. Yang, Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems (pdf - 406K), Proc. of 1st International Conference on e-Science and Grid Computing (e-Science05), Melbourne, Australia, Dec. 2005, to appear (accepted on Sept. 16, 2005).

  • M. Tran, Y. Yang and G. K Raikundalia, Supporting Awareness in Instant Messaging: The Empirical Study and Mechanism Design, Proc. of OZCHI, Canberra, Australia, Nov. 2005, to appear (accepted on July 25, 2005).

  • M. N. Dewan, B. Wu and Y. Yang, Value Process and Business Process in E-Business Modelling, Proc. 5th IFIP conference on e-Commerce, e-Business, and e-Government (I3E2005), Springer, Poznan , Poland , Oct. 2005, to appear (accepted on June 25, 2005 ).

  • J. Yan, Y. Yang, R. Kowalczyk, X. T. Nguyen, A Service Workflow Management Framework based on Peer-to-Peer and Agent Technologies (pdf - 209K), International Workshop on Grid and Peer-to-Peer based Workflows (associated with QSIC), pp373-380, Melbourne, Australia, Sept. 2005.

  • B. Wu, M. N. Dewan, L. Li and Y. Yang, Supply Chain Protocoling (pdf - 113K), Proc. 7th IEEE International Conference on E-Commerce Technology (CEC'05), pp314-321, Munich, Germany, July 2005.

  • J. Shen, Y. Yang, C. Zhu and C Wan, From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions. Proc. of IEEE International Conference on Services Computing (SCC2005), pp181-188, Orlando, Florida, USA, July 2005.

  • L. Li, Y. Yang and B. Wu, Agent-Based Approach towards Ontology Refinement in Virtual Enterprises, Proc. 3rd International Conference on Active Media Technology (AMT2005), pp250-255, Kagawa, Japan, May 2005.

  • J. Shen, Y. Yang and J. Yan, Adapting P2P based Decentralised Workflow System SwinDeW-S with Web Service Profile Support (pdf - 63K), Proc. of 9th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2005), pp535-540, Coventry, UK, May 2005.

  • L. Li, B. Wu and Y. Yang, Semantic Mapping with Multi-Agent Systems. Proc. of IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), pp54-57, Hong Kong, Mar. 2005.

  • L. Li, B. Wu and Y. Yang, Refinement for ontology evolution in virtual enterprises. Proc. of 4th Int. Conf. on Electronic Business (ICEB2004), pp696-701, Beijing, China, Dec. 2004.

  • B. Wu, L. Li and Y. Yang, E-business value process modelling. Proc. of 4th Int. Conf. on Electronic Business (ICEB2004), pp 408-413, Beijing, China, Dec. 2004.

  • J. Chen, Y. Yang and T.Y. Chen, Dynamic verification of temporal constraints on-the-fly for workflow systems. Proc. of 11th Asia Pacific Software Engineering Conf. (APSEC04), pp30-37, Busan, Korea, Nov./Dec. 2004.

  • M. Tran, Y. Yang and G. K Raikundalia, Supporting multiple identities in the instant messaging virtual community. Proc. of OZCHI, CD ISBN 1-74128-079, Wollongong, Australia, Nov. 2004.

  • M. Tran, J. Craick, Y. Yang and G. K Raikundalia, Dual monitors support group awareness in multiplayer computer games. Proc. of OZCHI, CD ISBN 1-74128-079, Wollongong, Australia, Nov. 2004.

  • M. N. Dewan, B. Wu and Y. Yang, An approach to value based e-business modelling. Proc. of 5th Int. We-B (Working For E-Business) Conf. (We-B2004), CD ISBN 0-7298-0570-0, Perth, Australia, Nov. 2004.

  • J. Chen and Y. Yang, Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems. Grid and Cooperative Computing, Lecture Notes in Computer Science, Vol. 3251, pages 1005-1008, Springer-Verlag, 2004.

  • X. Zhao, C. Liu and Y. Yang, A Web Services Based Architecture for Workflow Management Systems. Database and Expert Systems Applications, Lecture Notes in Computer Science, Vol. 3180, pages 34-43, Springer-Verlag, 2004.

  • M. H. Tran, G. K. Raikundalia and Y. Yang, What Are You Looking At? Newest Findings from an Empirical Study of Group Awareness. Human-Computer Interaction, Lecture Notes in Computer Science, Vol. 3101, pages 491-500, Springer-Verlag, 2004.

  • L. Li, B. Wu and Y. Yang, Developing ontology in virtual enterprises. Proc. of Int. Conf. on Intelligent Agents, Web Technologies and Internet Commerce, CD ISBN 1740881893, pp337-343, Gold Coast, Australia, July 2004.

  • M. N. Dewan, B. Wu and Y. Yang, Factors-based IST implementation analysis. Proc. of Int. Business Information Management Conf. (IBIM 2004), CD ISBN 0-9753393-1-1, pp5-14, Amman , Jordan , July 2004.

  • J. Yong and Y. Yang, A framework of tool integration for Internet-based e-commerce. Grid and Cooperative Computing, Lecture Notes in Computer Science, Vol. 3033, pages 271-278, Springer-Verlag, 2004.

  • J. Yan, Y. Yang and G. K. Raikundalia, Critical Issues in Extending P2p-based SwinDeW System for Incomplete Process Support. Proc. of 8th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2004), Xiamen , pp312-317, China , May 2004.

  • J. Shen, Y. Yang, B. Lalwani, Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations. Proc. of 10th Int. Workshop on Future Trends in Distributed Computing Systems (FTDCS 2004), pp229-235, Suzhou, China, May 2004, IEEE Computer Society Press.

  • Y. Yang, W. Lai, J. Shen, X. Huang, J. Yan, and L. Setiawan, Effective Visualisation of Workflow Enactment. Web technologies and applications, Lecture Notes in Computer Science, Vol. 3007, pages 794-803, Springer-Verlag, 2004.

  • H. Li and Y. Yang, Verification of Temporal Constraints for Concurrent Workflows. Web technologies and applications, Lecture Notes in Computer Science, Vol. 3007, pages 804-813, Springer-Verlag, 2004.

  • L. Li, B. Wu and Y. Yang, An Ontology-Oriented Approach for Virtual Enterprises. Web technologies and applications, Lecture Notes in Computer Science, Vol. 3007, pages 834-843, Springer-Verlag, 2004.

  • J. Yong and Y. Yang, A framework of tool integration for Internet-based e-commerce. Grid and Cooperative Computing, Lecture Notes in Computer Science, Vol. 3033, pages 271-278, Springer-Verlag, 2004.

  • J. Yong, M. S. Lane , M. Toleman and Y. Yang, Enforcing Secure Access Control. Proc. of 1st Australian Information Security Management Conference (InfoSecurity03), CD ISBN: 0-7298-0541-7, Perth , Australia , Nov. 2003.

  • J. Yan, Y. Yang and G. K. Raikundalia, Decentralised Coordination for Software Process Enactment. Software Process Technology, Lecture Notes in Computer Science, Vol. 2786, pages 164-172, Springer-Verlag, 2003.

  • J. Yan, Y. Yang and G. K. Raikundalia, Enacting Business Processes in a Decentralised Environment with p2p-based Workflow Support. Advances in Web-Age Information Management, Lecture Notes in Computer Science, Vol. 2762, pages 290-297, Springer-Verlag, 2003.

  • J. Yong and Y. Yang, Data integration over the Internet for e-commerce, Proc. of IASTED International Conference on Communications Systems and Applications (CSA'03), pp253-258, Banff, Alberta, Canada, July 2003.

  • J. Yan, Y. Yang and G. K. Raikundalia, A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems. Proc. of 15th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE2003), pp354-358, San Francisco , USA , July 2003.

  • D. Yu, H. Dong, W. Lai and Y. Yang, Projection filling based on contour structural points. Computational Science and Its Applications, Lecture Notes in Computer Science, Vol. 2669, pages 376-386, Springer-Verlag, 2003.

  • H. Li, Y. Yang and M. Shi, Key Issues and Experiences in Development of Distributed Workflow Management Systems. Web technologies and applications, Lecture Notes in Computer Science, Vol. 2642, pages 507-512, Springer-Verlag, 2003.

  • M. H. Tran, G. K. Raikundalia and Y. Yang, Methodologies and Mechanism Design in Group Awareness Support for Internet-based Real-time Distributed Collaboration. Web technologies and applications, Lecture Notes in Computer Science, Vol. 2642, pages 357-369, Springer-Verlag, 2003.

  • Y. Yang, Tool interfacing mechanisms for programming-for-the-large and programming-for-the-small, Proc. of 9th Asia Pacific Software Engineering Conf. (APSEC02), pp359-365, Gold Coast , Australia , Dec. 2002.

  • J. Shen and Y. Yang, RDF-based data integration for workflow systems, Proc. of 13th Australasian Conf. on Information Systems (ACIS02), pp379-390, Melbourne, Australia, Dec. 2002.

  • J. Yong and Y. Yang, Web-based e-commerce in Australian small and medium enterprises, Proc. of 3rd International Web Conference, CD ISBN 0-7298-0526-3, Perth, Australia, Nov. 2002.

  • M. H. Tran, G. K. Raikundalia and Y. Yang, Split window view and modification director: awareness mechanisms in real-time collaborative writing, Proc. of Human Factors Conference (HF02), CD ISBN: 0-85590-789-5, Melbourne , Australia , Nov. 2002.

  • J. Yan, Y. Yang and G. K. Raikundalia, A decentralised architecture for workflow support, Proc. of 7th International Symposium on Future Software Technology (ISFST02), CD ISBN: 4-916227-14-X, Wuhan , China , Oct. 2002.

  • J. Shen, Y. Yang and J. Luo. A Petri Net model for session services. Lecture Notes in Computer Science, Vol. 2480, pages 303-314, Springer-Verlag, Sept. 2002.

  • R. Scheepers, V. Gruhn and Y. Yang, Web-based development processes: characteristics and management implications, Proc. of 2002 Information Resources Management Association Int. Conf. (IRMA02), pp762-766, Seattle , USA , May 2002.

  • T. Y. Chen, I. Rahwan, and Y. Yang, Temporal interaction diagrams, Proc. of 2002 Information Resources Management Association Int. Conf. (IRMA02), pp843-846, Seattle, USA, May 2002.

  • M. H. Tran, G. K. Raikundalia and Y. Yang, Usability experiments for determining document-related awareness in real-time cooperative editing, Proc. of 6th Australasian Document Computing Symp. (ADCS01), pp95-98, Coffs Harbour , Australia , Dec. 2001.

  • K. A. B. Kattan and Y. Yang, Web-based secure business transactions with digitally signed XML documents, Proc. of 4th Int. Asia-Pacific Web Conf. (APWeb01), pp15-20, Changsha, China, Nov. 2001.

  • T. Panchal and Y. Yang, A study on Web design for user and business activities on e-commerce Web sites, Proc. of 4th Int. Asia-Pacific Web Conf. (APWeb01), pp96-102, Changsha, China, Nov. 2001.

  • J. Yong and Y. Yang, Modeling and integration for Internet-based workflow systems, Proc. of IASTED Int. Conf. on Internet and Multimedia Systems and Applications (IMSA2001), pp345-350, Hawaii, Aug. 2001.

  • I. Rahwan, R. Kowalczyk and Y. Yang, Virtual enterprise design: BDI agents vs. objects, Recent Advances in Artificial Intelligence in e-Commerce, Lecture Notes in Artificial Intelligence, Vol. 2112, pages 147-157, Springer-Verlag, 2001.

 

Chengfei Liu

Publication list covering the last five years (2001-2005)

Journal Articles:

  • C. LIU, M. Vincent and J. Liu. Constraint Preserving Transformation from Relational Schema to XML Schema, accepted by World Wide Web Journal

  • X. Zhao and C. LIU, Process integration based on interoperability across multiple workflow domains, accepted by International Journal of Internet and Enterprise Management .

  • W. Chang, M. Guo, M. Ho and C. LIU, Towards Solving the Set-basis Problem in Sticker-based DNA-Supercomputer Model, accepted by International Journal of Computational Science and Engineering.

  • M. Vincent, J. Liu and C. LIU, Strong Functional Dependencies and a Redundancy Free Normal Form for XML, ACM Transactions on Database Systems (TODS) 29(3): 445-462, September 2004

  • H.Li, C.LIU and M.Orlowska, Extended Algebra and Calculus for Object-Relational Databases, Asian Journal of Information Technology 3(5): 386-399, May 2004.

  • C. LIU, X. Lin, M. Orlowska and X. Zhou, Confirmation: Increasing Resource Availability for Transactional Workflows, Information Sciences 153 (2003) 37-53.

 

Conference Papers:

  • X. Zhao, C. LIU and Y. Yang, An Organisational Perspective on Collaborative Business Processes, accepted by 3rd International Conference on Business Process Management (BPM 2005), Nancy , France .

  • J. Liu, M. Vincent, C. LIU and M. Mohania, Checking Multivalued Dependencies in XML, Proceedings of APWeb'05, pp. 320-332, March, 2005, Shanghai, China, Lecture Notes in Computer Science, Vol. 3399, Springer 2005.

  • X. Zhao, C. LIU and Y. Yang, A Web Services Based Architecture for Workflow Management Systems, Proceedings of DEXA’04. pp. 34-43, August/September 2004, Zaragoza , Spain . Lecture Notes in Computer Science, Vol. 3180, Springer.

  • M. Vincent, J. Liu and C. LIU, Mapping Normalized Relations to Normalized XML Documents, Proceedings of WAIM’04. pp. 346-356, July 2004, Dalian , China . Lecture Notes in Computer Science, Vol. 3129, Springer.

  • M. Vincent, M. Schrefl, J. Liu, C. LIU and S. Dogen, Generalized Inclusion Dependencies in XML, Proceedings of APWeb'04, pp. 224-233, April, 2004, Hangzhou , China , Lecture Notes in Computer Science, Vol. 3007, Springer 2004.

  • C. LIU, B. Lindsay, S. Bourbonnais, E. Hamel, J. Stankiewitz and T. Truong, Capturing Global Transactions from Multiple Recovery Log Files in a Partitioned Database System, Proceedings of the 29 th International Conference on Very Large Data Bases (VLDB’03), pp. 987-996, 9-12 September 2003, Berlin, Germany.

  • C. LIU, M. Vincent, J. Liu and M. Guo, A Virtual XML Database Engine for Relational Databases, Proceedings of the VLDB XML Data Database Symposium (XSYM’03), pp. 37-51, 8 September 2003, Berlin, Germany. Lecture Notes in Computer Science, Vol. 2824, Springer.

  • M. Vincent, J. Liu and C. LIU, A Redundancy Free 4NF for XML, Proceedings of the VLDB XML Data Database Symposium (XSYM’03), pp. 254-266, 8 September 2003 , Berlin , Germany . Lecture Notes in Computer Science, Vol. 2824, Springer.

  • J. Liu, M. Vincent and C. LIU, Local XML Functional Dependencies, Proceedings of the fifth ACM international workshop on Web information and data management (WIDM’03), pp. 23-28, November, 2003, New Orleans, USA.

  • M. Vincent, J. Liu and C. LIU, Redundancy Free Mapping from Relations to XML, Proceedings of WAIM’03. pp. 55-67, August 2003, Chengdu , China . Lecture Notes in Computer Science, Vol. 2762, Springer.

  • M. Guo, J. Cao, W. Chang , L. Li and C. LIU, Effective OpenMP Extensions for Irregular Applications on Cluster Environments, Proceedings of GCC’03, pp. 97-104, December 2003, Shanghai , China , Revised Papers, Part II. Lecture Notes in Computer Science, Vol. 3033, Springer 2004.

  • J. Liu, M. Vincent and C. LIU, Functional Dependencies, from Relational to XML, Proceedings of the PSI’03. pp. 319-32, 9-12 July 2003. Novosibirsk , Russia . Lecture Notes in Computer Science, Vol. 2890, pp. 530-537, Springer.

  • C. LIU, M. Guo and J. Liu, Accessing Relational Databases via XML Schema, Proceedings of CAiSE’03 Forum, pp. 17-20, June 2003, Klagenfurt/Velden, Austria.

  • C. LIU, J. Liu and M. Guo, On Transformation to Redundancy Free XML Schema from Relational Schema, Proceedings of APWeb’03, pp. 35-46, April, 2003, Xi'an, China, Lecture Notes in Computer Science, Vol. 2642, Springer.

  • J. Liu and C. LIU, A Declarative Way of Extracting XML Data in XSL, Proceedings of ADBIS’02, pp. 374-387, Sept 8-12, 2002, Bratislava, Slovakia, Lecture Notes in Computer Science, Vol. 2435, Springer.

  • M. Guo, Z. Liu, C. LIU and L. Li, Reducing Communication Cost for Parallelizing Irregular Scientific Codes, Proceedings of the 6 th International Conference on Applied Parallel Computing, June 15-18, 2002, Espoo, Finland, Lecture Notes in Computer Science, Vol. 2367, Springer.

  • C. LIU, M. Orlowska, X. Liu, X. Zhou, Improving Backward Recovery in Workflow Systems, Proceeding of the 7th International Conference on Database Systyems for Advanced Applications (DASFAA'01), pp. 276-283, April 2001, HongKong, SAR, China .

  • X. Lin, X. Zhou, C. LIU, and X. Zhou. Efficiently Computing Weighted Proximity Relationships in Spatial Databases, Proceedings of WAIM'01, pp. 279-290, July 2001, Xi'an , China . Lecture Notes in Computer Science, Vol. 2118, Springer.

 

 

T. Y. Chen

Publication list covering the last five years (2001-2005) Book Chapters:

  • 1. T. Y. Chen, I. Rahwan and Y. Yang. Temporal interaction diagrams for multi-process environments. Practicing Software Engineering in the 21st Century. Chapter 10, pages 143-156, IRM Press, USA , 2003.

Journal Articles:

  • R. L. Glass and T. Y. Chen, An Assessment of Systems and Software Engineering Scholars and Institutions (1996-2000), Journal of Systems and Software, Vol. 59(1), 107-113, 2001.

  • T. Y. Chen and Y. T. Yu, On the Maximin Algorithms for Test Allocations in Partition Testing, Information and Software Technology, Vol. 43(2), 97-107, 2001.

  • H. Y. Chen, T. H. Tse and T. Y. Chen, TACCLE: a methodology for object-oriented software Testing At the Class and Cluster LEvels, ACM Transactions on Software Engineering and Methodology, Vol. 10(1), 56-109, 2001.

  • T. Y. Chen and M. F. Lau, Test Case Selection Strategies Based on Boolean Specifications, Software Testing Verification & Reliability, Vol. 11(3), 165-180, 2001.

  • Y. T. Yu, P. L. Poon, S. F. Tang and T. Y. Chen, A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases, International Journal of Software Engineering and Knowledge Engineering, Vol. 11(2), 113-138, 2001.

  • T. Y. Chen, T. H. Tse and Y. T. Yu, Proportional Sampling Strategy: A Compendium and Some Insights, Journal of Systems and Software, Vol. 58(1), 65-81, 2001.

  • T. Y. Chen, P. L. Poon and T. H. Tse, Classification-Tree Restructuring Methodologies: a New Perspective, IEE Proceedings of Software, Vol. 149(2), 65-74, 2002.

  • T. Y. Chen and Y. T. Yu, A Decision-Theoretic Approach to the Test Allocation Problem in Partition Testing, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, Vol. 32(6), 733-745, 2002.

  • R. L. Glass and T. Y. Chen, An Assessment of Systems and Software Engineering Scholars and Institutions (1997-2001), Journal of Systems and Software, Vol. 64(1), 79-86, 2002.

  • T. Y. Chen, T. H. Tse and Z. Q. Zhou, Fault-Based Testing Without the Need of Oracles, Information Software and Technology, Vol. 45(1), 1-9, 2003.

  • T. Y. Chen and M. F. Lau, On the Divide-and-Conquer Approach towards Test Suite Reduction, Information Sciences, Vol. 152, 89-119,2003.

  • T. Y. Chen, P. L. Poon and T. H. Tse, A Choice Relation Framework for Supporting Category-Partition Test Case Generation, IEEE Transactions on Software Engineering, Vol. 29(7), 577-593, 2003.

  • R. L. Glass and T. Y. Chen, An Assessment of Systems and Software Engineering Scholars and Institutions (1998-2002), Journal of Systems and Software, Vol. 68(1), 77-84, 2003.

  • T. Y. Chen and P. L. Poon, Some Experience of Teaching Black Box Testing in a Computer Science/Software Engineering Curriculum, IEEE Transactions on Education, Vol. 47(1), 42-50, 2004.

  • Y. T. Yu, S. Ng, P. L. Poon and T. Y. Chen, On the Testing Methods Used by Beginning Software Testers, Information and Software Technology, Vol. 46(5), 329-335, 2004.

  • H. Li, Y. Yang and T. Y. Chen, Resources Constraints Analysis of Workflow Specifications, Journal of Systems and Software, Vol. 73(2), 271-285, 2004.

  • T. Y. Chen, P. L. Poon, S. F. Tang and T. H. Tse, On the Identification of Categories and Choices for Specification-Based Test Case Generation, Information and Software Technology, Vol. 46(13), 887-898, 2004.

  • T. Y. Chen, F.-C. Kuo, R. G. Merkel and S. P. Ng, Mirror Adaptive Random Testing, Information and Software Technology, Vol.46(15), 1001-1010, 2004.

  • R. L. Glass and T. Y. Chen, An Assessment of Systems and Software Engineering Scholars and Institutions (1999-2003), Journal of Systems and Software, Vol. 76(X), 91-97, 2005.

  • P. Wu, X-C Shi, J-J Tang, H-M Lin and T. Y. Chen, Metamorphic Testing and Special Case Testing: A Case Study, Journal of Software, Vol. 16(7), 1210-1220, 2005.

  • T. Y. Chen, F.-C. Kuo and R. G. Merkel, On the Statistical Properties of Testing Effectiveness Measures, accepted to appear in Journal of Systems and Software.

  • Y. T. Yu, M. F. Lau and T. Y. Chen, Automatic Generation of Test Cases from Boolean Specifications using the MUMCUT Strategy, accepted to appear in Journal of Systems and Software.

    •  

Conference Papers: .

     

  • T. Y. Chen, M. F. Lau and Y. T. Yu, An Empirical Study on Some Heuristics for Test Suite Reduction, Proceedings of the IASTED International Conference on Applied Informatics (AI2001), 472-477, 2001.

  • T. Y. Chen and M. F. Lau, Test Suite Reduction and Fault Detection Effectiveness: An Empirical Evaluation, Proceedings of the Sixth International Conference on Reliable Software Technologies (Lecture Notes in Computer Science, Vol. 2043), 253-265, 2001.

  • T. Y. Chen, T. H. Tse and Z. Zhou, Fault-Based Testing in the Absence of an Orcale, Proceedings of the Twenty-Fifth Annual International Computer Software and Application Conference (COMPSAC'01), 172-178, 2001.

  • S. P. H. Ng, T. Y. Chen and M. F. Lau, Relationship between the Probabilities of Detecting at least One Failure for Test Case Selection with and without Replacement, Proceedings of the International Symposium on Future Software Technology 2001.

  • T. Y. Chen, M. Y. Cheng, P. L. Poon, T. H. Tse and Y. T. Yu, A Study on Input Domain Partitioning, Proceedings of the IASTED Applied Informatics 2002 Conference, 176-181, 2002.

  • T. Y. Chen and S. P. Ng, Teaching Software Testing Through the Development of an Automated Testing System, Proceedings of the IASTED Applied Informatics 2002 Conference, 149-152, 2002.

  • T. Y. Chen, I. Rahwan and Y. Yang, Temporal Interaction Diagrams, Proceedings of the 2002 Information Resources Management Association International Conference, 843-846, 2002.

  • K. P. Chan, T. Y. Chen and D. Towey, Restricted Random Testing, Proceedings of the 7th European Conference on Software Quality, 321-330, 2002.

  • T. Y. Chen, J. Feng and T. H. Tse, Metamorphic Testing of Programs on Partial Differential Equations: a Case Study, Proceedings of the Twenty-Sixth Annual International Computer Software and Application Conference (COMPSAC'02), 327-333, 2002.

  • T. Y. Chen, P. L. Poon, S. F. Tang and T. H. Tse, An Experimental Analysis of the Identification of Categories and Choices from Specifications, Proceedings of the International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2002), 99-106, 2002.

  • T. Y. Chen, T. H. Tse and Z. Q. Zhou, Semi-Proving: An Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing, Proceedings of the International Symposium of Software Testing and Analysis, 191-195, 2002.

  • B. D. Tyrer, L. J. Johnston, J. A. Sykes and T. Y. Chen, A Case Study of the Problem-Driven Approach to Perspective-Based Reading, Proceedings of the International Conference on Computer and Information Science (ICIS '02), 403-408, 2002.

  • W. K. Chan, T. Y. Chen and T. H. Tse, An Overview of Integration Testing Techniques for Object-Oriented Programs, Proceedings of the International Conference on Computer and Information Science (ICIS '02), 696-701, 2002.

  • T. Y. Chen, P. L. Poon, S. F. Tang, T. H. Tse and Y. T. Yu, Towards a Problem-Driven Approach to Perspective-Based Reading, Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 221-229, 2002.

  • S. P. Ng, F. C. Kuo, R. G. Merkel and T. Y. Chen, On the Effectiveness of Genetic Operators in Adaptive Random Testing, Proceedings of the International Symposium on Future Software Technology 2002, 2002.

  • Y. T. Yu, S. Ng, P. L. Poon and T. Y. Chen, On the Use of the Classification-Tree Method by Beginning Software Testers, Proceedings of the ACM Symposium on Applied Computing (SAC 2003), 1123-1127, 2003.

  • K. P. Chan, T. Y. Chen and D. Towey, Normalized Restricted Random Testing, Proceedings of the Eighth International Conference on Reliable Software Technologies (Lecture Notes in Computer Science, Vol. 2655), 368-381, 2003.

  • T. Y. Chen, D. D. Grant, M. F. Lau, S. Ng and V. R. Vasa, BEAT: Boolean Expression Fault-based Test Case Generator, Proceedings of the IEEE International Conference of Information Technology: Research and Education (ITRE 2003), 625-629, 2003.

  • M. F. Lau, T. Y. Chen and S. P. H. Ng, Fault Detecting Capability and Test Suite Reduction for Boolean Specifications: An Empirical Evaluation, Proceedings of the First ACIS Conference on Software Engineering and Applications (SERA'03), 64-69, 2003.

  • A. Cain, T. Y. Chen, D. D. Grant, P. L. Poon, S. F. Tang and T. H. Tse, ADDICT: A Prototype System for Automated Test Case Generation Using the Integrated Classification-Tree Methodology, Proceedings of the First ACIS Conference on Software Engineering and Applications (SERA’03), 76-81, 2003.

  • C. Bai, K. Y. Cai and T. Y. Chen, An Efficient Defect Estimation Method for Software Defect Curves, Proceedings of the Twenty-Seventh Annual International Computer Software and Application Conference (COMPSAC'03), 534-539, 2003.

  • T. Y. Chen, K. C. Kuo, R. G. Merkel and S. P. Ng, Mirror Adaptive Random Testing, Proceedings of the Third International Conference on Quality Software (QSIC 03), 4-11, 2003.

  • Y. T. Yu, M. F. Lau and T. Y. Chen, Using the Incremental Approach to Generate Test Sets: A Case Study, Proceedings of the Third International Conference on Quality Software (QSIC 03), 263-270, 2003.

  • A. Cain, J-G Schneider, D. Grant and T. Y. Chen, Runtime Data Analysis for Java Programs, Proceedings of the First ECOOP Workshop on Advancing the State-of-the-Art in Runtime Inspection, 1-7, 2003.

  • K. P. Chan, T. Y. Chen, F-C Kuo, R. Merkel and D. Towey, Using the Information: Incorporating Positive Feedback Information into the Testing Process, (accepted to appear in the Proceedings of the Software Technology and Engineering Practice Conference (STEP 2003)).

  • T. Y. Chen, F-C Kuo, T. H. Tse and Z. Q. Zhou, Metamorphic Testing and Beyond, (accepted to appear in the Proceedings of the Software Technology and Engineering Practice Conference (STEP 2003)).

  • K. P. Chan, T. Y. Chen and D. Towey, Good Random Testing, Proceedings of the Nineth International Conference on Reliable Software Technologies (Lecture Notes in Computer Science, Vol. 3063), 190-199, 2004.

  • T. Y. Chen, F-C Kuo, Y. Liu and A. Tang, Metamorphic Testing and Testing with Special Values, Proceedings of the International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2004), 128-134, 2004.

  • S. Ng, T. Murnane, K. Reed, D. Grant and T. Y. Chen, A Preliminary Survey on Software Testing Practices in Australia, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004), 116-125, 2004.

  • T. Y. Chen, G. Eddy, R. Merkel and P. K. Wong, Adaptive Random Testing through Dynamic Partitioning, Proceedings of the Fourth International Conference on Quality Software (QSIC 04), 79-86, 2004.

  • T. Y. Chen, F-C. Kuo and R. Merkel, On the Statistical Properties of the F-measure, Proceedings of the Fourth International Conference on Quality Software (QSIC 04), 146-153, 2004.

  • T.H. Tse, S.S. Yau, W.K. Chan, H. Lu, and T.Y. Chen, Testing Context-Sensitive Middleware-Based Software Applications, Proceedings of the Twenty-Eighth Annual International Computer Software and Application Conference (COMPSAC'04), 458-466, 2004.

  • K. P. Chan, T. Y. Chen, F-C Kuo and D. Towey, A Revisit of Adaptive Random Testing by Restriction, Proceedings of the Twenty-Eighth Annual International Computer Software and Application Conference (COMPSAC'04), 78-85, 2004.

  • F. T. Chan, K. P. Chan, T. Y. Chen, and S. M. Yiu, Adaptive Random Testing with CG Constraint, Proceedings of the Twenty-Eighth Annual International Computer Software and Application Conference (COMPSAC'04) – Workshop on Software Cybernetics, 96-99, 2004.

  • T. Y. Chen and D. Huang, Adaptive Random Testing by Localization, Proceedings of the 2004 Asia-Pacific Software Engineering Conference (APSEC 04), 292-298, 2004.

  • J. Chen, Y. Yang and T. Y. Chen, Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems, Proceedings of the 2004 Asia-Pacific Software Engineering Conference (APSEC 04), 30-37, 2004.

  • Z. Q. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang and T. Y. Chen, Metamorphic Testing and Its Applications, Proceedings of the International Symposium on Future Software Technology, 2004.

  • T. Y. Chen, D. H. Huang, T. H. Tse, and Z. Q. Zhou, “Case studies on the selection of useful relations in metamorphic testing”, in Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004 ), Polytechnic University of Madrid, Madrid, Spain, pp. 569–583 (2004).

  • T. Y. Chen, F.-C. Kuo, T. H. Tse, and Z. Q. Zhou, “Metamorphic testing and beyond”, in Proceedings of the International Workshop on Software Technology and Engineering Practice (STEP 2003 ), IEEE Computer Society Press, Los Alamitos, California, pp. 94–100 (2004).

  • Z. Q. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang and T. Y. Chen, Metamorphic Testing and Its Applications, Proceedings of the International Symposium on Future Software Technology, 2004.

  • C.-A. Sun, K. Y. Sim, T. H. Tse, and T. Y. Chen, An Empirical Evaluation and Analysis of the Fault-detection Capability of MUMCUT for General Boolean Expressions, Proceedings of the International Computer Symposium (ICS 2004 ), 926–932, 2004.

  • K. Y. Cai, T. T. Chen, Y.C.Li, W.Y.Ning and Y.T.Yu, Adaptive Testing of Software Components, Proceedings of the ACM Symposium on Applied Computing (SAC 2005), 1463-1469, 2005.

  • T. Y. Chen, F.-C. Kuo and Z. Q. Zhou, An Effective Testing Method for End-User Programmers, Proceedings of the First Workshop on End-User Software Engineering (WEUSE 2005), 21-25, 2005.

  • T. Y. Chen, F.-C. Kuo and Z. Q. Zhou, On the Relationships between the Distribution of Failure-Causing nputs and Effectiveness of Adaptive Random Testing, accepted to appear in Proceedings of the 2005 International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005.

  • K. P. Chan, T. Y. Chen and D. Towey, Adaptive Random Testing with Filtering, accepted to appear in Proceedings of the 2005 International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005.

  • T. Y. Chen and R. Merkel, Quasi-Random Testing, accepted to appear in Proceedings of the Twentieth IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005.

  • T. Y. Chen, P. L. Poon, S. F. Tang and T. H. Tse, Identifications of Categories and Choices in Activity Diagrams, accepted to appear in Proceedings of the Fifth International Conference on Quality Software (QSIC 05), 2005.

  • W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse and S. S. Yau, A Metamoprhic Approach to Integration Testing of Middleware-based Applications, accepted to appear in Proceedings of the Fifth International Conference on Quality Software (QSIC 05), 2005.

  • T. Y. Chen, F.-C. Kuo and Z. Q. Zhou, Teaching Automated Test Case Generation, accepted to appear in Proceedings of the International Workshop on Education and Training for Quality Software Engineering, 2005.

  • F. T. Chan, T. H. Tse, W. H. Tang and T. Y. Chen, Software Testing Education and Training in Hong Kong, accepted to appear in Proceedings of the International Workshop on Education and Training for Quality Software Engineering, 2005.

    •  


 

Jun Han

Publication list covering the last five years (2001-2005)

Book chapters:

  • J. Han. Preparing Software Components for Integration. In Y. Han and M. Shi (eds.), Grid and Cooperative Computing, pages 679-689, Publishing House of Electronics Industry, 2002.

 

Journal articles:

  • K. Khan and J. Han. Composing Security-Aware Software. IEEE Software, 19(1): 34-41, January/February 2002.

  • J. Wu and J. Han. XML-Based Modelling in Architecture Management. Journal of Computer Engineering and Application, 38(21): 137-150, November 2002.

  • J. Han and P. Chen. Architecture Support for System-of-Systems Evolution. Lecture Notes in Computer Science, 2480: 332-346, 2002. Springer.

  • J. Han. Interaction Compatibility: An Essential Ingredient for Service Composition. Lecture Notes in Computer Science, 3032: 59-66, 2003. Springer.

  • J. Han. A Software Engineering Perspective for Services Security. Lecture Notes in Computer Science, 3252: 366-373, 2004. Springer.

  • Y. Jin and J. Han. Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability. Lecture Notes in Computer Science, 3412: 54-64, 2005. Springer.

  • A. Colman and J. Han. Coordination Systems in Role-based Adaptive Software. Lecture Notes in Computer Science, 3454: 63-78, 2005. Springer.

  • A. Colman and J. Han. Using Associations Aspects to Implement Organisational Contracts. Electronic Notes in Theoretical Computer Science, 18 pages, (accepted for publication June 2005).

  • Z. Li, J. Han and Y. Jin. Pattern-Based Specification and Validation of Web Services Interaction Properties. . Lecture Notes in Computer Science, 14 pages, (accepted for publication on 19 September 2005 , to appear in December 2005, 2005). Springer.

 

Conference papers:

  • J. Han. TRAM: A Tool for Requirements and Architecture Management. In Proceedings of the 24 th Australasian Computer Science Conference, Gold Coast , Australia , January/February 2001, pages 60-68.

  • K. Khan, J. Han and Y. Zheng. A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. In Proceedings of the 2001 Australian Software Engineering Conference, Canberra , Australia , August 2001, pages 117-126. IEEE Computer Society Press.

  • P. Chen and J. Han. Facilitating System-of-Systems Evolution with Architecture Support. In Proceedings of the International Workshop on Principles of Software Evolution, Vienna , Austria , September 2001, pages 130-133. Published 2002, ACM Press.

  • S.I. Choi and J. Han. Object Oriented Software Process Modeling. In Proceedings of the International Conference on Applied Informatics, Innsbruck , Austria , February 2002, pages 30-35. ACTA Press.

  • J. Wu and J. Han. xmlTRAM+: Using XML Technology to Manage Software Requirements and Architectures. In Proceedings of the 8 th Australian World Wide Web Conference, Twin Waters Resort, Sunshine Coast , Australia , July 2002, pages 237-245.

  • K. Khan and J. Han. A Security Characterisation Framework for Trustworthy Component Based Software Systems. In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), Dallas , USA , November 2003, pages 164-169. IEEE Computer Society.

  • J. Han and K.K. Ker. Ensuring Compatible Interactions within Component-based Software Systems. In Proceedings of the 2003 Asia-Pacific Software Engineering Conference, Chiangmai , Thailand , December 2003, pages 436-445. IEEE Computer Society.

  • K.K. Ker and J. Han. A Framework for Reasoning about the Performance of Component Software. In Proceedings of the 5th Australasian Workshop on Software and System Architectures, Melbourne , April 2004, pages 72-81.

  • K. Khan and J. Han. A Process Framework for Characterising Security Properties of Component-Based Software Systems. In Proceedings of the 2004 Australian Software Engineering Conference (ASWEC'04), Melbourne , Australia , April 2004, pages 358-367. IEEE Computer Society Press.

  • J.-G. Schneider and J. Han. Components -- The Past, the Present, and the Future. In Proceedings of the Ninth International Workshop on Component-Oriented Programming (WCOP'04), Oslo , Norway , June 2004.

  • A. Tang and J. Han. A Comparative Analysis of Architecture Frameworks. In Proceedings of the 2004 Asia-Pacific Software Engineering Conference, Busan , Korea , November/December 2004, pages 640-647. IEEE Computer Society.

  • A. Colman and J. Han. Organisational Abstractions for Adaptive Systems. In Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS'05), Hawaii , USA , January 2005, pages 276.1-10. IEEE Computer Society

  • K. Khan and J. Han. Deriving Systems Level Security Properties of Component Based Composite Systems. In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'05), Brisbane , Australia , March/April 2004, pages 334-343. IEEE Computer Society Press.

  • A. Colman and J. Han. Operational Management Contracts for Adaptive Software Organisation. In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'05), Brisbane , Australia , March/April 2004, pages170-179. IEEE Computer Society Press.

  • A. Tang and J. Han. A Methodology for Architecture Verifiability, Traceability and Completeness. In Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’05), Greenbelt , Maryland , USA , April 2005, pages 135-144. IEEE Computer Society Press.

  • A. Colman and J. Han. On the autonomy of software entities and modes of organisation. In Proceedings of the 1st International Workshop on Coordination and Organisation (CoOrg 2005), 12 pages, Namur , Belgium , April 2005.

  • A. Colman and J. Han. Organizational Roles and Players. In Proceedings of The American Association for Artificial Intelligence 2005 Fall Symposia, November 4-6, 2005, Arlington, Virginia, USA, to appear (accepted 31 May 2005), 8 pages.

  • Yan Jin and Jun Han. Runtime Validation of Behavioural Contracts for Component Software. In Proceedings of the Fifth International Conference on Quality Software (QSIC2005), Melbourne, Australia, September 2005, to appear (accepted 29 June 2005), 8 pages. IEEE Computer Society.

  • A. Tang, Y. Jin, J. Han and A. Nicholson. Predicting Change Impact in Architecture Design with Bayesian Belief Networks. In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, to appear (accepted 23 July 2005), 10 pages. IEEE Computer Society.

  • A. Tang, M. Ali Babar, I. Gorton and J. Han. An Empirical Study of the Use and Documentation of Architecture Design Rationale. In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, to appear (accepted 23 July 2005), 10 pages. IEEE Computer Society.

  • Y. Jin and J. Han. Consistency and Interoperability Checking for Component Interaction Rules. In Proceedings of the 2005 Asia-Pacific Software Engineering Conference (APSEC2005), Taipei, Taiwan, December 2005, to appear (accepted 17 September 2005), 8 pages, IEEE Computer Society.

 

Commissioned reports:

  • P. Chen and J. Han. Architecture Evolution in System-of-Systems Context. DSTO Project Report, Department of Defence, Canberra , Australia , 2001, 41 pages.

  • J. Han. SENSE: A Prototype Design for a Systems Evolution Synthetic Environment. DSTO Project Report, Department of Defence, Canberra , Australia , 2002, 70 pages.

 

 

Tim Hendtlass

Publication list covering the last five years (2001-2005)

Books:

  • Tim Hendtlass (Editor) “Developments in Applied Artificial Intelligence”, Volume 2358 Lecture Notes in Artificial Intelligence, Springer-Verlag, ISBN 3-540-43781-9. 2002.

 

Book Chapters:

  • Tim Hendtlass “An Introduction to Collective Intelligence” in "Applied Intelligent Systems: New Directions" - J.A. Fulcher & L.C. Jain (Eds). Springer, ISBN 3-540-21153-5 2004.

 

Journal Special issues:

  • Guest Editor of “International Journal of Applied Intelligence” Vol 23, No 1. Spinger 2005.

 

Journal articles:

  • Montgomery , J., Randall, M. and Tim Hendtlass. “Towards an Automated Selection of Pheromone Representations for ACO”, Journal of Artificial Life, Vol 11, No 3, pp 269-291.

  • Salami, M. and Hendtlass, T. “The Fast Evaluation Strategy for Evolvable Hardware”,Genetic Programming and Evolvable Machines, Vol 6 pp 139-162. Springer Science. 2005

  • Tim Hendtlass and Daniel Angus. ‘Ant Colony Optimisation Applied to a Dynamically Changing Problem”, International Journal of Applied Intelligence” Vol 23, 33-38 2005.

  • Mehrdad Salami and Tim Hendtlass. “A Fast Evaluation Strategy for Evolutionary Algorithms” Journal of Applied Soft Computing. Vol2 No 3, 2003.

  • David Braendler and Tim Hendtlass. “Extending particle swarm optimisation“ Accepted for publication in IEEE Transactions on Evolutionary Computing. Accepted July 2002, preprint available at http://www.it.swin.edu.au/centres/ciscp/publications/).

  • David Braendler, Tim Hendtlass and Peter O’Donoghue. “Deterministic Bit-Stream Digital Neurons” IEEE Transactions on Neural Networks, Vol.13 No. 6, pages 1514-1525, 2002.

 

Conference papers:

  • Tim Hendtlass “WoSP: A Multi-Optima Particle Swarm Algorithm” IEEE Congress on Evolutionary Computing. Vol 1, pp 727-734, 2005

  • Tim Hendtlass “A Particle Swarm Algorithm for High Dimensional, Multi-Optima Problem Spaces.” IEEE Swarm Workshop. 2005

  • James Montgomery, Marcus Randall and Tim Hendtlass “Structural Advantages for Ant Colony Optimisation Inherent in Permutation Scheduling Problems” Lecture Notes in Computer Science Vol. 3533, pp218-228, 2005.

  • Tim Hendtlass and Tom Rodgers “Discrete evaluation and the particle swarm algorithm” Proc. Complex2004 Cairns Australia 2004

  • Irene Moser and Tim Hendtlass “Improving The Performance Of Ant Colony OOppttiimmiissaattiioonn Algorithms Using Biased Visibility” Proc. Complex2004 Cairns Australia 2004

  • Adam Deller and Tim Hendtlass “Breeding subroutines for genetic programs” Proc. Complex2004 Cairns Australia 2004

  • James Montgomery, Marcus Randall and Tim Hendtlass “Search Bias in Constructive Metaheuristics and Implications for Ant Colony Optimisation” Lecture Notes in Computer Science 3172, pp. 390-397. Springer-Verlag , Berlin 2004.

  • Tim Hendtlass “TSP Optimisation Using Multi Tour Ants.” Lecture Notes in Computer Science, Vol 3029 pgs 523-532 Springer-Verlag , Berlin . 2004

  • Ben Prime and Tim Hendtlass “Evolutionary Computation Using Island Populations in Time.” Lecture Notes in Computer Science, Vol 3029 pgs 573-582 Springer-Verlag, Berlin . 2004

  • Belinda Choi, Tim Hendtlass and Kevin Bluff “A Comparison of Neural Network Input Vector Selection Techniques”. Lecture Notes in Computer Science, Vol 3029 pgs 1-11 Springer-Verlag , Berlin . 2004.

  • Kate Foster and Tim Hendtlass “Combining a Rule-Based Expert System and Machine Learning in a Simulated Mobile Robot Control System” Proc.HIS03 2003.

  • James Montgomery, Marcus Randall and Tim Hendtlass. “Towards an Automated Selection of Appropriate Pheromone Representations in Ant Colony Optimisation”. ” Proceedings of the Australian Conference on Artificial Life 2003, pp. 170-184.2003.

  • Tim Hendtlass. “Preserving Diversity in Particle Swarm Optimisation”. Lecture Notes in Artificial Intelligence, Vol 2718 pgs 31-40 Springer-Verlag , Berlin . 2003

  • Hans Pierrot and Tim Hendtlass. “Using a Modified Counter-Propagation Algorithm to Classify Conjoint Data”. Lecture Notes in Artificial Intelligence, Vol 2718 pgs 337-347 Springer-Verlag , Berlin . 2003

  • Tim Hendtlass and Gerard Murray. “The Macronet Element: a substitute for the conventional neuron.” Lecture Notes in Artificial Intelligence, Vol 2358, pages 211-219, Springer-Verlag , Berlin , 2002

  • Mehrdad Salami and Tim Hendtlass. “A Fitness Estimation Strategy for Genetic Algorithms” Lecture Notes in Artificial Intelligence, Vol 2358 pages 502-513, Springer-Verlag , Berlin ,2002

  • Mehrdad Salami and Tim Hendtlass “A Fast Evolutionary Algorithm for Image Compression in Hardware” Lecture Notes in Artificial Intelligence, Vol 2358 pages 241-252, Springer-Verlag , Berlin , 2002

  • David Braendler and Tim Hendtlass “The Suitability of Particle Swarm Optimisation for Training Neural Hardware” Lecture Notes in Artificial Intelligence, Vol 2358 pages 190-199, Springer-Verlag , Berlin , 2002

  • Tim Hendtlass and Marcus Randall “A Survey of Ant Colony and Particle Swarm Meta-heuristics and their Application to Discrete Optimisation problems”, Proceedings of the Inaugural Workshop on Artificial Life AL’01, Australia , December 2001.

  • Clinton Woodward and Tim Hendtlass. “Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms” Lecture Notes in Artificial Intelligence, Vol 2070 pages 11-18 Springer, Berlin , 2001

  • Gerard Murray and Tim Hendtlass “Enhanced Neurons for Network Applications”. Lecture Notes in Artificial Intelligence, Vol 2070 pages 281-289 Springer, Berlin , 2001

  • Tim Hendtlass “A combined swarm differential evolution algorithm for optimization problems”. Lecture Notes in Artificial Intelligence, Vol 2070 pages 374-382 Springer, Berlin , 2001

  • Tim Hendtlass “SOMulANT: Organizing Information Using Multiple Agents”. Lecture Notes in Artificial Intelligence, Vol 1821 pages 322 - 327 Springer Verlag, Berlin , 2000

 

 

Wei Lai

Publication list covering the last five years (2001-2005)

Book Chapters:

  • Wei Lai, Maolin Huang and Kang Zhang. “Generating and adjusting web sub-graph display for web navigation”. Intelligent Agents for Data Mining and Information Retrieval, Idea Group Publishing, pp 240-252, 2004. ISBN 1-59140-227-8

  • Xiaodi Huang and *Wei Lai. “Web graph clustering for displays and navigation of cyberspace”. Web Mining: Applications and Techniques, Edited by Dr. Anthony Scime. Idea Group Inc., pp253-274, 2004. ISBN 1-59140-415-0.

  • Wei Lai, Peter Eades and Maolin Huang. “Designing visual flowchart components for program visualization”. Software Visualization – From Theory to Practice, pp. 59-75, Kluwer Academic Publishers, 2003. ISBN 981-02-2826-0.

 

Journal Articles:

  • Wei Lai, X. Huang, R. Wibowo and J. Tanaka. “On-Line Web Information Visualization with Filtering and Clustering Graph Layout”, the IEEE Computational Intelligence Bulletin (in press), 2005.

  • Dongang Yu and Wei Lai. “Reconstruction and Recognition of Broken Handwritten Digits Based on Skeleton and Morphological Structure”. International Journal of Pattern Recognition and Artificial Intelligence, Vol. 19, No.3 (2005) 271-296.

  • Wei Lai, Donggang Yu and Yongliang Zhong. “Dynamic Layout Adjustment and Navigation for Enterprise GIS based on Object Mark Recognition”. Chinese Geographical Science, pp. 73-78, No. 1, Vol. 13 (2003).

  • Maolin Huang, Peter Eades and Wei Lai. “On-line visualization and navigation of the global web structure”, International Journal of Software Engineering and Knowledge Engineering, pp. 27-52, Feb. 2003.

  • Wei Lai and Peter Eades. “Removing edge-node intersections in drawings of graphs”. Information Processing Letters, 81(2002):105-110.

  • J. Hou, Y. Zhang, J. Cao, W. Lai and D. Ross. “Visual support for text information retrieval based on linear algebra”, Journal of Applied Systems Studies, Vol.2, No.3, Cambridge Scientific Publishers, 2002.

  • Wei Lai, D. Li, X. Jia and J. Tanaka. “Designing Effective User Interfaces for Web Courseware,'' Concurrent Engineering: Research and Applications, Technomic Publishing, Vol 9, Number 2, pp 105-110, June 2001.

 

Conference Papers:

  • Wei Lai, D. Yu, J. Tanaka and Cai Fei. “Using image contour in GIS navigation”, Proc. The 3 rd International Conference on Information Technology and Applications. (IEEE CS Press), pp. 764-767, Sydney, July, 2005.

  • Xiaodi Huang, Wei Lai and Peter Eades, A Framework of Filtering, Clustering and Dynamic Layout Graphs for Visualization, In Proc. Twenty-Eighth Australasian Computer Science Conference (ACSC2005), pp. 87-96.

  • Donggang. Yu and Wei. Lai, "New Algorithms for Feature Description, Analysis and Recognition of Binary Image Contours", Computational and Information Science, Lecture Notes in Computer Science, pp.1168-1174, Vol. 3314, 2004, Springer-Verlag,

  • Yun Yang, Wei Lai, Jun Shen, Xiaodi Huang, Jun Yan, and Lukman Setiawan, “Effective Visualisation of Workflow Enactment, Advanced Web Technologies and Applications”, Lecture Notes in Computer Science, Vol.3007, pp 794-803, Yu, J.X.; Lin, X.; Lu, H.; Zhang, Y. (Eds.), Springer-Verlag, 2004.

  • Yu Qian, Kang Zhang and Wei Lai. “Constraint-baseded graph clustering through node sequencing and partitioning”. Advances in Knowledge Discovery and Data Mining, Proceedings of the Eighth Pacific Asia Conference on Knowledge Discovery and Data Mining, Sydney, May 2004. pp.41-51., Lecture Notes in Artificial Intelligence, Vol. 3056, Subseries of Lecture Notes in Computer Science, Dai, H., Srikant, R. Zhang, C. (Eds), Springer-Verlag.

  • Donggang Yu, Wei Lai, and Jiro Tanaka. “Content-based Image Retrieval Combining Shape Recognition, Color and Text”, Proceedings of VLC'2004 - International Workshop on Visual Languages and Computing, pp. 298-303, San Francisco Bay, 8-10 September, 2004.

  • Donggang Yu and Wei Lai. “New and Efficient Method for Linearization and Description Features of Binary Image Contours”, Proceedings of the 8th World Multiconference on Systemics, Cybernetics and Informatics,pp. 331-335, Orlando, USA, July 18-21, 2004.

  • Donggang Yu and Wei Lai. “New Method for Recognition of Handwritten Digits Based Morphological Structures”, Proceedings of the 8th World Multiconference on Systemics, Cybernetics and Informatics,pp. 336-340, Orlando, USA, July 18-21, 2004.

  • Xiaodi Huang and Wei Lai. “A Novel Framework for Graph Visualization”, Proceedings of the International Conference on Internet Computing, pp. 905-910, Las Vegas, USA, June, 2004.

  • Xiaodi Huang and Wei Lai. “A Web Graph Filtering and Generation System”, Proceedings of the International Conference on Internet Computing, pp. 809-904, Las Vegas, USA, June, 2004.

  • Haizheng Dong and Wei Lai. “Using Target Object Color Information for Web Images”, Proceedings of the International Conference on Internet Computing, pp.572-576, Las Vegas, USA, June, 2004.

  • D. Yu, H. Dong, W. Lai and Y. Yang, “Projection Filling Based on Contour Structural Points”, Computational Science and Its Applications, Lecture Notes in Computer Science, Vol. 2669, pp. 376-386, Springer-Verlag, 2003

  • Xiaodi Huang, Wei Lai, “On the Structural Algorithm of Filtering Graphs for Layout”, In Proc. 2003 Pan-Sydney Area Workshop on Visual Information Processing (VIP2003), Sydney, Australia. pp33-42.

  • Xiaodi Huang and Wei Lai. “Force-transfer: A new approach to removing overlapping nodes in graph layout”, Australian Computer Science Comminication, Pages 349-358, Vol. 25, No. 1, 2003.

  • Xiaodi Huang and Wei Lai. “NodeRank: A New Structure Based Approach to Information Filtering”, Proceedings of the International Conference on Internet Computing, pages 167-173, Las Vegas, USA, June, 2003.

  • Xiaodi Huang and Wei Lai. “Identifying Clusters in the Web Graph by based on Link Topology”, Proceedings of the seventh International database Engineering and applications Symposium, pp 123-131, IEEE Computer Society, Hong Kong, July, 2003.

  • Wei Lai, Donggang Yu and Yongliang Zhong. “Dynamic Layout Adjustment and Navigation for Enterprise GIS based on Object Mark Recognition”. Proceedings of the International Conference on Computer Graphics and Spatial Information Systems, pages 547-551. August, 2002.

  • Wei Lai, Maolin Huang, Jiro Tanaka. “Fitting Web Graphs in a Display Area With No Overlaps for Web Navigation”, Proceedings of the International Conference on Internet Computing, pages 601-607, June, 2002.

  • Mao Lin Huang and Wei Lai. “Using Clustered Visualization for Viewing Multilevel Networking Performance”, Proceedings of the International Conference on Internet Computing, pages 629-635, June, 2002.

  • Xiaodi Huang and Wei Lai. “Multiple Level Exploration and Layout of Large Web Hypergraph”, Proceedings of the International Conference on Internet Computing, pages 615-621, June, 2002.

  • Donggang Yu, Wei Lai and Hong Yan. “Reconstruction and Recognition of Internally Broken Handwritten Digits”, Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, pages 218-222, July, 2002.

  • Donggang Yu, Wei Lai and Hong Yan. “Recognition and Separation of Spurious Segments of Broken Handwritten Digits”, Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, pages 223-227, July, 2002.

  • W. Lai, D. Yu and Y. Zhong, “Some Design Issues for an Enterprise Geographic Information System”, Seventh International Symposium on Future Software Technology (ISFST-2002), 2002.

  • Wei Lai. “Layout adjustment and boundary detection for a diagram”. Proceedings of Computer Graphics International Conference, pages 351-354, IEEE CS, Hong Kong, 3-6 July, 2001.

  • Nihar Trivedi, Wei Lai and Zhongwei Zhang. “Optimizing windows layout by applying a genetic algorithm”, Proceedings of the 2001 Congress On Evolutionary Computation, pages 431-435, IEEE Press, Seoul, Korea, May 27-30, 2001.

  • Zhongwei Zhang and Wei Lai. “An application of genetic algorithms in smoothing automotive body surface”, Proceedings of the 2001 Congress On Evolutionary Computation, pp. 1296-1302, IEEE Press, Seoul, Korea, May 27-30, 2001.


 

M.F. Lau

Publication list covering the last five years (2001-2005)

Journal Articles

  • M.F. Lau and Y. T. Yu, “An Extended Fault Class Hierarchy for Boolean Specifications”, ACM Transactions on Software Engineering and Methodology, 14(3):247 – 276, July 2005.

  • Y.T. Yu and M.F. Lau, “A Comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions”, accepted to appear in Journal of Systems and Software. (Acceptance notification email on 5th May 2005 ).

  • T. Y. Chen and M.F. Lau, “On the divide-and-conquer approach towards test suite reduction”, Information Sciences, an International Journal, 152:89–119, June 2003.

  • T. Y. Chen and M.F. Lau, “Test Case Selection Strategies Based on Boolean Specifications”, Journal of Software Testing, Verification and Reliability, vol. 11(3), pp. 165–180, Sep. 2001.

 

Conference Articles

  • M. F. Lau, J. Y. S. Lee, and Y. T. Yu, “A tool for software engineers to learn and use Z”, In Proceedings of the International Conference on Computers in Education (ICCE) 2004, pp. 1029-1034, Dec. 2004.

  • Y.T. Yu and M.F. Lau, “Comparing several coverage criteria for detecting faults in logical decisions”, in Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), pp. 14–21, Sep. 2004.

  • Y. T. Yu, M.F. Lau, and T. Y. Chen, “Using the incremental approach to generate test sets: a case study”, In Proceedings of the Third International Conference on Quality Software (QSIC 2003), pp. 263–270, Nov. 2003.

  • T. Y. Chen, D. D. Grant, M.F. Lau, S. P. Ng, and V. R. Vasa, “BEAT: Boolean Expression fAult-based Test Case Generator”, In Proceedings of International Conference on Information Technology: Research and Education, pp. 625–629, Aug. 2003.

  • M.F. Lau, T.Y. Chen, and S.P. Ng, “Fault detecting capability and test suite reduction for Boolean specifications: an empirical evaluation”, In Proceedings of the First ACIS International Conference on Software Engineering Research and Applications (SERA 2003), pp. 64–69, June 2003.

  • Y. T. Yu and M.F. Lau, “Test case prioritization : an empirical evaluation”, In Proceedings of 7 th International Conference on Reliable Software Technologies – Ada-Europe 2002, pp. 245–256, June 2002, Lecture Notes in Computer Science, vol. 2361, Springer-Verlag, 2002.

  • S. Ng, T.Y. Chen and M.F. Lau, “Relationship between the probabilities of detecting at least one failure for test case selection with and without replacement”, In Proceedings of International Symposium on Future Software Technology 2001, pp. 165–170, Nov. 2001.

  • M.F. Lau and Y.T. Yu, “On the relationships of faults for Boolean specification based testing”, In Proceedings of 2001 Australian Software Engineering Conference, pp. 21–28, Aug. 2001.

  • T.Y. Chen and M.F. Lau, “Test suite reduction and fault detection effectiveness: an empirical evaluation”, In Proceedings of 6th International Conference on Reliable Software Technologies – Ada-Europe 2001, pp. 253–265, May 2001, Lecture Notes in Computer Science, vol. 2043, Springer-Verlag, 2001.

  • T. Y. Chen, M.F. Lau, and Y. T. Yu, “An Empirical Study on Some Heuristics for Test Suite Reduction”, In Proceedings of 19 th IASTED International Conference on Applied Informatics 2001: Symposium 3 Software, pp. 472 – 477, Austria, Feb 2001.

  • Y. T. Yu and M.F. Lau, “A Study of Prioritizing Test Cases in MUMCUT Test Sets”, In Proceedings of 19 th IASTED International Conference on Applied Informatics 2001: Symposium 3 Software, pp. 466 – 471, Austria, Feb 2001.

 

Sebastian Ng

Publication list covering the last five years (2001-2005)

Journal Articles:

  • T.Y. Chen, F.C. Kuo, R.G. Merkel, S.P. Ng, “Mirror Adaptive Random Testing” , Information and Software Technology, 46(2004), pp1001-1010, 2004

  • Y.T. Yu, S.P. Ng, P.L. Poon and T.Y. Chen, “On the Testing Methods used by Beginning Software Testers”, Information and Software Technology, 46(2004), pp329-335, 2004

 

Conference Papers:

  • S.P. Ng, T. Murnane, K. Reed, D. Grant and T.Y. Chen, “A Preliminary Survey on Software Testing Practices in Australia”, Proceedings of 2004 Australian Software Engineering Conference (ASWEC 2004), pp116-125, April 2004

  • T.Y. Chen, F.C. Kuo, R.G. Merkel and S.P. Ng, “Mirror Adaptive Random Testing”, Proceedings of the Third International Conference on Quality Software (QSIC2003), pp4-11, Nov. 2003

  • Y.T. Yu, S.P. Ng and E.Y.K. Chan, “Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support”, Proceedings of the Third International Conference on Quality Software (QSIC2003), pp83-90, Nov. 2003

  • T.Y. Chen, D.D. Grant, M.F. Lau, S.P. Ng and V.R. Vasa, “BEAT: Boolean Expression Fault-based Test Case Generator”, Proceedings of First IEEE International Conference on Information Technology: Research and Education (ITRE2003), pp625-629, Aug 2003

  • M.F. Lau, T.Y. Chen and S.P. Ng, “Fault Detecting Capability and Test Suite Reduction for Boolean Specifications: an Empirical Evaluation”, Proceedings of the First ACIS International Conference on Software Engineering Research and Applications (SERA’03), pp64-64-69, June 2003

  • Y.T. Yu, S.P. Ng, P.L. Poon and T.Y. Chen, “On the Use of the Classification-Tree Method by Beginning Software Testers”, Proceedings of the 2003 ACM Symposium on Applied Computing”, pp1123-1127, March 2003

  • S.P. Ng, F.C. Kuo, R.G. Merkel and T.Y. Chen, “On the Effectiveness of Genetic Operators in Adaptive Random Testing”, Proceedings of International Symposium on Future Software Technology 2002, Oct. 2002

  • S. P. Ng, T. Y. Chen, and M. F. Lau, ''Relationship between the probabilities of detecting at least one failure for test case selection with and without replacement'', In Proceedings of International Symposium on Future Software Technology 2001 , pp. 165-170, Nov. 2001

 

Jean-Guy Schneider

Publication list covering the last five years (2001-2005)

Book Chapters

  • Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Markus Bauer, and Thomas Genssler, “Composition Languages,” Object-Oriented Technology: ECOOP 2003 Workshop Reader, Frank Buschmann, Alejandro P. Buchmann and Mariano A. Cilia (Eds.), pp. 107—118, Springer, December 2003.

  • Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, and Thomas Genssler, “Composition Languages,” Object-Oriented Technology: ECOOP 2002 Workshop Reader, Juan Hernández and Ana Moreira (Eds.), pp. 107—116, Springer, December 2002.

  • Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, “Piccola — a Small Composition Language,” In Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Howard Bowman and John Derrick (Eds.), Cambridge University Press, November 2001, pp. 403—426.

  • Jean-Guy Schneider, Markus Lumpe and Oscar Nierstrasz, “Agent Coordination via Scripting Languages,” Chapter 6 of Coordination of Internet Agents: Models, Technologies and Applications, Omicini, Franco Zambonelli, Matthias Klusch and Robert Tolksdorf (Eds.), Springer, March 2001, pp. 153—175.

 

Refereed Journal Papers

  • Markus Lumpe and Jean-Guy Schneider, “A Form-based Metamodel for Software Composition” Journal of Science of Computer Programming, Special Issue on New Software Composition Concepts, 56(1-2):59—78, April 2005.

  • Jean-Guy Schneider and Lorraine Johnston, “eXtreme Programming — Helpful or Harmful in Educating Undergraduates?” Journal of Systems and Software, 17(2): 121—132, January 2005.

 

Refereed Conference and Workshop Papers

  • Rajesh Vasa, Jean-Guy Schneider, Clinton Woodward and Andrew Cain, “Detecting Structural Changes in Object-Oriented Software Systems” Proceedings of the 4th International Symposium on Empirical Software Engineering (ISESE '05), June Verner and Guilherme H. Travassos (Eds.), IEEE Computer Society Press, Noosa Heads, Australia, November 2005, to appear.

  • Markus Lumpe and Jean-Guy Schneider, “Classboxes — An Experiment in Modeling Compositional Abstractions using Explicit Context,” Proceedings of ESEC '05 Workshop on Specification and Verification of Component-Based Systems (SAVCBS '05), Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, Gary T. Leavens and Natasha Sharygina (Eds.), Lisbon, Portugal, September 2005, pp. 47—54.

  • Jean-Guy Schneider, Lorraine Johnston and Phil Joyce, “Curriculum Development in Educating Undergraduate Software Engineers — Are students being prepared for the profession?” Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), Paul Strooper (Ed.), IEEE Computer Society Press, Brisbane , Australia , March 2005, pp. 314—323.

  • Robert Bialek, Eric Jul, Jean-Guy Schneider and Yan Jin, “Partitioning of Java Applications to Support Dynamic Updates,” Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC '04), Busan , South Korea , November 2004, pp. 616—623.

  • Jean-Guy Schneider and Jun Han, “Components — the Past, the Present, and the Future,” Proceedings of Ninth International Workshop on Component-Oriented Programming (WCOP 2004), Clemens Szyperski, Wolfgang Weck and Jan Bosch (Eds.), Oslo, Norway, June 2004.

  • Markus Lumpe and Jean-Guy Schneider, “Form-based Software Composition,” Proceedings of ESEC '03 Workshop on Specification and Verification of Component-Based Systems (SAVCBS '03), Mike Barnett, Steve Edwards, Dimitra Giannakopoulou and Gary T. Leavens (Eds.), Helsinki, Finland, September 2003, pp 58—65.

  • Rajesh Vasa and Jean-Guy Schneider, “Evolution of Cyclomatic Complexity in Object Oriented Software,” Proceedings of 7th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE '03), Fernando Brito e Abreu, Mario Piattini, Geert Poels and Houari A. Sahraoui (Eds.), Darmstadt, Germany, July 2003.

  • Andrew Cain, Jean-Guy Schneider, Doug Grant and Tsong Yueh Chen, “Runtime Data Analysis for Java Programs,” Proceedings of 1st ECOOP Workshop on Advancing the State-of-the-Art in Run-Time Inspection (ASARTI '03), Robert Filman, Michael Haupt and Katharina Mehner (Eds.), Darmstadt, Germany, July 2003.

  • Jean-Guy Schneider and Lorraine Johnston, “eXtreme Programming at Universities — An Educational Perspective” Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), IEEE Computer Society Press, Portland, Oregon, May 2003, pp. 594—599.

  • Lorraine Johnston, Dirk Peters, Jean-Guy Schneider and Ursula Wellen, “Requirements Analysis in Distributed Software Engineering Education: An Experience Report,” Proceedings of the Sixth Australian Workshop on Requirements Engineering (AWRE 2001), Aybuke Aurum and Ross Jeffrey (Eds.), Sydney , Australia , November 2001, pp. 92—100.

 

Workshop Proceedings

  • Proceedings of the Sixth Australasian Workshop on Software and System Architectures (AWSA 2005) Jean-Guy Schneider (Ed.), Brisbane, Australia, April 2005.

  • Proceedings of the Fifth Australasian Workshop on Software and System Architectures (AWSA 2004) Jean-Guy Schneider and Jun Han (Eds.), Melbourne , Australia , April 2004.

  • Proceedings of 3rd ECOOP Workshop on Composition Languages (WCL 2003), Markus Lumpe, Thomas Genssler, Jean-Guy Schneider Bastiaan Schönhage, and Markus Bauer (Eds.), Darmstadt, Germany, July 2003.

  • Proceedings of 2nd ECOOP Workshop on Composition Languages (WCL 2002), Markus Lumpe, Bastiaan Schönhage, Jean-Guy Schneider and Thomas Genssler (Eds.), Malaga, Spain, June 2002.

  • Proceedings of 1st ESEC/FSE Workshop on Composition Languages (WCL 2001), Jean-Guy Schneider and Markus Lumpe (Eds.), Vienna, Austria, September 2001.


 

 

 

Top