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
ICESS '15
|
|
|
|
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
|
