Bibliography: A Tour of Dependable Computing Research in Latin America
Elias P. Duarte Jr.     Raimundo Macêdo     Eliane Martins     Sergio Rajsbaum

[1] A. Avizienis, J.-C. Laprie, B. Randell, C. E. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Transations on Dependable and Secure Computing, pp. 11-33, Vol. 1, No. 1, 2004.

[2] D. K. Pradhan (Editor), Fault-Tolerant Computer System Design, Prentice-Hall, 1996.

[3] J. von Neumann, J. "Probabilistic Logics and Synthesis of Reliable Organisms from Unreliable Components", Automata Studies, pp. 43–98, Eds. C. Shannon and J. McCarthy, Princeton University Press, 1956.

[4] SCD-1: The First Brazilian Satellite for Data Acquisition (in Portuguese), http://www.inpe.br/scd1/site_scd/historico.htm, accessed in May 2020.

[5] ATIFS: A Test Environment with Fault Injection by Software (in Portuguese), http://www3.inpe.br/atifs/, accessed in May 2020.

[6] M. Herlihy, and N. Shavit, "The Topological Structure of Asynchronous Computability," Journal of the ACM (JACM), Vol. 46, No. 6, pp. 858-923, 1999.

[7] Accompanying Bibliography to A Tour of Dependable Computing Research in Latin America, http://www.inf.ufpr.br/elias/BibDepLA.html, accessed in June 2020.

[EM1] Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins: Architecting Fault Tolerance with Exception Handling: Verification and Validation. J. Comput. Sci. Technol. 24(2): 212-237 (2009)

[EM2] Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira: Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN 2007: 512-521

[EM3] Eliane Martins, Cecília M. F. Rubira, Nelson G. M. Leme: Jaca: A Reflective Fault Injection Tool Based on Patterns. DSN 2002: 483-482

[EM4] Eliane Martins, Amanda C. A. Rosa: A Fault Injection Approach Based on Reflective Programming. DSN 2000: 407-416

[EM5] David Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995)

[EM6] Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Trans. Software Eng. 16(2): 166-182 (1990)

[EM7] Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins: Exploiting MDE for Platform-Independent Testing of Service Orchestrations. EDCC 2019: 149-152

[INPE1] Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio: Integrating model checking and model based testing for industrial software development. Comput. Ind. 104: 88-102 (2019)

[INPE2] Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira: Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE 2010: 61-70

[INPE3] Andre Corsetti, Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco: Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies. SBESC 2013: 159-160

[INPE4] Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira: Applying Data Mining for Detecting Anomalies in Satellites. EDCC 2012: 212-217

[INPE5] Maria de Fátima Mattiello-Francisco, Eliane Martins, Ana R. Cavalli, Edgar Toshiro Yano: InRob: An approach for testing interoperability and robustness of real-time embedded software. J. Syst. Softw. 85(1): 3-15 (2012)

[INPE6] Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio: ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. Software Quality Journal 8(4): 303-320 (1999)

[TW1] Ruthiano Simioni Munaretti, Taisy Silva Weber, Sérgio Luis Cechin, Bruno Coswig Fiss: A Java Framework to Specify Faultloads for Fault Injection Campaigns. J. Electronic Testing 27(4): 531-539 (2011)

[TW2] Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Taisy Silva Weber: FIONA: A Fault Injector for Dependability Evaluation of Java-Based Network Applications. NCA 2004: 303-308

[JB1] Derick Moreira Baum, Euclides Carlos Pinto Neto, Jorge Rady de Almeida Jr., João Batista Camargo Jr., Paulo Sérgio Cugnasca: A Mindset-Based Evolution of Unmanned Aircraft System (UAS) Acceptance Into the National Airspace System (NAS). IEEE Access 8: 30938-30952 (2020)

[JB2] Macilio da Silva Ferreira, Lucio Flavio Vismari, Paulo Sérgio Cugnasca, Jorge Rady de Almeida Jr., João Batista Camargo Jr., Guilherme Kallemback: A Comparative Analysis of Unsupervised Learning Techniques for Anomaly Detection in Railway Systems. ICMLA 2019: 444-449

[JB3] Antonio V. Silva Neto, Lucio Flavio Vismari, Ricardo Alexandre Veiga Gimenes, Daniel Baraldi Sesso, Jorge Rady de AlmPractical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysiseida Jr., Paulo Sérgio Cugnasca, João Batista Camargo Jr.: A . IEEE Systems Journal 12(4): 3473-3484 (2018)

[JB4] Lucio Flavio Vismari, João Batista Camargo Jr., Jorge Rady de Almeida Jr., Antonio V. Silva Neto, Ricardo A. V. Gimenes, Paulo Sérgio Cugnasca: A Practical Analytical Approach to Increase Confidence in Software Safety Arguments. IEEE Systems Journal 11(4): 2072-2083 (2017)

[JB5] Lucio Flavio Vismari, João Batista Camargo Jr.: A safety assessment methodology applied to CNS/ATM-based air traffic control system. Reliab. Eng. Syst. Saf. 96(7): 727-738 (2011)

[JB6] Jorge Rady de Almeida Jr., João Batista Camargo Jr., Bruno Abrantes Basseto, Sérgio Miranda Paz: Best Practices in Code Inspection for Safety-Critical Software. IEEE Software 20(3): 56-63 (2003)

[JB7] João Batista Camargo Jr., Edmur Canzian, Jorge Rady de Almeida Jr., Sérgio Miranda Paz, Bruno Abrantes Basseto: Quantitative analysis methodology in safety-critical microprocessor applications. Reliab. Eng. Syst. Saf. 74(1): 53-62 (2001)

[JB8] Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.: Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS 2000: 263-271

[ESS1] Edmundo de Souza e Silva, H. Richard Gail: Calculating availability and performability measures of repairable computer systems using randomization. J. ACM 36(1): 171-193 (1989)

[ESS2] Rosa M. L. R. Carmo, Luiz R. de Carvalho, Edmundo de Souza e Silva, Morganna C. Diniz, Richard R. Muntz: Performance/Availability Modeling with te TANGRAM-II Modeling Environment. Perform. Evaluation 33(1): 45-65 (1998)

[CR1] Jane Dirce A. Sandim Eleuterio, Felipe Nunes Gaia, Andrea Bondavalli, Paolo Lollini, Genaína Nunes Rodrigues, Cecília Mary Fischer Rubira: On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. SEAA 2016: 323-330

[CR2] Amanda Sávio Nascimento, Cecília M. F. Rubira, Rachel Burrows, Fernando Castor, Patrick H. S. Brito: Designing fault-tolerant SOA based on design diversity. J. Software Eng. R&D 2: 13 (2014)

[CR3] Amanda Sávio Nascimento, Cecília M. F. Rubira, Fernando Castor: ArCMAPE: A Software Product Line Infrastructure to Support Fault-Tolerant Composite Services. HASE 2014: 41-48

[CR4] Amanda Sávio Nascimento, Fernando Castor, Cecília M. F. Rubira, Rachel Burrows: An Empirical Study on Design Diversity of Functionally Equivalent Web Services. ARES 2012: 236-241

[CR5] Douglas Siqueira Leite, Cecília Mary Fischer Rubira, Fernando Castor: Exception Handling for Service Component Architectures. LADC 2011: 84-93

[CR6] Fernando Castor Filho, Nélio Cacho, Eduardo Figueiredo, Alessandro Garcia, Cecília M. F. Rubira, Jefferson Silva de Amorim, Hítalo Oliveira da Silva: On the modularization and reuse of exception handling with aspects. Softw. Pract. Exp. 39(17): 1377-1417 (2009)

[CR7] Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira: A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software 23(2): 80-87 (2006)

[CR8] Cecília M. F. Rubira, Rogério de Lemos, Gisele Rodrigues Mesquita Ferreira, Fernando Castor Filho: Exception handling in the development of dependable component-based systems. Softw. Pract. Exp. 35(3): 195-236 (2005)

[CR9] Alessandro F. Garcia, Delano M. Beder, Cecília M. F. Rubira: An exception handling mechanism for developing dependable object-oriented software based on a meta-level approach. ISSRE 1999: 52-61

[CR10] Alessandro F. Garcia, Cecília M. F. Rubira, Alexander B. Romanovsky, Jie Xu: A comparative study of exception handling mechanisms for building dependable object-oriented software. J. Syst. Softw. 59(2): 197-222 (2001)

[RD1] Rogério Drummond, Özalp Babaoglu: Low-Cost Clock Synchronization. Distributed Comput. 6(3): 193-203 (1993)

[RD2] Özalp Babaoglu, Rogério Drummond: Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts. IEEE Trans. Software Eng. 11(6): 546-554 (1985)

[JF1] FRAGA, J. S.; POWELL, D. . A Fault- And Intrusion-Tolerant File System. In: IFIP 3rd Int. Conf. on Computer Security, IFIP/SEC'85.

[JF2] BESSANI, A. N. ; ALCHIERI, E. P. ; CORREIA, M. ; FRAGA, J. S. . DEPSPACE: A Byzantine Fault-Tolerant Coordination Service. Operating Systems Review, v. 42, p. 163-176, 2008.

[JF3] Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces. IEEE Trans. Parallel Distrib. Syst. 20(3): 419-432 (2009)

[JF4] Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: An Efficient Byzantine-Resilient Tuple Space. IEEE Trans. Computers 58(8): 1080-1094 (2009)

[JF5] MAFRA, P.M. ; FRAGA, J.S. ; SANTIN, A.O. . Algorithms for a distributed IDS in MANETs. Journal of Computer and System Sciences (Print), v. 80, p. 554-570, 2013.

[JF6] Eduardo Adílio Pelinson Alchieri, Alysson Bessani, Fabíola Greve, Joni da Silva Fraga: Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants. IEEE Trans. Dependable Secur. Comput. 15(2): 246-259 (2018)

[EA1] Alysson Neves Bessani, João Sousa, Eduardo Adílio Pelinson Alchieri: State Machine Replication for the Masses with BFT-SMART. DSN 2014: 355-362

[EA2] Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone: Boosting concurrency in Parallel State Machine Replication. Middleware 2019: 228-240

[RCIJP1] Raul Ceretta Nunes, Ingrid Jansch-Pôrto: A Lightweight Interface to Predict Communication Delays Using Time Series. LADC 2003: 254-263

[RCIJP2] Raul Ceretta Nunes, Ingrid Jansch-Pôrto, QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin. DSN 2004: 753-761

[CG1] Anubis Graciela de Moraes Rossetto, Cláudio F. R. Geyer, Luciana Arantes, Pierre Sens: Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System. Comput. J. 61(10): 1557-1576 (2018)

[FD1] Paulo R. Coelho, Tarcisio Ceolin Junior, Alysson Bessani, Fernando Luís Dotti, Fernando Pedone: Byzantine Fault-Tolerant Atomic Multicast. DSN 2018: 39-50

[FD1] Odorico Machado Mendizabal, Fernando Luís Dotti, Fernando Pedone: High Performance Recovery for Parallel State Machine Replication. ICDCS 2017: 34-44

[RM1] Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava: Newtop: A Fault-Tolerant Group Communication Protocol. ICDCS 1995: 296-306

[RM2] Raimundo A Macêdo, Paul Ezhilchelvan, Santosh K Shrivastava (1995). Flow control schemes for fault tolerant multicast protocols. In Proc. of the IEEE Pacific Rim Int. Symp. on Fault-Tolerant Systems (PRFTS’95), pages 80–88.

[RM3] Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel: A General Framework to Solve Agreement Problems. SRDS 1999: 56-65

[RM4] Nadjib Badache, Michel Hurfin, Raimundo A. Macêdo: Solving the consensus problem in a mobile environment. IPCCC 1999: 29-35

[RM5] Raimundo A Macêdo. Failure detection in asynchronous distributed systems: Proceedings of II Workshop on Tests and Fault-Tolerance, Curitiba, Brazil. July/2000. PP. 76-81.

[RM6] Sérgio Gorender, Raimundo A Macêdo: A Dynamically QoS Adaptable Consensus and Failure Detector: The IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2002 – Fast Abstract Track, pp. B80-B81, 2002.

[RM7] Raimundo A. Macêdo, Flávio Assis-Silva: Coordination of Mobile Processes with Mobile Groups. The IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2002: 177-186

[RM8] Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks, Brazilian Symposium on Computer Networks SBRC'2004, pp.583-586.

[RM9] Raimundo A. Macêdo, Flávio Assis-Silva: The mobile groups approach for the coordination of mobile agents. J. Parallel Distributed Computing, 65(3): 275-288 (2005)

[RM11] Sérgio Gorender, Raimundo A. Macêdo, Michel Raynal: A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. DSN 2005: 412-421

[RM12] Sérgio Gorender, Raimundo A. Macêdo, Michel Raynal: An Adaptive Programming Model for Fault-Tolerant Distributed Computing. IEEE Trans. Dependable Secur. Comput. 4(1): 18-31 (2007)

[RM13] Raimundo A Macêdo, Allan Freitas: A generic group communication approach for hybrid distributed systems. Lecture Notes on Computer Science: Proc. of the 9th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS 2009), 5523(4):102–115

[RM14] Sandro S Andrade, Raimundo A Macêdo: A non-intrusive component-based approach for deploying unanticipated self-management behaviour. SEAMS 2009: 152-161

[RM15] Raimundo A Macêdo, Sérgio Gorender: Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. IEEE ARES 2009: 273-280

[RM16] Alirio Sá, Raimundo A Macêdo: QoS Self-configuring Failure Detectors for Distributed Systems: Distributed Applications and Interoperable Systems. DAIS 2010. LNCC, vol 6115:126-140

[RM17] Eduardo Cambruzzi, Jean-Marie Farines, Raimundo A Macêdo, Werner Kraus Jr.: An adaptive failure detection system for Vehicular Ad-hoc Networks. IEEE Intelligent Vehicles Symposium 2010: 603-608

[RM18] Raimundo A. Macêdo, Allan Edgard Silva Freitas, Alirio Santos de Sá: A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems. LADC 2011: 146-155

[RM19] Marco Ramos, Raimundo A Macêdo, Anne Blagojevic: An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems, 2012 Brazilian Symposium on Computing System Engineering (SBESC 2012), Natal, 2012, pp. 208-213.

[RM20] Raimundo A. Macêdo, Allan Edgard Silva Freitas, Alirio Santos de Sá: Enhancing group communication with self-manageable behavior. J. Parallel and Distributed Computing. 73(4): 420-433 (2013)

[RM21] Sandro S. Andrade, Raimundo A Macêdo: A Search-Based Approach for Architectural Design of Feedback Control Concerns in Self-Adaptive Systems," 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, Philadelphia, PA, 2013, pp. 61-70.

[RM22] Alirio Sá, Allan Freitas, Raimundo A Macêdo. Adaptive request batching for Byzantine replication. ACM SIGOPS Oper. Syst. Rev. 47(1), 35–42 (2013)

[RM23] Allan Freitas, Raimundo A Macêdo: A performance evaluation tool for hybrid and dynamic distributed systems, ACM SIGOPS Operating Systems Review, vol.48, no.1, pp.11-18 (2014).

[RM24] P. Kumar, B. Bhargava, Raimundo A Macêdo and G. Mani. Securing IoT-Based Cyber-Physical Human Systems against Collaborative Attacks. IEEE ICIOT 2017:9-16.

[FG1] Luciana Arantes, Fabíola Greve, Pierre Sens, Véronique Simon: Eventual Leader Election in Evolving Mobile Networks. OPODIS 2013: 23-37

[FG2] Catia Khouri, Fabíola Greve, Sébastien Tixeuil: Consensus with Unknown Participants in Shared Memory. SRDS 2013: 51-60

[FG3] Fabíola Greve, Pierre Sens, Luciana Arantes, Véronique Simon: Eventually Strong Failure Detector with Unknown Membership. Comput. J. 55(12): 1507-1524 (2012)

[FG4] Fabíola Greve, Murilo Santos de Lima, Luciana Arantes, Pierre Sens: A Time-Free Byzantine Failure Detector for Dynamic Networks. EDCC 2012: 191-202

[FG5] Fabíola Greve, Sébastien Tixeuil: Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. DSN 2007: 82-91

[FG6] 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: 142-159

[FG7] Yun Wang, Emmanuelle Anceaume, Francisco Vilar Brasileiro, Fabíola Greve, Michel Hurfin: Solving the Group Priority Inversion Problem in a Timed Asynchronous System. IEEE Trans. Computers 51(8): 900-915 (2002)

[FG8] Yun Wang, Francisco Vilar Brasileiro, Emmanuelle Anceaume, Fabíola Greve, Michel Hurfin: Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. DSN 2001: 97-106

[FG9] Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal: Consensus in One Communication Step. PaCT 2001: 42-50

[FVB1] Lívia M. R. Sampaio, Francisco Vilar Brasileiro: Adaptive Indulgent Consensus. DSN 2005: 422-431

[FVB2] Paul D. Ezhilchelvan, Francisco V. Brasileiro, Neil A. Speirs: A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. IEEE Trans. Parallel Distrib. Syst. 15(1): 53-65 (2004)

[FVB3] Francisco V. Brasileiro, Paul D. Ezhilchelvan, Santosh K. Shrivastava, Neil A. Speirs, Sha Tao: Implementing Fail-Silent Nodes for Distributed Systems. IEEE Trans. Computers 45(11): 1226-1238 (1996)

[AB1] André Martin, Andrey Brito, Christof Fetzer: Low Cost Synchronization for Actively Replicated Data Streams. LADC 2019: 1-10

[AB2] André Martin, Tiaraju Smaneoto, Tobias Dietze, Andrey Brito, Christof Fetzer: User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing Systems. DSN 2015: 462-473

[AB3] Andrey Brito, Christof Fetzer, Pascal Felber: Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems. ICDCS 2009: 173-182

[LEB1] Daniel Cason, Luiz Eduardo Buzato: Time hybrid total order broadcast: Exploiting the inherent synchrony of broadcast networks. J. Parallel Distributed Comput. 77: 26-40 (2015)

[LEB2] Daniel Cason, Parisa Jalili Marandi, Luiz Eduardo Buzato, Fernando Pedone: Chasing the Tail of Atomic Broadcast Protocols. SRDS 2015: 286-295

[LEB3] Gustavo M. D. Vieira, Islene C. Garcia, Luiz Eduardo Buzato: Seamless Paxos coordinators. Cluster Computing 17(2): 463-473 (2014)

[LEB4] Luiz Eduardo Buzato, Gustavo M. D. Vieira, Willy Zwaenepoel: Dynamic content web applications: Crash, failover, and recovery analysis. DSN 2009: 229-238

[LEB5] Gustavo M. D. Vieira, Luiz Eduardo Buzato: On the coordinator's rule for Fast Paxos. Inf. Process. Lett. 107(5): 183-187 (2008)

[LEB6] Islene C. Garcia, Luiz Eduardo Buzato: An Efficient Checkpointing Protocol for the Minimal Characterization of Operational Rollback-Dependency Trackability. SRDS 2004: 126-135

[LEB7] Islene C. Garcia, Luiz Eduardo Buzato: Progressive Construction of Consistent Global Checkpoints. ICDCS 1999: 55-62

[RMJ1] Moisés Quezada Naquid, Ricardo Marcelín-Jiménez, José Luis González Compeán: Babel: The Construction of a Massive Storage System. Int. J. Web Service Res. 13(4): 36-53 (2016)

[RMJ2] Moisés Quezada Naquid, Ricardo Marcelín-Jiménez, José Luis González Compeán: The Babel File System. BigData Congress 2014: 234-241

[SR1] Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM 50(6): 922-954 (2003)

[SR2] Idit Keidar, Sergio Rajsbaum: On the cost of fault-tolerant consensus when there are no faults: preliminary version. SIGACT News 32(2): 45-63 (2001)

[SR3] Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers 56(7): 865-875 (2007)

[SR4] Armando Castañeda, Sergio Rajsbaum, Michel Raynal: Specifying Concurrent Problems: Beyond Linearizability and up to Tasks. DISC 2015: 420-435

[SR5] Manuel Alcantara, Armando Castañeda, David Flores-Peñaloza, Sergio Rajsbaum: The topology of look-compute-move robot wait-free algorithms with hard termination. Distributed Comput. 32(3): 235-255 (2019)

[ACSR1] Armando Castañeda, Sergio Rajsbaum: New combinatorial topology upper and lower bounds for renaming. PODC 2008: 295-304

[ACSR2] Armando Castañeda, Sergio Rajsbaum: New combinatorial topology bounds for renaming: the lower bound. Distributed Comput. 22(5-6): 287-301 (2010)

[ACSR3] Armando Castañeda, Sergio Rajsbaum: New combinatorial topology bounds for renaming: The upper bound. J. ACM 59(1): 3:1-3:49 (2012).

[ED1] Elias Procópio Duarte Jr., Takashi Nanya: A Hierarachical Adaptive Distributed System-Level Diagnosis Algorithm. IEEE Trans. Computers 47(1): 34-45 (1998)

[ED2] Elias P. Duarte Jr., Luis C. E. Bona, Vinicius K. Ruoso, "VCube: A Provably Scalable Distributed Diagnosis Algorithm," Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems (ScalA), at The Supercomputing Conference 2014 (SC'2014), pp. 1-8, 2014.

[ED3] Luiz A. Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes: A distributed k-mutual exclusion algorithm based on autonomic spanning trees. J. Parallel Distributed Comput. 115: 41-55 (2018)

[ED4] João Paulo de Araujo, Luciana Arantes, Elias Procópio Duarte Jr., Luiz A. Rodrigues, Pierre Sens: VCube-PS: A causal broadcast topic-based publish/subscribe system. J. Parallel Distributed Comput. 125: 18-30 (2019)

[ED5] Elias Procópio Duarte Jr., Andréa Weber, Keiko Verônica Ono Fonseca: Distributed Diagnosis of Dynamic Events in Partitionable Arbitrary Topology Networks. IEEE Trans. Parallel Distrib. Syst. 23(8): 1415-1426 (2012)

[ED6] Elias Procópio Duarte Jr., Roverli Pereira Ziwich, Luiz Carlos Pessoa Albini: A survey of comparison-based system-level diagnosis. ACM Comput. Surv. 43(3): 22:1-22:56 (2011)

[ED7] Roverli Pereira Ziwich, Elias Procópio Duarte Jr.: A Nearly Optimal Comparison-Based Diagnosis Algorithm for Systems of Arbitrary Topology. IEEE Trans. Parallel Distrib. Syst. 27(11): 3131-3143 (2016)

[ED8] Elias Procópio Duarte Jr., Rogério Santini, Jaime Cohen: Delivering Packets During the Routing Convergence Latency Interval through Highly Connected Detours. In: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy. pp. 495-504, 2004.

[ED9] Jaime Cohen, Elias Procópio Duarte Jr., Jonathan Schroeder: Connectivity Criteria for Ranking Network Nodes. Communications in Computer and Information Science, v. 116, p. 35-45, 2011.

[ED10] Jaime Cohen, Luiz A. Rodrigues, Elias Procópio Duarte Jr.: Parallel cut tree algorithms. J. Parallel Distributed Comput. 109: 1-14 (2017)

[ED11] Giovanni Venâncio, Rogério C. Turchetti, Edson Tavares de Camargo, Elias Procópio Duarte Jr.: VNF-Consensus: A Virtual Network Function for Maintaining a Consistent Distributed SDN Control Plane. LANOMS’2019

[ED12] Rogério Turchetti, Elias P. Duarte Jr., "NFV-FD: Implementation of a Failure Detector Using Network Virtualization Technology," International Journal of Network Management, ISSN 1099-1190, pp. 1-12, Vol. 27, No. 6, 2017.

[ED13] Gustavo B. Heimovski, Rogério C. Turchetti, Juliano Araujo Wickboldt, Lisandro Zambenedetti Granville, Elias Procópio Duarte Jr.: FT-Aurora: A highly available IaaS cloud manager based on replication. Comput. Networks 168 (2020)


---


Elias P. Duarte Jr.     Raimundo Macêdo     Eliane Martins     Sergio Rajsbaum