Author of the publication

Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer.

, , , and . GLOBECOM, page 2457-2462. IEEE, (2023)

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

Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering., , and . EPEW, volume 4054 of Lecture Notes in Computer Science, page 196-210. Springer, (2006)Stochastic Bounds and Histograms for Network Performance Analysis., , , and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 13-27. Springer, (2013)Convex Stochastic Bounds and Stochastic Optimisation on Graphs., , , , and . PASM, volume 337 of Electronic Notes in Theoretical Computer Science, page 23-44. Elsevier, (2017)Stochastic Bounds for Markov Chains with the Use of GPU., , , , and . CN, volume 522 of Communications in Computer and Information Science, page 357-370. Springer, (2015)Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer., , , and . GLOBECOM, page 2457-2462. IEEE, (2023)Whittle networks with resets., , and . VALUETOOLS, page 28-35. ACM, (2017)Level crossing ordering of Markov chains: computing end to end delays in an all optical network., , , and . VALUETOOLS, page 46. ICST/ACM, (2007)Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN.. VALUETOOLS, page 84. ICST/ACM, (2007)An Algorithmic Approach to Stochastic Bounds., and . Performance, volume 2459 of Lecture Notes in Computer Science, page 64-88. Springer, (2002)Stochastic bounds for performance evaluation of web services., , and . ISCC, page 7-12. IEEE Computer Society, (2009)