E-LIB Suche - Ergebnisse für: Duracz, Adam

1

The Assurance Monitor Pattern:

Duracz, Adam ; Chandy, K. Mani ; Abdelrahman, Mohamed...
http://arxiv.org/abs/2001.02075. , 2020

Link: http://arxiv.org/abs/200..

2

Language Support for Adaptation: Intent-Driven Programming ..:

Yang, Yao-Hsiang ; Duracz, Adam ; Bartha, Ferenc A...
http://arxiv.org/abs/1907.08695. , 2019

Link: http://arxiv.org/abs/190..

3

A Semantic Account of Rigorous Simulation:

Duracz, Adam ; Moggi, Eugenio ; Taha, Walid.
info:eu-repo/semantics/altIdentifier/isbn/978-3-319-95245-1. , 2018

Link: http://hdl.handle.net/11..

4

Safe & robust reachability analysis of hybrid systems:

Moggi, Eugenio ; Farjudian, Amin ; Duracz, Adam.
info:eu-repo/semantics/altIdentifier/wos/WOS:000447571900005. , 2018

Link: http://hdl.handle.net/11..

5

Safe & Robust Reachability Analysis of Hybrid Systems:

Moggi, Eugenio ; Farjudian, Amin ; Duracz, Adam.
http://arxiv.org/abs/1709.05658. , 2017

Link: http://arxiv.org/abs/170..

6

Acumen : An Open-source Testbed for Cyber-Physical Systems ..:

Taha, Walid ; Duracz, Adam ; Zeng, Yingfu...
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 1867-8211. , 2016

Link: http://urn.kb.se/resolve..

7

Flipping a First Course on Cyber-Physical Systems – An Expe..:

Taha, Walid ; Hedström, Lars-Göran ; Xu, Fei...
Proceedings Of The 2016 Workshop On Embedded And Cyber-Physical Systems Education (Wese). , 2016

Link: http://urn.kb.se/resolve..

8

Accurate Rigorous Simulation Should be Possible for Good De..:

Duracz, Adam ; Bartha, Ferenc Ágoston ; Taha, Walid
Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). , 2016

Link: http://urn.kb.se/resolve..

9

Enclosing the behavior of a hybrid automaton up to and beyo..:

Konečný, Michal ; Taha, Walid ; Bartha, Ferenc A...
https://publications.aston.ac.uk/id/eprint/27364/1/Hybrid_automaton_up_to_and_beyond_a_Zeno_point.pdf. , 2016

Link: https://publications.ast..

10

Rigorous Simulation : Its Theory and Applications:

Duracz, Adam
Halmstad University Dissertations. , 2016

Link: http://urn.kb.se/resolve..

11

Enclosing the behavior of a hybrid automaton up to and beyo..:

Konečný, Michal ; Taha, Walid ; Bartha, Ferenc Ágoston...
Nonlinear Analysis : Hybrid Systems, 1751-570X, 2016, 20, s. 1-20. , 2016

Link: http://urn.kb.se/resolve..

12

Modeling Electromechanical Aspects of Cyber-Physical System:

Zeng, Yingfu ; Chad, Rose ; Taha, Walid...
Journal of Software Engineering for Robotics, 2016, 7:1, s. 100-119. , 2016

Link: http://urn.kb.se/resolve..

13

Using Rigorous Simulation to Support ISO 26262 Hazard Analy..:

Duracz, Adam ; Eriksson, Henrik ; Bartha, Ferenc Ágoston...
2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS), p. 1093-1096. , 2015

Link: http://urn.kb.se/resolve..

14

Enclosing the Behavior of a Hybrid System up to and Beyond ..:

Konečný, Michal ; Taha, Walid ; Duracz, Jan..
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, p. 120-125. , 2013

Link: http://urn.kb.se/resolve..