Search the dblp DataBase

Publications of Author

1. András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek
   Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation / TOOLS, 2000, pp:171-187 [Conf]
   
2. András Horváth, Miklós Telek
   PhFit: A General Phase-Type Fitting Tool. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation / TOOLS, 2002, pp:82-91 [Conf]
   
3. Andrea Bobbio, András Horváth, Miklós Telek
   PhFit: A General Phase-type Fitting Tool. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:543- [Conf]
   
4. Andrea Bobbio, András Horváth, Miklós Telek
   The Scale Factor: A New Degree of Freedom in Phase Type Approximation. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:627-636 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Performance, 2002, pp:405-434 [Conf]
   
6. Marco Gribaudo, András Horváth
   Modeling Hybrid Positive Systems with Hybrid Petri Nets. [Citation Graph (0, 0)][DBLP]
   POSTA, 2003, pp:71-78 [Conf]
   
7. Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
   CSL Model Checking for Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:199-210 [Conf]
   
8. András Horváth
   Steady State Solution for Models with Geometric and Finite Support Activity Duration. [Citation Graph (0, 0)][DBLP]
   QEST, 2005, pp:114-123 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2002, pp:273-283 [Conf]
   
10. András Horváth, Emanuele Leonardi, Markus W. Schulz
    A Secure Infrastructure For System Console and Reset Access [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
    
11. Andrea Bobbio, András Horváth
    Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
    
12. Marco Gribaudo, András Horváth
    Model Checking Functional and Performability Properties of Stochastic Fluid Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:295-310 [Journal]
    
13. Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek
    Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:54, n:1, pp:1-32 [Journal]
    
14. Andrea Bobbio, András Horváth, Miklós Telek
    The scale factor: a new degree of freedom in phase-type approximation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:121-144 [Journal]
    
15. Miklós Telek, András Horváth
    Transient analysis of Age-MRSPNs by the method of supplementary variables. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:45, n:4, pp:205-221 [Journal]
    
16. Simona Bernardi, Susanna Donatelli, András Horváth
    Implementing compositionality for stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:417-430 [Journal]
    
17. Marco Gribaudo, András Horváth
    Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:944-955 [Journal]
    
18. András Horváth, Miklós Telek
    Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:933-943 [Journal]
    
19. 
    On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. [Citation Graph (, )][DBLP]
    
    
20. 
    On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. [Citation Graph (, )][DBLP]
    
    
21. 
    Current results and open questions on PH and MAP characterization. [Citation Graph (, )][DBLP]
    
    
22. 
    A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues. [Citation Graph (, )][DBLP]
    
    
23. 
    Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. [Citation Graph (, )][DBLP]
    
    
24. 
    Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. [Citation Graph (, )][DBLP]
    
    
25. 
    On the properties of acyclic bilateral phase type distributions. [Citation Graph (, )][DBLP]
    
    
26. 
    Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method. [Citation Graph (, )][DBLP]
    
    
27. 
    Moments Characterization of Order 3 Matrix Exponential Distributions. [Citation Graph (, )][DBLP]
    
    
28. 
    Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. [Citation Graph (, )][DBLP]
    
    
29. 
    A traffic based decomposition of two-class queueing networks with priority service. [Citation Graph (, )][DBLP]
    
    
30. 
    Compositional Model Checking of product-form CTMCs. [Citation Graph (, )][DBLP]