I agree that this site is using cookies. You can find further informations here.
X
Taha, Walid
234  results:
Search for persons X
?
1

Open Source Languages and Methods for Cyber-Physical System..:

Buffoni, Lena ; Ochel, Lennart ; Pop, Adrian...
Electronics.  10 (2021)  8 - p. 902 , 2021
Link: https://doi.org/10.3390/..
 
?
2

Intelligent Techniques and Hybrid Systems Experiments Using..:

, In: IFIP Advances in Information and Communication Technology; Artificial Intelligence Applications and Innovations,
Tzamaras, Sotirios ; Adam, Stavros ; Taha, Walid - p. 531-542 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Cyber Physical Systems. Model-Based Design: 9th Internation.. 

Information Systems and Applications, incl. Internet/Web, and HCI, 11971
Chamberlain, Roger ; Edin Grimheden, Martin ; Taha, Walid - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
4

MicroITS: A Scaled-Down ITS Platform:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,
Marchand, Judicaël ; Puissochet, Gaël ; Lithén, Thomas. - p. 214-221 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Cyber Physical Systems. Model-Based Design: 8th Internation.. 

Information Systems and Applications, incl. Internet/Web, and HCI, 11615
Chamberlain, Roger ; Taha, Walid ; Törngren, Martin - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
6

System Analysis and Robustness:

, In: Lecture Notes in Computer Science; Models, Mindsets, Meta: The What, the How, and the Why Not?,
Moggi, Eugenio ; Farjudian, Amin ; Taha, Walid - p. 36-44 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Cyber Physical Systems. Design, Modeling, and Evaluation: 7.. 

Information Systems and Applications, incl. Internet/Web, and HCI, 11267
Chamberlain, Roger ; Taha, Walid ; Törngren, Martin - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
8

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/..
 
?
9

Practical Aspects of Declarative Languages 

19th International Symposium, PADL 2017, Paris, France, Jan...  Lecture Notes in Computer Science ; 10137;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Lierler, Yuliya ; Taha, Walid , 2017
Link: https://doi.org/10.1007/..
 
?
10

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/..
 
?
11

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

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

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/..
 
?
14

Reasoning about multi-stage programs:

INOUE, JUN ; TAHA, WALID
Journal of Functional Programming.  26 (2016)  - p. , 2016
Link: https://doi.org/10.1017/..
 
?
15

Developing A First Course on Cyber-Physical Systems:

, In: Proceedings of the WESE'14: Workshop on Embedded and Cyber-Physical Systems Education,
Taha, Walid ; Cartwright, Robert ; Philippsen, Roland. - p. 1-8 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15