András Horváth

145 papers A 5B 10C 8Misc 2Journal 52Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Phase-Type Variational Autoencoders for Heavy-Tailed Data. CoRR Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	—	`conf`	Age of Information and Transmission Cost Trade-Off in NR-V2X SL Perception Messages. MeditCom Mattia Andreani, Maria Luisa Merani, András Horváth, Matteo Sereno
2025	B	`conf`	Analytical Characterization and Efficient Simulation of Batched Arrivals in the Kafka Broker. MASCOTS András Horváth, Marco Paolieri, Benedetta Picano, Enrico Vicario
2025	—	`ed.`	Analytical and Stochastic Modelling Techniques and Applications - 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings ASMTA Arnaud Devos, András Horváth, Sabina Rossi
2025	J	`jnl`	Anomaly Detection Algorithms for Real-Time Log Data Analysis at Scale. IEEE Access András Horváth, András Oláh, Attila Pintér, Bálint Siklósi, Gergely Lukács, István Z. Reguly, Kálmán Tornai, Tamás Zsedrovits, Zoltán Máthé
2025	—	`conf`	Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models. EPEW Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	J	`jnl`	Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models. CoRR Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	J	`jnl`	Approximation of cumulative distribution functions by Bernstein phase-type distributions. Perform. Evaluation András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario
2025	C	`conf`	Edge Training and Inference with Analog ReRAM Technology for Hand Gesture Recognition. ISCAS Victoria Clerico, Anirvan Dutta, Donato Francesco Falcone, Wooseok Choi, Matteo Galetta, Tommaso Stecconi, András Horváth, Shokoofeh Varzandeh, Bert Jan Offrein, Mohsen Kaboli, Valeria Bragaglia
2025	C	`conf`	Investigating the Robustness of Dynamically Tunable Logic Gates with Tantalum Oxide Memristors. ISCAS András Horváth, Alon Ascoli, Ronald Tetzlaff
2025	B	`conf`	Perception Messages in Vehicular Networks: A Joint Analysis of Transmission Cost, Peak AoI, and Autocorrelation of Message Size. GLOBECOM Mattia Andreani, Maria Luisa Merani, András Horváth, Matteo Sereno
2025	J	`jnl`	Probabilistic Process Discovery with Stochastic Process Trees. CoRR András Horváth, Paolo Ballarini, Pierre Cry
2025	—	`conf`	Statistical Bayesian Inference for Stochastic Process Discovery. QEST+FORMATS Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2025	J	`jnl`	Statistical process discovery. CoRR Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2025	B	`conf`	Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery. ICPM Pierre Cry, András Horváth, Paolo Ballarini
2025	—	`conf`	Tunable Neural Network Implementation Using Niobium Oxide Memristors. MetroXRAINE András Horváth, Ahmet Samil Demirkol, Ronald Tetzlaff, Alon Ascoli
2025	J	`jnl`	Unintended Bias in 2D+ Image Segmentation and Its Effect on Attention Asymmetry. CoRR Zsófia Molnár, Gergely Szabó, András Horváth
2024	—	`conf`	A Framework for Optimisation Based Stochastic Process Discovery. QEST+FORMATS Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	J	`jnl`	A framework for optimisation based stochastic process discovery. CoRR Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	—	`conf`	Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions. QEST+FORMATS András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario
2024	—	`conf`	Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains. EPEW András Horváth, Marco Paolieri, Enrico Vicario
2024	—	`conf`	Dynamic Logic Gate Adaptation in TaO-Memristor Cellular Neural Networks. MetroXRAINE András Horváth, Alon Ascoli, Ronald Tetzlaff
2024	J	`jnl`	Post-Hoc MOTS: Exploring the Capabilities of Time-Symmetric Multi-Object Tracking. CoRR Gergely Szabó, Zsófia Molnár, András Horváth
2024	—	`conf`	Probabilistic Process Discovery with Stochastic Process Trees. VALUETOOLS András Horváth, Paolo Ballarini, Pierre Cry
2024	J	`jnl`	Stable Diffusion with Continuous-time Neural Network. CoRR András Horváth
2024	C	`conf`	Stable Diffusion with Memristive Cellular Neural Networks. ISCAS András Horváth
2023	—	`conf`	Construction of Phase Type Distributions by Bernstein Exponentials. EPEW András Horváth, Enrico Vicario
2023	J	`jnl`	Enhancing Cell Tracking with a Time-Symmetric Deep Learning Approach. CoRR Gergely Szabó, Paolo Bonaiuti, Andrea Ciliberto, András Horváth
2023	—	`conf`	Equilibrium Analysis of Markov Regenerative Processes. QEST András Horváth, Marco Paolieri, Enrico Vicario
2023	—	`conf`	Implementation of the XOR gate with two memristive neurons. MOCAST András Horváth, Alon Ascoli, Ronald Tetzlaff
2023	—	`conf`	Targeted Adversarial Attacks on Generalizable Neural Radiance Fields. ICCV (Workshops) András Horváth, Csaba Mate Józsa
2023	J	`jnl`	Targeted Adversarial Attacks on Generalizable Neural Radiance Fields. CoRR András Horváth, Csaba Mate Józsa
2022	C	`conf`	Comparison of the Resilience of Convolutional and Cellular Neural Networks Against Adversarial Attacks. ISCAS András Horváth
2022	J	`jnl`	Efficient link prediction in the protein-protein interaction network using topological information in a generative adversarial network machine learning model. BMC Bioinform. Olivér M. Balogh, Bettina Benczik, András Horváth, Mátyás Pétervári, Péter Csermely, Péter Ferdinandy, Bence Ágg
2022	B	`conf`	Mitigating the Bias of Centered Objects in Common Datasets. ICPR Gergely Szabó, András Horváth
2022	—	`conf`	On the Feasibility and Generality of Patch-Based Adversarial Attacks on Semantic Segmentation Problems. ICPRAI (1) Soma Kontár, András Horváth
2022	J	`jnl`	On the Feasibility and Generality of Patch-based Adversarial Attacks on Semantic Segmentation Problems. CoRR Soma Kontár, András Horváth
2022	—	`conf`	RVENet: A Large Echocardiographic Dataset for the Deep Learning-Based Assessment of Right Ventricular Function. ECCV Workshops (3) Bálint Magyar, Márton Tokodi, András Soós, Máté Tolvaj, Bálint Károly Lakatos, Alexandra Fábián, Elena Surkova, Béla Merkely, Attila Kovács, András Horváth
2022	B	`conf`	Saliency Map Based Data Augmentation. ICPR Jalal Al-Afandi, Bálint Magyar, András Horváth
2022	J	`jnl`	Saliency Map Based Data Augmentation. CoRR Jalal Al-Afandi, Bálint Magyar, András Horváth
2021	J	`jnl`	Adaptive Gene Level Mutation. Algorithms Jalal Al-Afandi, András Horváth
2021	C	`conf`	Application of Cellular Neural Networks in Semantic Segmentation. ISCAS András Fülöp, András Horváth
2021	C	`conf`	Formal analysis of production line systems by probabilistic model checking tools. ETFA Paolo Ballarini, András Horváth
2021	J	`jnl`	Mitigating the Bias of Centered Objects in Common Datasets. CoRR Gergely Szabó, András Horváth
2021	—	`conf`	Multi-instance Conditional Autoencoder a data driven compression model for strongly correlated datasets. BMSB Jalal Al-Afandi, András Horváth
2021	—	`conf`	Performance Analysis of Production Lines Through Statistical Model Checking. EPEW Paolo Ballarini, András Horváth
2021	A	`conf`	Receptive Field Size Optimization with Continuous Time Pooling. WACV Dóra Babicz, Soma Kontár, Márk Peto, András Fülöp, Gergely Szabó, András Horváth
2020	—	`conf`	Colour afterimages: computing and measuring virtual colour perception provided by two display types. CogInfoCom Lorinc Garai, András Horváth
2020	B	`conf`	Filtered Batch Normalization. ICPR András Horváth, Jalal Al-Afandi
2020	J	`jnl`	Filtered Batch Normalization. CoRR András Horváth, Jalal Al-Afandi
2020	J	`jnl`	Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018). ACM Trans. Model. Perform. Evaluation Comput. Syst. Annabelle McIver, András Horváth
2020	—	`conf`	Measuring colour afterimage perception. CogInfoCom Lorinc Garai, András Horváth
2020	B	`conf`	Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Petri Nets Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri
2020	—	`conf`	Preventing Neural Network Weight Stealing via Network Obfuscation. SAI (3) Kálmán Szentannai, Jalal Al-Afandi, András Horváth
2020	J	`jnl`	Receptive Field Size Optimization with Continuous Time Pooling. CoRR Dóra Babicz, Soma Kontár, Márk Peto, András Fülöp, Gergely Szabó, András Horváth
2020	J	`jnl`	Sorted Pooling in Convolutional Networks for One-shot Learning. CoRR András Horváth
2020	—	`conf`	Template Optimization in Cellular Neural Networks Using Gradient Based Approaches. ECCTD András Fülöp, András Horváth
2019	J	`jnl`	A Mixed Signal Architecture for Convolutional Neural Networks. ACM J. Emerg. Technol. Comput. Syst. Qiuwen Lou, Chenyun Pan, John McGuinness, András Horváth, Azad Naeemi, Michael T. Niemier, Xiaobo Sharon Hu
2019	J	`jnl`	Application-level Studies of Cellular Neural Network-based Hardware Accelerators. CoRR Qiuwen Lou, Indranil Palit, Li Tang, András Horváth, Michael T. Niemier, Xiaobo Sharon Hu
2019	J	`jnl`	Domain Partitioning Network. CoRR Botos Csaba, Adnane Boukhayma, Viveka Kulharia, András Horváth, Philip H. S. Torr
2019	J	`jnl`	MimosaNet: An Unrobust Neural Network Preventing Model Stealing. CoRR Kálmán Szentannai, Jalal Al-Afandi, András Horváth
2019	B	`conf`	PPCU Sam: Open-source face recognition framework. KES Botos Csaba, Hakkel Tamás, András Horváth, András Oláh, István Z. Reguly
2019	C	`conf`	Simulation of an Analogue Circuit Solving NP-Hard Optimization Problems. ISCAS Dóra Babicz, Attila Tihanyi, Miklós Koller, Csaba Rekeczky, András Horváth
2018	J	`jnl`	A mixed signal architecture for convolutional neural networks. CoRR Qiuwen Lou, Chenyun Pan, John McGuinness, András Horváth, Azad Naeemi, Michael T. Niemier, Xiaobo Sharon Hu
2018	—	`conf`	Modelling of human color perception depending on quick color shifts on screen. CogInfoCom Lorinc Garai, András Horváth
2018	—	`ed.`	Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings QEST Annabelle McIver, András Horváth
2017	—	`conf`	Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston
2017	A	`conf`	Cellular neural network friendly convolutional neural networks - CNNs with CNNs. DATE András Horváth, Michael Hillmer, Qiuwen Lou, Xiaobo Sharon Hu, Michael T. Niemier
2017	J	`jnl`	Computer model for font legibility measurement. Intell. Decis. Technol. András Horváth, Gábor Dömötör
2016	J	`jnl`	Exploiting flow equivalent server in transient analysis. Comput. Syst. Sci. Eng. Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2016	J	`jnl`	Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Software Eng. Marco Paolieri, András Horváth, Enrico Vicario
2015	J	`jnl`	Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2015	—	`conf`	TFET-based Operational Transconductance Amplifier Design for CNN Systems. ACM Great Lakes Symposium on VLSI Qiuwen Lou, Indranil Palit, András Horváth, Xiaobo Sharon Hu, Michael T. Niemier, Joseph Nahas
2015	—	`conf`	Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks. ASMTA Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2014	B	`conf`	Analysis of Petri Net Models through Stochastic Differential Equations. Petri Nets Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014	J	`jnl`	Analysis of Petri Net Models through Stochastic Differential Equations. CoRR Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014	—	`conf`	Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes. VALUETOOLS András Horváth, Alessio Angius
2014	J	`jnl`	Approximate analysis of biological systems by hybrid switching jump diffusion. CoRR Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2014	—	`conf`	Architectural impacts of emerging transistors. NEWCAS András Horváth, Xiaobo Sharon Hu, Joseph Nahas, Michael T. Niemier, Indranil Palit, Robert Perricone, Behnam Sedighi
2014	—	`ed.`	Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings EPEW András Horváth, Katinka Wolter
2014	A	`conf`	Impact of steep-slope transistors on non-von Neumann architectures: CNN case study. DATE Indranil Palit, Behnam Sedighi, András Horváth, Xiaobo Sharon Hu, Joseph Nahas, Michael T. Niemier
2014	C	`conf`	Lead time distribution in unreliable production lines processing perishable products. ETFA Marcello Colledani, Alessio Angius, András Horváth
2014	J	`jnl`	Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems. Perform. Evaluation Alessio Angius, András Horváth, Marcello Colledani
2013	—	`ed.`	7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013 VALUETOOLS András Horváth, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante
2013	—	`conf`	Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. ASMTA Alessio Angius, András Horváth, Verena Wolf
2013	—	`conf`	Architectures for nanoscale hybrid computing systems. ECCTD Fernando Corinto, András Horváth, Tamás Roska
2013	J	`jnl`	Fast, parallel implementation of particle filtering on the GPU architecture. EURASIP J. Adv. Signal Process. Anna Gelencsér-Horváth, Gábor Tornai, András Horváth, György Cserey
2013	—	`conf`	Frameless computing for spatial-temporal events. ECCTD Miklós Koller, András Horváth, Tamás Roska
2013	J	`jnl`	Topographic implementation of particle filters on cellular processor arrays. Signal Process. András Horváth, Miklós Rásonyi
2013	—	`conf`	Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
2012	J	`jnl`	Implementation of cellular genetic algorithms on a CNN chip: Simulations and experimental results. Int. J. Circuit Theory Appl. András Horváth, Miklós Rásonyi
2012	J	`jnl`	Quasi Product Form Approximation for Markov Models of Reaction Networks. Trans. Comp. Sys. Biology Alessio Angius, András Horváth, Verena Wolf
2012	Misc	`conf`	Searching for a nonlinear ODE model of vehicle crash with genetic optimization. SACI András Horváth, Miklós F. Hatwágner, István Á. Harmati
2012	—	`—`	Solving Non-Topographic Problems with Topographic and Synchronization Algorithms and Architectures András Horváth
2012	J	`jnl`	Transient analysis of non-Markovian models using stochastic state classes. Perform. Evaluation András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
2011	—	`conf`	A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas
2011	—	`conf`	Analysis of stochastic reaction networks with Markov reward models. CMSB Alessio Angius, András Horváth
2011	J	`jnl`	On moments based Padé approximations of ruin probabilities. J. Comput. Appl. Math. Florin Avram, D. F. Chedom, András Horváth
2011	—	`conf`	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
2011	—	`conf`	Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks. CS2Bio@DisCoTec Alessio Angius, András Horváth
2011	J	`jnl`	Simplification of a complex signal transduction model using invariants and flow equivalent servers. Theor. Comput. Sci. 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
2011	—	`conf`	The Monte Carlo EM method for the parameter estimation of biological models. PASM@ICPE Alessio Angius, András Horváth
2010	J	`jnl`	A joint moments based analysis of networks of MAP/MAP/1 queues. Perform. Evaluation András Horváth, Gábor Horváth, Miklós Telek
2010	—	`conf`	Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. ACSD/Petri Nets Workshops Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini
2010	—	`conf`	Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST András Horváth, Lorenzo Ridi, Enrico Vicario
2009	J	`jnl`	A traffic based decomposition of two-class queueing networks with priority service. Comput. Networks András Horváth, Gábor Horváth, Miklós Telek
2009	—	`conf`	Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. QEST András Horváth, Enrico Vicario
2009	—	`conf`	Memory efficient analysis for a class of large structured Markov chains: work in progress. VALUETOOLS Paolo Ballarini, András Horváth
2009	—	`conf`	Moments Characterization of Order 3 Matrix Exponential Distributions. ASMTA András Horváth, Sándor Rácz, Miklós Telek
2009	—	`conf`	On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. CMSB 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
2008	—	`conf`	A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues. QEST András Horváth, Gábor Horváth, Miklós Telek
2008	—	`conf`	Compositional fluid stochastic Petri net model for operational software system performance. ISSRE Workshops Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek
2008	—	`conf`	Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. FOMI Matteo Baldoni, Cristina Baroglio, András Horváth, Viviana Patti, Flavio Portis, Maurizio Avilia, Pierluigi Grillo
2008	—	`conf`	Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST Paolo Ballarini, András Horváth
2008	J	`jnl`	Moment characterization of matrix exponential and Markovian arrival processes. Ann. Oper. Res. Levente Bodrog, András Horváth, Miklós Telek
2008	—	`conf`	Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method. BMEI (1) András Horváth, Daniele Manini
2007	—	`conf`	Compositional Model Checking of product-form CTMCs. AVoCS Paolo Ballarini, András Horváth
2007	—	`conf`	Current results and open questions on PH and MAP characterization. Numerical Methods for Structured Markov Chains Levente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, András Horváth
2007	—	`conf`	On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. Numerical Methods for Structured Markov Chains Levente Bodrog, András Horváth, Miklós Telek
2007	—	`conf`	On the properties of acyclic bilateral phase type distributions. VALUETOOLS András Horváth, Miklós Telek
2006	—	`conf`	CSL Model Checking for Generalized Stochastic Petri Nets. QEST Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
2006	—	`ed.`	Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings EPEW András Horváth, Miklós Telek
2006	—	`conf`	Modelling a car safety controller in road tunnels using hybrid petri nets. ITSC Andrea Bobbio, Marco Gribaudo, András Horváth
2005	—	`conf`	Steady State Solution for Models with Geometric and Finite Support Activity Duration. QEST András Horváth
2004	—	`conf`	Model Checking Functional and Performability Properties of Stochastic Fluid Models. AVoCS Marco Gribaudo, András Horváth
2004	J	`jnl`	The scale factor: a new degree of freedom in phase-type approximation. Perform. Evaluation Andrea Bobbio, András Horváth, Miklós Telek
2003	J	`jnl`	A Secure Infrastructure For System Console and Reset Access CoRR András Horváth, Emanuele Leonardi, Markus W. Schulz
2003	J	`jnl`	Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Evaluation Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek
2003	J	`jnl`	Fluid Petri Nets and hybrid model-checking: a comparative case study. Reliab. Eng. Syst. Saf. Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2003	—	`conf`	Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA Marco Gribaudo, András Horváth
2002	J	`jnl`	Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. IEEE Trans. Software Eng. Marco Gribaudo, András Horváth
2002	Misc	`conf`	Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples. Performance András Horváth, Miklós Telek
2002	B	`conf`	Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2002	—	`conf`	PhFit: A General Phase-Type Fitting Tool. Computer Performance Evaluation / TOOLS András Horváth, Miklós Telek
2002	A	`conf`	PhFit: A General Phase-type Fitting Tool. DSN Andrea Bobbio, András Horváth, Miklós Telek
2002	A	`conf`	The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN Andrea Bobbio, András Horváth, Miklós Telek
2002	J	`jnl`	Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. IEEE Trans. Software Eng. András Horváth, Miklós Telek
2001	J	`jnl`	Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discret. Event Dyn. Syst. Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio
2001	—	`conf`	Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. PNPM Marco Gribaudo, András Horváth
2001	J	`jnl`	Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. Simona Bernardi, Susanna Donatelli, András Horváth
2001	—	`conf`	Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. MTCS Andrea Bobbio, András Horváth
2001	—	`conf`	Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. PNPM András Horváth, Miklós Telek
2001	J	`jnl`	Transient analysis of Age-MRSPNs by the method of supplementary variables. Perform. Evaluation Miklós Telek, András Horváth
2000	—	`conf`	Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. Computer Performance Evaluation / TOOLS András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek
1999	—	`conf`	Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. PNPM Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek