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

• 2013
• 
  Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas:
  Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. Ada-Europe 2013: 161-176
• 
  Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega:
  Towards a Time-Composable Operating System. Ada-Europe 2013: 143-160
• 
  Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario:
  Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. Ada-Europe 2013: 95-108
• 
  Carl Brandon, Peter Chapin:
  A SPARK/Ada CubeSat Control Program. Ada-Europe 2013: 51-64
• 
  Barry S. Fagin, Martin C. Carlisle:
  Provably Secure DNS: A Case Study in Reliable Software. Ada-Europe 2013: 81-93
• 
  J. Reinier van Kampenhout, Robert Hilbrich:
  Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors. Ada-Europe 2013: 35-50
• 
  Stephen Michell, Brad Moore, Luís Miguel Pinho:
  Tasklettes - A Fine Grained Parallelism for Ada on Multicores. Ada-Europe 2013: 17-34
• 
  Héctor Pérez, J. Javier Gutiérrez:
  Experience with the Integration of Distribution Middleware into Partitioned Systems. Ada-Europe 2013: 1-16
• 
  Thomas Quinot, Eric Botcazou:
  Lady Ada Mediates Peace Treaty in Endianness War. Ada-Europe 2013: 65-80
• 
  Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan Antonio de la Puente:
  A Model-Based Framework for Developing Real-Time Safety Ada Systems. Ada-Europe 2013: 127-142
• 
  Xiaozhen Xue, Akbar Siami Namin:
  Measuring the Odds of Statements Being Faulty. Ada-Europe 2013: 109-126
• 
  Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk:
  Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7896, Springer 2013, ISBN 978-3-642-38600-8 [contents]