ELENCO DELLE PUBBLICAZIONI TRASMESSE

András HORVÁTH

nato a Budapest (Ungheria) il 30 aprile 1974
codice fiscale: HRV NRS 74D30 Z134W
cittadinanza ungherese
celibe

ricercatore confermato presso il Dipartimento di Informatica dell'Università degli Studi di Torino
recapito: Corso Svizzera 185, c.a.p. 10149, Torino, Italia
telefono: +39 011 6706803
fax: +39 011 751603
e-mail: horvath@di.unito.it
url: www.di.unito.it/~horvath

Si sono trasmesse le seguenti pubblicazioni:

Articoli su riviste internazionali

J1

L. Bodrog, A. Horváth, and M. Telek.
Moment characterization of matrix exponential and Markovian arrival processes.
Annals of Operations Research, Springer, 160:51-68, 2008.
PDF,Abstract
[ISI: 0.544 (2007)]

J2

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

J3

A. Bobbio, A. Horváth, and M. Telek.
Matching three moments with minimal acyclic phase type distributions.
Stochastic Models, Taylor & Francis, 21:303-326, 2005.
PDF,Abstract
[ISI: 0.771 (2005)][10 citazioni]

J4

M. Telek, A. Horváth, and G. Horváth.
Analysis of inhomogeneous Markov reward models.
Linear Algebra and Its Applications, Elsevier, 386:383-405, 2004.
PDF,Abstract
[ISI: 0.501 (2004)]

J5

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

J6

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, Elsevier, 81(3):239-257, 2003.
PDF,Abstract
[ISI: 0.741 (2003)]

J7

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

J8

A. Horváth and M. Telek.
Time domain analysis of non-markovian stochastic Petri nets with PRI transitions.
IEEE Transactions On Software Engineering, IEEE Computer Society, 28(20):933-943, 2002.
Postscript,Abstract
[ISI: 1.170 (2002)]

J9

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

J10

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

J11

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

J12

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, Kluwer, 11:97-111, 2001.
PDF,Abstract
[ISI: 0.552 (2001)][11 citazioni]

Articoli in LNCS, LNCIS e ENTCS

S1

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), 16 pages, Oxford, UK, Sept 2007.
To appear in Electronic Notes in Theoretical Computer Science, Elsevier.
PDF,Abstract

S2

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, Elsevier, pages 295-310, London, UK, Sept 2004.
Postscript,Abstract

S3

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 Lecture Notes in Control and Information Sciences, Springer, pages 71-78, Rome, Italy, Aug. 2003.
Postscript,Abstract

S4

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, Springer, pages 405-434, Rome, Italy, Sep 2002.
Postscript,Abstract
[10 citazioni]

S5

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, Springer, pages 273-283, Catania, Italy, Sep 2002.
Postscript,Abstract

S6

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, Springer, pages 1-14, Imperial College, London, Apr 2002.
Postscript,Abstract
[20 citazioni]

S7

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, Elsevier, pages 209-226, Aalborg, Denmark, Aug 2001.
Postscript,Abstract

S8

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

Conferenze e workshop internazionali con revisione

C1

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), 10 pages, St Malo, France, Sept 2008.
PDF,Abstract

C2

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), 10 pages, St Malo, France, Sept 2008.
PDF,Abstract

C3

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), pages 132-143, Torino, Italy, June 2008.
PDF,Abstract

C4

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

C5

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), 8 pages, Nantes, France, Oct 2007.
PDF,Abstract

C6

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), pages 199-210, Riversida, California, USA, Sept 2006.
PDF,Abstract

C7

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), pages 1436-1441, Toronto, Canada, Sep. 2006.
PDF,Abstract

C8

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), pages 114-123, Torino, Italy, Sept 2005.
PDF,Abstract

C9

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

C10

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, 4 pages, Monticello, Illinois, USA, Sep. 2003.
Extended abstract.
Postscript,Abstract

C11

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

C12

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), pages 627-636, Washington, DC, USA, June 2002.
Postscript,Abstract

C13

A. Horváth and M. Telek.
A Markovian point process exhibiting multifractal behaviour and its application to traffic modeling.
In Proc. of 4th International Conference on Matrix-Analytic Methods in Stochastic models, pages 183-208, Adelaide, Australia, July 2002.
Postscript,Abstract
[16 citazioni]

C14

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

C15

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, 5 pages, Erlangen, Germany, Sep. 2001.
Extended abstract.
Postscript,Abstract
[5 citazioni]

C16

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, pages 155-164, Aachen, Germany, Sep. 2001. IEEE-CS Press.
Postscript,Abstract

C17

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, pages 145-154, Aachen, Germany, Sep. 2001. IEEE-CS Press.
Postscript,Abstract

C18

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, 7 pages, Aachen, Germany, Sep. 2001.
PDF

C19

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, pages 191-214, Leuven, Belgium, June 2000.
Postscript,Abstract
[30 citazioni]

C20

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, pages pages (33)1-12, Ilkley, England, June 2000.
Postscript,Abstract
[9 citazioni]

C21

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, pages 127-145, Aarhus, Denmark, June 2000.
Postscript,Abstract
[10 citazioni]

C22

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, pages 82-91, Zaragoza, Spain, Sep. 1999. IEEE-CS Press.
Postscript,Abstract
[15 citazioni]

C23

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, Sep. 1998. IEEE Comp. Soc. Press.
Postscript,Abstract

C24

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