RISC Publications and Technical Reports in the frame of project 'Performance Analysis of Wireless Sensor Networks'
2016
Adam Toth, Tamas Berczes, Attila Kuki, Bela Almasi, Wolfgang Schreiner, Jinting Wang, Fang Wang.Analysis of Finite-Source Cluster Networks.Creative Mathematics and Informatics25(2), pp. 223-235.2016.SINUS Association,ISSN 1584 - 286X.[bib]
2015
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.Modeling RF Communication in Sensor Networks by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. 15-21, October2015.[pdf][bib]
Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Adam Toth.Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October2015.[pdf][bib]