E-LIB Suche - Ergebnisse für: Sangchoolie, Behrooz

1

Dependable Computing – EDCC 2024 Workshops: SafeAutonomy, T..

Communications in Computer and Information Science, 2078

Sangchoolie, Behrooz ; Adler, Rasmus ; Hawkins, Richard... - 1st ed. 2024 . , 2024

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

2

Towards an extensive set of criteria for safety and cyber-s..:

Smrčka, Aleš ; Sangchoolie, Behrooz ; Mingozzi, Emanuele...
Open Research Europe. 3 (2023) - p. 219 , 2023

Link: https://doi.org/10.12688..

3

CarFASE: A Carla-based Tool for Evaluating the Effects of F..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Maleki, Mehdi ; Farooqui, Ashfaq ; Sangchoolie, Behrooz - p. 92-99 , 2023

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

4

Simulation-based Evaluation of a Remotely Operated Road Veh..:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Malik, Mateen ; Aramrattana, Maytheewat ; Maleki, Mehdi... - p. 23-29 , 2023

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

5

Modeling and Evaluating the Effects of Jamming Attacks on C..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),

Maleki, Mehdi ; Malik, Mateen ; Folkesson, Peter.. - p. 12-23 , 2022

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

6

On the Evaluation of Three Pre-Injection Analysis Technique..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),

Folkesson, Peter ; Sangchoolie, Behrooz ; Kleberger, Pierre. - p. 130-140 , 2022

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

7

Cross-domain Modelling of Verification and Validation Workf..:

, In: Lecture Notes in Computer Science; Embedded Computer Systems: Architectures, Modeling, and Simulation,

Bauer, Thomas ; Agirre, Joseba A. ; Fürcho, David... - p. 368-382 , 2022

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

8

An Empirical Study of the Impact of Single and Multiple Bit..:

Sangchoolie, Behrooz ; Pattabiraman, Karthik ; Karlsson, Johan
IEEE Transactions on Dependable and Secure Computing. 19 (2022) 3 - p. 1988-2006 , 2022

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

9

CONSERVE: A framework for the selection of techniques for m..:

Jolak, Rodi ; Rosenstatter, Thomas ; Mohamad, Mazen...
Journal of Systems and Software. 186 (2022) - p. 111158 , 2022

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

10

ComFASE: A Tool for Evaluating the Effects of V2V Communica..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Malik, Mateen ; Maleki, Mehdi ; Folkesson, Peter.. - p. 185-192 , 2022

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

11

DELFASE: A Deep Learning Method for Fault Space Exploration:

, In: 2022 18th European Dependable Computing Conference (EDCC),

Sedaghatbaf, Ali ; Moradi, Mehrdad ; Almasizadeh, Jaafar... - p. 57-64 , 2022

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

12

Multidimensional Framework for Characterizing Verification ..:

, In: 2022 18th European Dependable Computing Conference (EDCC),

Agirre, Joseba A. ; Yazici, Ahmet ; Di Blasio, Katia... - p. 41-48 , 2022

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

13

Criteria for the Analysis of Gaps and Limitations of V&V Me..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops,

Ferrari, Enrico ; Schlick, Rupert ; de la Vara, Jose Luis.. - p. 35-46 , 2022

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

14

Simulation-based Fault Injection in Advanced Driver Assista..:

, In: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Maleki, Mehdi ; Sangchoolie, Behrooz - p. 70-71 , 2021

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

15

A Proposal for the Classification of Methods for Verificati..:

, In: Communications in Computer and Information Science; Quality of Information and Communications Technology,

de la Vara, Jose Luis ; Bauer, Thomas ; Fischer, Bernhard... - p. 325-340 , 2021

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