Author of the publication

Bug Hunting with False Negatives.

, , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 98-117. Springer, (2007)

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

Log-based Evaluation of Label Splits for Process Models., , , and . KES, volume 96 of Procedia Computer Science, page 63-72. Elsevier, (2016)Event Abstraction for Process Mining Using Supervised Learning Techniques., , , and . IntelliSys (1), volume 15 of Lecture Notes in Networks and Systems, page 251-269. Springer, (2016)Business Trend Analysis by Simulation., , , and . CAiSE, volume 6051 of Lecture Notes in Computer Science, page 515-529. Springer, (2010)Resource-Constrained Workflow Nets., , and . Fundam. Informaticae, 71 (2-3): 243-257 (2006)Cost-Based Fitness in Conformance Checking., , and . ACSD, page 57-66. IEEE Computer Society, (2011)Generalised Soundness of Workflow Nets Is Decidable., , and . ICATPN, volume 3099 of Lecture Notes in Computer Science, page 197-215. Springer, (2004)LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World., , , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 374-384. Springer, (2018)Model Checking SDL with Spin., , , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 363-377. Springer, (2000)Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching., , , , and . IHI, page 673-678. ACM, (2012)Configurable Declare: Designing Customisable Flexible Process Models., , , and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 20-37. Springer, (2012)