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

• 2018
• 
  Chera Bekker, Maurits de Graaf, Gerard Hoekstra, Thomas B. Quillinan:
  Enabling Civil/Military Cooperation in Crisis Management. MILS@DSN 2018
• 
  Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber:
  A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. MILS@DSN 2018
• 
  Holger Blasum, Sergey Tverdyshev:
  Classic and Adaptive AUTOSAR in MILS terms. MILS@DSN 2018
• 
  Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
  Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN 2018
• 
  Markus Engqvist, Staffan Persson:
  Cybersecurity in the Railway Sector. MILS@DSN 2018
• 
  Reinhard Hametner, Stefan Resch:
  A Platform Approach for Fusing Safety and Security on a Solid Foundation. MILS@DSN 2018
• 
  Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong:
  A Model-based Approach to Certification of Adaptive MILS. MILS@DSN 2018
• 
  Thorsten Schulz, Frank Golatowski, Dirk Timmermann:
  In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. MILS@DSN 2018
• 
  Sergey Tverdyshev:
  International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. Zenodo 2018 [contents]