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

• 2005
• 
  Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola:
  A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. EDCC 2005: 293-304
• 
  David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil:
  Fast Run-Time Reconfiguration for SEU Injection. EDCC 2005: 230-245
• 
  Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic:
  Gracefully Degrading Fair Exchange with Security Modules. EDCC 2005: 55-71
• 
  Roberto Baldoni, Stefano Cimmino, Carlo Marchetti:
  Total Order Communications: A Practical Analysis. EDCC 2005: 38-54
• 
  Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
  Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. EDCC 2005: 246-262
• 
  Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé:
  Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. EDCC 2005: 391-402
• 
  Maciej Bellos, Dimitris Nikolos:
  Deterministic Test Vector Compression / Decompression Using an Embedded Processor. EDCC 2005: 318-331
• 
  Roy Friedman, Achour Mostéfaoui, Michel Raynal:
  Building and Using Quorums Despite any Number of Process of Crashes. EDCC 2005: 2-19
• 
  Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil:
  Impact of Faults in Combinational Logic of Commercial Microcontrollers. EDCC 2005: 379-390
• 
  Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kumar Surisetty, Anneliese Amschler Andrews:
  Fault Links: Exploring the Relationship Between Module and Fault Types. EDCC 2005: 415-434
• 
  Bjarne E. Helvik, Hein Meling, Alberto Montresor:
  An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. EDCC 2005: 179-198
• 
  Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl:
  Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. EDCC 2005: 140-153
• 
  Sandeep S. Kulkarni, Ali Ebnenasir:
  Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90
• 
  Jens Chr. Lisner:
  Efficiency of Dynamic Arbitration in TDMA Protocols. EDCC 2005: 91-102
• 
  Henrique Madeira:
  Dependability Challenges and Education Perspectives. EDCC 2005: 225-225
• 
  Eliane Martins, Vanessa Gindri Vieira:
  Regression Test Selection for Testable Classes. EDCC 2005: 453-470
• 
  Meine van der Meulen, Miguel A. Revilla:
  The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. EDCC 2005: 199-209
• 
  Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie:
  Efficient Protection of Many-to-One Communications. EDCC 2005: 363-378
• 
  Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  An Architectural Framework for Detecting Process Hangs/Crashes. EDCC 2005: 103-121
• 
  Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo:
  A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. EDCC 2005: 305-317
• 
  Ondrej Novák, Jirí Zahrádka, Zdenek Plíva:
  COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits. EDCC 2005: 403-414
• 
  Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
  Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224
• 
  Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
  A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC 2005: 263-280
• 
  Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman:
  Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs. EDCC 2005: 332-344
• 
  Manfred Reitenspieß:
  Availability in Industry and Science - A Business Perspective -. EDCC 2005: 226-229
• 
  Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly:
  Structure-Based Resilience Metrics for Service-Oriented Networks. EDCC 2005: 345-362
• 
  A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
  Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC 2005: 154-166
• 
  Pascal Traverse, Isabelle Lacaze, Jean Souyris:
  A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. EDCC 2005: 1
• 
  Stefan Wagner, Jan Jürjens:
  Model-Based Identification of Fault-Prone Components. EDCC 2005: 435-452
• 
  Josef Widder, Gérard Le Lann, Ulrich Schmid:
  Failure Detection with Booting in Partially Synchronous Systems. EDCC 2005: 20-37

skipping 4 more matches