Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Duccio Bertieri, Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Mario Barbareschi, Andrea Bondavalli |
Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | João H. Kleinschmidt, Carlos Kamienski, Ronaldo C. Prati, Kari Kolehmainen, Cristiano Aguzzi |
End-to-End Security in the IoT Computing Continuum: Perspectives in the SWAMP Project. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | José D'Abruzzo Pereira, João R. Campos, Marco Vieira |
An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leylane Ferreira, Theo Lynn, Patricia Takako Endo, Élisson da Silva Rocha, Kayo Monteiro, Guto Leoni Santos, Francisco Airton Silva, Judith Kelner, Djamel Sadok, Carmelo J. A. Bastos Filho, Pierangelo Rosati |
Optimizing Resource Availability in Composable Data Center Infrastructures. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rhauani Weber Aita Fazul, Paulo Vinicius Cardoso, Patrícia Pitthan Barcelos |
Improving Data Availability in HDFS through Replica Balancing. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elia Batista, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone |
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Signoretti, Marianne Batista Diniz Da Silva, Jordy Araujo, Ivanovitch Silva, Diego R. C. Silva, Paolo Ferrari, Emiliano Sisinni |
A Dependability Evaluation for OBD-II Edge Devices: An Internet of Intelligent Vehicles Perspective. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xerxes Slaghenaufi, Rodrigo Pincolini Amaral, Raul Ceretta Nunes |
A Combined Structure for Security in Distributed Simulation. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wallace F. F. Cardoso, Eliane Martins, Nuno Laranjeiro, Nuno Antunes |
Combining State and Interface - Based Robustness Testing for OpenStack Components. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | André Martin, Andrey Brito, Christof Fetzer |
Low Cost Synchronization for Actively Replicated Data Streams. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maykon Chagas, Jucélio Jair Silva, Daniel D. Adriano, Michelle S. Wangham |
SM4VO: A Security Management Mechanism for Virtual Organizations. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matheus Torquato 0001, Lucas Torquato, Paulo R. M. Maciel, Marco Vieira |
IaaS Cloud Availability Planning using Models and Genetic Algorithms. |
LADC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas |
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Sierra, Juan Briceno, Hector Buitrago, Brian Rozo, Leonardo Montecchi, Ivan Mura |
Probabilistic Modeling of Failure Domino Effects in Chemical Plants. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Morganti, Enrico Schiavone, Andrea Bondavalli |
Risk Assessment of Blockchain Technology. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohamad Gharib, Leandro Dias da Silva, Hanna Kavalionak, Andrea Ceccarelli |
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | André Monteiro, Felipe da Rocha Henriques |
QMapper: Dynamic Power and Performance Management in Virtualized Web Servers Clusters. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Kimura Lopes, Ricardo Bedin França, Celso Massaki Hirata, Luiz Alberto Vieira Dias |
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pedraja, Javier Baliosian, Gustavo Betarte |
Offloading Cryptographic Services to the SIM Card. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Avelino F. Zorzo, Henry C. Nunes, Roben Castagna Lunardi, Regio A. Michelin, Salil S. Kanhere |
Dependable IoT Using Blockchain-Based Technology. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Alchieri, Fernando Luís Dotti, Parisa Jalili Marandi, Odorico Machado Mendizabal, Fernando Pedone |
Boosting State Machine Replication with Concurrent Execution. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Milton Scheffel, Antônio Augusto Fröhlich |
WSN Data Confidence Attribution Using Predictors. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tuzov, David de Andrés, Juan Carlos Ruiz |
Speeding-Up Robustness Assessment of HDL Models through Profiling and Multi-Level Fault Injection. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018 |
LADC |
2018 |
DBLP BibTeX RDF |
|
1 | Klaus Wehmuth, Artur Ziviani |
Avoiding Spurious Paths in Centralities Based on Shortest Paths in High Order Networks. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi |
Parametric Uncertainty Propagation through Dependability Models. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Charles F. Gonçalves, Nuno Antunes, Marco Vieira |
Evaluating the Applicability of Robustness Testing in Virtualized Environments. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil |
Multi-hop Byzantine Reliable Broadcast Made Practical. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luiz A. Rodrigues, Elias P. Duarte Jr., João Paulo de Araujo, Luciana Arantes, Pierre Sens 0001 |
Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Xiang, Lang Liu, Ming Yang, Siwei Zhou, Luyao Ye, Caisheng Weng, Dongdong Zhao 0001, Jing Tian |
Crane: A Tool for Reliability Analysis with Different Coverage Models. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ana Duarte, Nuno Antunes |
An Empirical Study of Docker Vulnerabilities and of Static Code Analysis Applicability. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Fluri, Darya Melnyk, Roger Wattenhofer |
Improving Raft When There Are Failures. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Gracia-Moran, Luis J. Saiz-Adalid, Juan-Carlos Baraza-Calvo, Pedro J. Gil |
Correction of Adjacent Errors with Low Redundant Matrix Error Correction Codes. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira 0001 |
BuzzPSS: A Dependable and Adaptive Peer Sampling Service. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davi da Silva Böger, Joni da Silva Fraga, Eduardo Alchieri |
Reconfigurable Scalable State Machine Replication. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anubis Graciela de Moraes Rossetto, Cláudio Fernando Resin Geyer, Luciana Arantes, Pierre Sens 0001 |
Implementing a Flexible Failure Detector That Expresses the Confidence in the System. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Laranjeiro, Seyma Nur Soydemir, Jorge Bernardino |
Testing Web Applications Using Poor Quality Data. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Néstor Cataño, Shigeo Nishi |
Soundness Proof of EventB2Java. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche |
Bypassing IOMMU Protection against I/O Attacks. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Betarte, Rodrigo De La Fuente, Rodrigo Martínez, Juan Pirez, Felipe Zipitria |
Towards Model-Driven Virtual Patching for Web Applications. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Rossanez, Ariadne M. B. R. Carvalho |
Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space Applications. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raquel Almeida 0002, Henrique Madeira |
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jose Luis Nunes, João Carlos Cunha, Mário Zenha Rela |
Using Failure Prediction to Improve FPGA Scrubbing. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leydi Erazo, Eliane Martins, Juliana Galvani Greghi |
Modeling Dependable Product-Families: From Use Cases to State Machine Models. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli, Ariadne M. B. R. Carvalho |
Usability Assessment in a Multi-Biometric Continuous Authentication System. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti |
Analyzing the Impact of Failures in the Electric Power Distribution Grid. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Dimastrogiovanni, Nuno Laranjeiro |
Towards Understanding the Value of False Positives in Static Code Analysis. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Sergio Rajsbaum, Matthieu Roy |
Two Convergence Problems for Robots on Graphs. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Vecchiato, Eliane Martins |
Benchmarking User-Defined Security Configuration of Mobile Devices. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tuzov, Juan Carlos Ruiz, David de Andrés, Pedro J. Gil |
Speeding-Up Simulation-Based Fault Injection of Complex HDL Models. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. P. L. Conceicao, Fátima Mattiello-Francisco, Carlos L. G. Batista |
Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Edson Tavares de Camargo, Elias P. Duarte Jr. |
Running Resilient MPI Applications on a Dynamic Group of Recommended Processes. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo |
An Approach for Verification of a Satellite Simulator - An Evolving System. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tânia Basso, Roberta Mayumi Matsunaga, Regina Moraes, Nuno Antunes |
Challenges on Anonymity, Privacy, and Big Data. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Alves, Baldoino Fonseca, Nuno Antunes |
Experimenting Machine Learning Techniques to Predict Vulnerabilities. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuela Marasco, Mohamed Shehab, Bojan Cukic |
A Methodology for Prevention of Biometric Presentation Attacks. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Denis Jeanneau, Luiz A. Rodrigues, Luciana Arantes, Elias P. Duarte Jr. |
An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Slobodan Lukovic, Igor Kaitovic, Gerardo Lecuona, Miroslaw Malek |
A Methodology for Proactive Maintenance of Uninterruptible Power Supplies. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo J. Dobler, Sérgio Luis Cechin, Taisy Silva Weber, Joao Netto |
A Software Fault Injector to Validate Implementations of a Safety Communication Protocol. |
LADC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016 |
LADC |
2016 |
DBLP BibTeX RDF |
|
1 | Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout |
An Automated Approach to Generate Web Applications Attack Scenarios. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | João Miguel Franco, Raul Barbosa, Mário Zenha Rela |
Reliability Analysis of Software Architecture Evolution. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David C. van Moolenbroek, Raja Appuswamy, Andrew S. Tanenbaum |
Battling Bad Bits with Checksums in the Loris Page Cache. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira |
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roverli Pereira Ziwich, Emanuel A. Schimidt, Elias P. Duarte Jr., Ingrid Jansch-Pôrto |
Diagnosis of Content Pollution in P2P Live Streaming Networks. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Behrens, Stefan Weigert, Christof Fetzer |
Automatically Tolerating Arbitrary Faults in Non-malicious Settings. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Maia, Miguel Matos, Rui Oliveira 0001, Etienne Rivière |
Slicing as a Distributed Systems Primitive. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramon Marques Ramos, Magnos Martinello, Christian Esteve Rothenberg |
Data Center Fault-Tolerant Routing and Forwarding: An Approach Based on Encoded Paths. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013 |
LADC |
2013 |
DBLP BibTeX RDF |
|
1 | João Figueiras, Jesper Grønbæk, Hans-Peter Schwefel, Andrea Bondavalli |
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira |
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mona Qanadilo, Sufyan Samara, Yuhong Zhao 0001 |
Accelerating Online Model Checking. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Gracia-Moran, Daniel Gil-Tomas, Luis J. Saiz-Adalid, Juan-Carlos Baraza-Calvo, Pedro J. Gil-Vicente |
Defining a Representative and Low Cost Fault Model Set for Intermittent Faults in Microprocessor Buses. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, Carlos Pereira, Marco Vieira |
The Time Dimension in Predicting Failures: A Case Study. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Sojer, Frank Reichenbach, Stein Erik Ellevseth, Christian Buckl, Alois C. Knoll |
A Model-Driven Approach for Runtime Reliability Analysis. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno |
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. |
LADC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Pacheco Sanches, Tânia Basso, Regina Moraes |
J-SWFIT: A Java Software Fault Injection Tool. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011 |
LADC |
2011 |
DBLP BibTeX RDF |
|
1 | Fernando Pedone, Nicolas Schiper, José Enrique Armendáriz-Iñigo |
Byzantine Fault-Tolerant Deferred Update Replication. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naaliel Mendes, João Durães, Henrique Madeira |
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean Arlat, Regina Moraes |
Collecting, Analyzing and Archiving Results from Fault Injection Experiments. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andréa Weber, Alexander Robert Kutzke, Stefano Chessa |
Energy-Aware Test Connection Assignment for the Diagnosis of a Wireless Sensor Network. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli |
RACME: A Framework to Support V&V and Certification. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Siqueira Leite, Cecília Mary Fischer Rubira, Fernando Castor |
Exception Handling for Service Component Architectures. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Vinicius Azevedo, André Felipe Almeida Monteiro, Alexandre Sztajnberg |
Resource Optimization and Energy Saving in Clusters Using Virtualization. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens 0001 |
Enhancing Fault Tolerance of Distributed R-Tree. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesus Friginal, David de Andrés, Juan-Carlos Ruiz-Garcia, Pedro J. Gil |
On Selecting Representative Faultloads to Guide the Evaluation of Ad Hoc Networks. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Kopetz |
GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono, Stefano Russo 0001 |
Architecture-Based Criticality Assessment of Software Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jeferson Ferreira, Eliane Martins, Cecília M. F. Rubira, Patrick Henrique da Silva Brito |
Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fatemeh Borran, Martin Hutle, André Schiper |
Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alan Massaru Nakai, Edmundo Roberto Mauro Madeira, Luiz Eduardo Buzato |
Load Balancing for Internet Distributed Services Using Limited Redirection Rates. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raimundo José de Araújo Macêdo, Allan Edgard Silva Freitas, Alirio Santos de Sá |
A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Nunes Paiva Morais, Ana R. Cavalli |
Detection of Attacks in Wireless Mesh Networks. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Michel Raynal |
A Simple Snapshot Algorithm for Multicore Systems. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luís T. A. N. Brandão, Alysson Neves Bessani |
On the Reliability and Availability of Systems Tolerant to Stealth Intrusion. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Cabral, Paulo Marques |
Implementing Retry - Featuring AOP. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Antunes, Marco Vieira |
Detecting SQL Injection Vulnerabilities in Web Services. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alex Ander Javarotti Zumalde, Jorge Martins Secall, João Battista Camargo Junior |
Comparative Analysis on the Impact of Defensive Programming Techniques for Safety-Critical Systems. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Afonso Araújo Neto, Marco Vieira |
Appraisals Based on Security Best Practices for Software Configurations. |
LADC |
2009 |
DBLP DOI BibTeX RDF |
|