Jan Duracz
Jan Duracz
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
Enclosing the behavior of a hybrid system up to and beyond a zeno point
M Konečný, W Taha, J Duracz, A Duracz, A Ames
2013 IEEE 1st international conference on cyber-physical systems, networks …, 2013
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016
Advanced hazard analysis and risk assessment in the ISO 26262 functional safety standard using rigorous simulation
A Duracz, A Aljarbouh, FA Bartha, J Masood, R Philippsen, H Eriksson, ...
Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020
Function interval arithmetic
J Duracz, A Farjudian, M Konečný, W Taha
International Congress on Mathematical Software, 677-684, 2014
Domain analysis for standardised functional safety: a case study on design-time verification of automatic emergency breaking
J Masood, R Philippsen, J Duracz, W Taha, H Eriksson, C Grante
International Federation of Automotive Engineering Societies 2014 World …, 2014
Picard method for enclosing ODEs with uncertain initial values
M Konečný, J Duracz, A Farjudian, W Taha
11th International Conference on Computability and Complexity in Analysis …, 2014
Polynomial Function Intervals for Floating-Point Software Verification
J Duracz, M Konecný
Annals of Mathematics and Artificial Intelligence, April 2014, 1-48, 2014
Polynomial function enclosures and floating point software verification
JA Duracz, M Konecný
Proceedings of CFV, 56-67, 2008
Verification of floating point programs
J Duracz
Aston University, 2010
Enclosure constraints for floating point software verification
JA Duracz, A Farjudian, M Konecný
Proceedings of CFV, 2009
Exact Function Interval Arithmetic
M Konecný, J Duracz
CCA 2014, 39, 2014
The system can't perform the operation now. Try again later.
Articles 1–11