Search results for "EDCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alexei Iliasov, Alexander B. Romanovsky	Refinement Patterns for Fault Tolerant 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	Miroslaw Malek	In Search of Real Data on Faults, Errors and Failures.	EDCC	2006	DBLP DOI BibTeX RDF
1	Karthik Pattabiraman, Giacinto Paolo Saggese, Daniel Chen 0001, 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	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	Zbigniew Kalbarczyk	Measurement-Based Analysis: A Key to Experimental Research in Dependability.	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	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	Regina Lúcia de Oliveira Moraes, Ricardo Barbosa 0003, 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	Matthias Függer, Ulrich Schmid 0001, Gottfried Fuchs, Gerald Kempf	Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip.	EDCC	2006	DBLP DOI BibTeX RDF
1	Dieter Hein, Manfred Reitenspieß	Confidentiality and Real Errors: A Contradiction?	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	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	Domenico Cotroneo	The Hide and Seek Field Data Game.	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	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	Juan Pardo, José Carlos Campelo, Juan-Carlos Ruiz-Garcia, Pedro J. Gil	Temporal Characterization of Embedded Systems Using Nexus.	EDCC	2006	DBLP DOI BibTeX RDF
1	Martin Süßkraut, Christof Fetzer	Automatically Finding and Patching Bad Error Handling.	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	Dave Penkler	Improving access to relevant data on faults, errors and failures in real systems.	EDCC	2006	DBLP DOI BibTeX RDF
1	Manfred Reitenspieß	Availability in Industry and Science - A Business Perspective -.	EDCC	2005	DBLP DOI BibTeX RDF
1	Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman	Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs.	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 DOI BibTeX RDF
1	Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie	Efficient Protection of Many-to-One Communications.	EDCC	2005	DBLP DOI BibTeX RDF	many-to-one, cold protection, multi-tree algorithm, network, fault-tolerant routing
1	Ondrej Novák, Jirí Zahrádka, Zdenek Plíva	COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits.	EDCC	2005	DBLP DOI BibTeX RDF
1	Meine van der Meulen, Miguel A. Revilla	The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision.	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	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
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	Pascal Traverse, Isabelle Lacaze, Jean Souyris	A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm.	EDCC	2005	DBLP DOI 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	Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly	Structure-Based Resilience Metrics for Service-Oriented Networks.	EDCC	2005	DBLP DOI BibTeX RDF
1	Eliane Martins, Vanessa Gindri Vieira	Regression Test Selection for Testable Classes.	EDCC	2005	DBLP DOI BibTeX RDF
1	Henrique Madeira	Dependability Challenges and Education Perspectives.	EDCC	2005	DBLP DOI BibTeX RDF
1	David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil	Fast Run-Time Reconfiguration for SEU Injection.	EDCC	2005	DBLP DOI BibTeX RDF
1	Maciej Bellos, Dimitris Nikolos	Deterministic Test Vector Compression / Decompression Using an Embedded Processor.	EDCC	2005	DBLP DOI BibTeX RDF
1	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Building and Using Quorums Despite any Number of Process of Crashes.	EDCC	2005	DBLP DOI BibTeX RDF	Leader oracle, Fault tolerance, Distributed algorithm, Consensus, Asynchronous system, Quorum, Process crash, Unreliable failure detector
1	Bjarne E. Helvik, Hein Meling, Alberto Montresor	An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System.	EDCC	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Namyoon Woo, Hyungsoo Jung 0001, Dongin Shin, Hyuck Han, Heon Young Yeom, Taesoon Park	Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF.	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	Josef Widder, Gérard Le Lann, Ulrich Schmid 0001	Failure Detection with Booting in Partially Synchronous Systems.	EDCC	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Stefan Wagner 0001, Jan Jürjens	Model-Based Identification of Fault-Prone Components.	EDCC	2005	DBLP DOI BibTeX RDF
1	Jens Chr. Lisner	Efficiency of Dynamic Arbitration in TDMA Protocols.	EDCC	2005	DBLP DOI BibTeX RDF
1	Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic	Gracefully Degrading Fair Exchange with Security Modules.	EDCC	2005	DBLP DOI BibTeX RDF
1	A. V. Singh, Louise E. Moser, P. M. Melliar-Smith	Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.	EDCC	2005	DBLP DOI BibTeX RDF
1	Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer	An Architectural Framework for Detecting Process Hangs/Crashes.	EDCC	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Dakai Zhu 0001, Rami G. Melhem, Daniel Mossé	Energy Efficient Configuration for QoS in Reliable Parallel Servers.	EDCC	2005	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Stefano Cimmino, Carlo Marchetti	Total Order Communications: A Practical Analysis.	EDCC	2005	DBLP DOI BibTeX RDF
1	Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson	Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency.	EDCC	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	René Amalberti	Use and Misuse of Safety Models in Design.	EDCC	2002	DBLP DOI BibTeX RDF
1	István Majzik, Gábor Huszerl	Towards Dependability Modeling of FT-CORBA Architectures.	EDCC	2002	DBLP DOI BibTeX RDF
1	João Carlos Cunha, António Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva	Reset-Driven Fault Tolerance.	EDCC	2002	DBLP DOI BibTeX RDF
1	Algirdas Avizienis	An Immune System Paradigm for the Design of Fault Tolerant Systems.	EDCC	2002	DBLP DOI BibTeX RDF
1	Partha Dutta, Rachid Guerraoui	Fast Indulgent Consensus with Zero Degradation.	EDCC	2002	DBLP DOI BibTeX RDF
1	John Bigham	Security and Survivability of Large Scale Critical Infrastructures.	EDCC	2002	DBLP DOI BibTeX RDF
1	Astrit Ademaj	A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection.	EDCC	2002	DBLP DOI BibTeX RDF
1	Fernando Pedone, André Schiper, Péter Urbán, David Cavin	Solving Agreement Problems with Weak Ordering Oracles.	EDCC	2002	DBLP DOI BibTeX RDF
1	Kaustubh R. Joshi, Michel Cukier, William H. Sanders	Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.	EDCC	2002	DBLP DOI BibTeX RDF
1	Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	Wrapping Real-Time Systems from Temporal Logic Specifications.	EDCC	2002	DBLP DOI BibTeX RDF
1	Pavel Herout, Stanislav Racek, Jan Hlavicka	Model-Based Dependability Evaluation Method for TTP/C Based Systems.	EDCC	2002	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvédy	An Efficient Solution to the k-Set Agreement Problem.	EDCC	2002	DBLP DOI BibTeX RDF
1	Miguel Correia 0001, Paulo Veríssimo, Nuno Ferreira Neves	The Design of a COTSReal-Time Distributed Security Kernel.	EDCC	2002	DBLP DOI BibTeX RDF
1	György Csertán, András Pataricza, Péter Harang, Orsolya Dobán, Gabor Biros, András Dancsecz, Ferenc Friedler	BPM Based Robust E-business Application Development (Practical Experience Report).	EDCC	2002	DBLP DOI BibTeX RDF
1	Luca Simoncini	Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability.	EDCC	2002	DBLP DOI BibTeX RDF
1	Volkmar Sieh, Kerstin Buchacker	UMLinux - A Versatile SWIFI Tool.	EDCC	2002	DBLP DOI BibTeX RDF
1	Maciej Bellos, Dimitrios Kagaris, Dimitris Nikolos	Test Set Embedding Based on Phase Shifters.	EDCC	2002	DBLP DOI BibTeX RDF
1	Fabrizio Grandoni 0002, Pascale Thévenod-Fosse (eds.)	Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings	EDCC	2002	DBLP DOI BibTeX RDF
1	Pierre Bieber, Charles Castel, Christel Seguin	Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.	EDCC	2002	DBLP DOI BibTeX RDF
1	Andrew M. Tyrrell	Biologically Inspired Fault-Tolerant Computer Systems.	EDCC	2002	DBLP DOI BibTeX RDF
1	Stefano Porcarelli, Felicita Di Giandomenico	On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations.	EDCC	2002	DBLP DOI BibTeX RDF
1	José Luiz Fiadeiro	An Architectural Approach to Fault Treatment in Critical Infrastructures.	EDCC	2002	DBLP DOI BibTeX RDF
1	Fernando Pedone, Nelson L. Duarte, Mario Goulart	Probabilistic Queries in Large-Scale Networks.	EDCC	2002	DBLP DOI BibTeX RDF
1	Rogério de Lemos	Novel Approaches in Dependable Computing.	EDCC	2002	DBLP DOI BibTeX RDF
1	Horst H. Henn	Reliable and Secure Operation of Smart Cards.	EDCC	1999	DBLP DOI BibTeX RDF
1	Assia Doudou, Benoît Garbinato, Rachid Guerraoui, André Schiper	Muteness Failure Detectors: Specification and Implementation.	EDCC	1999	DBLP DOI BibTeX RDF
1	Paula Prata, João Gabriel Silva	Fault-Detection by Result-Checking for the Eigenproblem.	EDCC	1999	DBLP DOI BibTeX RDF
1	Daniel Gil, R. Martínez, J. V. Busquets, Juan Carlos Baraza, Pedro J. Gil	Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System.	EDCC	1999	DBLP DOI BibTeX RDF
1	Luís Moura Silva, João Gabriel Silva	An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine.	EDCC	1999	DBLP DOI BibTeX RDF
1	Peter Folkesson, Johan Karlsson	Considering Workload Input Variations in Error Coverage Estimation.	EDCC	1999	DBLP DOI BibTeX RDF
1	Fevzi Belli	Software Reliability Engineering - Risk Management for the New Millenium.	EDCC	1999	DBLP DOI BibTeX RDF
1	Ralf Apfeld, M. Umbreit	Integrated Safety in Flexible Manufacturing Systems.	EDCC	1999	DBLP DOI BibTeX RDF
1	Vyacheslav N. Yarmolik, I. V. Bykov, Sybille Hellebrand, Hans-Joachim Wunderlich	Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms.	EDCC	1999	DBLP DOI BibTeX RDF
1	Michael Mock, Edgar Nett, Stefan Schemmer	Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks.	EDCC	1999	DBLP DOI BibTeX RDF
1	Jerzy W. Greblicki, Stanislaw J. Piestrak	Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuits.	EDCC	1999	DBLP DOI BibTeX RDF
1	Ondrej Novák	Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata.	EDCC	1999	DBLP DOI BibTeX RDF	linear cyclic codes, hardware test pattern generators, weighted random testing, Cellular automata, BIST, linear feedback shift registers, pseudoexhaustive testing
1	Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi	Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.	EDCC	1999	DBLP DOI BibTeX RDF
1	Toshihito Shirai, Masayoshi Sakai, Koichi Futsuhara, Masao Mukaidono	A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts.	EDCC	1999	DBLP DOI BibTeX RDF
1	João Carlos Cunha, Mário Zenha Rela, João Gabriel Silva	Can Software Implemented Fault-Injection Be Used on Real-Time Systems?.	EDCC	1999	DBLP DOI BibTeX RDF
1	Klaus Echtle	Avoiding Malicious Byzantine Faults by a New Signature Generation Technique.	EDCC	1999	DBLP DOI BibTeX RDF	Malicious Byzantine Faults, Digital Signatures for Fault Tolerance, Agreement Protocols
1	Hélène Waeselynck, Pascale Thévenod-Fosse	A Case Study in Statistical Testing of Reusable Concurrent Objects.	EDCC	1999	DBLP DOI BibTeX RDF
1	Jörg Kaiser, Mohammad Ali Livani	Achieving Fault-Tolerant Ordered Broadcasts in CAN.	EDCC	1999	DBLP DOI BibTeX RDF	fault-tolerance, Real-time communication, CAN, reliable broadcast
1	Tomasz Garbolino, Andrzej Hlawiczka	A New LFSR with D and T Flip-Flops as an Effective Test Pattern Generator for VLSI Circuits.	EDCC	1999	DBLP DOI BibTeX RDF
1	Yung-Yuan Chen	Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring.	EDCC	1999	DBLP DOI BibTeX RDF

Publications at "EDCC"( http://dblp.L3S.de/Venues/EDCC )