RESEARCH REPORTS
Dr. János Sztrik
15 March, 2024
- Modelling of a communication system evolving in a random environment
SOR 90-31, Univ. Bradford, England (1990)
Co-author : L. Lukashuk
- Modelling of a FCFS multiprocessor bus arbitration protocol operating
in a random environment
SOR 90-32, Univ. Bradford, England (1990)
- Machine interference problem with a random environment
SOR 90-35, Univ. Bradford, England (1990)
Co-author : B.D. Bunday
- A model for heterogeneous scan polling
SOR 90-36, Univ. Bradford, England (1990)
Co-author : B.D. Bunday
- An asymptotic approach to the machine interference problem with Markovian
environments
SOR 90-37, Univ. Bradford, England (1990)
Co-author : B.D. Bunday
- An asymptotic approach to the multiple machine interference problem
with Markovian environments
SOR 90-38, Univ. Bradford, England (1990)
Co-author : B.D. Bunday
- On a finite-source communication system operating in Markovian environments
CS 17-90, Univ. Bradford, England (1990)
Co-author : R. Rigó
- Modelling of a FCFS bus arbitration protocol operating in Markovian
environments
CS 18-90, Univ. Bradford, England (1990)
- Approximate analysis of a heterogeneous multiprocessor system operating
in random environments
CS 34-90, Univ. Bradford, England (1990)
Co-author : D.D. Kouvatsos
- Asymptotic analysis of a heterogeneous finite-source communication
system operating in random environments
SOR 91-40, Univ. Bradford, England (1991)
- Asymptotic analysis of a heterogeneous renewable complex system
with random environments
SOR 91-41, Univ. Bradford, England (1991)
- Asymptotic analysis of the heterogeneous machine interference problem
with random environments
SOR 91-42, Univ. Bradford, England (1991)
Co-author : B.D. Bunday
- Modelling of a multiprocessor system in a randomly changing environment
Universitas Debrecen No. 91/09, Hungary (1991)
- 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
- A queueing model for a non-homogeneous terminal system subject to
breakdowns
Universitas Debrecen No. 92/37, Hungary (1992)
Co-author : B. Almási
- Asymptotic analysis of a renewable complex system with Erlangian
repair times
Universitas Debrecen No. 92/38, Hungary (1992)
Co-author : R. Cheng
- Queueing model for a heterogeneous multiprocessor system with randomly
changing parameters
Universitas Debrecen No. 92/63, Hungary (1992)
- Asymptotic analysis of a heterogeneous finite-source communication
system operating in random
environments
Universitas Debrecen No. 92/64, Hungary (1992)
- Queueing model for a Markov-modulated heterogeneous multiprocessor
system
Int. Bericht, 2/93, Univ. Erlangen, Germany (1993)
Co-author : G. Bolch
- Stochastic Modelling of Information and Computer Systems
Universitas Debrecen No. 93/89, Hungary (1993)
- 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
- Performance Simulation of a Non-Reliable Terminal System
Universitas Debrecen No. 96/12, Hungary (1996)
Co-author: B. Almási
- Asymptotic Analysis of a Heterogeneous Finite-Source
Markov-Modulated Communication System
Universitas Debrecen No. 97/5, Hungary (1997)
- 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
-
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
-
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
-
Stochastic Simulation of Markov-Modulated Finite-Source Queues
Trierer Forschungsberichte, Mathematik-Informatik, University of Trier, No. 99-06, Germany, (1999)
Co-author: O. Moller
-
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
-
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
-
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
-
Solving queueing problems with PEPSY_QNS
Institute of Math. Inf., Univ. Debrecen (2000) 2000/16
Co-authors: A. Kuki and G. Bolch
-
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
-
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
-
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
-
Modelling cellular networks using MOSEL
Institute of Informatics, Univ. Debrecen (2003) 2003/14
pdf 647 Kb
Co-authors: J. Roszik, C. Kim
-
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
- 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
-
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
-
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
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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