| 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 | 43* | 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 | 38 | 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 | 23 | 2020 |
| Function interval arithmetic J Duracz, A Farjudian, M Konečný, W Taha International Congress on Mathematical Software, 677-684, 2014 | 19 | 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 | 8 | 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 | 8 | 2014 |
| Polynomial Function Intervals for Floating-Point Software Verification J Duracz, M Konecný Annals of Mathematics and Artificial Intelligence, April 2014, 1-48, 2014 | 6 | 2014 |
| Polynomial function enclosures and floating point software verification JA Duracz, M Konecný Proceedings of CFV, 56-67, 2008 | 5 | 2008 |
| Verification of floating point programs J Duracz Aston University, 2010 | 1 | 2010 |
| Enclosure constraints for floating point software verification JA Duracz, A Farjudian, M Konecný Proceedings of CFV, 2009 | 1 | 2009 |
| Exact Function Interval Arithmetic M Konecný, J Duracz CCA 2014, 39, 2014 | | 2014 |
Michal KonečnýHonorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston UniversityVerified email at aston.ac.uk
