| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raquel Almeida, Marco Vieira |
Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Constantinescu, Miguel P. Correia (eds.) |
2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012  |
EDCC  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tudor Dumitras, Petros Efstathopoulos |
The Provenance of WINE.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliviu Ghica, Cristina Nita-Rotaru, Goce Trajcevski, Peter Scheuermann |
Security of Electrostatic Field Persistent Routing: Attacks and Defense Mechanisms.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Farbeh, Mahdi Fazeli, Faramarz Khosravi, Seyed Ghassem Miremadi |
Memory Mapped SPM: Protecting Instruction Scratchpad Memory in Embedded Systems against Soft Errors.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabíola Greve, Murilo Santos de Lima, Luciana Arantes, Pierre Sens |
A Time-Free Byzantine Failure Detector for Dynamic Networks.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaunwen Chen, Navjot Singh, Shalini Yajnik |
Log Analytics for Dependable Enterprise Telephony.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Léon Lim, Denis Conan |
An Eventual alpha Partition-Participant Detector for MANETs.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | João Sousa, Alysson Neves Bessani |
From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Alexander Romanovsky |
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru-Mircea Chimerel, Costel Patrascu, Sabina Anghel, Yuval Katz, Wilfried Steiner |
On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Malinowsky, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli, Edgar Nett |
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro |
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Aly Farahat |
Swarm Synthesis of Convergence for Symmetric Protocols.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
Formal Development of Critical Multi-agent Systems: A Refinement Approach.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
A Mirrored Data Structures Approach to Diverse Partial Memory Replication.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cotroneo, Anna Lanzaro, Roberto Natella, Ricardo Barbosa |
Experimental Analysis of Binary-Level Software Fault Injection in Complex Software.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Valerio, Pascal Felber, Martin Rajman, Etienne Riviere |
CADA: Collaborative Auditing for Distributed Aggregation.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian |
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Louro, João Garcia, Paolo Romano |
MultiPathPrivacy: Enhanced Privacy in Fault Replication.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs |
AnKLe: Detecting Attacks in Large Scale Systems via Information Divergence.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Ulbrich, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Wolfgang Schröder-Preikschat, Reiner Schmid |
Eliminating Single Points of Failure in Software-Based Redundancy.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Lechner |
Designing Robust GALS Circuits with Triple Modular Redundancy.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Nowotsch, Michael Paulitsch |
Leveraging Multi-core Computing Architectures in Avionics.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
Applying Data Mining for Detecting Anomalies in Satellites.  |
EDCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick J. Graydon, John C. Knight |
Software Process Synthesis in Assurance Based Development of Dependable Systems.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
assurance arguments, software processes, safety-critical systems, software assurance, software dependability |
| 1 | Alfons Crespo, Ismael Ripoll, Miguel Masmano |
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
real-time, hypervisor, secure kernel |
| 1 | Daniel Skarin, Raul Barbosa, Johan Karlsson |
Comparing and Validating Measurements of Dependability Attributes.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naaliel Mendes, João Durães, Henrique Madeira |
Evaluating and Comparing the Impact of Software Faults on Web Servers.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Perez, Mikel Azkarate-askasua, Antonio Perez |
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
safety, fault injection, SystemC, codesign, odometry, IEC-61508 |
| 1 | François Bonnet, Michel Raynal |
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
Asynchronous message-passing system, Early decision, Perfect failure detector, Theta-model, Consensus problem |
| 1 | Roberto Jung Drebes, Takashi Nanya |
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
monolithic kernels, error isolation, subsystem extraction, error propagation |
| 1 | |
Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010  |
EDCC  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal |
D2HT: The Best of Both Worlds, Integrating RPS and DHT.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Iwata, Kenji Kono |
Narrowing Down Possible Causes of Performance Anomaly in Web Applications.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
commercial web application, request type, response time, performance debugging, control chart |
| 1 | Roberto Natella, Domenico Cotroneo |
Emulation of Transient Software Faults for Dependability Assessment: A Case Study.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Mandelbugs, Fault Tolerance, Software Faults, Software Fault Injection |
| 1 | Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Finding Error Handling Bugs in OpenSSL Using Coccinelle.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico |
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Leeke, Arshad Jhumka |
Towards Understanding the Importance of Variables in Dependable Software.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
Spatial Impact, Temporal Impact, Variable Importance, Importance Metric, Dependability, Fault Injection |
| 1 | Martin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat |
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
Distributed and Embedded Systems, Fault Tolerance, Automotive, Algorithm/Protocol Design and Analysis, Membership, FlexRay, AUTOSAR |
| 1 | Jesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjaergard, Thomas Skjødeberg Toftegaard |
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
diagnosis model, imperfect diagnosis, end-node, fault management, policy evaluation |
| 1 | Ludovic Pietre-Cambacedes, Marc Bouissou |
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP).  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
BDMP, security, dynamic modeling, attack trees |
| 1 | Ruben Alexandersson, Peter Öhman |
On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
time-redundant execution, Fault tolerance, aspect-oriented programming, control flow checking |
| 1 | Matthias Függer, Andreas Dielacher, Ulrich Schmid |
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
modeling approaches, VLSI, pipelining, clock synchronization, Fault-tolerant distributed algorithms |
| 1 | Alberto Paz, Francisco Perez-Sorrosal, Marta Patiño-Martínez, Ricardo Jiménez-Peris |
Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application Server.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
fault-tolerance, scalability, replication, J2EE, multi-tier architectures |
| 1 | Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer |
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
error injection, error propagation analysis, debugging, slicing |
| 1 | Jean-Charles Fabre, Marc-Olivier Killijian, Thomas Pareaud |
Towards On-line Adaptation of Fault Tolerance Mechanisms.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
online adaptation, fault-tolerance, reflection, component-based software engineering |
| 1 | Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi |
Online Monitoring of Software System Reliability.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
reliability, monitoring |
| 1 | Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri |
HP: Hybrid Paxos for WANs.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Tucci Piergiovanni, Roberto Baldoni |
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer, Robyn R. Lutz |
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
reliability and availability requirements, Unified Modeling Language profile, Unified Process, misuse cases, fault trees |
| 1 | Alexei Iliasov, Alexander Romanovsky |
Refinement Patterns for Fault Tolerant Systems.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Leita, Marc Dacier |
SGNET: A Worldwide Deployable Framework to Support the Analysis of Malware Threat Models.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Skarin, Johan Karlsson |
Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nidhal Selmane, Sylvain Guilley, Jean-Luc Danger |
Practical Setup Time Violation Attacks on AES.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Storm, Timo Warns |
Deriving Highly Available Quorum Systems from Structural Failure Models.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Pleisch, Olivier Rütti, André Schiper |
On the Specification of Partitionable Group Membership.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Carrozza, Domenico Cotroneo, Stefano Russo |
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Gaudan, Gilles Motet, Guillaume Auriol |
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Obermaisser, Hubert Kraut, Christian El Salloum |
A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian El Salloum, Roman Obermaisser, Bernhard Huber, Hermann Kopetz |
A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohand Yazid Saidi, Bernard Cousin, Jean-Louis Le Roux |
Targeted Distribution of Resource Allocation for Backup LSP Computation.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008  |
EDCC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vincent Gramoli, Anne-Marie Kermarrec, Erwan Le Merrer |
SONDe, a Self-Organizing Object Deployment Algorithm in Large-Scale Dynamic Systems.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David de Andrés, Juan Carlos Ruiz, Daniel Gil, Pedro J. Gil |
Dependability Assessment for the Selection of Embedded Cores.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli |
How hard is Assessing and Measuring Resilience? Panel.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mendonça, Nuno Neves |
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tomoyuki Nassu, Kiyonobu Uehara, Takashi Nanya |
Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Malek |
Online Dependability Assessment through Runtime Monitoring and Prediction.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hein Meling, Joakim L. Gilje |
A Distributed Approach to Autonomous Fault Treatment in Spread.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Pattabiraman, Giacinto Paolo Saggese, Daniel Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Gorti |
A fault tolerant VoIP implementation based on open standards.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Pardo, José Carlos Campelo, Juan Carlos Ruiz, Pedro J. Gil |
Temporal Characterization of Embedded Systems Using Nexus.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum |
Construction of a Highly Dependable Operating System.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Függer, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf |
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Courtès, Marc-Olivier Killijian, David Powell |
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. Ganesh, Viswanathan Subramanian, Arun K. Somani |
SEU Mitigation Techniques for Microprocessor Control Logic.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Malek |
In Search of Real Data on Faults, Errors and Failures.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Lúcia de Oliveira Moraes, Ricardo Barbosa, João Durães, Naaliel Mendes, Eliane Martins, Henrique Madeira |
Injection of faults at component interfaces and inside the component code: are they equivalent?  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianan Zhang, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting |
Customizable Service State Durability for Service Oriented Architectures.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Penkler |
Improving access to relevant data on faults, errors and failures in real systems.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hein, Manfred Reitenspieß |
Confidentiality and Real Errors: A Contradiction?  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cotroneo |
The Hide and Seek Field Data Game.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Kalbarczyk |
Measurement-Based Analysis: A Key to Experimental Research in Dependability.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Carlo Marchetti, Antonino Virgillito |
Impact ofWAN Channel Behavior on End-to-end Latency of Replication Protocols.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilir Gashi, Peter T. Popov |
Rephrasing Rules for Off-The-Shelf SQL Database Servers.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb |
Lessons learned from the deployment of a high-interaction honeypot.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot |
Communication Integrity in Networks for Critical Control Systems.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006  |
EDCC  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Martin Süßkraut, Christof Fetzer |
Automatically Finding and Patching Bad Error Handling.  |
EDCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Chr. Lisner |
Efficiency of Dynamic Arbitration in TDMA Protocols.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil |
Impact of Faults in Combinational Logic of Commercial Microcontrollers.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.) |
Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings  |
EDCC  |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger |
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Reitenspieß |
Availability in Industry and Science - A Business Perspective -.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly |
Structure-Based Resilience Metrics for Service-Oriented Networks.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|