|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 202 occurrences of 155 keywords
|
|
|
|
|
Results
Found 928 publication records. Showing 928 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thorsten Tarrach, Masoud Ebrahimi 0002, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic |
Attribute Repair for Threat Prevention.  |
SAFECOMP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume |
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Dumont, Kevin Hector, Pierre-Alain Moëllic, Jean-Max Dutertre, Simon Pontié |
Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Zhao, You Song, Wenhao Xu, Fuqun Huang |
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hawkins, Philippa Ryan Conmy |
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng |
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela |
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl |
From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer |
Model-Based Generation of Attack-Fault Trees. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Decker 0004, Ananta R. Bhattarai, Michael Lebacher |
Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Geissler, Syed Sha Qutub, Michael Paulitsch, Karthik Pattabiraman |
A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anas Motii |
MBTA: A Model-Based Threat Analysis Approach for Software Architectures. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch (eds.) |
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Dörr, Florian Schade, Jürgen Becker 0001 |
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Gotlieb, Morten Mossige, Helge Spieker |
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reich, Daniel Hillen, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka, Natsumi Watanabe |
Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous Systems. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske |
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli |
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang |
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Sha Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, Alois C. Knoll |
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer |
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tabea Schmidt, Florian Hauer 0002, Alexander Pretschner |
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel |
Safety Certification with the Open Source Microkernel-Based Operating System L4Re. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim-Marek Thomas, Christian Dietrich 0001, Oskar Pusz, Daniel Lohmann |
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Janek Groß, Rasmus Adler, Michael Kläs, Jan Reich, Lisa Jöckel, Roman Gansch |
Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti |
Quality of Fault Injection Strategies on Hardware Accelerator. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks |
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig |
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kohnhäuser, Nicolas Coppik, Francisco Mendoza 0001, Ankita Kumari |
On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Kolb, Florian Hauer 0002, Mojdeh Golagha, Alexander Pretschner |
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bishop 0001, Andrey Povyakalo |
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet |
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schuster, Emmanouil Seferis, Simon Burton 0001, Chih-Hong Cheng |
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisandro Arturo Jimenez-Roa, Matthias Volk 0001, Mariëlle Stoelinga |
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dietrich 0001, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann |
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Maier, Jürgen Mottok |
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo 0002 |
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira |
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Fischer, Oliver Riedel, Armin Lechler |
Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch (eds.) |
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
Generating Assurance Cases Using Workflow+ Models. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy |
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Osborne, Richard Hawkins, John A. McDermid |
Analysing the Safety of Decision-Making in Autonomous Systems. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli |
Impact of Machine Learning on Safety Monitors. |
SAFECOMP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Paterson, Haoze Wu 0001, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett |
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
Automating the Assembly of Security Assurance Case Fragments. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramy Shahin, Sahar Kokaly, Marsha Chechik |
Towards Certified Analysis of Software Product Line Safety Cases. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drabek, Anna Kosmalska, Gereon Weiss, Tasuku Ishigooka, Satoshi Otsuka, Mariko Mizuochi |
Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lesage, Rob Alexander |
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Burton 0001, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker |
Safety Assurance of Machine Learning for Chassis Control Functions. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilárd Bozóki, András Pataricza |
IT Design for Resiliency Using Extreme Value Analysis. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière |
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Jöckel, Michael Kläs |
Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bentley James Oakes, Mehrdad Moradi, Simon Van Mierlo, Hans Vangheluwe, Joachim Denil |
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Shimizu, Daisuke Suzuki, Ryo Muramatsu, Hisashi Mori, Tomoyuki Nagatsuka, Tsutomu Matsumoto |
Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor Attack. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schmidt 0003, Joshua Frey, Daniel Hillen, Jessica Horbelt, Markus Schandar, Daniel Schneider 0001, Ioannis Sorokos |
A Framework for Automated Quality Assurance and Documentation for Pharma 4.0. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Piazzesi, Massimo Hong, Andrea Ceccarelli |
Attack and Fault Injection in Self-driving Agents on the Carla Simulator - Experience Report. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Habli, Mark Sujan, Friedemann Bitsch (eds.) |
Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Püllen, Jonas Liske, Stefan Katzenbeisser 0001 |
ISO/SAE 21434-Based Risk Assessment of Security Incidents in Automated Road Vehicles. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Cârlan, Barbara Gallina, Liana Soima |
Safety Case Maintenance: A Systematic Literature Review. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Müller 0005, Adeline Jordon, Andreas Gerndt, Thomas Noll 0001 |
A Modular Approach to Non-deterministic Dynamic Fault Trees. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer |
Composition of Fault Forests. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy |
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fuchs 0002, Dustin Kern, Christoph Krauß, Maria Zhdanova |
Securing Electric Vehicle Charging Systems Through Component Binding. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Hake, Sebastian Feuerstack, Axel Hahn |
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Taguchi 0001, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita |
Threat Analysis Framework for Safety Architectures in SCDL. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli |
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
Systematic Evaluation of (Safety) Assurance Cases. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida |
On Validating Attack Trees with Attack Effects. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, Andy Cockburn, Carl Gutwin |
A Classification of Faults Covering the Human-Computer Interaction Loop. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin |
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME). |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Cârlan, Daniel Ratiu |
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reich, Daniel Schneider 0001, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz |
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Becker |
Cyber-Security of Neural Networks in Medical Devices. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tabea Schmidt, Florian Hauer 0002, Alexander Pretschner |
Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
Automated Attacker Synthesis for Distributed Protocols. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Erfan Asaadi, Ewen Denney, Ganesh Pai |
Quantifying Assurance in Learning-Enabled Systems. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová |
Model-Based Safety Analysis of Mode Transitions. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, John Rushby, Natarajan Shankar |
Model-Centered Assurance for Autonomous Systems. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005 (eds.) |
Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner |
Efficient Load-Time Diversity for an Embedded Real-Time Operating System. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Ashmore, James Sharp |
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | João R. Campos, Ernesto Costa, Marco Vieira |
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Heinrich, Dominik Renkel, Tolga Arul, Stefan Katzenbeisser 0001 |
Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
Just Enough Formality in Assurance Argument Structures. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingyu Zhao 0001, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001 |
A Safety Framework for Critical Systems Utilising Deep Neural Networks. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Vankeirsbilck, Hans Hallez, Jeroen Boydens |
Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Püllen, Nikolaos A. Anagnostopoulos, Tolga Arul, Stefan Katzenbeisser 0001 |
Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng |
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou |
A Compositional Semantics for Repairable BDMPs. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe |
Towards an Automated Exploration of Secure IoT/CPS Design-Variants. |
SAFECOMP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand |
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch (eds.) |
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper |
SafeDeML: On Integrating the Safety Design into the System Model. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reich, Marc Zeller, Daniel Schneider 0001 |
Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Koopman, Beth Osyk, Jack Weast |
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. |
SAFECOMP |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 928 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license