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

• 2015
• 
  András Balázs, Attila Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, Sándor Szalai, Laszlo Várhalmi:
  The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission. Ada-Europe 2015: 18-30
• 
  Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri:
  The CONCERTO Methodology for Model-Based Development of Avionics Software. Ada-Europe 2015: 131-145
• 
  Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti:
  Challenges in the Implementation of MrsP. Ada-Europe 2015: 179-195
• 
  Manuel Díaz, Daniel Garrido:
  Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later. Ada-Europe 2015: 116-128
• 
  Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour:
  AFDX Emulator for an ARINC-Based Training Platform. Ada-Europe 2015: 212-227
• 
  Omar Jaradat, Iain Bate, Sasikumar Punnekkat:
  Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Ada-Europe 2015: 162-176
• 
  Husni Khanfar, Björn Lisper, Abu Naser Masud:
  Static Backward Program Slicing for Safety-Critical Systems. Ada-Europe 2015: 50-65
• 
  Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
  From AADL Model to LNT Specification. Ada-Europe 2015: 146-161
• 
  Geoffrey Nelissen, David Pereira, Luís Miguel Pinho:
  A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Ada-Europe 2015: 66-82
• 
  Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer:
  Extensible Debugger Framework for Extensible Languages. Ada-Europe 2015: 33-49
• 
  Jon Pérez, David González, Salvador Trujillo, Ton Trapman:
  A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. Ada-Europe 2015: 3-17
• 
  Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft:
  An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe 2015: 196-211
• 
  Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung:
  Guaranteeing Timing Requirements in the IXV On-Board Software. Ada-Europe 2015: 100-115
• 
  Juan Zamorano, Jorge Garrido:
  Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. Ada-Europe 2015: 85-99
• 
  Juan Antonio de la Puente, Tullio Vardanega:
  Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings. Lecture Notes in Computer Science 9111, Springer 2015, ISBN 978-3-319-19583-4 [contents]