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

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)Toward an analytical method for SLA validation., and . Softw. Syst. Model., 17 (2): 527-545 (2018)Markovian Arrival Processes in Multi-dimensions., , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 175-192. Springer, (2020)A multi-objective approach for PH-graphs with applications to stochastic shortest paths., and . Math. Methods Oper. Res., 93 (1): 153-178 (2021)Numerical Analysis and Optimisation of Class Based Queueing., and . ESM, page 543-547. SCS Europe, (2002)Hierarchies in Colored GSPNs.. Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 106-125. Springer, (1993)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)Concurrent MDPs with Finite Markovian Policies., and . MMB, volume 12040 of Lecture Notes in Computer Science, page 37-53. Springer, (2020)Parallelization of EM-Algorithms for Markovian Arrival Processes., , and . MMB, volume 12040 of Lecture Notes in Computer Science, page 173-189. Springer, (2020)Stochastic Petri nets with matrix exponentially distributed firing times., and . Perform. Evaluation, 67 (12): 1373-1385 (2010)