E-LIB Suche - Ergebnisse für: Espinoza Ortiz, Huascar

1

Framework of Key Enabling Technologies for Safe and Autonom..:

, In: 2019 22nd Euromicro Conference on Digital System Design (DSD),

Nouacer, Reda ; Espinoza Ortiz, Huascar ; Ouhammou, Yassine. - p. 420-427 , 2019

2

Modeling research in recent years: special section on ECMFA..:

Anjorin, Anthony ; Pierantonio, Alfonso ; Trujillo, Salvador.
Software and Systems Modeling. 19 (2020) 5 - p. 1055-1056 , 2020

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

3

Towards a Framework of Key Technologies for Drones:

Nouacer, Reda ; Hussein, Mahmoud ; Espinoza Ortiz, Huáscar...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.micpro.2020.103142. , 2020

Link: https://hal.science/hal-..

4

Fault injection method for safety and controllability evalu..:

Uriagereka, Garazi Juez ; Lattarulo, Ray ; Rastelli, Joshue Perez...
info:eu-repo/grantAgreement/EC/H2020/643921/EU/Unifying Control and Verification of Cyber-Physical Systems/UNCOVERCPS. , 2017

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

5

Stream-Based Active Learning with Adaptive Uncertainty and ..:

, In: 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing (MLSP),

Rajendran, Prajit T ; Espinoza, Huascar ; Delaborde, Agnes. - p. 1-6 , 2023

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

6

Towards Dependable Autonomous Systems Based on Bayesian Dee..:

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

Arnez, Fabio ; Espinoza, Huascar ; Radermacher, Ansgar. - p. 65-72 , 2022

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

7

Optimized Execution of PDDL Plans using Behavior Trees:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,

Martín Rico, Francisco ; Morelli, Matteo ; Espinoza, Huascar.. - p. 1596-1598 , 2021

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

8

Improving Robustness of Deep Neural Networks for Aerial Nav..:

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

Arnez, Fabio ; Espinoza, Huascar ; Radermacher, Ansgar. - p. 219-225 , 2021

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

9

Human-in-the-Loop Learning Methods Toward Safe DL-Based Aut..:

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

Rajendran, Prajit T. ; Espinoza, Huascar ; Delaborde, Agnes. - p. 251-264 , 2021

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

10

Correction: Sharpening the Scythe of Technological Change: ..:

Cancila, Daniela ; Gerstenmayer, Jean-Louis ; Espinoza, Huascar.
Designs. 3 (2019) 1 - p. 14 , 2019

Link: https://doi.org/10.3390/..

11

Design-Time Safety Assessment of Robotic Systems Using Faul..:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Juez Uriagereka, Garazi ; Amparan, Estibaliz ; Martinez Martinez, Cristina... - p. 577-586 , 2019

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

12

Design-time safety assessment of robotic systems using faul..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,

Uriagereka, Garazi Juez ; Amparan, Estibaliz ; Martinez, Cristina Martinez... - p. 577-586 , 2019

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

13

Sharpening the Scythe of Technological Change: Socio-Techni..:

Cancila, Daniela ; Gerstenmayer, Jean-Louis ; Espinoza, Huascar.
Designs. 2 (2018) 4 - p. 52 , 2018

Link: https://doi.org/10.3390/..

14

Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF ... Lecture Notes in Computer Science ; 10376;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Espinoza, Huáscar ; Anjorin, Anthony , 2017

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

15

Reuse of safety certification artefacts across standards an..:

Ruiz, Alejandra ; Juez, Garazi ; Espinoza, Huáscar..
Reliability Engineering & System Safety. 158 (2017) - p. 153-171 , 2017

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