dblp.uni-trier.dewww.uni-trier.de

András Horváth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
28EEAndrás Horváth, Gábor Horváth, Miklós Telek: A traffic based decomposition of two-class queueing networks with priority service. Computer Networks 53(8): 1235-1248 (2009)
2008
27EEAndrás Horváth, Daniele Manini: Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method. BMEI (1) 2008: 713-717
26EEAndrás Horváth, Gábor Horváth, Miklós Telek: A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues. QEST 2008: 125-134
25EEPaolo Ballarini, András Horváth: Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST 2008: 157-166
24EELevente Bodrog, András Horváth, Miklós Telek: Moment characterization of matrix exponential and Markovian arrival processes. Annals OR 160(1): 51-68 (2008)
2007
23EELevente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, András Horváth: Current results and open questions on PH and MAP characterization. Numerical Methods for Structured Markov Chains 2007
22EELevente Bodrog, András Horváth, Miklós Telek: On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. Numerical Methods for Structured Markov Chains 2007
21EEAndrás Horváth, Miklós Telek: On the properties of acyclic bilateral phase type distributions. VALUETOOLS 2007: 79
2006
20 András Horváth, Miklós Telek: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings Springer 2006
19EEDavide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
2005
18EEAndrás Horváth: Steady State Solution for Models with Geometric and Finite Support Activity Duration. QEST 2005: 114-123
17EEMarco Gribaudo, András Horváth: Model Checking Functional and Performability Properties of Stochastic Fluid Models. Electr. Notes Theor. Comput. Sci. 128(6): 295-310 (2005)
2004
16EEAndrea Bobbio, András Horváth, Miklós Telek: The scale factor: a new degree of freedom in phase-type approximation. Perform. Eval. 56(1-4): 121-144 (2004)
2003
15EEMarco Gribaudo, András Horváth: Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78
14EEAndrás Horváth, Emanuele Leonardi, Markus W. Schulz: A Secure Infrastructure For System Console and Reset Access CoRR cs.DC/0305061: (2003)
13EEAndrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek: Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Eval. 54(1): 1-32 (2003)
2002
12EEAndrás Horváth, Miklós Telek: PhFit: A General Phase-Type Fitting Tool. Computer Performance Evaluation / TOOLS 2002: 82-91
11EEAndrea Bobbio, András Horváth, Miklós Telek: PhFit: A General Phase-type Fitting Tool. DSN 2002: 543
10EEAndrea Bobbio, András Horváth, Miklós Telek: The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN 2002: 627-636
9EEAndrás Horváth, Miklós Telek: Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples. Performance 2002: 405-434
8EEMarco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino: Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP 2002: 273-283
7EEAndrás Horváth, Miklós Telek: Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. IEEE Trans. Software Eng. 28(10): 933-943 (2002)
6EEMarco Gribaudo, András Horváth: Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. IEEE Trans. Software Eng. 28(10): 944-955 (2002)
2001
5EEMarco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio: Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discrete Event Dynamic Systems 11(1-2): 97-117 (2001)
4EEAndrea Bobbio, András Horváth: Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
3 Miklós Telek, András Horváth: Transient analysis of Age-MRSPNs by the method of supplementary variables. Perform. Eval. 45(4): 205-221 (2001)
2EESimona Bernardi, Susanna Donatelli, András Horváth: Implementing compositionality for stochastic Petri nets. STTT 3(4): 417-430 (2001)
2000
1EEAndrás Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek: Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. Computer Performance Evaluation / TOOLS 2000: 171-187

Coauthor Index

1Paolo Ballarini [25]
2Simona Bernardi [2]
3Andrea Bobbio [4] [5] [8] [10] [11] [13] [16]
4Levente Bodrog [22] [23] [24]
5Davide Cerotti [19]
6Ester Ciancamerla [8]
7Susanna Donatelli [2] [19]
8Marco Gribaudo [5] [6] [8] [15] [17]
9Armin Heindl [23]
10Gábor Horváth [23] [26] [28]
11Emanuele Leonardi [14]
12Daniele Manini [27]
13Michele Minichino [8]
14Antonio Puliafito [1]
15Marco Scarpa [1] [13]
16Markus W. Schulz [14]
17Matteo Sereno [5]
18Jeremy Sproston [19]
19Miklós Telek [1] [3] [7] [9] [10] [11] [12] [13] [16] [20] [21] [22] [23] [24] [26] [28]
20Enrico Tronci [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)