Author of the publication

Verification of Business Process Integration Options.

, , and . Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 432-438. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases., , , and . AID, page 169-189. Springer, (2000)Propagation of Event Content Modification in Business Processes., , and . ICSOC, volume 9936 of Lecture Notes in Computer Science, page 70-84. Springer, (2016)Behavior-consistent specialization of object life cycles., and . ACM Trans. Softw. Eng. Methodol., 11 (1): 92-148 (2002)Semantic Interoperability in the Oil and Gas Industry: A Challenging Testbed for Semantic Technologies., , , and . AAAI Fall Symposia, AAAI Press, (2013)Model-Based Debugging of Java Programs., , , and . AADEBUG, (2000)Debugging Failures in Web Services Coordination., and . SEKE, page 536-543. (2006)Meta Model Based Architecture for Software Process Instantiation., , , , and . ICSP, volume 5543 of Lecture Notes in Computer Science, page 63-74. Springer, (2009)Modeling Programs with Unstructured Control Flow for Debugging., and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 107-118. Springer, (2002)Verification of Business Process Integration Options., , and . Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 432-438. Springer, (2006)A Model-Based Approach to Software Debugging, and . the Seventh International Workshop on Principles of Diagnosis (DX), page 214--223. (1996)