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

• 2024
• 
  Tom Anderson, Roger Rivett:
  Lessons from railway accidents for autonomous road vehicles. EDCC 2024: 85-88
• 
  Renato Andrade, Nuno Laranjeiro, Marco Vieira:
  BugHub: A Large Scale Issue Report Dataset. EDCC 2024: 9-16
• 
  Sofiane Azogagh, Victor Delfour, Marc-Olivier Killijian:
  Oblivious Turing Machine. EDCC 2024: 17-24
• 
  Marco Barletta, Luigi De Simone, Raffaele Della Corte, Catello Di Martino:
  Failover Timing Analysis in Orchestrating Container-based Critical Applications. EDCC 2024: 81-84
• 
  Atrin Barzegar, Lelio Campanile, Stefano Marrone, Fiammetta Marulli, Laura Verde, Michele Mastroianni:
  Fuzzy-based Severity Evaluation in Privacy Problems: an Application to Healthcare. EDCC 2024: 147-154
• 
  Tohid Behdadnia, Klaas Thoelen, Fairouz Zobiri, Geert Deconinck:
  Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networks. EDCC Workshops 2024: 75-82
• 
  Vittorio Capocasale, Fernando Pedone, Guido Perboli:
  Parallel Transaction Execution in Blockchain and the Ambiguous State Representation Problem. EDCC 2024: 131-138
• 
  Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario:
  An observation metamodel for dependability tools. EDCC 2024: 169-172
• 
  Carmine Cesarano, Roberto Natella:
  Securing an Application Layer Gateway: An Industrial Case Study. EDCC 2024: 75-80
• 
  Raffaele Della Corte, Roberto Pietrantuono:
  Towards Log-driven Testing through Transformers: A Preliminary Study. EDCC 2024: 103-106
• 
  Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
  A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. EDCC Workshops 2024: 22-35
• 
  Maarten Evens, Patricia Ercoli, Alessia Arteconi:
  On the Application of Blockchain Technology in Microgrids. EDCC Workshops 2024: 83-90
• 
  José Flora, Nuno Antunes:
  Doing more with less? A Study on Models for Intrusion Detection in Microservices. EDCC 2024: 49-56
• 
  José Flora, Nuno Antunes:
  Towards a Metric for Reuse of Microservice Intrusion Detection Models. EDCC 2024: 161-164
• 
  Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre:
  An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems. EDCC 2024: 115-122
• 
  Bernardo Graça, Frederico Cerveira, Henrique Madeira:
  Fault injection acceleration using failure models on a virtualized fault-tolerant system. EDCC 2024: 155-160
• 
  Arya Tanmay Gupta, Sandeep S. Kulkarni:
  Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. EDCC 2024: 61-68
• 
  Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle:
  What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. EDCC Workshops 2024: 14-21
• 
  Benyamin Jafari, Mehmet Akif Yazici:
  Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combat Falsified PMU Data. EDCC Workshops 2024: 91-103
• 
  Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin:
  An Optimal Byzantine SCD-Broadcast Protocol. EDCC 2024: 139-146
• 
  Robert Krahn, Nikson Kanti Paul, Franz Gregor, Do Le Quoc, Andrey Brito, André Martin, Christof Fetzer:
  TICAL: Trusted and Integrity-protected Compilation of AppLications. EDCC 2024: 25-32
• 
  Andreas Kreutz, Gereon Weiss, Mario Trapp:
  Automatic Deduction of the Impact of Context Variability on System Safety Goals. EDCC 2024: 1-8
• 
  Adriano Mancini, Alessandro Galdelli:
  Inspecting Bridges and Critical Infrastructure: An AI and Blockchain Approach. EDCC Workshops 2024: 123-126
• 
  Michail Mavropoulos, Georgios Keramidas, Dimitris Nikolos:
  Improving the Performance Predictability of Faulty Data Caches. EDCC 2024: 123-130
• 
  Rodrigo S. de Moraes, Simin Nadjm-Tehrani:
  NeuralGAP: Deep Learning Evaluation of Networked Avionic Architectures. EDCC 2024: 107-110
• 
  Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann:
  Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. EDCC Workshops 2024: 5-13
• 
  Naoya Nezu, Hiroshi Yamada:
  Supports for Testing Memory Error Handling Code of In-memory Key Value Stores. EDCC 2024: 41-48
• 
  Matt Osborne, Richard Hawkins:
  Defining an Effective Context for the Safe Operation of Autonomous Systems. EDCC Workshops 2024: 36-48
• 
  Kaleem Peeroo, Peter Popov, Vladimir Stankovic, Tillman Weyde:
  Machine Learning for Performance Prediction of Data Distribution Service (DDS). EDCC 2024: 111-114
• 
  Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf:
  Software architecture based inter-feature analysis of safety and security interactions. EDCC 2024: 165-168

skipping 550 more matches