• 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 26 matches

• 2022
• 
  Mohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider:
  StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance Measures. SAFECOMP Workshops 2022: 289-301
• 
  Simon D. Duque Antón, Daniel Schneider, Hans D. Schotten:
  On Explainability in AI-Solutions: A Cross-Domain Survey. SAFECOMP Workshops 2022: 235-246
• 
  Luca Arnaboldi, David Aspinall:
  Towards Interdependent Safety Security Assessments Using Bowties. SAFECOMP Workshops 2022: 211-229
• 
  Ill-Ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran:
  Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints. SAFECOMP Workshops 2022: 83-96
• 
  Uwe Becker:
  Increasing IoT Security by Supply Power Measurement. SAFECOMP Workshops 2022: 197-210
• 
  Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel:
  Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops 2022: 330-342
• 
  Chih-Hong Cheng, Tobias Schuster, Simon Burton:
  Logically Sound Arguments for the Effectiveness of ML Safety Measures. SAFECOMP Workshops 2022: 343-350
• 
  Ilona Cieslik, Víctor Juan Expósito Jiménez, Helmut Martin, Heiko Scharke, Hannes Schneider:
  State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System. SAFECOMP Workshops 2022: 178-191
• 
  Luiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann:
  Watch: A Validation Framework and Language for Tool Qualification. SAFECOMP Workshops 2022: 127-139
• 
  Václav Divis, Tobias Schuster, Marek Hrúz:
  Neural Criticality Metric for Object Detection Deep Neural Networks. SAFECOMP Workshops 2022: 276-288
• 
  Rainer Faller, Krystian Radlak:
  A Statistical View on Automated Driving System Safety Architectures. SAFECOMP Workshops 2022: 23-34
• 
  Enrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie:
  Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems. SAFECOMP Workshops 2022: 35-46
• 
  Mona Gierl, Reiner Kriesten, Eric Sax:
  Security Assessment Prospects as Part of Vehicle Regulations. SAFECOMP Workshops 2022: 97-109
• 
  Florence de Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet, David Vigouroux:
  Object Detection with Probabilistic Guarantees: A Conformal Prediction Approach. SAFECOMP Workshops 2022: 316-329
• 
  Kavya Gupta, Fateh Kaakai, Béatrice Pesquet-Popescu, Jean-Christophe Pesquet:
  Safe Design of Stable Neural Networks for Fault Detection in Small UAVs. SAFECOMP Workshops 2022: 263-275
• 
  Víctor Juan Expósito Jiménez, Helmut Martin, Christian Schwarzl, Georg Macher, Eugen Brenner:
  Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions. SAFECOMP Workshops 2022: 11-22
• 
  Marzana Khatun, Heinrich Litagin, Rolf Jung, Michael Glaß:
  An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving Systems. SAFECOMP Workshops 2022: 166-177
• 
  Jabier Martinez, Ángel Jesús Varela-Vaca:
  Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert. SAFECOMP Workshops 2022: 158-165
• 
  Felix Müller, Philipp Nenninger, Eric Sax:
  Building a Test Bed for the Periodical Technical Inspection of Sensors Perceiving the Environment in Autonomous Vehicles. SAFECOMP Workshops 2022: 59-70
• 
  Peter Munk, Markus Schweizer:
  DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent Releases. SAFECOMP Workshops 2022: 145-157
• 
  Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer:
  A Guided Search for Races Based on Data Flow Patterns. SAFECOMP Workshops 2022: 47-58
• 
  Rick Salay, Krzysztof Czarnecki:
  A Safety Assurable Human-Inspired Perception Architecture. SAFECOMP Workshops 2022: 302-315
• 
  Abdelkader Magdy Shaaban, Sebastian Chlup, Christoph Schmittner:
  UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression Analysis. SAFECOMP Workshops 2022: 110-122
• 
  Michal Szczepankiewicz, Krystian Radlak, Karolina Szczepankiewicz, Adam Popowicz, Pawel Zawistowski:
  Testing and Verification of the Deep Neural Networks Against Sparse Pixel Defects. SAFECOMP Workshops 2022: 71-82
• 
  Merijn van Tooren, Daniel Reti, Daniel Schneider, Cédric Bassem, Raúl Santos de la Cámara, Hans Dieter Schotten:
  Research Questions in the Acceptance of Cybersecurity by SMEs in the EU. SAFECOMP Workshops 2022: 247-255
• 
  Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch:
  Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13415, Springer 2022, ISBN 978-3-031-14861-3 [contents]