[Advisor]  [Course]  [Member]  [Research]  [Resource]  http://iclab.csie.ntnu.edu.tw/
HOME > ADVISOR > PUBLICATION ◊ CSIE   ◊ NTNU
Gwan-Hwan Hwang(黃冠寰)
黃冠寰 (Gwan-Hwan Hwang)    教授

Papers in Submission and Preparation

• The Optimal Querying of Encrypted XML Documents in XQuery. Tao-Ku Chang and Gwan-Hwan Hwang. Submitted to journal for publication.

• Dynamic Termination Decision for Concurrent Programs with Busy-Waiting Loops. Che-Sheng Lin and Gwan-Hwan Hwang. In preparation to submit to journal for publication.

• State-cover Testing for Nondeterministic Concurrent Programs with an Infinite number of Synchronization Sequences. Che-Sheng Lin and Gwan-Hwan Hwang. Submitted to journal for publication.

• The Fulfillment of Chinese Wall Security Model in Workflow Management Systems. Yu-Cheng Hsiao and Gwan-Hwan Hwang. Submitted to conference for publication.

• A Security Framework for Decentralized Workflow Management Systems. Yu-Cheng Hsiao and Gwan-Hwan Hwang. In preparation to submit to journal for publication.

• The Formal Verification of SYN-sequences Generated in Dynamic testing of Concurrent Software. Gwan-Hwan Hwang, Bow-Yaw Wang, Yan-You Li, and Che-Sheng Lin. In preparation to submit to conference for publication.

• Dynamic Security Policy in Service Oriented Architecture. Chi Wu-Lee and Gwan-Hwan Hwang. In preparation to submit to conference for publication.

Journals & Book Chapters

• The Design and Implementation of Appointed File Prefetching for Distributed File Systems. Gwan-Hwan Hwang, Hsin-Fu Lu, Chun-Chin Sy, and Chiu-Yang Chang. To appear in Journal of Research and Practice in Information Technology, Vol. 40, No. 2, May 2008. SCI

• A Secure Query Language for XML Documents. Tao-Ku Chang and Gwan-Hwan Hwang. Accepted for publication in the Journal of Information Science and Engineering. Vol.24 No. 6 (November 2008) SCI

• WSNFS: A Web-Services-Based Network File System. Gwan-Hwan Hwang, Chih-Hao Yu, Chun-Chin Sy, and Chiu-Yang Chang. To appear in Journal of Information Science and Engineering.Vol.24 No. 3 (May 2008) SCI

• The Design and Implementation of an Application Program Interface for Securing XML Documents. Tao-Ku Chang and Gwan-Hwan Hwang. Journal of Systems and Software, Volume 80, Issue 8, Pages 1362-1374, August 2007. (DOI information: 10.1016/j.jss.2006.10.051) SCI

•  To Secure XML Documents with the Extension Function of XSLT, by Tao-Ku Chang and Gwan-Hwan Hwang. Software - Practice and Experience, Volume 36, Issue 5, Pages 539-555,April 2006. SCI

• Design of an Object-Oriented Workflow Management System with Reusable and Fine-Grained Components, by Gwan-Hwan Hwang, Yung-Chuan Lee, and Sheng-He Chang. H. Fuks, S. Lukosch, and A.C. Salgado (Eds.): CRIWG 2005, Lecture Notes in Computer Science, Vol. 3706, ISBN:3-540-29110-5, pp. 192 – 207, 2005. SCI

• Towards the Security of XML Documents, by Gwan-Hwan Hwang and Tao-Ku Chang. Data Management, Storage & Security Review 2005. ISBN: 1-905052-26-X, Touch Briefings, 2005. Postscript File

•  A Flexible Failure-recovery Model for Workflow Management Systems, by Gwan-Hwan Hwang, Yung-Chuan Lee, and Bor-Yih Wu. International Journal of Cooperative Information Systems, Vol. 14, No. 1 (2005) 1-24. SCI Postscript File

•  An Operational Model and Language Support for Securing XML Documents, by Gwan-Hwan Hwang and Tao-Ku Chang. Computers & Security,Volume 23, Issue 6, pp. 498-529, 2004. SCI Postscript File

•  An Efficient Algorithm for Communication Set Generation of Data Parallel Programs with Block-Cyclic Distribution, by Gwan-Hwan Hwang. Parallel Computing, Volume 30, Issue 4, 2004, pp. 473-501. SCI Postscript File

•  Technology for Testing Nondeterministic Client/Server Database Applications, by Gwan-Hwan Hwang , Sheng-Jen Chang, and Huey-Der Chu. IEEE Transaction on Software Engineering, Volume 30, Number 1, pp. 59-77, January 2004. SCI Postscript File

•  A New Language to Support Flexible Failure Recovery for Workflow Management Systems, by Gwan-Hwan Hwang, Yung-Chuan Lee, and Bor-Yih Wu. Jesus Favela and Dominique Decouchant (Eds.): Groupware: Design, Implementation and Use, Lecture Notes in Computer Science 2806, ISBN 3-540-20117-3, 2003, pp. 135-150. SCI

•  Segmented Alignment: A New Automatic Data Alignment Model for Data Parallel Programs, by Gwan-Hwan Hwang, Chen-Wei Cheng, Jenq Kuen Lee, and Dz-Ching Ju. Journal of Supercomputing, 25 (1): 17-41, May 2003. SCI Postscript File

•  Array Operation Synthesis to Optimize HPF programs on distributed memory machines, by Gwan-Hwan Hwang,Jenq Kuen Lee, and Dz-Ching Ju. Journal of Parallel and Distributed Computing 61, pp. 467-500, 2001. SCI Postscript File

•  Communication Set Generations with CSD Calculus and Expression Re-writing Framework, by Gwan-Hwan Hwang, and Jenq Kuen Lee. Parallel Computing, 25 (1999), 1105-1139. SCI Postscript File

•  A Function-Composition Approach to Synthesize Fortran 90 Array Operations, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching Ju, Journal of Parallel and Distributed Computing 54, pp. 1-47, 1998. SCI Postscript File

•  Integrating Automatic Data Alignment and Array Operation Synthesis to Optimize Data Parallel Programs, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching Ju. In Zhiyuan Li, Pen-Chung Yew, Siddhartha Chatterjee, Chua-Huang Huang, P. Sadayappan, David C. Sehr (Eds.): Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science 1366, ISBN 3-540-64472-5, 1997. SCI

•  An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching Ju. ACM SIGPLAN NOTICES, Volume 30, Number 8, August 1995. (ACM PPoPP Issue). SCI Postscript File

•  Reachability Testing : An Approach to Testing Concurrent Software, by Gwan-Hwan Hwang, Kuo-Chung Tai, and Ting-Lu Huang. International Journal of Software Engineering and Knowledge Engineering, Vol. 5 No.4 December 1995. (The chapter 33.3.4 of Parallel and Distributed Computing Handbook, ISBN:0070730202, McGRAW-HILL, 1996, discusses the Reachability Testing.) SCI Postscript File

Conferences & Workshops

• A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems, by Gwan-Hwan Hwang, Che-Sheng Lin , Li-Te Tsao, Kuei-Huan Chen, and Yan-You Li. Accepted as a regular research paper in IEEE 2009 International Symposium on Theoretical Aspects of Software Engineering (IEEE TASE'09) , July 29 - 31, 2009, Tianjin, China. (The overal paper acceptance rate for regular papers was 27%)

• Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs, by Che-Sheng Lin and Gwan-Hwan Hwang. To appear in IEEE 2009 International Symposium on Theoretical Aspects of Software Engineering (IEEE TASE'09) , July 29 - 31, 2009, Tianjin, China.

• An Operational Model and Language Support for Securing Web Services, by Gwan-Hwan Hwang, Yu-Hsuan Chang, and Tao-Ku Chang. Accepted for presentation and publication in IEEE 2007 International Conference on Web Services (IEEE ICWS'07) , July 9-13, 2007, Salt Lake City, Utah, USA.

• XDWfMS: An XML-Based Distributed Workflow Management System, by Gwan-Hwan Hwang, Yu-Cheng Hsiao, and Sheng-Ho Chang. Accepted as a regular research paper in The Fifth International Workshop on XML Technology and Applications (XMLTech'07) , June 25-28, 2007, Las Vegas, Nevada, USA. (The overal paper acceptance rate for regular papers was 27%)

• A Processing Model for the Optimal Querying of Encrypted XML Documents in XQuery, by Tao-Ku Chang and Gwan-Hwan Hwang. The 18th Australasian Database Conference (ADC 2007) , Ballarat, Australia, January 29th - 2nd February 20. (ADC was ranked 48 out of 328 considered conferences in the Computer Science Conference Ranking, http://www.cs-conference-ranking.org/. EIC=0.75)

• Appointed File Prefetching for Distributed File Systems, by Gwan-Hwan Hwang, Hsin-Fu Lin, Chun-Chin Sy, and Chiu-Yang Chang. The 2006 International Conference on Internet Computing (ICOMP 2006) , June 26-29, 2006, Monte Carlo Resort, Las Vegas, Nevada, USA. (ICOMP was ranked 43 out of 328 considered conferences in the Computer Science Conference Ranking, http://www.cs-conference-ranking.org/. EIC=0.76)

• Design and Implementation of a Web-Services-Based Network File System, by Gwan-Hwan Hwang and Chih-Hao Yu. International Conference on Internet and Web Applications and Services (ICIW 2006) , February 23-25, 2006, Guadeloupe, French Caribbean. Published by IEEE Computer Society.

• Design of an Object-Oriented Workflow Management System with Reusable and Fine-Grained Components, by Gwan-Hwan Hwang, Yung-Chuan Lee, and Sheng-He Chang. The 11th International Workshop Groupware (CRIWG 2005), September 25-29, 2005, Porto de Galinhas, Pernambuco, Brasil.

• An Application Program Interface for Securing XML Documents, by Tao-Ku Chang and Gwan-Hwan Hwang. The 2005 International Conference on Internet Computing (ICOMP'05), June 27-30, 2005, Las Vegas, USA.

• Using the Extension Function of XSLT and DSL to Secure XML Documents, by Tao-Ku Chang and Gwan-Hwan Hwang. The 18th IEEE International Conference on Advanced Information Networking and Applications (AINA 2004), March 29 - March 31, 2004, Fukuoka, Japan. (a 26% acceptance rate). This paper received AWARDTHE HIGHLY COMMENDED PAPER AWARD of the IEEE AINA 2004. (DOI information: 10.1016/j.parco.2004.02.001)

• A New Language to Support Flexible Failure Recovery for Workflow Management Systems, by Gwan-Hwan Hwang, Yung-Chuan Lee,and Bor-Yih Wu. The 19th International Workshop on Groupware (CRIWG 2003), Grenoble(Autrans), France. (a 35% acceptance rate).

• Towards Attribute Encryption and a Generalized Encryption Model for XML, by Gwan-Hwan Hwang and Tao-Ku Chang. The 4th International Conference on Internet Computing 2003 (IC'03), Las Vegas, Nevada, USA.

• An Efficient Algorithm for Computing Communication Sets for Data Parallel Programs with Block-Cyclic Distribution, by Gwan-Hwan Hwang. IEEE Computer Society Press in the proceedings of the 2002 International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), Vancouver, B.C., Canada. ISBN 0-7695-1680-7. (DOI information: 10.1016/j.parco.2004.02.001)

• sXQuery: A Secure XML Query Language for XML Documents, by Gwan-Hwan Hwang and Tao-Ku Chang. The 3rd International Conference on Internet Computing 2002 (IC'02), Las Vegas, Nevada, USA. CSREA Press, ISBN 1-892512-38-6.

• Document Security Language (DSL) and an Efficient Automatic Securing Tool for XML Documents, by Gwan-Hwan Hwang, and Tao-Ku Chang. The 2nd International Conference on Internet Computing 2001 (IC'01), Las Vegas, Nevada, USA.CSREA Press, ISBN 1-892512-8-X.

• Testing of Non-Deterministic Client-Server Database Applications, by Gwan-Hwan Hwang, Juey-Der Chu, and K. C. Tai. Regular Research Paper in the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001: June 25-28, 2001, Monte Carlo Resort, Las Vegas, Nevada, USA). Micorsoft WORD File

• An Expression-Rewriting Framework to Generate Communication Sets for HPF Programs with Block-Cyclic Distribution, by Gwan-Hwan Hwang, and Jenq Kuen Lee. Proceeding of the 12th International Parallel Processing Symposium (IPPS'98), Orlando, USA. Postscript File
Full Version: Postscript File ; Slice: Microsoft POWERPOINT File

• Integrating Automatic Data Alignment and Array Operation Synthesis to Optimize Data Parallel Programs, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching J. The 10th International Workshop on Languages and Compilers for Parallel Computing (LCPC'97), Minneapolis, USA, August 7-9, 1997. Postscript File

• Array Operation Synthesis to Optimize HPF programs, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching Ju. Proceedings of International Conference on Parallel Processing (ICPP'96), Chicago, USA, August 1996. Postscript File

• An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs, by Gwan-Hwan Hwang, Jenq Kuen Lee, and Dz-Ching Ju. Proceedings of the 5th ACM SIGPLAN Symposium on Principles Practice of Parallel Programming (ACM PPoPP'95), Santa Barbara, CA, USA, July 19-21, 1995. Postscript File

• Reachability Testing : An Approach to Testing Concurrent Software, by Gwan-Hwan Hwang, Kuo-Chung Tai, and Ting-Lu Hunag. Proc. First Asia-Pacific Software Engineering Conference (APSEC'94), Tokyo, Japan, 1994, IEEE Computer Press, 246-255. (DOI information: 10.1109/APSEC.1994.465255)

Awards

• Using the Extension Function of XSLT and DSL to Secure XML Documents, by Tao-Ku Chang and Gwan-Hwan Hwang. The 18th IEEE International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka, Japan. (a 26% acceptance rate). This paper received AWARDTHE HIGHLY COMMENDED PAPER AWARD of the IEEE AINA 2004.

• Array Operation Synthesis to Optimize Data Parallel Programs, by Gwan-Hwan Hwang. Phd. Thesis, Department of Computer Science, National Tsing-Hua University, Taiwan, 1998. My Ph.D. dissertation received a distinguished dissertation award (as honorable mention) from Taiwan Computer Science Society (IICM), 1999.

Software & System Implementation

• MAS TC/S: Roaming Thin Clients in a Wide Area Network with Transparent Working Environments.

• DSL Securing Tool: An implementation of an operational model for XML document security. http://www.xml-dsl.com/ New!

• A Race Variant Generator for Reachability Testing. ZIP File New!

• CSD Calculus: An Expression-Rewriting Framework to Generate Communication Sets for HPF Programs with Block-Cyclic Distribution by Gwan-Hwan Hwang. Compressed File

• SYNTOOL: An implementation of the Array Operation Synthesis compiler optimization scheme.

• Electronic Documents Management System: Implemented in Lotus Notes R5. A groupware solution for document management system with flow control and dynamic form functions. Used in National Defense Management College. (For compulsory military service.)

• Course Scheduling System: Implemented in Power Builder 6.0 which was installed and used in 21 departments of Naval Technical School, Taiwan.

Others

• Array Operation Synthesis to Optimize Data Parallel Programs, by Gwan-Hwan Hwang. Phd. Thesis, Department of Computer Science, National Tsing-Hua University, Taiwan, 1998. Postscript File ; Slice Ⅰ: Microsoft POWERPOINT File , Slice Ⅱ: Microsoft POWERPOINT File , Slice Ⅲ: Microsoft POWERPOINT File

• A WWW-based Syntool to Optimize HPF Programs, by Cheng-Wei Chen, Gwan-Hwan Hwang, and Jenq Kuen Lee, Technical report, National Tsing-Hua University, Taiwan, 1996.

• A Systematic Parallel Testing Method for Concurrent Programs, by Gwan-Hwan Hwang. Master Thesis, Institute of Computer Science and Information Engineer, National Chiao-Tung University, Taiwan, 1993. Postscript File



Copyright © 2009 Internet Computing Laboratory.    All rights reserved.