András Horváth's Publications

Publications are listed in the following categories (most recent first):

• Papers in Journals
• Edited Proceedings
• Conferences & Workshops & Book chapters
• PhD Dissertation

For most, an online version can be downloaded.
Google scholar profile is here.
Important Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without explicit permission of the copyright holder.

Papers in Journals

• A. Angius, A. Horvath, and M. Urgo.
  A kronecker algebra formulation for markov activity networks with phase-type distributions.
  MATHEMATICS, 9:1-22, 2021.
  URL: https://www.mdpi.com/2227-7390/9/12/1404.

• F. Avram, A. Horvath, S. Provost, and U. Solon.
  On the Padé and Laguerre-Tricomi-Weeks moments based approximations of the scale function W and of the optimal dividends barrier for spectrally negative lévy risk processes.
  RISKS, 7(121):1-24, 2019.
  URL: https://www.mdpi.com/2227-9091/7/4/121/pdf.

• F. Avram, A. D. Banik, and A. Horvath.
  Ruin probabilities by Padé's method: simple moments based mixed exponential approximations (Renyi, De Vylder, Cramér-Lundberg), and high precision approximations with both light and heavy tails.
  European Actuarial Journal, 9:273-299, 2019.
  URL: https://link.springer.com/article/10.1007/s13385-018-0180-8.

• Pavel Mozgunov, Marco Beccuti, Andras Horvath, Thomas Jaki, Roberta Sirovich, and Enrico Bibbona.
  A review of the deterministic and diffusion approximations for stochastic chemical reaction networks.
  Reaction Kinetics, Mechanisms and Catalysis, 123(2):289-312, Apr 2018.
  URL: https://doi.org/10.1007/s11144-018-1351-y.

• Alessio Angius, Marcello Colledani, and Andras Horvath.
  Lead-time oriented production control policies in two-machine production lines.
  IISE Transactions, 50(3):178-190, 2018.
  URL: https://doi.org/10.1080/24725854.2017.1417654.

• Marco Paolieri, András Horváth, and Enrico Vicario.
  Probabilistic model checking of regenerative concurrent systems.
  IEEE Trans. Software Eng., 42(2):153-169, 2016.
  URL: http://dx.doi.org/10.1109/TSE.2015.2468717.

• Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, and Gianfranco Balbo.
  Exploiting flow equivalent server in transient analysis.
  International Journal of Computer Systems Science & Engineering, 31(4), 2016.

• Colledani M., Horváth A., and Angius A.
  Production quality performance in manufacturing systems processing deteriorating products.
  CIRP ANNALS, 64:431-434, 2015.
  http://dx.doi.org/10.1016/j.cirp.2015.04.122

• Angius A., Balbo G., Beccuti M., Bibbona E., Horváth A., and Sirovich R.
  Approximate analysis of biological systems by hybrid switching jump diffusion.
  THEORETICAL COMPUTER SCIENCE, 587:49-72, 2015.
  http://dx.doi.org/10.1016/j.tcs.2015.03.015

• A. Angius, A. Horváth, and M. Colledani.
  Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems.
  Performance Evaluation, 75:69-88, 2014.
  PDF Abstract

• A. Angius, A. Horváth, S. M. Halawani, O. Barukab, A. R. Ahmad, and G. Balbo.
  Constructing matrix exponential distributions by moments and behavior around zero.
  Mathematical Problems in Engineering, 2014:1-13, 2014.
  PDF Abstract

• A. Angius, A. Horváth, and V. Wolf.
  Quasi product form approximation for Markov models of reaction networks.
  Transactions on Computational Systems Biology, XIV:26-52, 2012.
  PDF Abstract

• A. Horváth, M. Paolieri, L. Ridi, and E. Vicario.
  Transient analysis of non-Markovian models using stochastic state classes.
  Performance Evaluation, 69(7):315-335, 2012.
  PDF Abstract

• F. Cordero, A. Horváth, D. Manini, L. Napione, M. De Pierro, S. Pavan, A. Picco, A. Veglio, M. Sereno, F. Bussolino, and G. Balbo.
  Simplification of a complex signal transduction model using invariants and flow equivalent servers.
  Theoretical Computer Science, 412(43):6036-6057, 2011.
  PDF Abstract

• P. Buchholz, A. Horváth, and M. Telek.
  Stochastic Petri nets with low variation matrix exponentially distributed firing times.
  Int. Journal of Performability Engineering, 7(5):441-454, 2011.
  PDF Abstract

• F. Avram, D.F. Chedom, and A. Horváth.
  On moments based Padé approximations of ruin probabilities.
  Journal of Computational and Applied Mathematics, 235(10):3215 - 3228, 2011.
  PDF Abstract

• A. Horváth, G. Horváth, and M. Telek.
  A joint moments based analysis of networks of MAP/MAP/1 queues.
  Performance Evaluation, 67:759-778, 2010.
  PDF Abstract

• A. Horváth, G. Horváth, and M. Telek.
  A traffic based decomposition of two-class queueing networks with priority service.
  Computer Networks, 53:1235-1248, 2009.
  PDF, Abstract

• L. Bodrog, A. Horváth, and M. Telek.
  Moment characterization of matrix exponential and Markovian arrival processes.
  Annals of Operations Research, 160:51-68, 2008.
  PDF, Abstract

• A. Horváth and M. Telek.
  Matching more than three moments with acyclic phase type distributions.
  Stochastic Models, 23(2):167-194, 2007.
  PDF, Abstract

• A. Bobbio, A. Horváth, and M. Telek.
  Matching three moments with minimal acyclic phase type distributions.
  Stochastic Models, 21:303-326, 2005.
  PDF, Abstract

• M. Telek, A. Horváth, and G. Horváth.
  Analysis of inhomogeneous Markov reward models.
  Linear Algebra and Its Applications, 386:383-405, 2004.
  PDF, Abstract

• A. Bobbio, A. Horváth, and M. Telek.
  The scale factor: A new degree of freedom in phase type approximation.
  Performance Evaluation, 56(1-4):121-144, 2004.
  PDF, Abstract

• M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino.
  Fluid Petri nets and hybrid model-checking: A comparative case study.
  Reliability Engineering & System Safety, 81(3):239-257, 2003.
  PDF, Abstract

• A. Bobbio, A. Horváth, M. Scarpa, and M. Telek.
  Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm.
  Performance Evaluation, 54(1):1-32, 2003.
  PDF, Abstract

• A. Horváth and M. Telek.
  Time domain analysis of non-Markovian stochastic Petri nets with pri transitions.
  IEEE Transactions On Software Engineering, 28(20):933-943, 2002.
  Postscript, Abstract

• M. Gribaudo and A. Horváth.
  Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique.
  IEEE Transactions On Software Engineering, 28(10):944-955, 2002.
  PDF, Abstract

• M. Telek and A. Horváth.
  Transient analysis of age-MRSPNs by the method supplementary variables.
  Performance Evaluation, 45(4):205-221, 2001.
  PDF, Abstract

• S. Bernardi, S. Donatelli, and A. Horváth.
  Implementing compositionality for stochastic Petri nets.
  International Journal on Software Tools for Technology Transfer, 3(4):417-430, 2001.
  PDF, Abstract

• M. Gribaudo, M. Sereno, A. Horváth, and A. Bobbio.
  Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis.
  Discrete Event Dynamic Systems, 11:97-111, 2001.
  PDF, Abstract

Edited Proceedings

• András Horváth, Katinka Wolter, editors.
  Lecture Notes in Computer Science, Vol. 8721. Computer Performance Engineering.
  Proc. of the 11th European Workshop on Performance Engineering (EPEW'14), Florence, Italy, 11-12 September, 2014.
  EPEW'14

• Peter Buchholz, Vittorio Cortellessa, András Horváth, Luca Muscariello, Mark Squillante, editors.
  7th International Conference on Performance Evaluation Methodologies and Tools, 2013.
  ValueTools 2013

• A. Horváth and B. Meini, editors.
  Proc. of 4th International Workshop on Tools for solving Structured Markov Chains, 2009.
  SMCTools 2009

• A. Horváth and O. H. Roux, editors.
  Proc. of 1st International Workshop International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency, 2009.
  TiSto'09

• A. Horváth and M. Telek, editors.
  Lecture Notes in Computer Science, 4054, Formal Methods and Stochastic Models for Performance Evaluation,
  Proc. of Third European Performance Engineering Workshop, (EPEW'06), 2006.
  LNCS 4054

• A. Horváth and A. Riska, editors.
  Proc. of 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7), 2005.
  PMCCS7

Conferences & Workshops & Book chapters

• A. Horvath and E. Vicario.
  Construction of phase type distributions by Bernstein exponentials.
  In Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings, volume 14231 LNCS, pages 201-215, Berlin, 2023. Springer.
  URL: https://doi.org/10.1007/978-3-031-43185-2_14

• A. Horvath, M. Paolieri, and E. Vicario.
  Equilibrium analysis of Markov regenerative processes.
  In Quantitative Evaluation of Systems, volume 14287 LNCS, pages 172-187, Berlin, 2023. Springer.
  URL: https://doi.org/10.1007/978-3-031-43835-6_13

• P. Ballarini and A. Horvath.
  Performance analysis of production lines through statistical model checking.
  In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 13104, pages 264-281, Berlino, 2021. Springer.
  URL: https://doi.org/10.1007/978-3-030-91825-5_16

• P. Ballarini and A. Horvath.
  Formal analysis of production line systems by probabilistic model checking tools.
  In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, volume 2021-, pages 01-08, Piscataway, 2021.
  URL: https://doi.org/10.1109/ETFA45728.2021.9613494

• P. Ballarini, D. Duma, A. Horvath, and R. Aringhieri.
  Petri nets validation of markovian models of emergency department arrivals.
  In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 12152, pages 219-238, Cham, 2020. Springer.
  URL: https://link.springer.com/chapter/10.1007/978-3-030-51831-8_11.

• Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, and Jeremy Sproston.
  Analysis of timed properties using the jump-diffusion approximation.
  In Philipp Reinecke and Antinisca Di Marco, editors, Computer Performance Engineering, pages 69-84, LNCS, volume 10497, 2017. Springer International Publishing.
  https://doi.org/10.1007/978-3-319-66583-2_5

• Andras Horvath, Marco Scarpa, and Miklos Telek.
  Phase type and matrix exponential distributions in stochastic modeling.
  In Principles of Performance and Reliability Modeling and Evaluation, pages 3-25. Springer International Publishing, 2016.
  https://doi.org/10.1007/978-3-319-30599-8_1

• Alessio Angius, Marcello Colledani, András Horváth, and Stanley B Gershwin.
  Analysis of the lead time distribution in closed loop manufacturing systems.
  IFAC-PapersOnLine, 49(12):307-312, 2016.
  https://doi.org/10.1016/j.ifacol.2016.07.622

• Andras Horvath, Marco Paolieri, and Enrico Vicario.
  Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions, pages 107-127.
  John Wiley & Sons, Inc., 2015.
  http://dx.doi.org/10.1002/9781119131151.ch5

• A. Angius , M. Colledani, and A. Horváth
  Lead-time oriented production control policies in two-machine production lines.
  In Proc. of 15th IFAC Symposium on Information Control Problems in Manufacturing - INCOM 2015, IFAC-PapersOnLine, volume 48, pages 2399-2404, Toronto, 2015. Elsevier.

• M. Colledani, A. Angius, A. Horváth, and S. B. Gershwin.
  Lead time dependent product deterioration in manufacturing systems with serial, assembly and closed-loop layout.
  In Proc. of 10 th Conference on Stochastic Models of Manufacturing and Service Operations (SMMSO 2015), pages 25-34, Volos, 2015. University of Thessaly Press.
  http://media.wix.com/ugd/ea8d10_56378a1af9fe4618a3a7578ead7389f2.pdf

• Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, and Gianfranco Balbo.
  Use of flow equivalent servers in the transient analysis of product form queuing networks.
  In Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings, pages 15-29, 2015.
  http://dx.doi.org/10.1007/978-3-319-18579-8_2

• A. Angius and A. Horváth.
  Approximate transient analysis of queuing networks by decomposition based on time-inhomogeneous markov arrival processes.
  In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, pages 255-262, New York, 2015. ACM.
  http://dx.doi.org/10.4108/icst.valuetools.2014.258192

• Alessio Angius, Andras Horvath, and Marcello Colledani.
  Lead time distribution in unreliable production lines processing perishable products.
  In 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), pages 1-8, Sept 2014.

• A. Angius, A. Horváth, and M. Urgo.
  Analysis of activity networks with phase type distributions by kronecker algebra.
  In Proc. of the 14th International Conference on Project Management and Scheduling (PMS'14), pages 1-5, Munchen, Germany, 2014.

• Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, and Gianfranco Balbo.
  Analysis of petri net models through stochastic differential equations.
  In Proceedings of International Conference on application and theory of Petri nets and other models of concurrency (ICATPN'14), Springer LNCS, pages 273-293, Apr 2014.

• Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, and Enrico Vicario.
  Transient analysis of networks of stochastic timed automata using stochastic state classes.
  In QEST, pages 355-371, 2013. PDF, Abstract

• Alessio Angius, András Horváth, and Verena Wolf.
  Approximate transient analysis of queuing networks by quasi product forms.
  In ASMTA, pages 22-36, 2013. PDF, Abstract

• A. Horváth, M. Paolieri, L. Ridi, and E. Vicario.
  Probabilistic model checking of non-Markovian models with concurrent generally distributed timers.
  In Proc. of 8th International Conference on the Quantitative Evaluation of Systems (QEST), pages 131-140, Aachen, Germany, Sept 2011.
  PDF, Abstract

• A. Angius and A. Horváth.
  Analysis of stochastic reaction networks with Markov reward models.
  In Proc. of The 9th Conference on Computational Methods in Systems Biology (CMSB 2011), Paris, France, Sept 2011.
  PDF, Abstract

• A. Angius and A. Horváth.
  Product form approximation of transient probabilities in stochastic reaction networks.
  In Proc. of 2nd International Workshop on Interactions between Computer Science and Biology (CS2Bio), volume 277 of Electronic Notes in Theoretical Computer Science, pages 3-14, Reykjavik, Iceland, June 2011.
  PDF, Abstract

• A. Angius, A. Horváth, and M. Colledani.
  Moments of cumulated output and completion time of unreliable general markovian machines.
  In Proc. of 18th World Congress of the International Federation of Automatic Control (IFAC), Milan, Italy, Sept 2011.
  PDF, Abstract

• A. Angius and A. Horváth.
  The Monte Carlo EM method for the parameter estimation of biological models.
  In Proc. of Fifth International Workshop on Practical Applications of Stochastic Modelling (PASM), volume 275 of Electronic Notes in Theoretical Computer Science, pages 23-36, Karlsruhe, Germany, March 2011.
  PDF, Abstract

• Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, and Károly Farkas.
  A mean field based methodology for modeling mobility in ad hoc networks.
  In Proceedings of 73rd IEEE Vehicular Technology Conference (VTC'11), pages 1-5, 2011.
  PDF, Abstract

• A. Angius, G. Balbo, F. Cordero, A. Horváth, and D. Manini.
  Comparison of approximate kinetics for unireactant enzymes: Michaelis-Menten against the equivalent server.
  In Proceedings of BioPPN 2010 (International Workshop on Biological Processes and Petri Nets), pages 1-15, 2010.
  PDF, Abstract

• A. Horváth, L. Ridi, and E. Vicario.
  Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions.
  In NSMC '10 (International Conference on the Numerical Solution of Markov Chains), pages 1-4, 2010.
  Extended abstract.
  PDF, Abstract

• A. Horváth, L. Ridi, and E. Vicario.
  Transient analysis of generalised semi-Markov processes using transient stochastic state classes.
  In Proc. of 7th International Conference on the Quantitative Evaluation of Systems (QEST), pages 231-240, 2010.
  PDF, Abstract

• A. Horváth and E. Vicario.
  Aggregated stochastic state classes in quantitative evaluation of non-Markovian stochastic Petri nets.
  In Proc. of 6th International Conference on the Quantitative Evaluation of Systems (QEST), Budapest, Hungary, Sept 2009.
  PDF, Abstract

• P. Ballarini and A. Horváth.
  Memory efficient analysis for a class of large structured Markov chains [work in progress].
  In Proc. of International Workshop on Tools for solving Structured Markov Chains (SMCtools'09), Pisa, Italy, Oct 2009.
  PDF, Abstract

• András Horváth, Sándor Rácz, and Miklós Telek.
  Moments Characterization of Order 3 Matrix Exponential Distributions.
  In Proc. of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA) 2009, volume 5513 of Lecture Notes in Control and Information Sciences, pages 174-188, Madrid, Spain, June 2009.
  PDF, Abstract

• L. Napione, D. Manini, F. Cordero, A. Horváth, A. Picco, M. De Pierro, S. Pavan, M. Sereno, A. Veglio, F. Bussolino, and G. Balbo.
  On the use of stochastic Petri nets in the analysis of signal transduction pathways for angiogenesis process.
  In Proc. of The 7th Conference on Computational Methods in Systems Biology (CMSB 2009), volume 5688 of Lecture Notes in Bioinformatics, pages 281-295, Bologna, Italy, Sept 2009.
  PDF, Abstract

• A. Bobbio, S. Garg, M. Gribaudo, A. Horváth, M. Sereno, and M. Telek.
  Compositional fluid stochastic Petri net model for operational software system performance.
  In Proc. of the First International Workshop on Software Aging and Rejuvenation, Seattle/Redmond, WA, USA, Nov. 2008.
  PDF, Abstract

• P. Ballarini and A. Horváth.
  Memory efficient calculation of path probabilities in large structured Markov chains.
  In Proc. of 5nd International Conference on the Quantitative Evaluation of Systems (QEST), St Malo, France, Sept 2008.
  PDF, Abstract

• A. Horváth, G. Horváth, and M. Telek.
  A joint moments based analysis of networks of map/map/1 queues.
  In Proc. of 5nd International Conference on the Quantitative Evaluation of Systems (QEST), St Malo, France, Sept 2008.
  PDF, Abstract

• M. Baldoni, C. Baroglio, A. Horváth, V. Patti, F. Portis, M. Avilia, and P. Grillo.
  Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.
  In Proc. of Formal Ontologies Meet Industry (FOMI 2008), Torino, Italy, June 2008.
  PDF, Abstract

• A. Horváth and D. Manini.
  Parameter estimation of kinetic rates in stochastic reaction networks by the em method.
  In Proc. of International Conference On Biomedical Engineering And Informatics (BMEI 2008), Sanya, China, May 2008.
  PDF, Abstract

• A. Horváth and M. Telek.
  On the properties of acyclic bilateral phase type distributions.
  In Proc. of International Workshop on Tools for solving Structured Markov Chains (SMCtools'07), Nantes, France, Oct 2007.
  PDF, Abstract

• P. Ballarini and A. Horváth.
  Compositional model checking of product-form CTMCs.
  In Proc. of 7th International Workshop on Automated Verification of Critical Systems (AVOCS'07), Oxford, UK, Sept 2007.
  PDF, Abstract

• A. Bobbio, M. Gribaudo, and A. Horváth.
  Modelling a car safety controller in road tunnels using hybrid Petri nets.
  In Proc. of 9th International IEEE Conference on Intelligent Transportation Systems (ITSC), Toronto, Canada, Sept 2006.
  PDF, Abstract

• D. Cerotti, S. Donatelli, A. Horváth, and J. Sproston.
  CSL model checking for generalized stochastic Petri nets.
  In Proc. of 3rd International Conference on the Quantitative Evaluation of Systems (QEST), Riversida, California, USA, Sept 2006.
  PDF, Abstract

• A. Horváth.
  Steady state solution for models with geometric and finite support activity duration.
  In Proc. of 2nd International Conference on the Quantitative Evaluation of Systems (QEST), Torino, Italy, Sept 2005.
  PDF, Abstract

• M. Gribaudo and A. Horváth.
  Model checking functional and performability properties of stochastic fluid models.
  In Proc. of 4. Int. Workshop on Automated Verification of Critical Systems (AVoCS'04), volume 128(6) of Electronic Notes in Theoretical Computer Science, pages 295-310, London, UK, Sept 2004.
  Postscript, Abstract

• M. Telek, A. Horváth, and G. Horváth.
  Analysis of inhomogeneous Markov reward models.
  In NSMC '03 (International Conference on the Numerical Solution of Markov Chains), pages 305-322, Urbana, Illinois, USA, Sep. 2003.
  Postscript, Abstract

• A. Bobbio, M. Gribaudo, and A. Horváth.
  Modeling a car safety controller using fluid stochastic Petri nets.
  In Proc. of the 6th International Workshop on Performability Modeling of Computer and Communication System, Monticello, Illinois, USA, Sep. 2003.
  Extended abstract.
  Postscript, Abstract

• M. Gribaudo and A. Horváth.
  Modeling hybrid positive systems with hybrid Petri nets.
  In Proc. of 1st Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications (POSTA'03), volume 294 of Lectures Notes in Control and Information Sciences, pages 71-78, Rome, Italy, Aug. 2003.
  Postscript, Abstract

• M. Gribaudo and A. Horváth.
  Translating hybrid Petri nets into hybrid automata.
  In Proceedings of Workshop on Stochastic Petri nets and related formalisms, pages 92-102, Eindhoven, The Netherlands, June 2003.
  Postscript, Abstract

• A. Horváth and M. Telek.
  Markovian modeling of real data traffic: Heuristic phase type and map fitting of heavy tailed and fractal like samples.
  In Tutorial of the IFIP WG 7.3 International Symposium on Computer Performance Modeling, Measurement and Evaluation (PERFORMANCE 2002), volume 2459 of Lecture Notes in Computer Science, Rome, Italy, Sept 2002.
  Postscript, Abstract

• M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino.
  Model-checking based on fluid Petri nets for the temperature control system of the icaro co-generative plant.
  In Proc. The 21st International Conference on Computer Safety, Reliabiltiy and Security (SAFECOMP 2002), volume 2434 of Lecture Notes in Computer Science, Catania, Italy, Sept 2002.
  Postscript, Abstract

• A. Bobbio, A. Horváth, and M. Telek.
  The scale factor: A new degree of freedom in phase type approximation.
  In Proc. of 3rd International Performance & Dependability Symposium (IPDS '02), Washington, DC, USA, June 2002.
  Postscript, Abstract

• A. Horváth and M. Telek.
  A Markovian point process exhibiting multifractal behaviour and its application to traffic modeling.
  In Proc. 4th International Conference on Matrix-Analytic Methods in Stochastic models, Adelaide, Australia, July 2002.
  Corrected version (the original had formulae reported erroneously on page 12.), Abstract

• A. Horváth and M. Gribaudo.
  Matrix geometric solution of fluid stochastic Petri nets.
  In Proc. 4th International Conference on Matrix-Analytic Methods in Stochastic models, Adelaide, Australia, July 2002.
  Postscript, Abstract

• A. Horváth and M. Telek.
  Phfit: A general phase-type fitting tool.
  In Proc. of 12th Performance TOOLS, volume 2324 of Lecture Notes in Computer Science, Imperial College, London, April 2002.
  Postscript, Abstract

• A. Bobbio and A. Horváth.
  Model checking time Petri nets using NuSMV.
  In Proc. of the 5th International Workshop on Performability Modeling of Computer and Communication System, Erlangen, Germany, Sep. 2001.
  Extended abstract.
  Postscript, Abstract

• A. Bobbio and A. Horváth.
  Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis.
  In Proc. of 2nd Workshop on Models for Time-Critical Systems, volume 52 No. 3 of Electronic Notes in Theoretical Computer Science, Aalborg, Denmark, Aug. 2001.
  Postscript, Abstract

• A. Horváth and M. Telek.
  Time domain analysis of NMSPNs with PRI transitions.
  In Proc. of 9th Intern. Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep 2001. IEEE-CS Press.
  Postscript, Abstract

• M. Gribaudo and A. Horváth.
  Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique.
  In Proc. of 9th Intern. Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep 2001. IEEE-CS Press.
  Postscript, Abstract

• S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and A. Horváth.
  GreatSPN in the new millenium.
  In Tool Session of 9th Intern. Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep 2001.

• A. Horváth and M. Telek.
  Approximating heavy tailed behavior with phase type distributions.
  In Proc. of 3rd International Conference on Matrix-Analytic Methods in Stochastic models, Leuven, Belgium, June 2000.
  Postscript, Abstract

• A. Horváth, G. I. Rózsa, and M. Telek.
  A MAP fitting method to approximate real traffic behavior.
  In Proc. of 8th IFIP Workshop on Performance Modeling and Evaluation of ATM and IP, Ilkley, England, June 2000.
  Postscript, Abstract

• S. Bernardi, S. Donatelli, and A. Horváth.
  Compositionality in the GreatSPN tool and its application to the modelling of industrial applications.
  In Proc. of Workshop on the practical use of High Level Petri Nets, Aarhus, Denmark, June 2000.
  Postscript, Abstract

• A. Horváth, A. Puliafito, M. Scarpa, and M. Telek.
  Analysis and evaluation of non-Markovian stochastic Petri nets.
  In Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS, volume 1786 of Lecture Notes in Computer Science, pages 171-187, Schaumburg, IL, USA, March 2000. Springer.
  Postscript, Abstract

• A. Bobbio, S. Garg, M. Gribaudo, A. Horváth, M. Sereno, and M. Telek.
  Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
  In Proc. of 8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sep 1999. IEEE-CS Press.
  Postscript, Abstract

• M. Telek and A. Horváth.
  Supplementary variable approach applied to the transient analysis of age-MRSPNs.
  In Proc. of 3rd International Computer Performance & Dependability Symposium (IPDS '98), pages 44-51, Durham, North Carolina, USA, September 1998. IEEE Comp. Soc. Press.
  Postscript, Abstract

• A. Horváth, A. Puliafito, M. Scarpa, M. Telek, and O. Tomarchio.
  Design and implementation of a WEB-based non-Markovian stochastic Petri net tool.
  In U. Gudukbay, T. Dayar, A. Gursoy, and E. Gelenbe, editors, Advances in Computer and Information Sciences, Proc. of ISCIS'98, Concurrent System Engineering Series, pages 101-109. IOS Press, Ohmsha, Antalya, Turkey, 1998.
  Postscript, Abstract

PhD Dissertation

• A. Horváth.
  Approximationg non-Markovian Behavior by Markovian Models.
  Department of Telecommunications,
  Budapest University of Technology and Economics,
  2003.
  PDF, Abstract

[Home of András Horváth]