András Horváth

Orcid: 0000-0002-8210-545X

According to our database1, András Horváth authored at least 107 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

A Framework for Optimisation Based Stochastic Process Discovery.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Stable Diffusion with Memristive Cellular Neural Networks.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2024

2023
Enhancing Cell Tracking with a Time-Symmetric Deep Learning Approach.
CoRR, 2023

Equilibrium Analysis of Markov Regenerative Processes.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Implementation of the XOR gate with two memristive neurons.
Proceedings of the 12th International Conference on Modern Circuits and Systems Technologies, 2023

Targeted Adversarial Attacks on Generalizable Neural Radiance Fields.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Construction of Phase Type Distributions by Bernstein Exponentials.
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022
Efficient link prediction in the protein-protein interaction network using topological information in a generative adversarial network machine learning model.
BMC Bioinform., 2022

Comparison of the Resilience of Convolutional and Cellular Neural Networks Against Adversarial Attacks.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2022

On the Feasibility and Generality of Patch-Based Adversarial Attacks on Semantic Segmentation Problems.
Proceedings of the Pattern Recognition and Artificial Intelligence, 2022

Mitigating the Bias of Centered Objects in Common Datasets.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

Saliency Map Based Data Augmentation.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

RVENet: A Large Echocardiographic Dataset for the Deep Learning-Based Assessment of Right Ventricular Function.
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021
Adaptive Gene Level Mutation.
Algorithms, 2021

Receptive Field Size Optimization with Continuous Time Pooling.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2021

Application of Cellular Neural Networks in Semantic Segmentation.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Formal analysis of production line systems by probabilistic model checking tools.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Performance Analysis of Production Lines Through Statistical Model Checking.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021

Multi-instance Conditional Autoencoder a data driven compression model for strongly correlated datasets.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2021

2020
Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018).
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Sorted Pooling in Convolutional Networks for One-shot Learning.
CoRR, 2020

Preventing Neural Network Weight Stealing via Network Obfuscation.
Proceedings of the Intelligent Computing, 2020

Filtered Batch Normalization.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

Template Optimization in Cellular Neural Networks Using Gradient Based Approaches.
Proceedings of the European Conference on Circuit Theory and Design, 2020

Measuring colour afterimage perception.
Proceedings of the 11th IEEE International Conference on Cognitive Infocommunications, 2020

Colour afterimages: computing and measuring virtual colour perception provided by two display types.
Proceedings of the 11th IEEE International Conference on Cognitive Infocommunications, 2020

Petri Nets Validation of Markovian Models of Emergency Department Arrivals.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
A Mixed Signal Architecture for Convolutional Neural Networks.
ACM J. Emerg. Technol. Comput. Syst., 2019

MimosaNet: An Unrobust Neural Network Preventing Model Stealing.
CoRR, 2019

Application-level Studies of Cellular Neural Network-based Hardware Accelerators.
CoRR, 2019

Domain Partitioning Network.
CoRR, 2019

PPCU Sam: Open-source face recognition framework.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Simulation of an Analogue Circuit Solving NP-Hard Optimization Problems.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

2018
Modelling of human color perception depending on quick color shifts on screen.
Proceedings of the 9th IEEE International Conference on Cognitive Infocommunications, 2018

2017
Computer model for font legibility measurement.
Intell. Decis. Technol., 2017

Analysis of Timed Properties Using the Jump-Diffusion Approximation.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Cellular neural network friendly convolutional neural networks - CNNs with CNNs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Probabilistic Model Checking of Regenerative Concurrent Systems.
IEEE Trans. Software Eng., 2016

Exploiting flow equivalent server in transient analysis.
Comput. Syst. Sci. Eng., 2016

2015
Approximate analysis of biological systems by hybrid switching jump diffusion.
Theor. Comput. Sci., 2015

TFET-based Operational Transconductance Amplifier Design for CNN Systems.
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014
Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems.
Perform. Evaluation, 2014

Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

Architectural impacts of emerging transistors.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Lead time distribution in unreliable production lines processing perishable products.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Impact of steep-slope transistors on non-von Neumann architectures: CNN case study.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Analysis of Petri Net Models through Stochastic Differential Equations.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Topographic implementation of particle filters on cellular processor arrays.
Signal Process., 2013

Fast, parallel implementation of particle filtering on the GPU architecture.
EURASIP J. Adv. Signal Process., 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Frameless computing for spatial-temporal events.
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013

Architectures for nanoscale hybrid computing systems.
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Solving Non-Topographic Problems with Topographic and Synchronization Algorithms and Architectures
PhD thesis, 2012

Quasi Product Form Approximation for Markov Models of Reaction Networks.
Trans. Comp. Sys. Biology, 2012

Transient analysis of non-Markovian models using stochastic state classes.
Perform. Evaluation, 2012

Implementation of cellular genetic algorithms on a CNN chip: Simulations and experimental results.
Int. J. Circuit Theory Appl., 2012

Searching for a nonlinear ODE model of vehicle crash with genetic optimization.
Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2012

2011
Simplification of a complex signal transduction model using invariants and flow equivalent servers.
Theor. Comput. Sci., 2011

On moments based Padé approximations of ruin probabilities.
J. Comput. Appl. Math., 2011

Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks.
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

The Monte Carlo EM method for the parameter estimation of biological models.
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Analysis of stochastic reaction networks with Markov reward models.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010
A joint moments based analysis of networks of MAP/MAP/1 queues.
Perform. Evaluation, 2010

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
Proceedings of the QEST 2010, 2010

Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
A traffic based decomposition of two-class queueing networks with priority service.
Comput. Networks, 2009

Memory efficient analysis for a class of large structured Markov chains: work in progress.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.
Proceedings of the QEST 2009, 2009

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Moments Characterization of Order 3 Matrix Exponential Distributions.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

2008
Moment characterization of matrix exponential and Markovian arrival processes.
Ann. Oper. Res., 2008

Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Compositional fluid stochastic Petri net model for operational software system performance.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.
Proceedings of the Formal Ontologies Meet Industry, 2008

Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2007
Compositional Model Checking of product-form CTMCs.
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

On the properties of acyclic bilateral phase type distributions.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes.
Proceedings of the Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007, 2007

Current results and open questions on PH and MAP characterization.
Proceedings of the Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007, 2007

2006
CSL Model Checking for Generalized Stochastic Petri Nets.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Modelling a car safety controller in road tunnels using hybrid petri nets.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2006

2005
Steady State Solution for Models with Geometric and Finite Support Activity Duration.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004
The scale factor: a new degree of freedom in phase-type approximation.
Perform. Evaluation, 2004

Model Checking Functional and Performability Properties of Stochastic Fluid Models.
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2003
Fluid Petri Nets and hybrid model-checking: a comparative case study.
Reliab. Eng. Syst. Saf., 2003

Acyclic discrete phase type distributions: properties and a parameter estimation algorithm.
Perform. Evaluation, 2003

A Secure Infrastructure For System Console and Reset Access
CoRR, 2003

Modeling Hybrid Positive Systems with Hybrid Petri Nets.
Proceedings of the Positive Systems, 2003

2002
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions.
IEEE Trans. Software Eng., 2002

Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique.
IEEE Trans. Software Eng., 2002

Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
Proceedings of the Computer Safety, 2002

Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

PhFit: A General Phase-type Fitting Tool.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

PhFit: A General Phase-Type Fitting Tool.
Proceedings of the Computer Performance Evaluation, 2002

2001
Implementing compositionality for stochastic Petri nets.
Int. J. Softw. Tools Technol. Transf., 2001

Transient analysis of Age-MRSPNs by the method of supplementary variables.
Perform. Evaluation, 2001

Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis.
Discret. Event Dyn. Syst., 2001

Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999


  Loading...