default search action
Chun Ouyang 0001
Person information
- affiliation: Queensland University of Technology, Brisbane, Australia
Other persons with the same name
- Chun Ouyang 0002 — Fudan University, Academy for Engineering and Technology, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j32]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:
Comprehensive review of deep learning in orthopaedics: Applications, challenges, trustworthiness, and fusion. Artif. Intell. Medicine 155: 102935 (2024) - [j31]Artem Polyvyanyy, Arthur H. M. ter Hofstede, Marcello La Rosa, Chun Ouyang, Anastasiia Pika:
Process Query Language: Design, Implementation, and Evaluation. Inf. Syst. 122: 102337 (2024) - [j30]Chihcheng Hsieh, André Luís, José Neves, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Joaquim Jorge, Catarina Moreira:
EyeXNet: Enhancing Abnormality Detection and Diagnosis via Eye-Tracking and X-ray Fusion. Mach. Learn. Knowl. Extr. 6(2): 1055-1071 (2024) - [j29]Na Guo, Cong Liu, Caihong Li, Qingtian Zeng, Chun Ouyang, Qingzhi Liu, Xixi Lu:
Explainable and Effective Process Remaining Time Prediction Using Feature-Informed Cascade Prediction Model. IEEE Trans. Serv. Comput. 17(3): 949-962 (2024) - [i20]Alexander Stevens, Chun Ouyang, Johannes De Smedt, Catarina Moreira:
Generating Feasible and Plausible Counterfactual Explanations for Outcome Prediction of Business Processes. CoRR abs/2403.09232 (2024) - [i19]Chihcheng Hsieh, Catarina Moreira, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Margot Brereton, Joaquim Jorge, Jacinto C. Nascimento:
DALL-M: Context-Aware Clinical Data Augmentation with LLMs. CoRR abs/2407.08227 (2024) - [i18]Zhipeng He, Chun Ouyang, Laith Alzubaidi, Alistair Barros, Catarina Moreira:
Investigating Imperceptibility of Adversarial Attacks on Tabular Data: An Empirical Analysis. CoRR abs/2407.11463 (2024) - 2023
- [j28]Bemali Wickramanayake, Chun Ouyang, Yue Xu, Catarina Moreira:
Generating multi-level explanations for process outcome predictions. Eng. Appl. Artif. Intell. 125: 106678 (2023) - [j27]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:
Towards Risk-Free Trustworthy Artificial Intelligence: Significance and Requirements. Int. J. Intell. Syst. 2023: 1-41 (2023) - [j26]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:
A systematic review of trustworthy and explainable artificial intelligence in healthcare: Assessment of quality, bias risk, and data fusion. Inf. Fusion 96: 156-191 (2023) - [j25]Yuxiang Guan, Yuning Chen, Zhongxue Gan, Zhuo Zou, Wenchao Ding, Hongda Zhang, Yi Liu, Chun Ouyang:
Hybrid flow-shop scheduling in collaborative manufacturing with a multi-crossover-operator genetic algorithm. J. Ind. Inf. Integr. 36: 100514 (2023) - [c46]Zeping Wang, Rehan Syed, Chun Ouyang:
Towards Data-Driven Business Process Redesign Through the Lens of Process Mining Case Studies. Business Process Management Workshops 2023: 259-271 - [c45]Catarina Moreira, Diogo Miguel Alvito, Sandra Costa Sousa, Isabel Maria Gomes Blanco Nobre, Chun Ouyang, Regis Kopper, Andrew T. Duchowski, Joaquim Jorge:
Comparing Visual Search Patterns in Chest X-Ray Diagnostics. ETRA 2023: 4:1-4:6 - [c44]Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede:
Learning execution contexts from event logs. PMAI@IJCAI 2023: 33-36 - [i17]Chihcheng Hsieh, Isabel Blanco Nobre, Sandra Costa Sousa, Chun Ouyang, Margot Brereton, Jacinto C. Nascimento, Joaquim Jorge, Catarina Moreira:
MDF-Net: Multimodal Dual-Fusion Network for Abnormality Detection using CXR Images and Clinical Data. CoRR abs/2302.13390 (2023) - [i16]Linyue Liu, Xi Guo, Chun Ouyang, Patrick C. K. Hung, Hong-Yu Zhang, Keqing He, Chen Mo, Zaiwen Feng:
BPCE: A Prototype for Co-Evolution between Business Process Variants through Configurable Process Model. CoRR abs/2303.17388 (2023) - 2022
- [j24]Jing Yang, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Yang Yu:
OrdinoR: A framework for discovering, evaluating, and analyzing organizational models using event logs. Decis. Support Syst. 158: 113771 (2022) - [j23]Yu-Liang Chou, Catarina Moreira, Peter Bruza, Chun Ouyang, Joaquim Jorge:
Counterfactuals and causability in explainable artificial intelligence: Theory, algorithms, and applications. Inf. Fusion 81: 59-83 (2022) - [j22]Bemali Wickramanayake, Zhipeng He, Chun Ouyang, Catarina Moreira, Yue Xu, Renuka Sindhgatta:
Building interpretable models for business process prediction using shared and specialised attention mechanisms. Knowl. Based Syst. 248: 108773 (2022) - [j21]Anastasiia Pika, Chun Ouyang, Arthur H. M. ter Hofstede:
Configurable Batch-Processing Discovery from Event Logs. ACM Trans. Manag. Inf. Syst. 13(3): 28:1-28:25 (2022) - [c43]Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst:
No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining. BPM 2022: 163-180 - [c42]Bemali Wickramanayake, Chun Ouyang, Catarina Moreira, Yue Xu:
Generating Purpose-Driven Explanations: The Case of Process Predictive Model Inspection. CAiSE Forum 2022: 120-129 - [c41]Jing Yang, Chun Ouyang, Güvenç Dik, Paul Corry, Arthur H. M. ter Hofstede:
Crop Harvest Forecast via Agronomy-Informed Process Modelling and Predictive Monitoring. CAiSE 2022: 201-217 - [i15]Yu-Liang Chou, Chihcheng Hsieh, Catarina Moreira, Chun Ouyang, Joaquim Jorge, João Madeiras Pereira:
Benchmark Evaluation of Counterfactual Algorithms for XAI: From a White Box to a Black Box. CoRR abs/2203.02399 (2022) - [i14]Jia Wei, Chun Ouyang, Arthur H. M. ter Hofstede, Catarina Moreira:
AMORETTO: A Method for Deriving IoT-enriched Event Logs. CoRR abs/2212.02071 (2022) - 2021
- [j20]Catarina Moreira, Yu-Liang Chou, Mythreyi Velmurugan, Chun Ouyang, Renuka Sindhgatta, Peter Bruza:
LINDA-BN: An interpretable probabilistic approach for demystifying black-box predictive models. Decis. Support Syst. 150: 113561 (2021) - [j19]Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede, Yang Yu:
Design and Realisation of Scalable Business Process Management Systems for Deployment in the Cloud. ACM Trans. Manag. Inf. Syst. 12(4): 36:1-36:26 (2021) - [c40]Jing Yang, Chun Ouyang, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Leyer:
Seeing the Forest for the Trees: Group-Oriented Workforce Analytics. BPM 2021: 345-362 - [c39]Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta:
Evaluating Fidelity of Explainable Methods for Predictive Process Analytics. CAiSE Forum 2021: 64-72 - [c38]Chihcheng Hsieh, Catarina Moreira, Chun Ouyang:
DiCE4EL: Interpreting Process Predictions using a Milestone-Aware Counterfactual Approach. ICPM 2021: 88-95 - [c37]Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta:
Evaluating Stability of Post-hoc Explanations for Business Process Predictions. ICSOC 2021: 49-64 - [e3]John Krogstie, Chun Ouyang, Jolita Ralyté:
Proceedings of the Doctoral Consortium Papers Presented at the 33rd International Conference on Advanced Information Systems Engineering (CAiSE 2021), Melbourne, Australia, June 28 - July 2, 2021. CEUR Workshop Proceedings 2906, CEUR-WS.org 2021 [contents] - [i13]Yu-Liang Chou, Catarina Moreira, Peter Bruza, Chun Ouyang, Joaquim Jorge:
Counterfactuals and Causability in Explainable Artificial Intelligence: Theory, Algorithms, and Applications. CoRR abs/2103.04244 (2021) - [i12]Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta:
Developing a Fidelity Evaluation Approach for Interpretable Machine Learning. CoRR abs/2106.08492 (2021) - [i11]Chihcheng Hsieh, Catarina Moreira, Chun Ouyang:
Interpreting Process Predictions using a Milestone-Aware Counterfactual Approach. CoRR abs/2107.08697 (2021) - [i10]Chun Ouyang, Renuka Sindhgatta, Catarina Moreira:
Explainable AI Enabled Inspection of Business Process Prediction Models. CoRR abs/2107.09767 (2021) - [i9]Bemali Wickramanayake, Zhipeng He, Chun Ouyang, Catarina Moreira, Yue Xu, Renuka Sindhgatta:
Building Interpretable Models for Business Process Prediction using Shared and Specialised Attention Mechanisms. CoRR abs/2109.01419 (2021) - 2020
- [j18]Alistair Barros, Chun Ouyang, Fuguo Wei:
Static Analysis for Improved Modularity of Procedural Web Application Programming Interfaces. IEEE Access 8: 128182-128199 (2020) - [j17]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:
Robotic Process Automation: Contemporary themes and challenges. Comput. Ind. 115: 103162 (2020) - [c36]Renuka Sindhgatta, Catarina Moreira, Chun Ouyang, Alistair Barros:
Exploring Interpretable Predictive Models for Business Processes. BPM 2020: 257-272 - [c35]Renuka Sindhgatta, Chun Ouyang, Catarina Moreira:
Exploring Interpretability for Predictive Process Analytics. ICSOC 2020: 439-447 - [i8]Catarina Moreira, Renuka Sindhgatta, Chun Ouyang, Peter Bruza, Andreas Wichert:
An Investigation of Interpretability Techniques for Deep Learning in Predictive Process Analytics. CoRR abs/2002.09192 (2020) - [i7]Catarina Moreira, Yu-Liang Chou, Mythreyi Velmurugan, Chun Ouyang, Renuka Sindhgatta, Peter Bruza:
An Interpretable Probabilistic Approach for Demystifying Black-box Predictive Models. CoRR abs/2007.10668 (2020) - [i6]Jing Yang, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Yang Yu:
OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs. CoRR abs/2011.12445 (2020) - [i5]Bemali Wickramanayake, Dakshi Tharanga Kapugama Geeganage, Chun Ouyang, Yue Xu:
A Survey of Online Card Payment Fraud Detection using Data Mining-based Methods. CoRR abs/2011.14024 (2020) - [i4]Mythreyi Velmurugan, Chun Ouyang, Catarina Moreira, Renuka Sindhgatta:
Evaluating Explainable Methods for Predictive Process Analytics: A Functionally-Grounded Approach. CoRR abs/2012.04218 (2020)
2010 – 2019
- 2019
- [c34]Shilpa Kochar, Jason Watson, Chun Ouyang:
Network Ties and Their Effect on Employee Collaboration in Enterprise Social Networks: A Review and Research Agenda. ACIS 2019: 76 - [c33]Chathurika Wickramage, Colin J. Fidge, Chun Ouyang, Tony Sahama:
Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling. ACSW 2019: 35:1-35:10 - [c32]Reihaneh Bidar, Arthur H. M. ter Hofstede, Renuka Sindhgatta, Chun Ouyang:
Preference-Based Resource and Task Allocation in Business Process Automation. OTM Conferences 2019: 404-421 - [i3]Artem Polyvyanyy, Arthur H. M. ter Hofstede, Marcello La Rosa, Chun Ouyang, Anastasiia Pika:
Process Query Language: Design, Implementation, and Evaluation. CoRR abs/1909.09543 (2019) - [i2]Renuka Sindhgatta, Chun Ouyang, Catarina Moreira, Yi Liao:
Interpreting Predictive Process Monitoring Benchmarks. CoRR abs/1912.10558 (2019) - 2018
- [c31]Jing Yang, Chun Ouyang, Maolin Pan, Yang Yu, Arthur H. M. ter Hofstede:
Finding the "Liberos": Discover Organizational Models with Overlaps. BPM 2018: 339-355 - [c30]Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede, Yang Yu:
Towards the Design of a Scalable Business Process Management System Architecture in the Cloud. ER 2018: 334-348 - [c29]Robert Andrews, Suriadi Suriadi, Chun Ouyang, Erik Poppe:
Towards Event Log Querying for Data Quality - Let's Start with Detecting Log Imperfections. OTM Conferences (1) 2018: 116-134 - [c28]Michael Adams, Chun Ouyang, Arthur H. M. ter Hofstede, Yang Yu:
Design and Performance Analysis of Load Balancing Strategies for Cloud-Based Business Process Management Systems. OTM Conferences (1) 2018: 390-406 - 2017
- [j16]Artem Polyvyanyy, Chun Ouyang, Alistair Barros, Wil M. P. van der Aalst:
Process querying: Enabling business intelligence through query-based process analytics. Decis. Support Syst. 100: 41-56 (2017) - [j15]Amin Jalali, Chun Ouyang, Petia Wohed, Paul Johannesson:
Supporting aspect orientation in business process management - From process modelling to process enactment. Softw. Syst. Model. 16(3): 903-925 (2017) - 2015
- [j14]Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
Event interval analysis: Why do processes take time? Decis. Support Syst. 79: 77-98 (2015) - [j13]Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur H. M. ter Hofstede:
Untanglings: a novel approach to analyzing concurrent systems. Formal Aspects Comput. 27(5-6): 753-788 (2015) - [j12]Andrew Partington, Moe Thandar Wynn, Suriadi Suriadi, Chun Ouyang, Jonathan Karnon:
Process Mining for Clinical Processes: A Comparative Analysis of Four Australian Hospitals. ACM Trans. Manag. Inf. Syst. 5(4): 19:1-19:18 (2015) - [c27]Michael Adams, Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede:
Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment. AP-BPM 2015: 3-18 - [c26]Fuguo Wei, Alistair Barros, Chun Ouyang:
Deriving Artefact-Centric Interfaces for Overloaded Web Services. CAiSE 2015: 501-516 - [c25]Fuguo Wei, Chun Ouyang, Alistair Barros:
Discovering Behavioural Interfaces for Overloaded Web Services. SERVICES 2015: 286-293 - [p4]Chun Ouyang, Michael Adams, Moe Thandar Wynn, Arthur H. M. ter Hofstede:
Workflow Management. Handbook on Business Process Management (1) 2015: 475-506 - 2014
- [j11]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:
Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis. Commun. Assoc. Inf. Syst. 34: 52 (2014) - [j10]Zhaoxia Wang, Arthur H. M. ter Hofstede, Chun Ouyang, Moe Thandar Wynn, Jianmin Wang, Xiaochen Zhu:
How to guarantee compliance between workflows and product lifecycles? Inf. Syst. 42: 195-215 (2014) - [c24]Fuguo Wei, Alistair Barros, Chun Ouyang:
Service Interface Synthesis in Business Networks. ICSOC Workshops 2014: 44-55 - [c23]Hongyan Zhang, Weilun Han, Chun Ouyang:
Extending BPMN for Configurable Process Modeling. CE 2014: 317-330 - [e2]Chun Ouyang, Jae-Yoon Jung:
Asia Pacific Business Process Management - Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014. Proceedings. Lecture Notes in Business Information Processing 181, Springer 2014, ISBN 978-3-319-08221-9 [contents] - [e1]Emilio Tuosto, Chun Ouyang:
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2 [contents] - 2013
- [c22]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:
Cost-Aware Business Process Management: A Research Agenda. ACIS 2013: 110 - [c21]Arthur H. M. ter Hofstede, Chun Ouyang, Marcello La Rosa, Liang Song, Jianmin Wang, Artem Polyvyanyy:
APQL: A Process-Model Query Language. AP-BPM 2013: 23-38 - [c20]Suriadi Suriadi, Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Nienke J. van Dijk:
Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study. CAiSE 2013: 449-464 - [c19]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:
Cost-Informed Operational Process Support. ER 2013: 174-181 - [c18]Amin Jalali, Petia Wohed, Chun Ouyang, Paul Johannesson:
Dynamic Weaving in Aspect Oriented Business Process Management. OTM Conferences 2013: 2-20 - [c17]Moe Thandar Wynn, Chun Ouyang, Michael Adams:
YAWL4Industry: Reflections on using YAWL for Industry Projects. YAWL Symposium 2013: 26-32 - 2012
- [j9]Suriadi Suriadi, Chun Ouyang, Ernest Foo:
Privacy Compliance Verification in Cryptographic Protocols. Trans. Petri Nets Other Model. Concurr. 6: 251-276 (2012) - [c16]Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
Root Cause Analysis with Enriched Process Logs. Business Process Management Workshops 2012: 174-186 - [c15]Amin Jalali, Petia Wohed, Chun Ouyang:
Aspect Oriented Business Process Modelling with Precedence. BPMN 2012: 23-37 - [c14]Amin Jalali, Petia Wohed, Chun Ouyang:
Operational Semantics of Aspects in Business Process Management. OTM Workshops 2012: 649-653 - [c13]Wasana Bandara, Chun Ouyang:
Analysing And Improving A Recruitment Process: A Teaching Case For Developing Business Process Improvement Capabilities. PACIS 2012: 150 - 2011
- [j8]Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge:
Data and process requirements for product recall coordination. Comput. Ind. 62(7): 776-786 (2011) - [c12]Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge:
Workflow support for scheduling in surgical care processes. ECIS 2011: 30 - 2010
- [c11]Chun Ouyang, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Jan-Christian Kuhr:
Modelling Complex Resource Requirements in Business Process Management Systems. ACIS 2010 - [p3]Chun Ouyang, Marlon Dumas, Petia Wohed:
The Business Process Execution Language. Modern Business Process Automation 2010: 385-400 - [p2]Chun Ouyang:
YAWL4Film. Modern Business Process Automation 2010: 567-587
2000 – 2009
- 2009
- [j7]Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl:
Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. 4(1): 60-73 (2009) - [j6]Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling:
From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1): 2:1-2:37 (2009) - [c10]Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo:
Modeling and Verification of Privacy Enhancing Protocols. ICFEM 2009: 127-146 - [p1]Chun Ouyang, Michael Adams, Arthur H. M. ter Hofstede:
Yet Another Workflow Language. Handbook of Research on Business Process Modeling 2009: 92-121 - 2008
- [j5]Remco M. Dijkman, Marlon Dumas, Chun Ouyang:
Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12): 1281-1294 (2008) - [j4]Chun Ouyang, Marcello La Rosa, Arthur H. M. ter Hofstede, Marlon Dumas, Katherine Shortland:
Toward Web-Scale Workflows for Film Production. IEEE Internet Comput. 12(5): 53-61 (2008) - [j3]Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst:
Pattern-Based Translation of BPMN Process Models to BPEL Web Services. Int. J. Web Serv. Res. 5(1): 42-62 (2008) - [j2]Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek:
Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3): 13:1-13:30 (2008) - [c9]Kenneth Wang, Marlon Dumas, Chun Ouyang, Julien Vayssière:
The Service Adaptation Machine. ECOWS 2008: 145-154 - 2007
- [j1]Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007) - 2006
- [c8]Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede:
Translating Standard Process Models to BPEL. CAiSE 2006: 417-432 - [c7]Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst:
From BPMN Process Models to BPEL Web Services. ICWS 2006: 285-292 - [i1]Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek:
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures 2006 - 2005
- [c6]Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489 - 2004
- [c5]Chun Ouyang, Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15 - [c4]Chun Ouyang, Jonathan Billington:
An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783 - 2003
- [c3]Chun Ouyang, Jonathan Billington:
On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302 - 2002
- [c2]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373 - [c1]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387