Balázs Bánhelyi

17 papers A* 2A 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks.
ICML
Attila Szász, Balázs Bánhelyi, Márk Jelasity
2025 J jnl
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks.
CoRR
Attila Szász, Balázs Bánhelyi, Márk Jelasity
2024 J jnl
Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems.
Acta Cybern.
Emília Heinc, Balázs Bánhelyi
2023 J jnl
Preface.
Acta Cybern.
Andreas Rauh, Balázs Bánhelyi
2021 A* conf
Fooling a Complete Neural Network Verifier.
ICLR
Dániel Zombori, Balázs Bánhelyi, Tibor Csendes, István Megyeri, Márk Jelasity
2020 — conf
Adversarial Example Free Zones for Specific Inputs and Neural Networks.
ICAI
Tibor Csendes, Nándor Balogh, Balázs Bánhelyi, Dániel Zombori, Richárd Tóth, István Megyeri
2020 — conf
Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard.
ICAI
Balázs Bánhelyi, Tamás Szabó
2020 J jnl
On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum.
J. Comput. Appl. Math.
Balázs Bánhelyi, Tibor Csendes, László Hatvani
2017 J jnl
A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU.
Acta Cybern.
Zsolt Bagóczki, Balázs Bánhelyi
2015 J jnl
Optimal circle covering problems and their applications.
Central Eur. J. Oper. Res.
Balázs Bánhelyi, Endre Palatinus, Balázs L. Lévai
2014 J jnl
Global Attractivity of the Zero Solution for Wright's Equation.
SIAM J. Appl. Dyn. Syst.
Balázs Bánhelyi, Tibor Csendes, Tibor Krisztin, Arnold Neumaier
2013 J jnl
An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum.
Central Eur. J. Oper. Res.
Balázs L. Lévai, Balázs Bánhelyi
2009 A conf
Distributed hyper-heuristics for real parameter optimization.
GECCO
Marco Biazzini, Balázs Bánhelyi, Alberto Montresor, Márk Jelasity
2009 — conf
Peer-to-Peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms.
EvoWorkshops
Balázs Bánhelyi, Marco Biazzini, Alberto Montresor, Márk Jelasity
2008 J jnl
A Computer-Assisted Proof of Σ
SIAM J. Appl. Dyn. Syst.
Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay, László Hatvani
2007 J jnl
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer.
Int. J. Bifurc. Chaos
Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay
2006 J jnl
A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems.
J. Glob. Optim.
Tibor Csendes, Barnabas M. Garay, Balázs Bánhelyi