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

• 2016
• 
  Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla:
  Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. SAFECOMP Workshops 2016: 273-285
• 
  Markus Borg, Jose Luis de la Vara, Krzysztof Wnuk:
  Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis. SAFECOMP Workshops 2016: 346-358
• 
  Carmen Cârlan, Daniel Ratiu, Bernhard Schätz:
  On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops 2016: 30-42
• 
  Myra B. Cohen, Justin W. Firestone, Massimiliano Pierobon:
  The Assurance Timeline: Building Assurance Cases for Synthetic Biology. SAFECOMP Workshops 2016: 75-86
• 
  Markus Fockel:
  ASIL Tailoring on Functional Safety Requirements. SAFECOMP Workshops 2016: 298-310
• 
  Joachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen:
  Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study. SAFECOMP Workshops 2016: 105-117
• 
  Omar Jaradat, Iain Bate:
  Systematic Maintenance of Safety Cases to Reduce Risk. SAFECOMP Workshops 2016: 17-29
• 
  Shuji Kinoshita, Yoshiki Kinoshita:
  The 6W1H Model as a Basis for Systems Assurance Argument. SAFECOMP Workshops 2016: 63-74
• 
  Thomas Koller, Donatus Weber:
  Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips. SAFECOMP Workshops 2016: 210-221
• 
  Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka:
  Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases. SAFECOMP Workshops 2016: 55-62
• 
  Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel:
  Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. SAFECOMP Workshops 2016: 375-389
• 
  Sebastian Müller, Peter Liggesmeyer:
  Dynamic Safety Contracts for Functional Cooperation of Automotive Systems. SAFECOMP Workshops 2016: 171-182
• 
  Øyvind Netland, Amund Skavhaug:
  Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave Microcontrollers. SAFECOMP Workshops 2016: 256-267
• 
  Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel:
  An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. SAFECOMP Workshops 2016: 130-143
• 
  Hannes Plank, Gerald Holweg, Christian Steger, Norbert Druml:
  Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving. SAFECOMP Workshops 2016: 183-194
• 
  Sándor Plósz, Csaba Hegedüs, Pál Varga:
  Advanced Security Considerations in the Arrowhead Framework. SAFECOMP Workshops 2016: 234-245
• 
  Christophe Ponsard, Gautier Dallons, Philippe Massonet:
  Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems. SAFECOMP Workshops 2016: 334-345
• 
  Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza:
  Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. SAFECOMP Workshops 2016: 311-321
• 
  Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer:
  Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems. SAFECOMP Workshops 2016: 222-233
• 
  Francesca Saglietti, Ralf Spengler, Matthias Meitner:
  Quantitative Reliability Assessment for Mobile Cooperative Systems. SAFECOMP Workshops 2016: 118-129
• 
  Christoph Schmittner, Zhendong Ma, Peter P. Puschner:
  Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. SAFECOMP Workshops 2016: 195-209
• 
  Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner:
  Using SAE J3061 for Automotive Security Requirement Engineering. SAFECOMP Workshops 2016: 157-170
• 
  Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson:
  Configuration-Aware Contracts. SAFECOMP Workshops 2016: 43-54
• 
  Tor Stålhane, Thor Myklebust:
  The Agile Safety Case. SAFECOMP Workshops 2016: 5-16
• 
  Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello:
  Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. SAFECOMP Workshops 2016: 144-156
• 
  Aitor Couce Vieira, Siv Hilde Houmb:
  The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling Rigs. SAFECOMP Workshops 2016: 246-255
• 
  Andrzej Wardzinski, Aleksander Jarzebowicz:
  Towards Safety Case Integration with Hazard Analysis for Medical Devices. SAFECOMP Workshops 2016: 87-98
• 
  Fredrik Warg, Martin Gassilewski, Jörgen Tryggvesson, Viacheslav Izosimov, Anders Werneman, Rolf Johansson:
  Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements Refinement. SAFECOMP Workshops 2016: 286-297
• 
  Ralph Weissnegger, Markus Schuß, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger:
  Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. SAFECOMP Workshops 2016: 359-370
• 
  Marc Zeller, Daniel Ratiu, Kai Höfig:
  Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. SAFECOMP Workshops 2016: 322-333

skipping 1 more match