Chun Ouyang

According to our database, Chun Ouyang authored at least 102 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

EyeXNet: Enhancing Abnormality Detection and Diagnosis via Eye-Tracking and X-ray Fusion.

Chihcheng Hsieh, André Luís, José Neves, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Joaquim Jorge, Catarina Moreira

Mach. Learn. Knowl. Extr., June, 2024

Explainable and Effective Process Remaining Time Prediction Using Feature-Informed Cascade Prediction Model.

Na Guo, Cong Liu, Caihong Li, Qingtian Zeng, Chun Ouyang, Qingzhi Liu, Xixi Lu

IEEE Trans. Serv. Comput., 2024

Process Query Language: Design, Implementation, and Evaluation.

Artem Polyvyanyy, Arthur H. M. ter Hofstede, Marcello La Rosa, Chun Ouyang, Anastasiia Pika

Inf. Syst., 2024

Developing Guidelines for Functionally-Grounded Evaluation of Explainable Artificial Intelligence using Tabular Data.

Mythreyi Velmurugan, Chun Ouyang, Yue Xu, Renuka Sindhgatta, Bemali Wickramanayake, Catarina Moreira

CoRR, 2024

CTA-Net: A CNN-Transformer Aggregation Network for Improving Multi-Scale Feature Extraction.

Chunlei Meng, Jiacheng Yang, Wei Lin, Bowen Liu, Hongda Zhang, Chun Ouyang, Zhongxue Gan

CoRR, 2024

Investigating Imperceptibility of Adversarial Attacks on Tabular Data: An Empirical Analysis.

Zhipeng He, Chun Ouyang, Laith Alzubaidi, Alistair Barros, Catarina Moreira

CoRR, 2024

DALL-M: Context-Aware Clinical Data Augmentation with LLMs.

Chihcheng Hsieh, Catarina Moreira, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Margot Brereton, Joaquim Jorge, Jacinto C. Nascimento

CoRR, 2024

Generating Feasible and Plausible Counterfactual Explanations for Outcome Prediction of Business Processes.

Alexander Stevens, Chun Ouyang, Johannes De Smedt, Catarina Moreira

CoRR, 2024

Comprehensive review of deep learning in orthopaedics: Applications, challenges, trustworthiness, and fusion.

Laith Alzubaidi, Khamael Al-Dulaimi, Asma Salhi, Zaenab Alammar, Mohammed A. Fadhel, Ahmed Shihab Albahri, Abdullah Hussein Alamoodi, Osamah Shihab Albahri, Amjad F. Hasan, Jinshuai Bai, Luke Gilliland, Jing Peng, Marco Branni, Tristan Shuker, Kenneth Cutbush, José Santamaría, Catarina Moreira, Chun Ouyang, Ye Duan, Mohamed Manoufali, Mohammad Jomaa, Ashish Gupta, Amin M. Abbosh, Yuantong Gu

Artif. Intell. Medicine, 2024

From Conventional to IoT-Enhanced: Object-Centric Event Logs for Real-Life Logistics Processes.

Jia Wei, Chun Ouyang, Weiguang Ma, Deyou Jiang, Jianglan Xia, Arthur H. M. ter Hofstede, Ying Wang, Lei Huang

Proceedings of the Best Dissertation Award, 2024

2023

Hybrid flow-shop scheduling in collaborative manufacturing with a multi-crossover-operator genetic algorithm.

Yuxiang Guan, Yuning Chen, Zhongxue Gan, Zhuo Zou, Wenchao Ding, Hongda Zhang, Yi Liu, Chun Ouyang

J. Ind. Inf. Integr., December, 2023

A systematic review of trustworthy and explainable artificial intelligence in healthcare: Assessment of quality, bias risk, and data fusion.

Ahmed Shihab Albahri, Ali Mohammed, Mohammed A. Fadhel, Alhamzah Alnoor, Noor S. Baqer, Laith Alzubaidi, Osamah Shihab Albahri, Abdullah Hussein Alamoodi, Jinshuai Bai, Asma Salhi, José Santamaría, Chun Ouyang, Ashish Gupta, Yuantong Gu, Muhammet Deveci

Inf. Fusion, August, 2023

Towards Risk-Free Trustworthy Artificial Intelligence: Significance and Requirements.

Laith Alzubaidi, Aiman Al-Sabaawi, Jinshuai Bai, Ammar Dukhan, Ahmed H. Alkenani, Ahmed Al-Asadi, Haider A. Alwzwazy, Mohamed Manoufali, Mohammed A. Fadhel, Ahmed Shihab Albahri, Catarina Moreira, Chun Ouyang, Jinglan Zhang, José Santamaría, Asma Salhi, Freek Hollman, Ashish Gupta, Ye Duan, Timon Rabczuk, Amin M. Abbosh, Yuantong Gu

Int. J. Intell. Syst., 2023

Generating multi-level explanations for process outcome predictions.

Bemali Wickramanayake, Chun Ouyang, Yue Xu, Catarina Moreira

Eng. Appl. Artif. Intell., 2023

BPCE: A Prototype for Co-Evolution between Business Process Variants through Configurable Process Model.

Linyue Liu, Xi Guo, Chun Ouyang, Patrick C. K. Hung, Hong-Yu Zhang, Keqing He, Chen Mo, Zaiwen Feng

CoRR, 2023

MDF-Net: Multimodal Dual-Fusion Network for Abnormality Detection using CXR Images and Clinical Data.

Chihcheng Hsieh, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Margot Brereton, Jacinto C. Nascimento, Joaquim Jorge, Catarina Moreira

CoRR, 2023

Learning execution contexts from event logs.

Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede

Proceedings of the 2nd International Workshop on Process Management in the AI Era (PMAI 2023) co-located with 31st International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023

Comparing Visual Search Patterns in Chest X-Ray Diagnostics.

Catarina Moreira, Diogo Miguel Alvito, Sandra Costa Sousa, Isabel Maria Gomes Blanco Nobre, Chun Ouyang, Regis Kopper, Andrew T. Duchowski, Joaquim Jorge

Proceedings of the 2023 Symposium on Eye Tracking Research and Applications, 2023

Towards Data-Driven Business Process Redesign Through the Lens of Process Mining Case Studies.

Zeping Wang, Rehan Syed, Chun Ouyang

Proceedings of the Business Process Management Workshops, 2023

2022

Configurable Batch-Processing Discovery from Event Logs.

Anastasiia Pika, Chun Ouyang, Arthur H. M. ter Hofstede

ACM Trans. Manag. Inf. Syst., 2022

Building interpretable models for business process prediction using shared and specialised attention mechanisms.

Bemali Wickramanayake, Zhipeng He, Chun Ouyang, Catarina Moreira, Yue Xu, Renuka Sindhgatta

Knowl. Based Syst., 2022

Counterfactuals and causability in explainable artificial intelligence: Theory, algorithms, and applications.

Yu-Liang Chou, Catarina Moreira, Peter Bruza, Chun Ouyang, Joaquim Jorge

Inf. Fusion, 2022

<i>OrdinoR</i>: A framework for discovering, evaluating, and analyzing organizational models using event logs.

Jing Yang, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Yang Yu

Decis. Support Syst., 2022

AMORETTO: A Method for Deriving IoT-enriched Event Logs.

Jia Wei, Chun Ouyang, Arthur H. M. ter Hofstede, Catarina Moreira

CoRR, 2022

Benchmark Evaluation of Counterfactual Algorithms for XAI: From a White Box to a Black Box.

Yu-Liang Chou, Chihcheng Hsieh, Catarina Moreira, Chun Ouyang, Joaquim Jorge, João Madeiras Pereira

CoRR, 2022

Crop Harvest Forecast via Agronomy-Informed Process Modelling and Predictive Monitoring.

Jing Yang, Chun Ouyang, Güvenç Dik, Paul Corry, Arthur H. M. ter Hofstede

Proceedings of the Advanced Information Systems Engineering, 2022

Generating Purpose-Driven Explanations: The Case of Process Predictive Model Inspection.

Bemali Wickramanayake, Chun Ouyang, Catarina Moreira, Yue Xu

Proceedings of the Intelligent Information Systems, 2022

No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.

Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst

Proceedings of the Business Process Management - 20th International Conference, 2022

2021

Design and Realisation of Scalable Business Process Management Systems for Deployment in the Cloud.

Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede, Yang Yu

ACM Trans. Manag. Inf. Syst., 2021

LINDA-BN: An interpretable probabilistic approach for demystifying black-box predictive models.

Catarina Moreira, Yu-Liang Chou, Mythreyi Velmurugan, Chun Ouyang, Renuka Sindhgatta, Peter Bruza

Decis. Support Syst., 2021

Explainable AI Enabled Inspection of Business Process Prediction Models.

Chun Ouyang, Renuka Sindhgatta, Catarina Moreira

CoRR, 2021

Interpreting Process Predictions using a Milestone-Aware Counterfactual Approach.

Chihcheng Hsieh, Catarina Moreira, Chun Ouyang

CoRR, 2021

Developing a Fidelity Evaluation Approach for Interpretable Machine Learning.

Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta

CoRR, 2021

Evaluating Stability of Post-hoc Explanations for Business Process Predictions.

Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

DiCE4EL: Interpreting Process Predictions using a Milestone-Aware Counterfactual Approach.

Chihcheng Hsieh, Catarina Moreira, Chun Ouyang

Proceedings of the 3rd International Conference on Process Mining, 2021

Evaluating Fidelity of Explainable Methods for Predictive Process Analytics.

Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta

Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Seeing the Forest for the Trees: Group-Oriented Workforce Analytics.

Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Leyer

Proceedings of the Business Process Management - 19th International Conference, 2021

2020

Evaluating Explainable Methods for Predictive Process Analytics: A Functionally-Grounded Approach.

Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta

CoRR, 2020

A Survey of Online Card Payment Fraud Detection using Data Mining-based Methods.

Bemali Wickramanayake, Dakshi Tharanga Kapugama Geeganage, Chun Ouyang, Yue Xu

CoRR, 2020

OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs.

Jing Yang, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Yang Yu

CoRR, 2020

An Interpretable Probabilistic Approach for Demystifying Black-box Predictive Models.

Catarina Moreira, Yu-Liang Chou, Mythreyi Velmurugan, Chun Ouyang, Renuka Sindhgatta, Peter Bruza

CoRR, 2020

An Investigation of Interpretability Techniques for Deep Learning in Predictive Process Analytics.

Catarina Moreira, Renuka Sindhgatta, Chun Ouyang, Peter Bruza, Andreas Wichert

CoRR, 2020

Robotic Process Automation: Contemporary themes and challenges.

Rehan Syed, Suriadi Suriadi, Michael Adams, Wasana Bandara, Sander J. J. Leemans, Chun Ouyang, Arthur H. M. ter Hofstede, Inge van de Weerd, Moe Thandar Wynn, Hajo A. Reijers

Comput. Ind., 2020

Static Analysis for Improved Modularity of Procedural Web Application Programming Interfaces.

Alistair Barros, Chun Ouyang, Fuguo Wei

IEEE Access, 2020

Exploring Interpretability for Predictive Process Analytics.

Renuka Sindhgatta, Chun Ouyang, Catarina Moreira

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

Exploring Interpretable Predictive Models for Business Processes.

Renuka Sindhgatta, Catarina Moreira, Chun Ouyang, Alistair Barros

Proceedings of the Business Process Management - 18th International Conference, 2020

2019

Interpreting Predictive Process Monitoring Benchmarks.

Renuka Sindhgatta, Chun Ouyang, Catarina Moreira, Yi Liao

CoRR, 2019

Preference-Based Resource and Task Allocation in Business Process Automation.

Reihaneh Bidar, Arthur H. M. ter Hofstede, Renuka Sindhgatta, Chun Ouyang

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling.

Chathurika Wickramage, Colin J. Fidge, Chun Ouyang, Tony Sahama

Proceedings of the Australasian Computer Science Week Multiconference, 2019

Network Ties and Their Effect on Employee Collaboration in Enterprise Social Networks: A Review and Research Agenda.

Shilpa Kochar, Jason Watson, Chun Ouyang

Proceedings of the Australasian Conference on Information Systems, 2019

2018

Towards Event Log Querying for Data Quality - Let's Start with Detecting Log Imperfections.

Robert Andrews, Suriadi Suriadi, Chun Ouyang, Erik Poppe

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Design and Performance Analysis of Load Balancing Strategies for Cloud-Based Business Process Management Systems.

Michael Adams, Chun Ouyang, Arthur H. M. ter Hofstede, Yang Yu

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Towards the Design of a Scalable Business Process Management System Architecture in the Cloud.

Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede, Yang Yu

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Finding the "Liberos": Discover Organizational Models with Overlaps.

Jing Yang, Chun Ouyang, Maolin Pan, Yang Yu, Arthur H. M. ter Hofstede

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

Supporting aspect orientation in business process management - From process modelling to process enactment.

Amin Jalali, Chun Ouyang, Petia Wohed, Paul Johannesson

Softw. Syst. Model., 2017

Process querying: Enabling business intelligence through query-based process analytics.

Artem Polyvyanyy, Chun Ouyang, Alistair Barros, Wil M. P. van der Aalst

Decis. Support Syst., 2017

2015

Workflow Management.

Chun Ouyang, Michael Adams, Moe Thandar Wynn, Arthur H. M. ter Hofstede

Proceedings of the Handbook on Business Process Management 1, 2015

Process Mining for Clinical Processes: A Comparative Analysis of Four Australian Hospitals.

Andrew Partington, Moe Thandar Wynn, Suriadi Suriadi, Chun Ouyang, Jonathan Karnon

ACM Trans. Manag. Inf. Syst., 2015

Untanglings: a novel approach to analyzing concurrent systems.

Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur H. M. ter Hofstede

Formal Aspects Comput., 2015

Event interval analysis: Why do processes take time?

Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede

Decis. Support Syst., 2015

Discovering Behavioural Interfaces for Overloaded Web Services.

Fuguo Wei, Chun Ouyang, Alistair Barros

Proceedings of the 2015 IEEE World Congress on Services, 2015

Deriving Artefact-Centric Interfaces for Overloaded Web Services.

Fuguo Wei, Alistair Barros, Chun Ouyang

Proceedings of the Advanced Information Systems Engineering, 2015

Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment.

Michael Adams, Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede

Proceedings of the Asia Pacific Business Process Management, 2015

2014

How to guarantee compliance between workflows and product lifecycles?

Zhaoxia Wang, Arthur H. M. ter Hofstede, Chun Ouyang, Moe Thandar Wynn, Jianmin Wang, Xiaochen Zhu

Inf. Syst., 2014

Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis.

Suriadi Suriadi, Burkhard Weiß, Axel Winkelmann, Arthur H. M. ter Hofstede, Michael Adams, Raffaele Conforti, Colin J. Fidge, Marcello La Rosa, Chun Ouyang, Anastasiia Pika, Michael Rosemann, Moe Thandar Wynn

Commun. Assoc. Inf. Syst., 2014

Extending BPMN for Configurable Process Modeling.

Hongyan Zhang, Weilun Han, Chun Ouyang

Proceedings of the Moving Integrated Product Development to Service Clouds in the Global Economy, 2014

Service Interface Synthesis in Business Networks.

Fuguo Wei, Alistair Barros, Chun Ouyang

Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

2013

YAWL4Industry: Reflections on using YAWL for Industry Projects.

Moe Thandar Wynn, Chun Ouyang, Michael Adams

Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013

Dynamic Weaving in Aspect Oriented Business Process Management.

Amin Jalali, Petia Wohed, Chun Ouyang, Paul Johannesson

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Cost-Informed Operational Process Support.

Moe Thandar Wynn, Hajo A. Reijers, Michael Adams, Chun Ouyang, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Rosemann, Zahirul Hoque

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study.

Suriadi Suriadi, Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Nienke J. van Dijk

Proceedings of the Advanced Information Systems Engineering, 2013

APQL: A Process-Model Query Language.

Arthur H. M. ter Hofstede, Chun Ouyang, Marcello La Rosa, Liang Song, Jianmin Wang, Artem Polyvyanyy

Proceedings of the Asia Pacific Business Process Management, 2013

Cost-Aware Business Process Management: A Research Agenda.

Moe Wynn, Jochen De Weerdt, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Hajo A. Reijers, Michael Adams, Chun Ouyang, Michael Rosemann, Wei Zhe Low

Proceedings of the Australasian Conference on Information Systems, 2013

2012

Privacy Compliance Verification in Cryptographic Protocols.

Suriadi Suriadi, Chun Ouyang, Ernest Foo

Trans. Petri Nets Other Model. Concurr., 2012

Analysing And Improving A Recruitment Process: A Teaching Case For Developing Business Process Improvement Capabilities.

Wasana Bandara, Chun Ouyang

Proceedings of the 16th Pacific Asia Conference on Information Systems, 2012

Operational Semantics of Aspects in Business Process Management.

Amin Jalali, Petia Wohed, Chun Ouyang

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Aspect Oriented Business Process Modelling with Precedence.

Amin Jalali, Petia Wohed, Chun Ouyang

Proceedings of the Business Process Model and Notation - 4th International Workshop, 2012

Root Cause Analysis with Enriched Process Logs.

Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede

Proceedings of the Business Process Management Workshops, 2012

2011

Data and process requirements for product recall coordination.

Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge

Comput. Ind., 2011

Workflow support for scheduling in surgical care processes.

Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge

Proceedings of the 19th European Conference on Information Systems, 2011

2010

Modelling Complex Resource Requirements in Business Process Management Systems.

Chun Ouyang, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Jan-Christian Kuhr

Proceedings of the Australasian Conference on Information Systems, 2010

The Business Process Execution Language.

Chun Ouyang, Marlon Dumas, Petia Wohed

Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

YAWL4Film.

Chun Ouyang

Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009

From business process models to process-oriented software systems.

Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling

ACM Trans. Softw. Eng. Methodol., 2009

Comparing and evaluating Petri net semantics for BPEL.

Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl

Int. J. Bus. Process. Integr. Manag., 2009

Modeling and Verification of Privacy Enhancing Protocols.

Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo

Proceedings of the Formal Methods and Software Engineering, 2009

Yet Another Workflow Language.

Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede

Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008

Conformance checking of service behavior.

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek

ACM Trans. Internet Techn., 2008

Pattern-Based Translation of BPMN Process Models to BPEL Web Services.

Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst

Int. J. Web Serv. Res., 2008

Toward Web-Scale Workflows for Film Production.

Chun Ouyang, Marcello La Rosa, Arthur H. M. ter Hofstede, Marlon Dumas, Katherine Shortland

IEEE Internet Comput., 2008

Semantics and analysis of business process models in BPMN.

Remco M. Dijkman, Marlon Dumas, Chun Ouyang

Inf. Softw. Technol., 2008

The Service Adaptation Machine.

Kenneth Wang, Marlon Dumas, Chun Ouyang, Julien Vayssière

Proceedings of the ECOWS 2008, 2008

2007

Formal semantics and analysis of control flow in WS-BPEL.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Sci. Comput. Program., 2007

2006

From BPMN Process Models to BPEL Web Services.

Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Translating Standard Process Models to BPEL.

Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

WofBPEL: A Tool for Automated Analysis of BPEL Processes.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Proceedings of the Service-Oriented Computing, 2005

2004

An improved formal specification of the Internet Open Trading Pprotocol.

Chun Ouyang, Jonathan Billington

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Formal Analysis of the Internet Open Trading Protocol.

Chun Ouyang, Jonathan Billington

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

On Verifying the Internet Open Trading Protocol.

Chun Ouyang, Jonathan Billington

Proceedings of the E-Commerce and Web Technologies, 4th International Conference, 2003

2002

A Formal and Executable Specification of the Internet Open Trading Protocol.

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington

Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002

A Formal Service Specification for the Internet Open Trading Protocol.

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington

Proceedings of the Applications and Theory of Petri Nets 2002, 2002