Search results for "LADC"

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

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