Ferenc Ágoston Bartha
Research Scientist, University of Szeged, Szeged, HUNGARY CPS - 2015 Spring teaching TMA4105 utdanning Oktatás oktat&aacutes

e-mail: barfer math.u-szeged.hu
[google scholar] [linkedin] [research gate]

CV light [full version]
2017 - research scientist at University of Szeged, Szeged, HUNGARY
2016 - 2017 research scientist at Rice University, Houston TX, USA
Rice University Center for Computing at the Margins (RUCCAM)
2014 - 2016 post-doc at Rice University, Houston TX, USA
Effective modeling group
2013 lecturer at University of Trondheim, Trondheim, Norway
2008 - 2013 research fellow at University of Bergen, Bergen, Norway, PhD in Mathematics
CAPA group
2003 - 2008 student at University of Szeged, Szeged, Hungary, Major in Mathematics
Quick links
[Effective modeling] [CAPA group] [CAPD group] [CAPD for Julia]
Research interests: dynamical systems, rigorous computations, numerical methods for partial differential equations and delayed differential equations

List of Publications
Proteus: Language and Runtime Support for Self-Adaptive Software Development
with R. Cartwright, A. Duracz, D. Fussell, H. Hoffmann, C. Imes, J. Miller, Arvind, D. Nguyen, K. V. Palem et al.
IEEE Software, Volume 36, Issue 2, 2019
Global stability in a system using echo for position control
with Tibor Krisztin
Electronic Journal of Qualitative Theory of Differential Equations, No. 40, 2018
Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
with Michal Konecny, Walid Taha, Jan Duracz, Adam Duracz and Aaron D. Ames
Nonlinear Analysis: Hybrid Systems, Volume 20, 2016
Fixed points of a destabilized Kuramoto-Sivashinsky equation
with Warwick Tucker
Applied Mathematics and Computation, Volume 266, 2015 [code]
Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
with Ábel Garab
Journal of Computational Dynamics, Volume 1, Issue 2, 2014 [code] [preprint]
Computing of B-series by automatic differentiation
with Hans Munthe-Kaas
Discrete and Continuous Dynamical Systems - Series A, Volume 34, Issue 3, 2014 [code]
Local stability implies global stability for the 2-dimensional Ricker map
with Ábel Garab and Tibor Krisztin
Journal of Difference Equations and Applications, Volume 19, Issue 12, 2013 [code] [preprint]
Best JDEA Paper 2013 Award [link]
Pauli potential from Heilmann-Lieb electron density obtained by summing hydrogenic closed-shell densities over the entire bound-state spectrum
with Ferenc Bartha, Ferenc Bogár and Norman Henry March
Phys. Rev. A 83, 014502, 2011
List of Conference Publications
Compile-Time Extensions to Hybrid ODEs
with Yingfu Zeng and Walid Taha
SNR '17
Accurate rigorous simulation should be possible for good designs
with Walid Taha, Adam Duracz, Yingu Zeng, Kevin Atkinson et al.
SNR '16
Acumen: An Open-source Testbed for Cyber-Physical Systems Research
with Walid Taha, Adam Duracz, Yingu Zeng, Kevin Atkinson et al.
CYCLONE '15 [preprint]
Flipping a first course on cyber-physical systems: an experience report
with Walid Taha, Lars-Göran Hedstrom, Fei Xu, Adam Duracz, Yingu Zeng et al.
WESE '16
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
with Adam Duracz, Henrik Eriksson, Fei Xu, Yingu Zeng and Walid Taha
PhD thesis: Computer-aided proofs and algorithms in analysis [pdf] (Introduction part) [errata]
supervisor: Prof. Warwick Tucker and Prof. Hans Munthe-Kaas

Master thesis: The global dynamics of state-dependent delayed differential equations [pdf] (in Hungarian)
supervisor: Prof. Tibor Krisztin