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

• 2016
• 
  Matthias Volk, Sebastian Junges, Joost-Pieter Katoen:
  Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. SAFECOMP 2016: 253-265
• 
  Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg:
  Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP 2016: 309-321
• 
  Maryam Raiyat Aliabadi, Karthik Pattabiraman:
  FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. SAFECOMP 2016: 12-23
• 
  Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo:
  Automatic Invariant Selection for Online Anomaly Detection. SAFECOMP 2016: 172-183
• 
  Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini:
  SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP 2016: 283-295
• 
  Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál:
  Effective Static and Dynamic Fault Tree Analysis. SAFECOMP 2016: 266-280
• 
  Victor Bos, Harold Bruintjes, Stefano Tonetta:
  Catalogue of System and Software Properties. SAFECOMP 2016: 88-101
• 
  Quentin Cappart, Pierre Schaus:
  A Dedicated Algorithm for Verification of Interlocking Systems. SAFECOMP 2016: 76-87
• 
  Robert Clausing, Robert Fischer, Jana Dittmann, Yongjian Ding:
  Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling. SAFECOMP 2016: 201-212
• 
  Ewen Denney, Ganesh J. Pai:
  Composition of Safety Argument Patterns. SAFECOMP 2016: 51-63
• 
  Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens:
  FISSC: A Fault Injection and Simulation Secure Collection. SAFECOMP 2016: 3-11
• 
  William Excoffon, Jean-Charles Fabre, Michaël Lauer:
  Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. SAFECOMP 2016: 159-171
• 
  Andrew Fielder, Tingting Li, Chris Hankin:
  Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. SAFECOMP 2016: 187-200
• 
  David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens:
  A High-Assurance, High-Performance Hardware-Based Cross-Domain System. SAFECOMP 2016: 102-113
• 
  Richard Hawkins, Thomas Richardson, Tim Kelly:
  Using Process Models in System Assurance. SAFECOMP 2016: 27-38
• 
  Christopher Jämthagen, Patrik Lantz, Martin Hell:
  Exploiting Trust in Deterministic Builds. SAFECOMP 2016: 238-249
• 
  John C. Knight, Jonathan C. Rowanhill:
  The Indispensable Role of Rationale in Safety Standards. SAFECOMP 2016: 39-50
• 
  Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner:
  A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context. SAFECOMP 2016: 130-141
• 
  Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng:
  Using STPA in an ISO 26262 Compliant Process. SAFECOMP 2016: 117-129
• 
  Maxime Puys, Marie-Laure Potet, Pascal Lafourcade:
  Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP 2016: 67-75
• 
  Nuno Silva, Marco Vieira:
  Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. SAFECOMP 2016: 296-308
• 
  Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala:
  Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP 2016: 213-225
• 
  Marcelo Zanetti, Edgard Jamhour, Marcelo Eduardo Pellenz, Manoel Camillo Penna:
  A New SVM-Based Fraud Detection Model for AMI. SAFECOMP 2016: 226-237
• 
  Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
  Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. SAFECOMP 2016: 145-158
• 
  Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch:
  Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science 9922, Springer 2016, ISBN 978-3-319-45476-4 [contents]