Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David de Andrés, Juan-Carlos Ruiz-Garcia, Pedro J. Gil |
Using Dependability, Performance, Area and Energy Consumption Experimental Measures to Benchmark IP Cores. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Malek |
Empirical Data-Driven Modeling for Dependability Enhancement. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | |
Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009 |
LADC |
2009 |
DBLP BibTeX RDF |
|
1 | Jorrit N. Herder, David C. van Moolenbroek, Raja Appuswamy, Bingzheng Wu, Ben Gras, Andrew S. Tanenbaum |
Dealing with Driver Failures in the Storage Stack. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Pontes, Francisco Vilar Brasileiro, Nazareno Andrade |
BitTorrent Needs Psychiatric Guarantees: Quantifying How Vulnerable BitTorrent Swarms are to Sybil Attacks. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cristina Oliveira, Lívia M. R. Sampaio, Stenio Flavio Fernandes, Francisco Vilar Brasileiro |
Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Ficco, Luigi Coppolino, Luigi Romano |
A Weight-Based Symptom Correlation Approach to SQL Injection Attacks. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti |
Structuring Specifications with Modes. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Bouillaguet, Luciana Arantes, Luciana Sens |
A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Regina Lúcia de Oliveira Moraes, Bruno Teixeira de Abreu, Eliane Martins |
Mapping Web-Based Applications Failures to Faults. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira |
Architectural-Based Validation of Fault-Tolerant Software. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Pedone, Rui Oliveira 0001 |
From Object Replication to Database Replication. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion |
Experimental Methods for Computer Science Research. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yasser Sedaghat, Seyed Ghassem Miremadi |
A Low-Cost On-Line Monitoring Mechanism for the FlexRay Communication Protocol. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer |
A Proof-Carrying-Code Infrastructure for Resources. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jorge C. S. Cardoso, Carlos Baquero, Paulo Sérgio Almeida |
Probabilistic Estimation of Network Size and Diameter. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Afonso Araújo Neto, Marco Vieira |
Benchmarking Untrustworthiness in DBMS Configurations. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion |
Dependability in the Time of Forensics. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Alvisi |
BAR - Where Distributed Computing Meets Game Theory. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Eliane Martins |
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
deterministic fault injection, software testing method, state-based models |
1 | João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva |
Failure Boundedness in Discrete Applications. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets |
1 | Rogério de Lemos |
Scaling Dependability and Security in Ad Hoc Networks. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | José Fonseca 0002, Marco Vieira, Henrique Madeira |
Integrated Intrusion Detection in Databases. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
security, Databases, intrusion detection |
1 | Mikel Larrea, Alberto Lafuente, Iratxe Soraluze Arriola, Roberto Cortiñas, Joachim Wieland |
On the Implementation of Communication-Optimal Failure Detectors. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed algorithms, Consensus, unreliable failure detectors |
1 | Philip Koopman |
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jonatan Schroeder, Elias Procópio Duarte Jr. |
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Talmai Brandão de Oliveira, Victor Franco Costa, Fabíola Greve |
On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Fault-Tolerant Wireless Communication, Mobile Ad-Hoc Networks, Broadcasting, Reliable Broadcasting |
1 | Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum (eds.) |
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean Arlat |
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Alexandersson, Peter Öhman |
Implementing Fault Tolerance Using Aspect Oriented Programming. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Aspect Oriented Programming |
1 | Ludovic Courtès, Marc-Olivier Killijian, David Powell |
Security Rationale for a Cooperative Backup Service for Mobile Devices. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo B. Fernández |
Security Patterns and Secure Systems Design. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sara Tucci Piergiovanni, Roberto Baldoni |
Connectivity in Eventually Quiescent Dynamic Distributed Systems. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira |
Component-Based Software Certification Based on Experimental Risk Assessment. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Component-based system certification, Experimental Risk Assessment, Fault Injection |
1 | Marco Vieira, Henrique Madeira |
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Experimental dependability evaluation, OLAP, data warehousing |
1 | Fevzi Belli, Mubariz Eminov, Nida Gökçe |
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Software Testing, Fuzzy Clustering, Test Prioritizing |
1 | Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira |
Architecture-Centric Fault Tolerance with Exception Handling. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Abdelmajid Khelil, Neeraj Suri |
Gossiping: Adaptive and Reliable Broadcasting in MANETs. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Reliability, MANET, Broadcasting, Analytical Modeling, Gossiping, Epidemic Models |
1 | José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha Rela |
Error Propagation Monitoring on Windows Mobile-Based Devices. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
State and Notifications Broker, Windows Mobile, COTS, Robustness Testing, Dependability Evaluation |
1 | Henrique Madeira |
Assessing, Measuring, and Benchmarking Dependability and Resilience. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fábio Lima, Raimundo A. Macêdo |
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes |
Using Stratified Sampling for Fault Injection. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva (eds.) |
Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano |
Airborne Software Concerns in Civil Aviation Certification. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Michel Raynal |
Fault-Tolerant Techniques for Concurrent Objects. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Nett |
WLAN in Automation - More Than an Academic Exercise?. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alfrânio Correia Jr., António Luís Sousa, Luís Soares, José Pereira 0001, Francisco Moura, Rui Oliveira 0001 |
Group-Based Replication of On-Line Transaction Processing Servers. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico |
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hamid R. Zarandi, Seyed Ghassem Miremadi |
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva |
On the Effects of Errors During Boot. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, embedded systems, fault-injection, boundary-scan, dependability evaluation |
1 | Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul |
Generating Fast Atomic Commit from Hyperfast Consensus. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Araújo, Luís E. T. Rodrigues |
On the Monitoring Period for Fault-Tolerant Sensor Networks. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders |
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Fazeli, Reza Farivar 0003, Shaahin Hessabi, Seyed Ghassem Miremadi |
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Buckl, Alois C. Knoll, Gerhard Schrott |
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christof Fetzer |
Timed Asynchronous Distributed Systems. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rogério de Lemos, Paulo Asterio de Castro Guerra |
Software Architectures for Dependable Systems. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira |
A Method for Modeling and Testing Exceptions in Component-Based Software Development. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fabíola Gonçalves Pereira Greve |
Agreement Protocols in Environments with Temporal Uncertainties. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Herman Augusto Lepikson, Leandro Buss Becker |
Latin-American Workshop on Dependable Automation Systems. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos |
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
Object-based graph grammars, fault-tolerance, distributed systems, model checking, model transformation |
1 | William H. Sanders |
Probabilistic Validation of Computer System Survivability. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | George Marconi de Araujo Lima, Alan Burns 0001 |
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | João Durães, Henrique Madeira |
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve |
Third Workshop on Theses and Dissertations on Dependable Computing. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Caruso 0001, Luiz Carlos Pessoa Albini, Piero Maestrini |
A New Diagnosis Algorithm for Regular Interconnected Structures. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Borchardt, Carlos Maziero, Edgard Jamhour |
An Architecture for On-the-Fly File Integrity Checking. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh |
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Madeira, João Durães, Marco Vieira |
Emulation of Software Faults: Representativeness and Usefulness. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano |
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
Fault Treatment, Threshold-based mechanisms, CORBA Architectures, Fault Diagnosis, Legacy systems, Software Implemented Fault Tolerance |
1 | Fernando Castor Filho, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira |
An Architectural-Level Exception-Handling System for Component-Based Applications. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | João Batista Camargo Jr., Rogério de Lemos |
Workshop on Safety: Computer Systems in Critical Applications. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | José Lino Contreras, Jean-Louis Sourrouille |
Adaptable Objects for Dependability. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
Metaobject-based architecture, QoS, Adaptation, Dependability, Soft Real-Time, Active objects |
1 | Regina Lúcia de Oliveira Moraes, Eliane Martins |
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Raul Ceretta Nunes, Ingrid Jansch-Pôrto |
A Lightweight Interface to Predict Communication Delays Using Time Series. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin |
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Siv Hilde Houmb |
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Echtle, Irene Eusgeld |
A Genetic Algorithm for Fault-Tolerant System Design. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
analysis of fault-tolerant behaviour, genetic algorithm, Fault tolerance, fault model, fitness function |
1 | Marcos A. M. de Moura, Markus Endler |
Managing Adaptive Fault Tolerant CORBA Applications. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paulo César Herrmann Wanner, Raul Fernando Weber |
Fault Injection Tool for Network Security Evaluation. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Idit Keidar, Sergio Rajsbaum |
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lásaro J. Camargos, Edmundo R. M. Madeira |
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
Performance, Failure Detectors, Distributed Consensus, Fault Tolerant CORBA |
1 | Pedro Yuste, Juan-Carlos Ruiz-Garcia, Lenin Lemus, Pedro J. Gil |
Non-intrusive Software-Implemented Fault Injection in Embedded Systems. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.) |
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eno Siewerdt |
Safety-Critical Systems in Air Traffic Management. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | João Gabriel Silva |
Dependability Benchmarks: Can We Rely on Them? |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira |
Building Trust Chains between CORBA Objects. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. T. Moura, Carlos Henrique Netto Lahoz, Martha A. D. Abdala |
A Practical Approach to Quality Assurance in Critical Systems. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Marcelín-Jiménez, Sergio Rajsbaum |
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Costa 0002, Marco Vieira, Henrique Madeira, João Gabriel Silva |
Plug and Play Fault Injector for Dependability Benchmarking. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel |
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto |
Second Workshop on Theses and Dissertations in Dependable Computing. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eliane Martins, Maria de Fátima Mattiello-Francisco |
A Tool for Fault Injection and Conformance Testing of Distributed Systems. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Machiraju, Akhil Sahai, Aad P. A. van Moorsel |
Managed Utility Computing: The Grid as Management Backplane. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luís Santos 0005, Mário Zenha Rela |
Constraints on the Use of Boundary-Scan for Fault Injection. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Karama Kanoun |
Dependability Benchmarking: How Far Are We? |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|