Author of the publication

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

Markovian Arrival Processes in Multi-dimensions., , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 175-192. Springer, (2020)A hybrid analysis approach for finite-capacity queues with general inputs and phase type service.. Queueing Syst. Theory Appl., 35 (1-4): 167-183 (2000)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)The ProC/B-Approach from informal descriptions to formal models., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 328-334. Department of Computer Science, University of Cyprus, (2004)Numerical Analysis and Optimisation of Class Based Queueing., and . ESM, page 543-547. SCS Europe, (2002)A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support., , and . EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, page 79-93. Springer, (2005)Hierarchies in Colored GSPNs.. Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 106-125. Springer, (1993)Toward an analytical method for SLA validation., and . Softw. Syst. Model., 17 (2): 527-545 (2018)An adaptive importance sampling approach for the transient analysis of markovian queueing networks.. Eur. Trans. Telecommun., 13 (4): 317-329 (2002)Concurrent MDPs with Finite Markovian Policies., and . MMB, volume 12040 of Lecture Notes in Computer Science, page 37-53. Springer, (2020)