2009 |
28 | EE | Andrá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 |
27 | EE | András Horváth,
Daniele Manini:
Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method.
BMEI (1) 2008: 713-717 |
26 | EE | Andrá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 |
25 | EE | Paolo Ballarini,
András Horváth:
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
QEST 2008: 157-166 |
24 | EE | Levente 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 |
23 | EE | Levente 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 |
22 | EE | Levente 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 |
21 | EE | Andrá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 |
19 | EE | Davide Cerotti,
Susanna Donatelli,
András Horváth,
Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
QEST 2006: 199-210 |
2005 |
18 | EE | András Horváth:
Steady State Solution for Models with Geometric and Finite Support Activity Duration.
QEST 2005: 114-123 |
17 | EE | Marco 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 |
16 | EE | Andrea 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 |
15 | EE | Marco Gribaudo,
András Horváth:
Modeling Hybrid Positive Systems with Hybrid Petri Nets.
POSTA 2003: 71-78 |
14 | EE | András Horváth,
Emanuele Leonardi,
Markus W. Schulz:
A Secure Infrastructure For System Console and Reset Access
CoRR cs.DC/0305061: (2003) |
13 | EE | Andrea 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 |
12 | EE | András Horváth,
Miklós Telek:
PhFit: A General Phase-Type Fitting Tool.
Computer Performance Evaluation / TOOLS 2002: 82-91 |
11 | EE | Andrea Bobbio,
András Horváth,
Miklós Telek:
PhFit: A General Phase-type Fitting Tool.
DSN 2002: 543 |
10 | EE | Andrea Bobbio,
András Horváth,
Miklós Telek:
The Scale Factor: A New Degree of Freedom in Phase Type Approximation.
DSN 2002: 627-636 |
9 | EE | Andrá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 |
8 | EE | Marco 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 |
7 | EE | Andrá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) |
6 | EE | Marco 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 |
5 | EE | Marco 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) |
4 | EE | Andrea 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) |
2 | EE | Simona Bernardi,
Susanna Donatelli,
András Horváth:
Implementing compositionality for stochastic Petri nets.
STTT 3(4): 417-430 (2001) |
2000 |
1 | EE | Andrá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 |