Canine paracoccidioidomycosis: a seroepidemiologic study von Ono, M. A., A. P. F. R. L. Bracarense, Morais, H. S. A., Trapp, S. M., Belitardo, D. R., Camargo, Z. P.

Volltext

Canine paracoccidioidomycosis: a seroepidemiologic study von Ono, MA, P. F. R. L. Bracarense, A, Morais, HSA, Trapp, S M, Belitardo, DR, Camargo, Z P

Volltext

Metz (Moselle). Allée de la Tour des Esprits-Caponnière Dex von Trapp, Julien

Volltext

Reconciling Safety Measurement and Dynamic Assurance von Denney, Ewen, Pai, Ganesh

Volltext

Redefining Safety for Autonomous Vehicles von Koopman, Philip, Widen, William

Volltext

In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits von Ruiz, Juan Carlos, de Andrés, David, Saiz-Adalid, Luis-J., Gracia-Morán, Joaquín

Volltext

Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap von Koopman, Philip

Volltext

Safety Argumentation for Machinery Assembly Control Software von Castellanos-Ardila, Julieth Patricia, Punnekkat, Sasikumar, Hansson, Hans, Backeman, Peter

Volltext

TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust von Musa, Alberto, Volante, Franco, Parisi, Emanuele, Barbierato, Luca, Patti, Edoardo, Bartolini, Andrea, Acquaviva, Andrea, Barchi, Francesco

Volltext

A Dynamic Assurance Framework for an Autonomous Survey Drone von Ryan, Philippa, Shahbeigi, Sepeedeh, Zou, Jie, Stefanakos, Ioannis, Molloy, John

Volltext

A Case Study of Continuous Assurance Argument for Level 4 Automated Driving von Kodama, Hideaki, Matsuno, Yutaka, Takai, Toshinori, Ota, Hiroshi, Okada, Manabu, Tsuchiya, Tomoyuki

Volltext

CyberDS: Auditable Monitoring in the Cloud von Sorokin, Lev, Schoepp, Ulrich

Volltext

Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools von Bonomi, Silvia, Cappai, Stefano, Coppa, Emilio

Volltext

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics von Soltani, Reza, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle

Volltext

Safety Invariant Engineering for Interlocking Verification von Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander

Volltext

Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems von Annable, Nicholas, Askarpour, Mehrnoosh, Chiang, Thomas, Kokaly, Sahar, Lawford, Mark, Paige, Richard F., Sethu, Ramesh, Wassyng, Alan

Volltext

A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System von Liu, Jia, Fan, Wenjun, Dai, Yifan, Lim, Eng Gee, Lisitsa, Alexei

Volltext

A Failure Model Library for Simulation-Based Validation of Functional Safety von Munaro, Tiziano, Muntean, Irina, Pretschner, Alexander

Volltext

Assurance Case Synthesis from a Curated Semantic Triplestore von Paul, Saswata, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael

Volltext

Coyan: Fault Tree Analysis – Exact and Scalable von Garagiola, Nazareno, Hermanns, Holger, D’Argenio, Pedro R.

Volltext