Author of the publication

Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.

, , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 355-360. Springer, (2019)

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

The Ins and Outs of Petri Net Composition., and . Petri Nets, volume 13288 of Lecture Notes in Computer Science, page 278-299. Springer, (2022)Using the exact state space of a Markov model to compute approximate stationary measures., , and . SIGMETRICS, page 207-216. ACM, (2000)Structured Characterization of the Markov Chain of Phase-Type SPN., , and . Computer Performance Evaluation (Tools), volume 1469 of Lecture Notes in Computer Science, page 243-254. Springer, (1998)The PSR Methodology: Integrating Hardware and Software Models., and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 133-152. Springer, (1996)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 43-62. Springer, (2000)On the use of communication graphs in automatic mapping., and . PDP, page 490-498. IEEE, (1993)Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis., , , , , , , and . BMC Bioinform., 16 (S-9): S2 (2015)Challenges for Driver Action Recognition with Face Masks., , , , and . ITSC, page 1491-1497. IEEE, (2022)Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems., , , , and . ATT@IJCAI, volume 2129 of CEUR Workshop Proceedings, page 70-77. CEUR-WS.org, (2018)Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization., , and . DSN, page 773-784. IEEE Computer Society, (2002)