Search results for "András Horváth"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo	Simplification of a complex signal transduction model using invariants and flow equivalent servers.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Alessio Angius, András Horváth	The Monte Carlo EM method for the parameter estimation of biological models.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Alessio Angius, András Horváth	Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	F. Avram, D. F. Chedom, András Horváth	On moments based Padé approximations of ruin probabilities.	J. Computational Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Alessio Angius, András Horváth	Analysis of stochastic reaction networks with Markov reward models.	CMSB	2011	DBLP DOI BibTeX RDF
1	András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.	QEST	2011	DBLP DOI BibTeX RDF	Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
1	Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas	A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.	VTC Spring	2011	DBLP DOI BibTeX RDF
1	András Horváth, Gábor Horváth, Miklós Telek	A joint moments based analysis of networks of MAP/MAP/1 queues.	Perform. Eval.	2010	DBLP DOI BibTeX RDF
1	Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini	Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
1	András Horváth, Lorenzo Ridi, Enrico Vicario	Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.	QEST	2010	DBLP DOI BibTeX RDF
1	Paolo Ballarini, András Horváth	Compositional Model Checking of product-form CTMCs.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	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	2009	DBLP DOI BibTeX RDF
1	András Horváth, Sándor Rácz, Miklós Telek	Moments Characterization of Order 3 Matrix Exponential Distributions.	ASMTA	2009	DBLP DOI BibTeX RDF	Matrix exponential distributions, moment bounds, Phase type distributions
1	Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo	On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.	CMSB	2009	DBLP DOI BibTeX RDF
1	András Horváth, Enrico Vicario	Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.	QEST	2009	DBLP DOI BibTeX RDF	non-Markovian stochastic Petri nets, stochastic state classes, steady state analysis, stochastic time Petri nets
1	Levente Bodrog, András Horváth, Miklós Telek	Moment characterization of matrix exponential and Markovian arrival processes.	Annals OR	2008	DBLP DOI BibTeX RDF	Matrix exponential process, Markov arrival process, Matrix exponential distribution, Inter-arrival time distribution, Lag-correlation, Phase type distribution, Moment matching
1	András Horváth, Daniele Manini	Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method.	BMEI	2008	DBLP DOI BibTeX RDF	stochastic reaction network, kinetic rate constants, parameter estimation
1	Matteo Baldoni, Cristina Baroglio, András Horváth, Viviana Patti, Flavio Portis, Maurizio Avilia, Pierluigi Grillo	Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.	FOMI	2008	DBLP BibTeX RDF
1	Paolo Ballarini, András Horváth	Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.	QEST	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	András Horváth, Miklós Telek	On the properties of acyclic bilateral phase type distributions.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	bilateral phase type distributions, moment bounds, moment fitting, phase type distributions
1	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	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston	CSL Model Checking for Generalized Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF
1	András Horváth, Miklós Telek (eds.)	Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings	EPEW	2006	DBLP BibTeX RDF
1	Marco Gribaudo, András Horváth	Model Checking Functional and Performability Properties of Stochastic Fluid Models.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	András Horváth	Steady State Solution for Models with Geometric and Finite Support Activity Duration.	QEST	2005	DBLP DOI BibTeX RDF
1	Andrea Bobbio, András Horváth, Miklós Telek	The scale factor: a new degree of freedom in phase-type approximation.	Perform. Eval.	2004	DBLP DOI BibTeX RDF
1	Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek	Acyclic discrete phase type distributions: properties and a parameter estimation algorithm.	Perform. Eval.	2003	DBLP DOI BibTeX RDF
1	Andras Horvath, Emanuele Leonardi, Markus W. Schulz	A Secure Infrastructure For System Console and Reset Access	CoRR	2003	DBLP BibTeX RDF
1	Marco Gribaudo, András Horváth	Modeling Hybrid Positive Systems with Hybrid Petri Nets.	POSTA	2003	DBLP DOI BibTeX RDF
1	Marco Gribaudo, András Horváth	Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Non-Markovian models, fluid stochastic petri nets, numerical techniques
1	András Horváth, Miklós Telek	Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Non-Markovian Stochastic Petri Nets, preemption policies, preemptive repeat identical (pri) type transition, time domain analysis
1	András Horváth, Miklós Telek	PhFit: A General Phase-Type Fitting Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
1	Andrea Bobbio, András Horváth, Miklós Telek	The Scale Factor: A New Degree of Freedom in Phase Type Approximation.	DSN	2002	DBLP DOI BibTeX RDF
1	Andrea Bobbio, András Horváth, Miklós Telek	PhFit: A General Phase-type Fitting Tool.	DSN	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Miklós Telek, András Horváth	Transient analysis of Age-MRSPNs by the method of supplementary variables.	Perform. Eval.	2001	DBLP DOI BibTeX RDF
1	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.	2001	DBLP DOI BibTeX RDF
1	Simona Bernardi, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	STTT	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
1	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	2001	DBLP DOI BibTeX RDF	stochastic reward models, fluid stochastic Petri nets, performance analysis, Petri nets
1	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	DBLP DOI BibTeX RDF

Publications of "András Horváth" ( http://dblp.L3S.de/Authors/András_Horváth )