|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 135-148, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume |
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 243-256, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 259-272, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 41-54, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 11-24, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 3-10, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 25-38, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 227-242, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 196-210, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 107-120, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 273-281, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 75-88, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anas Motii |
MBTA: A Model-Based Threat Analysis Approach for Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 121-134, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-031-40922-6 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 181-195, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Gotlieb, Morten Mossige, Helge Spieker |
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 64-72, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 165-178, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske |
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 151-164, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 89-103, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 213-226, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings, pp. 55-63, 2023, Springer, 978-3-031-40922-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 298-318, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 319-332, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tabea Schmidt, Florian Hauer 0002, Alexander Pretschner |
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 335-349, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 31-45, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 252-266, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 284-297, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti |
Quality of Fault Injection Strategies on Hardware Accelerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 222-236, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 158-172, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 175-188, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 189-203, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Kolb, Florian Hauer 0002, Mojdeh Golagha, Alexander Pretschner |
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 350-364, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 365-378, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet |
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 111-125, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 269-283, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 46-61, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 207-221, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert Maier, Jürgen Mottok |
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 17-30, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 65-81, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 237-251, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 144-157, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-031-14834-7 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
Generating Assurance Cases Using Workflow+ Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 97-110, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 82-96, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matt Osborne, Richard Hawkins, John A. McDermid |
Analysing the Safety of Decision-Making in Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 3-16, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli |
Impact of Machine Learning on Safety Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, pp. 129-143, 2022, Springer, 978-3-031-14834-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 3-17, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
Automating the Assembly of Security Assurance Case Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 101-114, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ramy Shahin, Sahar Kokaly, Marsha Chechik |
Towards Certified Analysis of Software Product Line Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 130-145, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 163-177, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lesage, Rob Alexander |
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 195-209, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 149-162, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Szilárd Bozóki, András Pataricza |
IT Design for Resiliency Using Extreme Value Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 51-66, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 34-48, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 18-33, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 178-192, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 67-81, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 226-239, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 210-225, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-030-83902-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 82-97, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cârlan, Barbara Gallina, Liana Soima |
Safety Case Maintenance: A Systematic Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 115-129, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 243-257, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer |
Composition of Fault Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings, pp. 258-275, 2021, Springer, 978-3-030-83902-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 150-163, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fuchs 0002, Dustin Kern, Christoph Krauß, Maria Zhdanova |
Securing Electric Vehicle Charging Systems Through Component Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 387-401, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georg Hake, Sebastian Feuerstack, Axel Hahn |
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 50-63, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 341-354, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 197-212, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
Systematic Evaluation of (Safety) Assurance Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 18-33, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida |
On Validating Attack Trees with Attack Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 309-324, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Philippe A. Palanque, Andy Cockburn, Carl Gutwin |
A Classification of Faults Covering the Human-Computer Interaction Loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 434-448, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 67-81, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carmen Cârlan, Daniel Ratiu |
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 298-306, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 3-17, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Becker |
Cyber-Security of Neural Networks in Medical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 289-297, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 179-194, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
Automated Attacker Synthesis for Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 133-149, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erfan Asaadi, Ewen Denney, Ganesh Pai |
Quantifying Assurance in Learning-Enabled Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 270-286, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 99-114, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, John Rushby, Natarajan Shankar |
Model-Centered Assurance for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 228-243, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-030-54548-2 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 357-371, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rob Ashmore, James Sharp |
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 260-269, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 419-433, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 164-178, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
Just Enough Formality in Assurance Argument Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 34-49, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 244-259, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 405-418, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 325-340, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng |
Safety-Aware Hardening of 3D Object Detection Neural Network Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 213-227, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shahid Khan 0002, Joost-Pieter Katoen, Marc Bouissou |
A Compositional Semantics for Repairable BDMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 82-98, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 115-129, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe |
Towards an Automated Exploration of Secure IoT/CPS Design-Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 372-386, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 3-18, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 165-179, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![Springer, 978-3-030-26600-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 271-285, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Reich, Marc Zeller, Daniel Schneider 0001 |
Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 254-268, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philip Koopman, Beth Osyk, Jack Weast |
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 245-253, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|