Author of the publication

On hypothesis testing for statistical model checking.

, , , and . Int. J. Softw. Tools Technol. Transf., 17 (4): 377-395 (2015)

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

State-dependent importance sampling for a slowdown tandem queue., , and . Ann. Oper. Res., 189 (1): 299-329 (2011)Joint Distributions for Interacting Fluid Queues., and . Queueing Syst. Theory Appl., 37 (1/3): 99-139 (2001)Tandem fluid queues fed by homogeneous on-off sources., and . Oper. Res. Lett., 27 (2): 73-82 (2000)On hypothesis testing for statistical model checking., , , and . Int. J. Softw. Tools Technol. Transf., 17 (4): 377-395 (2015)Simulation of a Jackson tandem network using state-dependent importance sampling., , and . VALUETOOLS, page 14. ICST/ACM, (2008)In-Degree and PageRank: Why Do They Follow Similar Power Laws?, , and . Internet Math., 4 (2): 175-198 (2007)Large deviations for the total queue size in non-Markovian tandem queues., , , and . Queueing Syst. Theory Appl., 85 (3-4): 305-312 (2017)Simple models of network access, with applications to the design of joint rate and admission control., , and . Comput. Networks, 41 (4): 489-504 (2003)How to share the cost of cooperating queues in a tandem network?, and . ITC, page 1-7. IEEE, (2010)Probabilistic Relation between In-Degree and PageRank., , and . WAW, volume 4936 of Lecture Notes in Computer Science, page 72-83. Springer, (2006)