Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. - Andrea Bobbio; Sachin Garg; Marco Gribaudo; András Horváth; Matteo Sereno; Miklós Telek (PNPM, 1999)

Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. - András Horváth; Antonio Puliafito; Marco Scarpa; Miklós Telek (Computer Performance Evaluation / TOOLS, 2000)

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. - Marco Gribaudo; András Horváth (PNPM, 2001)

Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. - András Horváth; Miklós Telek (PNPM, 2001)

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. - Marco Gribaudo; Matteo Sereno; András Horváth; Andrea Bobbio (Discret. Event Dyn. Syst., 2001)

Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. - Andrea Bobbio; András Horváth (MTCS, 2001)

Transient analysis of Age-MRSPNs by the method of supplementary variables. - Miklós Telek; András Horváth (Perform. Evaluation, 2001)

Implementing compositionality for stochastic Petri nets. - Simona Bernardi 001; Susanna Donatelli; András Horváth (Int. J. Softw. Tools Technol. Transf., 2001)

PhFit: A General Phase-Type Fitting Tool. - András Horváth; Miklós Telek (Computer Performance Evaluation / TOOLS, 2002)

PhFit: A General Phase-type Fitting Tool. - Andrea Bobbio; András Horváth; Miklós Telek (DSN, 2002)

Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples. - András Horváth; Miklós Telek (Performance, 2002)

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (SAFECOMP, 2002)

Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. - Marco Gribaudo; András Horváth (IEEE Trans. Software Eng., 2002)

Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. - András Horváth; Miklós Telek (IEEE Trans. Software Eng., 2002)

Modeling Hybrid Positive Systems with Hybrid Petri Nets. - Marco Gribaudo; András Horváth (POSTA, 2003)

A Secure Infrastructure For System Console and Reset Access - András Horváth; Emanuele Leonardi; Markus W. Schulz (CoRR, 2003)

Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. - Andrea Bobbio; András Horváth; Marco Scarpa; Miklós Telek (Perform. Evaluation, 2003)

Fluid Petri Nets and hybrid model-checking: a comparative case study. - Marco Gribaudo; András Horváth; Andrea Bobbio; Enrico Tronci; Ester Ciancamerla; Michele Minichino (Reliab. Eng. Syst. Saf., 2003)

Model Checking Functional and Performability Properties of Stochastic Fluid Models. - Marco Gribaudo; András Horváth (AVoCS, 2004)

The scale factor: a new degree of freedom in phase-type approximation. - Andrea Bobbio; András Horváth; Miklós Telek (Perform. Evaluation, 2004)

Steady State Solution for Models with Geometric and Finite Support Activity Duration. - András Horváth (QEST, 2005)

Modelling a car safety controller in road tunnels using hybrid petri nets. - Andrea Bobbio; Marco Gribaudo; András Horváth (ITSC, 2006)

CSL Model Checking for Generalized Stochastic Petri Nets. - Davide Cerotti; Susanna Donatelli; András Horváth; Jeremy Sproston (QEST, 2006)

Current results and open questions on PH and MAP characterization. - Levente Bodrog; Armin Heindl; Gábor Horváth 002; Miklós Telek; András Horváth (Numerical Methods for Structured Markov Chains, 2007)

On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. - Levente Bodrog; András Horváth; Miklós Telek (Numerical Methods for Structured Markov Chains, 2007)

On the properties of acyclic bilateral phase type distributions. - András Horváth; Miklós Telek (VALUETOOLS, 2007)

Compositional Model Checking of product-form CTMCs. - Paolo Ballarini; András Horváth (AVoCS, 2007)

Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method. - András Horváth; Daniele Manini (BMEI (1), 2008)

Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. - Matteo Baldoni; Cristina Baroglio; András Horváth; Viviana Patti; Flavio Portis; Maurizio Avilia; Pierluigi Grillo (FOMI, 2008)

Compositional fluid stochastic Petri net model for operational software system performance. - Andrea Bobbio; Sachin Garg; Marco Gribaudo; András Horváth; Matteo Sereno; Miklós Telek (ISSRE Workshops, 2008)

Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. - Paolo Ballarini; András Horváth (QEST, 2008)

Moment characterization of matrix exponential and Markovian arrival processes. - Levente Bodrog; András Horváth; Miklós Telek (Ann. Oper. Res., 2008)

Moments Characterization of Order 3 Matrix Exponential Distributions. - András Horváth; Sándor Rácz; Miklós Telek (ASMTA, 2009)

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. - 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 (CMSB, 2009)

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. - András Horváth; Enrico Vicario (QEST, 2009)

Memory efficient analysis for a class of large structured Markov chains: work in progress. - Paolo Ballarini; András Horváth (VALUETOOLS, 2009)

A traffic based decomposition of two-class queueing networks with priority service. - András Horváth; Gábor Horváth 002; Miklós Telek (Comput. Networks, 2009)

Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. - Alessio Angius; Gianfranco Balbo; Francesca Cordero; András Horváth; Daniele Manini (ACSD/Petri Nets Workshops, 2010)

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. - András Horváth; Lorenzo Ridi; Enrico Vicario (QEST, 2010)

A joint moments based analysis of networks of MAP/MAP/1 queues. - András Horváth; Gábor Horváth 002; Miklós Telek (Perform. Evaluation, 2010)

Analysis of stochastic reaction networks with Markov reward models. - Alessio Angius; András Horváth (CMSB, 2011)

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. - Marco Beccuti; Massimiliano De Pierro; András Horváth; Ádám Horváth; Károly Farkas (VTC Spring, 2011)

The Monte Carlo EM method for the parameter estimation of biological models. - Alessio Angius; András Horváth (PASM@ICPE, 2011)

Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks. - Alessio Angius; András Horváth (CS2Bio@DisCoTec, 2011)

On moments based Padé approximations of ruin probabilities. - Florin Avram; D. F. Chedom; András Horváth (J. Comput. Appl. Math., 2011)

Simplification of a complex signal transduction model using invariants and flow equivalent servers. - 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 (Theor. Comput. Sci., 2011)

Searching for a nonlinear ODE model of vehicle crash with genetic optimization. - András Horváth; Miklós F. Hatwágner; István Á. Harmati (SACI, 2012)

Implementation of cellular genetic algorithms on a CNN chip: Simulations and experimental results. - András Horváth; Miklós Rásonyi (Int. J. Circuit Theory Appl., 2012)

Transient analysis of non-Markovian models using stochastic state classes. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (Perform. Evaluation, 2012)

Quasi Product Form Approximation for Markov Models of Reaction Networks. - Alessio Angius; András Horváth; Verena Wolf (Trans. Comp. Sys. Biology, 2012)

Solving Non-Topographic Problems with Topographic and Synchronization Algorithms and Architectures - András Horváth (2012)

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. - Alessio Angius; András Horváth; Verena Wolf (ASMTA, 2013)

Architectures for nanoscale hybrid computing systems. - Fernando Corinto; András Horváth; Tamás Roska (ECCTD, 2013)

Frameless computing for spatial-temporal events. - Miklós Koller; András Horváth; Tamás Roska (ECCTD, 2013)

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. - Paolo Ballarini; Nathalie Bertrand 001; András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2013)

Fast, parallel implementation of particle filtering on the GPU architecture. - Anna Gelencsér-Horváth; Gábor Tornai; András Horváth; György Cserey (EURASIP J. Adv. Signal Process., 2013)

Topographic implementation of particle filters on cellular processor arrays. - András Horváth; Miklós Rásonyi (Signal Process., 2013)

Analysis of Petri Net Models through Stochastic Differential Equations. - Marco Beccuti; Enrico Bibbona; András Horváth; Roberta Sirovich; Alessio Angius; Gianfranco Balbo (Petri Nets, 2014)

Impact of steep-slope transistors on non-von Neumann architectures: CNN case study. - Indranil Palit; Behnam Sedighi; András Horváth; Xiaobo Sharon Hu; Joseph Nahas; Michael T. Niemier (DATE, 2014)

Lead time distribution in unreliable production lines processing perishable products. - Marcello Colledani; Alessio Angius; András Horváth (ETFA, 2014)

Architectural impacts of emerging transistors. - András Horváth; Xiaobo Sharon Hu; Joseph Nahas; Michael T. Niemier; Indranil Palit; Robert Perricone; Behnam Sedighi (NEWCAS, 2014)

Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes. - András Horváth; Alessio Angius (VALUETOOLS, 2014)

Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems. - Alessio Angius; András Horváth; Marcello Colledani (Perform. Evaluation, 2014)

Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks. - Alessio Angius; András Horváth; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (ASMTA, 2015)

TFET-based Operational Transconductance Amplifier Design for CNN Systems. - Qiuwen Lou; Indranil Palit; András Horváth; Xiaobo Sharon Hu; Michael T. Niemier; Joseph Nahas (ACM Great Lakes Symposium on VLSI, 2015)

Approximate analysis of biological systems by hybrid switching jump diffusion. - Alessio Angius; Gianfranco Balbo; Marco Beccuti; Enrico Bibbona; András Horváth; Roberta Sirovich (Theor. Comput. Sci., 2015)

Exploiting flow equivalent server in transient analysis. - Alessio Angius; András Horváth; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (Comput. Syst. Sci. Eng., 2016)

Probabilistic Model Checking of Regenerative Concurrent Systems. - Marco Paolieri; András Horváth; Enrico Vicario (IEEE Trans. Software Eng., 2016)

Cellular neural network friendly convolutional neural networks - CNNs with CNNs. - András Horváth; Michael Hillmer; Qiuwen Lou; Xiaobo Sharon Hu; Michael T. Niemier (DATE, 2017)

Analysis of Timed Properties Using the Jump-Diffusion Approximation. - Paolo Ballarini; Marco Beccuti; Enrico Bibbona; András Horváth; Roberta Sirovich; Jeremy Sproston (EPEW, 2017)

Computer model for font legibility measurement. - András Horváth; Gábor Dömötör (Intell. Decis. Technol., 2017)

Modelling of human color perception depending on quick color shifts on screen. - Lorinc Garai; András Horváth (CogInfoCom, 2018)

Simulation of an Analogue Circuit Solving NP-Hard Optimization Problems. - Dóra Babicz; Attila Tihanyi; Miklós Koller; Csaba Rekeczky; András Horváth (ISCAS, 2019)

PPCU Sam: Open-source face recognition framework. - Botos Csaba; Hakkel Tamás; András Horváth; András Oláh; István Z. Reguly (KES, 2019)

Domain Partitioning Network. - Botos Csaba; Adnane Boukhayma; Viveka Kulharia; András Horváth; Philip H. S. Torr (CoRR, 2019)

Application-level Studies of Cellular Neural Network-based Hardware Accelerators. - Qiuwen Lou; Indranil Palit; Li Tang 007; András Horváth; Michael T. Niemier; Xiaobo Sharon Hu (CoRR, 2019)

MimosaNet: An Unrobust Neural Network Preventing Model Stealing. - Kálmán Szentannai; Jalal Al-Afandi; András Horváth (CoRR, 2019)

A Mixed Signal Architecture for Convolutional Neural Networks. - Qiuwen Lou; Chenyun Pan; John McGuinness; András Horváth; Azad Naeemi; Michael T. Niemier; Xiaobo Sharon Hu (ACM J. Emerg. Technol. Comput. Syst., 2019)

Petri Nets Validation of Markovian Models of Emergency Department Arrivals. - Paolo Ballarini; Davide Duma; András Horváth; Roberto Aringhieri (Petri Nets, 2020)

Colour afterimages: computing and measuring virtual colour perception provided by two display types. - Lorinc Garai; András Horváth (CogInfoCom, 2020)

Measuring colour afterimage perception. - Lorinc Garai; András Horváth (CogInfoCom, 2020)

Template Optimization in Cellular Neural Networks Using Gradient Based Approaches. - András Fülöp; András Horváth (ECCTD, 2020)

Filtered Batch Normalization. - András Horváth; Jalal Al-Afandi (ICPR, 2020)

Preventing Neural Network Weight Stealing via Network Obfuscation. - Kálmán Szentannai; Jalal Al-Afandi; András Horváth (SAI (3), 2020)

Sorted Pooling in Convolutional Networks for One-shot Learning. - András Horváth (CoRR, 2020)

Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018). - Annabelle McIver; András Horváth (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020)

Multi-instance Conditional Autoencoder a data driven compression model for strongly correlated datasets. - Jalal Al-Afandi; András Horváth (BMSB, 2021)

Performance Analysis of Production Lines Through Statistical Model Checking. - Paolo Ballarini; András Horváth (EPEW, 2021)

Formal analysis of production line systems by probabilistic model checking tools. - Paolo Ballarini; András Horváth (ETFA, 2021)

Application of Cellular Neural Networks in Semantic Segmentation. - András Fülöp; András Horváth (ISCAS, 2021)

Receptive Field Size Optimization with Continuous Time Pooling. - Dóra Babicz; Soma Kontár; Márk Peto; András Fülöp; Gergely Szabó; András Horváth (WACV, 2021)

Adaptive Gene Level Mutation. - Jalal Al-Afandi; András Horváth (Algorithms, 2021)

RVENet: A Large Echocardiographic Dataset for the Deep Learning-Based Assessment of Right Ventricular Function. - 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 (ECCV Workshops (3), 2022)

Saliency Map Based Data Augmentation. - Jalal Al-Afandi; Bálint Magyar; András Horváth (ICPR, 2022)

Mitigating the Bias of Centered Objects in Common Datasets. - Gergely Szabó; András Horváth (ICPR, 2022)

On the Feasibility and Generality of Patch-Based Adversarial Attacks on Semantic Segmentation Problems. - Soma Kontár; András Horváth (ICPRAI (1), 2022)

Comparison of the Resilience of Convolutional and Cellular Neural Networks Against Adversarial Attacks. - András Horváth (ISCAS, 2022)

Efficient link prediction in the protein-protein interaction network using topological information in a generative adversarial network machine learning model. - Olivér M. Balogh; Bettina Benczik; András Horváth; Mátyás Pétervári; Péter Csermely; Péter Ferdinandy; Bence Ágg (BMC Bioinform., 2022)

Construction of Phase Type Distributions by Bernstein Exponentials. - András Horváth; Enrico Vicario (EPEW, 2023)

Targeted Adversarial Attacks on Generalizable Neural Radiance Fields. - András Horváth; Csaba Mate Józsa (ICCV (Workshops), 2023)

Implementation of the XOR gate with two memristive neurons. - András Horváth; Alon Ascoli; Ronald Tetzlaff (MOCAST, 2023)

Equilibrium Analysis of Markov Regenerative Processes. - András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2023)

Enhancing Cell Tracking with a Time-Symmetric Deep Learning Approach. - Gergely Szabó; Paolo Bonaiuti; Andrea Ciliberto; András Horváth (CoRR, 2023)

Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains. - András Horváth; Marco Paolieri; Enrico Vicario (EPEW, 2024)

Stable Diffusion with Memristive Cellular Neural Networks. - András Horváth (ISCAS, 2024)

Dynamic Logic Gate Adaptation in TaO-Memristor Cellular Neural Networks. - András Horváth; Alon Ascoli; Ronald Tetzlaff (MetroXRAINE, 2024)

A Framework for Optimisation Based Stochastic Process Discovery. - Pierre Cry; András Horváth; Paolo Ballarini; Pascale Le Gall (QEST+FORMATS, 2024)

Stable Diffusion with Continuous-time Neural Network. - András Horváth (CoRR, 2024)

Post-Hoc MOTS: Exploring the Capabilities of Time-Symmetric Multi-Object Tracking. - Gergely Szabó; Zsófia Molnár; András Horváth (CoRR, 2024)

Edge Training and Inference with Analog ReRAM Technology for Hand Gesture Recognition. - 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 (ISCAS, 2025)

Investigating the Robustness of Dynamically Tunable Logic Gates with Tantalum Oxide Memristors. - András Horváth; Alon Ascoli; Ronald Tetzlaff (ISCAS, 2025)

Anomaly Detection Algorithms for Real-Time Log Data Analysis at Scale. - 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é (IEEE Access, 2025)

Approximation of cumulative distribution functions by Bernstein phase-type distributions. - András Horváth; Illés Horváth; Marco Paolieri; Miklós Telek; Enrico Vicario (Perform. Evaluation, 2025)

Probabilistic Process Discovery with Stochastic Process Trees. - András Horváth; Paolo Ballarini; Pierre Cry (CoRR, 2025)

Statistical process discovery. - Pierre Cry; Paolo Ballarini; András Horváth; Pascale Le Gall (CoRR, 2025)

Unintended Bias in 2D+ Image Segmentation and Its Effect on Attention Asymmetry. - Zsófia Molnár; Gergely Szabó; András Horváth (CoRR, 2025)