Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tahar, Sofiène
159  Ergebnisse:
Personensuche X
?
1

A Formal Approach to Road Safety Assessment Using Traffic C..:

Barhoumi, Oumaima ; Zaki, Mohamed H. ; Tahar, Sofiéné
IEEE Open Journal of Vehicular Technology.  5 (2024)  - p. 606-619 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Dynamic dependability analysis of shuffle-exchange networks:

Elderhalli, Yassmeen ; Hasan, Osman ; Tahar, Sofiène
Formal Methods in System Design.  62 (2024)  1-3 - p. 285-325 , 2024
Link: https://doi.org/10.1007/..
 
?
3

A Machine Learning Based Load Value Approximator Guided by ..:

, In: Proceedings of the Great Lakes Symposium on VLSI 2023,
Aoun, Alain ; Masadeh, Mahmoud ; Tahar, Sofiène - p. 679-684 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Formal Analysis of an IoT-Based Healthcare Application:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),
Elleuch, Maissa ; Tahar, Sofiene - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Design space exploration for energy-efficient approximate S..:

Aoun, Alain ; Masadeh, Mahmoud ; Tahar, Sofiène
AEU - International Journal of Electronics and Communications.  172 (2023)  - p. 154887 , 2023
Link: https://doi.org/10.1016/..
 
?
6

Adaptive Approximate Accelerators with Controlled Quality U..:

, In: Design and Applications of Emerging Computer Systems,
Masadeh, Mahmoud ; Hasan, Osman ; Tahar, Sofiène - p. 501-529 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Formal Methods and Software Engineering: 24th International.. 

Lecture Notes in Computer Science, 14308
Li, Yi ; Tahar, Sofiène - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
8

Formalization of Functional Block Diagrams Using HOL Theore..:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Abdelghany, Mohamed ; Tahar, Sofiène - p. 22-35 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Formal Probabilistic Risk Assessment of a Nuclear Power Pla..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Abdelghany, Mohamed ; Tahar, Sofiène - p. 80-87 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

On the Formalization of the Heat Conduction Problem in HOL:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Deniz, Elif ; Rashid, Adnan ; Hasan, Osman. - p. 21-37 , 2022
Link: https://doi.org/10.1007/..
 
?
11

On the Design of Approximate Sobel Filter:

, In: 2022 International Conference on Microelectronics (ICM),
Aoun, Alain ; Masadeh, Mahmoud ; Tahar, Sofiene - p. 102-106 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Event Tree Reliability Analysis of Safety-Critical Systems ..:

Abdelghany, Mohamed ; Ahmad, Waqar ; Tahar, Sofiene
IEEE Systems Journal.  16 (2022)  2 - p. 2899-2910 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Machine-Learning-Based Self-Tunable Design of Approximate C..:

Masadeh, Mahmoud ; Hasan, Osman ; Tahar, Sofiene
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.  29 (2021)  4 - p. 800-813 , 2021
Link: https://doi.org/10.1109/..
 
?
14

Dynamic Fault Tree Models for FPGA Fault Tolerance and Reli..:

, In: 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI),
Elderhalli, Yassmeen ; El-Araby, Nahla ; Hasan, Osman.. - p. 194-199 , 2021
Link: https://doi.org/10.1109/..
 
?
15

Cause-Consequence Diagram Reliability Analysis Using Formal..:

Abdelghany, Mohamed ; Tahar, Sofiene
IEEE Access.  9 (2021)  - p. 23929-23943 , 2021
Link: https://doi.org/10.1109/..
 
1-15