RESEARCH REPORTS

Dr. János Sztrik

15 March, 2024

  1. Modelling of a communication system evolving in a random environment
    SOR 90-31, Univ. Bradford, England (1990)
    Co-author : L. Lukashuk

  2. Modelling of a FCFS multiprocessor bus arbitration protocol operating in a random environment
    SOR 90-32, Univ. Bradford, England (1990)

  3. Machine interference problem with a random environment
    SOR 90-35, Univ. Bradford, England (1990)
    Co-author : B.D. Bunday

  4. A model for heterogeneous scan polling
    SOR 90-36, Univ. Bradford, England (1990)
    Co-author : B.D. Bunday

  5. An asymptotic approach to the machine interference problem with Markovian environments
    SOR 90-37, Univ. Bradford, England (1990)
    Co-author : B.D. Bunday

  6. An asymptotic approach to the multiple machine interference problem with Markovian environments
    SOR 90-38, Univ. Bradford, England (1990)
    Co-author : B.D. Bunday

  7. On a finite-source communication system operating in Markovian environments
    CS 17-90, Univ. Bradford, England (1990)
    Co-author : R. Rigó

  8. Modelling of a FCFS bus arbitration protocol operating in Markovian environments
    CS 18-90, Univ. Bradford, England (1990)

  9. Approximate analysis of a heterogeneous multiprocessor system operating in random environments
    CS 34-90, Univ. Bradford, England (1990)
    Co-author : D.D. Kouvatsos

  10. Asymptotic analysis of a heterogeneous finite-source communication system operating in random environments
    SOR 91-40, Univ. Bradford, England (1991)

  11. Asymptotic analysis of a heterogeneous renewable complex system with random environments
    SOR 91-41, Univ. Bradford, England (1991)

  12. Asymptotic analysis of the heterogeneous machine interference problem with random environments
    SOR 91-42, Univ. Bradford, England (1991)
    Co-author : B.D. Bunday

  13. Modelling of a multiprocessor system in a randomly changing environment
    Universitas Debrecen No. 91/09, Hungary (1991)

  14. The GE-Type Building Block for General Queueing Networks with Blocking Before or After Service
    CS 23-91, Univ. Bradford, England (1991)
    Co-author : D.D. Kouvatsos

  15. A queueing model for a non-homogeneous terminal system subject to breakdowns
    Universitas Debrecen No. 92/37, Hungary (1992)
    Co-author : B. Almási

  16. Asymptotic analysis of a renewable complex system with Erlangian repair times
    Universitas Debrecen No. 92/38, Hungary (1992)
    Co-author : R. Cheng

  17. Queueing model for a heterogeneous multiprocessor system with randomly changing parameters
    Universitas Debrecen No. 92/63, Hungary (1992)

  18. Asymptotic analysis of a heterogeneous finite-source communication system operating in random
    environments
    Universitas Debrecen No. 92/64, Hungary (1992)

  19. Queueing model for a Markov-modulated heterogeneous multiprocessor system
    Int. Bericht, 2/93, Univ. Erlangen, Germany (1993)
    Co-author : G. Bolch

  20. Stochastic Modelling of Information and Computer Systems
    Universitas Debrecen No. 93/89, Hungary (1993)

  21. Modelling and Simulation of Markov Modulated Multiprocessor Systems with Petri Nets
    Int. Bericht, 15/95, Univ. Erlangen, Germany (1995) pdf 165 Kb
    Co-authors : G. Bolch, C. Bruzsa

  22. Performance Simulation of a Non-Reliable Terminal System
    Universitas Debrecen No. 96/12, Hungary (1996)
    Co-author: B. Almási

  23. Asymptotic Analysis of a Heterogeneous Finite-Source Markov-Modulated Communication System
    Universitas Debrecen No. 97/5, Hungary (1997)

  24. A Queueing Model for a Non-Reliable Multi-Terminal System with Polling Scheduling
    Universitas Debrecen No. 97/6, Hungary (1997)
    Co-author: B. Almási

  25. The effects of service disciplines on the performance of a non-reliable terminal system
    Universitas Debrecen No. 97/7, Hungary (1997)
    Co-author: B. Almási

  26. Modelling Non-homogeneous Terminal Systems Using MOSEL
    Int. Bericht, 11/99, Univ. Erlangen, Germany (1999) pdf 194 Kb
    Co-authors : B. Almási, G. Bolch

  27. Stochastic Simulation of Markov-Modulated Finite-Source Queues
    Trierer Forschungsberichte, Mathematik-Informatik, University of Trier, No. 99-06, Germany, (1999)
    Co-author: O. Moller

  28. A Tool for Simulation of Markov-Modulated Finite-Source Queues
    Trierer Forschungsberichte, Mathematik-Informatik, University of Trier, No. 99-07, Germany, (1999) ps 2 300 Kb
    Co-author: O. Moller

  29. A Tool for Simulation of Markov-Modulated Finite-Source Queues
    Activity Report of Center of Network Optimization, Wurzburg-Trier-Aachen, Germany, (1999)
    Co-author: O. Moller

  30. Performance modelling of non-homogeneous un-reliable multi-server systems using MOSEL
    Int. Bericht. TR-I4-00-07, Univ. Erlangen, Germany (2000) pdf 269 Kb
    Co-authors: G. Bolch, A. Zreikat

  31. Solving queueing problems with PEPSY_QNS
    Institute of Math. Inf., Univ. Debrecen (2000) 2000/16
    Co-authors: A. Kuki and G. Bolch

  32. Heterogeneous finite-source retrial queues
    Int. Bericht. TR-I4-02-04, Univ. Erlangen, Germany (2002) pdf 251 Kb
    Co-authors: B. Almási, G. Bolch

  33. Homogeneous finite-source retrial queues with server subject to breakdowns and repairs
    Institute of Math. Inf., Univ. Debrecen (2002) 2002/17 pdf 151 Kb
    Co-authors: B. Almási, J. Roszik

  34. Heterogeneous finite-source retrial queues with server subject to breakdowns and repairs
    Institute of Math. Inf., Univ. Debrecen (2003) 2003/3 pdf 317 Kb
    Co-authors: G. Bolch, J. Roszik

  35. Modelling cellular networks using MOSEL
    Institute of Informatics, Univ. Debrecen (2003) 2003/14 pdf 647 Kb
    Co-authors: J. Roszik, C. Kim

  36. Performance analysis of finite-source retrial queueing systems with heterogeneous non-reliable servers and different service policies
    Institute of Informatics, Univ. Debrecen (2004) 2004/6 pdf 750 Kb
    Co-authors: J. Roszik, C.S. Kim

  37. Modeling finite-source retrial queueing systems with heterogeneous non-reliable servers by MOSEL
    Technical Report TR-I4-2005-01, University of Erlangen ( 2005 ) pdf 430 Kb
    Co-authors: G. Bolch, J. Roszik

  38. Performance analysis of finite-source retrial queues operating in random environments
    Technical Report of Faculty of Informatics, Univesity of Debrecen ( 2005 ) 2005/4 pdf 202 Kb
    Co-authors: J. Roszik, J. Virtamo

  39. Threshold policies for controlled retrial queues with heterogeneous servers
    Technical Report of Mathematical Institute, Johannes Kepler Univeristy, Linz ( 2005 ) No. 557 pdf 312 Kb
    Co-author: D. Efrosinin

  40. Modeling finite-source retrial queueing systems with unreliable heterogeneous servers and different service policies using MOSEL
    Technical Report MIP-0611, University of Passau ( 2006 ) pdf 340 Kb
    Co-authors: G. Bolch, J. Roszik, P. Wuechner

  41. Stochastic analysis of controlled retrial queues with heterogeneous servers and constant retrial rate
    Technical Report of Mathematical Institute, Johannes Kepler Univeristy, Linz ( 2007 ) No. 563 pdf 272 Kb
    Co-author: D. Efrosinin

  42. The waiting time analysis of multi-server queue with constant retrial rate and different control policies
    Technical Report of Mathematical Institute, Johannes Kepler Univeristy, Linz ( 2007 ) No. 564 pdf 344 Kb
    Co-author: D. Efrosinin

  43. Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems
    RICS-Linz Report ( 2007 ) No. 07-17 pdf 292 Kb
    Co-authors: T. Bérczes, G. Guta, G. Kusper, W. Schreiner

  44. Analysing Web Server Performance Models with the Probabilistic Model Checker PRISM
    RICS-Linz Report ( 2008 ) No. 08-17 pdf 841 Kb
    Co-authors: T. Bérczes, G. Guta, G. Kusper, W. Schreiner

  45. Modeling RF Communication in Sensor Networks by Probabilistic Model Checking
    RICS-Linz Report ( 2015 ) No. 15-21 pdf 674 Kb
    Co-authors: T. Bérczes, W. Schreiner, Á. Tóth

  46. On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Infocommunication Systems
    RICS-Linz Report ( 2018 ) No. 18-04 pdf 581 Kb
    Co-authors: T. Bérczes, W. Schreiner, H. Nemouchi

  47. On the Probabilistic Model Checking of a Retrial Queueing System with Unreliable Server, Collision, and Constant Time Impatience
    RICS-Linz Report ( 2019 ) No. 19-11 pdf 581 Kb
    Co-author: W. Schreiner

  48. Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with Constant Time Impatience
    RICS-Linz Report ( 2019 ) No. 19-12 pdf 581 Kb
    Co-author: W. Schreiner