• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2023
• 
  Michael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume:
  Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. SAFECOMP 2023: 243-256
• 
  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: 213-226
• 
  Thomas Decker, Ananta R. Bhattarai, Michael Lebacher:
  Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models. SAFECOMP 2023: 273-281
• 
  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: 25-38
• 
  Tobias Dörr, Florian Schade, Jürgen Becker:
  Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. SAFECOMP 2023: 181-195
• 
  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: 259-272
• 
  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: 75-88
• 
  Arnaud Gotlieb, Morten Mossige, Helge Spieker:
  Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP 2023: 64-72
• 
  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: 107-120
• 
  Richard Hawkins, Philippa Ryan Conmy:
  Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP 2023: 11-24
• 
  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: 196-210
• 
  Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang:
  A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. SAFECOMP 2023: 55-63
• 
  Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela:
  Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. SAFECOMP 2023: 227-242
• 
  Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll:
  Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. SAFECOMP 2023: 89-103
• 
  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: 3-10
• 
  Anas Motii:
  MBTA: A Model-Based Threat Analysis Approach for Software Architectures. SAFECOMP 2023: 121-134
• 
  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: 165-178
• 
  Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske:
  Probabilistic Spatial Relations for Monitoring Behavior of Road Users. SAFECOMP 2023: 151-164
• 
  Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic:
  Attribute Repair for Threat Prevention. SAFECOMP 2023: 135-148
• 
  Bo Zhao, You Song, Wenhao Xu, Fuqun Huang:
  A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study. SAFECOMP 2023: 41-54
• 
  Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch:
  Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14181, Springer 2023, ISBN 978-3-031-40922-6 [contents]