|
Selected
Publications
Referred Journals
Wendy MacCaull, Fazle Rabbi, Hao Wang
and Adrian Rutle. "The Compensable Workflow Modeling Language". In preparation
for Formal Aspects of Computing, Springer.
Hao Wang, Heqing
Guo, Manshan Lin, Jianfei Yin, Qi He and Jun Zhang. "A New Dependable
Exchange Protocol". Computer Communications (Impact factor 0.9), Elsevier.
2006, 29(15):2770-2780. (PDF) (bibtex)
Referred Conferences
Hao Wang, Adrian Rutle, Wendy MacCaull.
"A Formal Diagrammatic Approach to Timed Workflow Modelling". 6th IEEE
International Symposium on Theoretical Aspects of Software Engineering (TASE
2012), Beijing, China, IEEE CS. July 2012.Submitted.
Adrian Rutle, Hao Wang, Wendy MacCaull.
"A Formal Diagrammatic Approach to Compensable Workflow Modelling". 50th
International Conference on Objects, Models, Components, Patterns (TOOLS
Europe 2012), Prague, Czech, LNCS. May 2012. Submitted.
Fazle Rabbi, Hao Wang, Wendy MacCaull and Adrian Rutle. "A Model
Slicing Method for Workflow Verification". 9th International Workshop on
Formal Engineering approaches to Software Components and Architectures (FESCA
2012), Estonia, ENTCS. March 2012. Accepted. (PDF)
Fazle Rabbi, Hao Wang
and Wendy MacCaull. "Compensable WorkFlow Net". The 12th
International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai,
China, LNCS 6447, Springer-Verlag. (PDF)
(bibtex)
Nazia Leyla, Ahmed
Mashiyat, Hao Wang and Wendy MacCaull. "Towards Workflow
Verification". The 20th International Conference of the IBM Center for
Advance Studies on Collaborative Research (CASCON 2010). Nov. 2010,
Pages 253-267. (bibtex)
Ahmed Mashiyat, Fazle
Rabbi, Hao Wang and Wendy MacCaull. "An Automated Translator
for Model Checking Time Constrained Workflow Systems". The 15th
International Workshop on Formal Methods for Industrial Critical Systems
2010 (FMICS 2010),
Belgium, LNCS 6371, Springer-Verlag. Sept 2010, Pages 99-114. (PDF) (bibtex)
Fazle Rabbi, Hao Wang
and Wendy MacCaull. "YAWL2DVE: An Automatic Translator for Workflow
Verification". The 4th IEEE International Conference on Secure
Software Integration and Reliability Improvement 2010 (SSIRI 2010),
Singapore, IEEE CS Press, June 2010. Pages 53-59. (bibtex)
Hao Wang and Wendy MacCaull. "An
Efficient Explicit-time Description Method for Timed Model Checking".
L. Brim and J. van de Pol (Eds.): The 8th International Workshop on
Parallel and Distributed Methods in verifiCation 2009 (PDMC’09), held as part of the Formal Methods Week 2009,
Eindhoven, the Netherlands, EPTCS
14, 2009, Pages 77–91, doi:10.4204/EPTCS.14.6 (Slides)
(PDF) (bibtex)
Hao Wang and Wendy MacCaull. "Verifying
Real-Time Systems using Explicit-time Description Methods". S. Andova
et.al. (Eds.): Workshop on Quantitative Formal Methods: Theory and Applications
(QFM’09) in the 16th Symposium on
Formal Methods (FM’09),
Eindhoven, the Netherlands, EPTCS
13, 2009, Pages 67–78, doi:10.4204/EPTCS.13.6 (Slides)
(bibtex)
Nazia Leyla, Ahmed
Mashiyat, Hao Wang and Wendy MacCaull. "Workflow Verification
with DiVinE". The 8th International Workshop on Parallel and
Distributed Methods in verifiCation (PDMC2009),
Eindhoven, The Netherlands, Nov. 2009. Work-in-progress report.
Hao Wang, Yuyi Ou, Jie Ling, Xiang Xu and
Heqing Guo. "A New Certified Email Protocol". The 5th Workshop on
Internet Communications Security (WICS2007). IEEE CS Press, Sept 2007.
Pages 683-687. (bibtex)
Hao Wang, Yuyi Ou, Jie Ling, Lu Liang and
Xiang Xu. "Certified Email Delivery with Offline TTP". The 3rd
International Symposium on Information Assurance and Security (IAS 2007).
IEEE CS Press, Aug. 2007. Pages 15-20. (bibtex)
Hao Wang, Jie Ling, Yuyi Ou, Xiang Xu and
Heqing Guo. "A New Abuse-free Contract-signing Protocol". The 6th
International Conference in IT and Application (ICITA 2007). IEEE CS Press,
Jan. 2007.
Hao Wang, Yuyi Ou, Jie Ling, Xiaotao He, Lu
Liang, Xiang Xu. "A Non-repudiable Protocol for Secure
Messaging". The IFIP International Conference on Network and Parallel
Computing (NPC 2007) Workshops. IEEE CS Press, Sept. 2007. Pages 490-494.
Hao Wang, Heqing Guo, Manshan Lin, Jianfei
Yin, Qi He and Jun Zhang. "Dependable Transaction for Electronic
Commerce". The 3rd Workshop on Internet Communications Security
(WICS2005), Singapore. LNCS 3482, Springer-Verlag. May 2005. Pages 691-700.
(bibtex)
Hao Wang, Heqing Guo, Jianfei Yin, Qi He,
Manshan Lin and Jun Zhang. "Abuse-free Item Exchange".
International Conference on Computational Science and its Applications
(ICCSA05), Singapore. LNCS 3483, Springer-Verlag. May 2005. Pages
1028-1035. (bibtex)
Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin. "A Fair
Item-Item Exchange Protocol Satisfying Newly Introduced Requirements".
The 4th International Conference in IT and Application (ICITA 2005) Volume
2, IEEE CS Press. July 2005. Pages 502-507.(bibtex)
Manshan Lin, Jianshan Xie,
Heqing Guo, Hao Wang. "Solving Qos-Driven Web Service Dynamic
Composition as Fuzzy Constraint Satisfaction". 2005 IEEE International
Conference on e-Technology, e-Commerce and e-Service (EEE’05), Hong Kong.
IEEE CS Press, Mar. 2005. Pages 9-14. (bibtex)
Hao Wang and Heqing Guo. "Fair Payment
Protocols for E-Commerce". In Lamersdorf, W., Tschammer, V., Amarger,
S. (Eds). Building The E-Society: E-Commerce, E-Business, and E-Government.
Proceedings of IFIP 18th WCC and 4th I3E Conference, Toulouse, France.
Kluwer academic publishers, Aug. 2004. Pages 227-245. (bibtex)
Hao Wang and Heqing Guo. "Achieving
Fairness in Wireless Environment". IEEE 6th CAS Symposium on Emerging
Technologies: Frontiers of Mobile and Wireless Communication, Shanghai,
China. IEEE press. May 2004. Volume 1, Pages 117-120.
Hao Wang, Heqing Guo and Manshan Lin.
"New Fair Payment protocols". The 1st International Conference on
E-business and Telecommunication Networks (ICETE04), Setubul, Portugal.
INSTICC press. Aug. 2004. Volume 1, Pages 199-203. (bibtex)
Some papers I am
reading.
Seminars
Overview
of Electronic Health Record Standards. Department of Mathematics,
Statistics and Computer Science, St. Francis Xavier University. May 4,
2011.
Towards
Distributed Model Checking of Real-time Systems. Department of
Mathematics, Statistics and Computer Science, St. Francis Xavier
University. March 20, 2009.
Toward
Fairness in Electronic Exchange. Department of Mathematics,
Statistics and Computer Science, St. Francis Xavier University. March 31,
2008.
Activities
Reviewer, Journal of
Systems and Software; KSII Transactions on Internet and Information
Systems.
Local Chair, The 12th IEEE
International Conferences on Computational Science and Engineering (CSE
2009) and the 2009 IEEE International Conference on Information Privacy,
Security, Risk and Trust (PASSAT 2009). Outstanding Leadership Award as
Local Chair.
PC member, The 3rd & 2nd
International Conference on Business Intelligence and Financial Engineering
(BIFE 2010 & 2009).
PC member, The 3rd &
2nd IEEE International Joint Conference on Computational Sciences and
Optimization (CSO 2010 & 2009).
PC member, The 2nd
International Symposium on Financial Information Processing (FIP 2009).
|
