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

1

GOAL: Supporting General and Dynamic Adaptation in Computin..:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Pervaiz, Ahsan ; Yang, Yao Hsiang ; Duracz, Adam... - p. 16-32 , 2022

Link: https://dl.acm.org/doi/1..

2

Advanced Hazard Analysis and Risk Assessment in the ISO 262..:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,

Duracz, Adam ; Aljarbouh, Ayman ; Bartha, Ferenc A.... - p. 108-126 , 2020

Link: https://doi.org/10.1007/..

3

Proteus: Language and Runtime Support for Self-Adaptive Sof..:

Barati, Saeid ; Bartha, Ferenc A. ; Biswas, Swarnendu...
IEEE Software. 36 (2019) 2 - p. 73-82 , 2019

Link: https://doi.org/10.1109/..

4

Safe & robust reachability analysis of hybrid systems:

Moggi, Eugenio ; Farjudian, Amin ; Duracz, Adam.
Theoretical Computer Science. 747 (2018) - p. 75-99 , 2018

Link: https://doi.org/10.1016/..

5

Developing a first course on cyber-physical systems:

Taha, Walid ; Zeng, Yingfu ; Duracz, Adam...
ACM SIGBED Review. 14 (2017) 1 - p. 44-52 , 2017

Link: https://dl.acm.org/doi/1..

6

Developing a first course on cyber-physical systems:

Taha, Walid ; Zeng, Yingfu ; Duracz, Adam...
ACM SIGBED Review. 14 (2017) 1 - p. 44-52 , 2017

Link: https://doi.org/10.1145/..

7

Flipping a first course on cyber-physical systems : an e..:

, In: Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education,

Taha, Walid ; Hedstrom, Lars-Göran ; Xu, Fei... - p. 1-8 , 2016

Link: https://dl.acm.org/doi/1..

8

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

Konečný, Michal ; Taha, Walid ; Bartha, Ferenc A....
Nonlinear Analysis: Hybrid Systems. 20 (2016) - p. 1-20 , 2016

Link: https://doi.org/10.1016/..

9

Enclosing the behavior of a hybrid system up to and beyond ..:

, In: 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA),

Konecny, Michal ; Taha, Walid ; Duracz, Jan.. - p. 120-125 , 2013

Link: https://doi.org/10.1109/..

10

The Assurance Monitor Pattern:

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

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

11

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..

12

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..

13

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..

14

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..

15

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..