Author of the publication

Simulated Time for Testing Railway Interlockings with TTCN-3.

, , , , and . FATES, volume 3997 of Lecture Notes in Computer Science, page 1-15. Springer, (2005)

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

Resource-Constrained Workflow Nets., , and . Fundam. Informaticae, 71 (2-3): 243-257 (2006)Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer., and . Künstliche Intell., 29 (2): 115-122 (2015)Generating time-based label refinements to discover more precise process models., , , , and . J. Ambient Intell. Smart Environ., 11 (2): 165-182 (2019)Cost-Based Fitness in Conformance Checking., , and . ACSD, page 57-66. IEEE Computer Society, (2011)Consistency in model integration., , , and . Data Knowl. Eng., 56 (1): 4-22 (2006)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)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)Adaptive Workflow Nets for Grid Computing., , and . PaCT, volume 4671 of Lecture Notes in Computer Science, page 15-21. Springer, (2007)