Jan Duracz
Jan Duracz
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei duracz.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
332015
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
33*2013
Function interval arithmetic
J Duracz, A Farjudian, M Konečný, W Taha
International Congress on Mathematical Software, 677-684, 2014
152014
Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment
A Duracz, H Eriksson, FA Bartha, F Xu, Y Zeng, W Taha
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
132015
Proteus: Language and runtime support for self-adaptive software development
S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ...
IEEE Software 36 (2), 73-82, 2019
102019
Rigorous simulation: its theory and applications
A Duracz
Halmstad University Press, 2016
102016
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
72014
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
62014
Polynomial function enclosures and floating point software verification
JA Duracz, M Konecný
Proceedings of CFV, 56-67, 2008
52008
Polynomial Function Intervals for Floating-Point Software Verification
J Duracz, M Konecný
Annals of Mathematics and Artificial Intelligence, April 2014, 1-48, 2014
42014
Derivation of Probability Distributions for Risk Assessment
A Duracz
Master’s Thesis, Stockholm University, Stockholm, Sweden, 2006
32006
Chattering-free simulation for hybrid dynamical systems
A Aljarbouh, A Duracz, Y Zeng, B Caillaud, W Taha
2016 IEEE International Conference on Computational Science and Engineering …, 2016
22016
DSLs Should be Online Applications
D Barisas, A Duracz, W Taha
2014 Jt. Int. Conf. Eng. Educ. Int. Conf. Inf. Technol. 2-6 June 2014 Riga …, 2014
22014
Language Support for Adaptation: Intent-Driven Programming in FAST
YH Yang, A Duracz, FA Bartha, R Sai, A Pervaiz, S Barati, D Nguyen, ...
arXiv preprint arXiv:1907.08695, 2019
12019
Verification of floating point programs
J Duracz
Aston University, 2010
12010
Enclosure constraints for floating point software verification
JA Duracz, A Farjudian, M Konecný
Proceedings of CFV, 2009
12009
The Assurance Monitor Pattern
A Duracz, KM Chandy, M Abdelrahman, JJG España, R Sai, YH Yang, ...
arXiv preprint arXiv:2001.02075, 2020
2020
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, 108-126, 2019
2019
Exact Function Interval Arithmetic
M Konecný, J Duracz
CCA 2014, 39, 2014
2014
Presentation av exjobb i datalogi och biomedicinsk teknik.
D Staaf, PH Börjesson, S Brännström, C Sabel, S Dahl, A Duracz
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20