A decomposition for total-coloring graphs of maximum degree 3. - Raphael Machado; Celina M. H. de Figueiredo (CTW, 2008)

Sufficient conditions for a graph to be edge-colorable with maximum degree colors. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Electron. Notes Discret. Math., 2008)

NP-Completeness of Determining the Total Chromatic Number of Graphs that do not Contain a Cycle with a Unique Chord. - Raphael Machado; Celina M. H. de Figueiredo (CTW, 2009)

Program Equivalence Using Neural Networks. - Tiago M. Nascimento; Charles B. Prado; Davidson R. Boccardo; Luiz F. R. C. Carmo; Raphael C. S. Machado (BIONETICS, 2010)

Chromatic Index of Chordless Graphs. - Raphael Machado; Celina M. H. de Figueiredo; Nicolas Trotignon (CTW, 2010)

Software evaluation of smart meters within a Legal Metrology perspective: A Brazilian case. - Davidson R. Boccardo; Luiz C. Gomes dos Santos; Luiz F. R. da Costa Carmo; Marcio H. Dezan; Raphael C. S. Machado; Sergio de Aguiar Portugal (ISGT Europe, 2010)

Traceability of Executable Codes Using Neural Networks. - Davidson R. Boccardo; Tiago M. Nascimento; Raphael C. S. Machado; Charles B. Prado; Luiz F. R. C. Carmo (ISC, 2010)

Decompositions for edge-coloring join graphs and cobipartite graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Discret. Appl. Math., 2010)

Total chromatic number of {square, unichord}-free graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Electron. Notes Discret. Math., 2010)

Complexity dichotomy on degree-constrained VLSI layouts with unit-length edges. - Vinícius G. P. de Sá; Celina M. H. de Figueiredo; Guilherme Dias da Fonseca; Raphael Machado (Electron. Notes Discret. Math., 2010)

Chromatic index of graphs with no cycle with a unique chord. - Raphael C. S. Machado; Celina M. H. de Figueiredo; Kristina Vuskovic (Theor. Comput. Sci., 2010)

Genomic distance under gene substitutions. - Marília D. V. Braga; Raphael Machado; Leonardo Costa Ribeiro; Jens Stoye (BMC Bioinform., 2011)

On the weight of indels in genomic distances. - Marília D. V. Braga; Raphael Machado; Leonardo Costa Ribeiro; Jens Stoye (BMC Bioinform., 2011)

Total chromatic number of unichord-free graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Discret. Appl. Math., 2011)

Complexity separating classes for edge-colouring and total-colouring. - Raphael Machado; Celina M. H. de Figueiredo (J. Braz. Comput. Soc., 2011)

A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Networks, 2011)

Complexity dichotomy on partial grid recognition. - Vinícius G. P. de Sá; Guilherme Dias da Fonseca; Raphael C. S. Machado; Celina M. H. de Figueiredo (Theor. Comput. Sci., 2011)

Biclique-colouring - Powers of Paths and Powers of Cycles. - Hélio B. Macêdo Filho; Simone Dantas; Raphael C. S. Machado; Celina M. H. de Figueiredo (CTW, 2012)

Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. - Hélio B. Macêdo Filho; Raphael C. S. Machado; Celina M. H. de Figueiredo (LATIN, 2012)

DCJ-indel Distance with Distinct Operation Costs. - Poly H. da Silva; Marília D. V. Braga; Raphael Machado; Simone Dantas (WABI, 2012)

Linear Time Approximation for Dominating Sets and Independent Dominating Sets in Unit Disk Graphs. - Guilherme Dias da Fonseca; Celina M. H. de Figueiredo; Vinícius G. P. de Sá; Raphael Machado (WAOA, 2012)

Restricted DCJ-indel model: sorting linear genomes with DCJ and indels. - Poly H. da Silva; Raphael Machado; Simone Dantas; Marília D. V. Braga (BMC Bioinform., 2012)

The total chromatic number of split-indifference graphs. - C. N. Campos; Celina M. H. de Figueiredo; Raphael Machado; Célia Picinin de Mello (Discret. Math., 2012)

Program Matching through Code Analysis and Artificial Neural Networks. - Tiago M. Nascimento; Davidson R. Boccardo; Charles B. Prado; Raphael C. S. Machado; Luiz F. R. C. Carmo (Int. J. Softw. Eng. Knowl. Eng., 2012)

Information security aspects of public software. - Henrique Soares; Raphael Machado; Bruno Salgado; Rafael Soares; Jarbas Lopes Cardoso Jr.; Luis Felipe Costa (MEDES, 2013)

Towards a Provably Resilient Scheme for Graph-Based Watermarking. - Lucila Maria Souza Bento; Davidson R. Boccardo; Raphael Carlos Santos Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (WG, 2013)

DCJ-indel and DCJ-substitution distances with distinct operation costs. - Poly H. da Silva; Raphael Machado; Simone Dantas; Marília D. V. Braga (Algorithms Mol. Biol., 2013)

Energy footprint framework: A pathway toward smart grid sustainability. - Davidson R. Boccardo; Leonardo Costa Ribeiro; Rodrigo Canaan; Luiz F. R. C. Carmo; Luci Pirmez; Raphael Machado; Charles B. Prado; Tiago M. Nascimento (IEEE Commun. Mag., 2013)

Towards a provably robust graph-based watermarking scheme - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CoRR, 2013)

Edge-colouring and total-colouring chordless graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo; Nicolas Trotignon (Discret. Math., 2013)

A tight bound for exhaustive key search attacks against Message Authentication Codes. - Vinícius G. P. de Sá; Davidson R. Boccardo; Luiz Fernando Rust C. Carmo; Raphael C. S. Machado (RAIRO Theor. Informatics Appl., 2013)

Software validation of medical instruments. - Davidson R. Boccardo; Raphael C. S. Machado; Sérgio M. Câmara; Charles B. do Prado; Wilson S. Melo; Leonardo Costa Ribeiro; Luiz F. R. da Costa Carmo (MeMeA, 2014)

Complexity of colouring problems restricted to unichord-free and { square, unichord }-free graphs. - Raphael C. S. Machado; Celina M. H. de Figueiredo; Nicolas Trotignon (Discret. Appl. Math., 2014)

Efficient sub-5 approximations for minimum dominating sets in unit disk graphs. - Guilherme Dias da Fonseca; Celina M. H. de Figueiredo; Vinícius Gusmão Pereira de Sá; Raphael C. S. Machado (Theor. Comput. Sci., 2014)

Fair Fingerprinting Protocol for Attesting Software Misuses. - Raphael C. S. Machado; Davidson R. Boccardo; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (ARES, 2015)

The Graphs of Structured Programming. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CTW, 2015)

Biclique-colouring verification complexity and biclique-colouring power graphs. - Hélio B. Macêdo Filho; Simone Dantas; Raphael C. S. Machado; Celina M. H. de Figueiredo (Discret. Appl. Math., 2015)

On the recognition of unit disk graphs and the Distance Geometry Problem with Ranges. - Guilherme Dias da Fonseca; Vinícius Gusmão Pereira de Sá; Raphael Carlos Santos Machado; Celina Miraglia Herrera de Figueiredo (Discret. Appl. Math., 2015)

Using SPQR-trees to speed up algorithms based on 2-cutset decompositions. - Celina M. H. de Figueiredo; Hélio B. Macêdo Filho; Z. Li; Raphael Carlos Santos Machado; Nicolas Trotignon (Electron. Notes Discret. Math., 2015)

Dijkstra Graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (CoRR, 2016)

Software control and intellectual property protection in cyber-physical systems. - Raphael C. S. Machado; Davidson R. Boccardo; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (EURASIP J. Inf. Secur., 2016)

Linear-time graph distance and diameter approximation. - Raphael C. S. Machado; Celina M. H. de Figueiredo (Int. Trans. Oper. Res., 2016)

Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. - Hélio B. Macêdo Filho; Raphael C. S. Machado; Celina M. H. de Figueiredo (Theor. Comput. Sci., 2016)

Use of Switching Controllers for Mitigation of Active Identification Attacks in Networked Control Systems. - Alan Oliveira de Sá; Luiz Fernando Rust da Costa Carmo; Raphael Carlos Santos Machado (DASC/PiCom/DataCom/CyberSciTech, 2017)

Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. - Hélio B. Macêdo Filho; Raphael C. S. Machado; Celina M. H. de Figueiredo (Algorithmica, 2017)

On star and biclique edge-colorings. - Simone Dantas; Marina Groshaus; André Luiz Pires Guedes; Raphael C. S. Machado; Bernard Ries; Diana Sasaki (Int. Trans. Oper. Res., 2017)

Genomic Distance with High Indel Costs. - Poly H. da Silva; Raphael Machado; Simone Dantas; Marília D. V. Braga (IEEE ACM Trans. Comput. Biol. Bioinform., 2017)

Covert Attacks in Cyber-Physical Control Systems. - Alan Oliveira de Sá; Luiz F. Rust da Costa Carmo; Raphael C. S. Machado (IEEE Trans. Ind. Informatics, 2017)

Building Reference Datasets to Support Socialbots Detection. - Carla Pacheco; Alex Garcia; Raphael Machado; Ronaldo M. Salles (MetroInd4.0&IoT, 2018)

Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services. - Leonardo Costa Ribeiro; Luiz P. Damaceno; Luiz V. G. Tarelho; Daniel Varela Magalhães; Giovanni Daniele Rovera; Raphael C. S. Machado (MetroInd4.0&IoT, 2018)

True Random Number Generators for Batch Control Sampling in Smart Factories. - Leonardo Costa Ribeiro; Ana C. O. Marcelino; Guilherme A. Garcia; Desiree S. Goncalves; Luiz V. G. Tarelho; Leandro P. Correa; Wladmir Araújo Chapetta; Alan Oliveira de Sá; Raphael C. S. Machado (MetroInd4.0&IoT, 2018)

Evaluation on Passive System Identification and Covert Misappropriation Attacks in Large Pressurized Heavy Water Reactors. - Alan Oliveira de Sá; Luiz Fernando Rust da Costa Carmo; Raphael Carlos Santos Machado (MetroInd4.0&IoT, 2018)

On the resilience of canonical reducible permutation graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2018)

Using SPQR-trees to speed up recognition algorithms based on 2-cutsets. - Hélio B. Macêdo Filho; Celina M. H. de Figueiredo; Z. Li; Raphael Machado (Discret. Appl. Math., 2018)

A controller design for mitigation of passive system identification attacks in networked control systems. - Alan Oliveira de Sá; Luiz F. R. da Costa Carmo; Raphael C. S. Machado (J. Internet Serv. Appl., 2018)

Using Physical Context-Based Authentication against External Attacks: Models and Protocols. - Wilson S. Melo; Raphael C. S. Machado; Luiz Fernando Rust da Costa Carmo (Secur. Commun. Networks, 2018)

Bio-inspired System Identification Attacks in Noisy Networked Control Systems. - Alan Oliveira de Sá; António Casimiro; Raphael Carlos Santos Machado; Luiz Fernando Rust da Costa Carmo (BICT, 2019)

Measuring randomness in IoT products. - Daniel Chicayban Bastos; Luis Antonio Brasil Kowada; Raphael C. S. Machado (MetroInd4.0&IoT, 2019)

Countermeasure for Identification of Controlled Data Injection Attacks in Networked Control Systems. - Alan Oliveira de Sá; Luiz Fernando Rust da Costa Carmo; Raphael Carlos Santos Machado (MetroInd4.0&IoT, 2019)

Full Characterization of a Class of Graphs Tailored for Software Watermarking. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Algorithmica, 2019)

Dijkstra graphs. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Flávio Keidi Miyazawa; Vinícius Gusmão Pereira de Sá; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2019)

On the embedding of cone graphs in the line with distinct distances between neighbors. - Rodrigo M. Zhou; Celina M. H. de Figueiredo; Raphael C. S. Machado; Vinícius Gusmão Pereira de Sá (Discret. Appl. Math., 2019)

Even-power of Cycles With Many Vertices are Type 1 Total Colorable. - Alesom Zorzi; Celina M. H. de Figueiredo; Raphael Machado; Uéverton S. Souza (LAGOS, 2019)

Proficiency Testing for Software Analysis and Cybersecurity Laboratories. - Raphael Machado; Wilson S. Melo; Lucila M. S. Bento; Sérgio M. Câmara; Vinicius da Hora; Thais Barras; Wladmir Araújo Chapetta (MetroInd4.0&IoT, 2020)

Public-Key Infrastructure for Smart Meters using Blockchains. - Wilson S. Melo; Raphael C. S. Machado; Daniel Peters; Mahbuba Moni (MetroInd4.0&IoT, 2020)

Identification of Data Injection Attacks in Networked Control Systems with Varying Setpoint Condition. - Alan Oliveira de Sá; Raphael C. S. Machado (MetroInd4.0&IoT, 2020)

Development of security mechanisms for a remote sensing system based on opportunistic and mesh networks. - Lucas S. dos Santos; Paulo R. M. Nascimento; Lucila M. S. Bento; Raphael C. S. Machado; Cláudio L. Amorim (MetroInd4.0&IoT, 2020)

Work-in-Progress: Compromising Security of Real-time Ethernet Devices by means of Selective Queue Saturation Attack. - Paolo Ferrari; Emiliano Sisinni; Abusayeed Saifullah; Raphael C. S. Machado; Alan Oliveira de Sá; M. Felser (WFCS, 2020)

Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems. - Alan Oliveira de Sá; Luiz F. R. da Costa Carmo; Raphael C. S. Machado (Mob. Networks Appl., 2020)

Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. - Alan Oliveira de Sá; António Casimiro; Raphael C. S. Machado; Luiz Fernando Rust da Costa Carmo (Sensors, 2020)

Testing and selecting lightweight pseudo-random number generators for IoT devices. - Augusto Parisot; Lucila M. S. Bento; Raphael C. S. Machado (MetroInd4.0&IoT, 2021)

Proposal and Validation of a Standard Protection Profile for Homologation of Commercial Videoconferencing Equipment. - Ariane C. B. Florentino; Sanderson César Macêdo Barbalho; Raphael Carlos Santos Machado (IEEE Access, 2021)

Quantitative Metrics for Performance Monitoring of Software Code Analysis Accredited Testing Laboratories. - Wladmir Araújo Chapetta; Jailton Santos das Neves; Raphael Carlos Santos Machado (Sensors, 2021)

A Triggering Mechanism for Cyber-Attacks in Naval Sensors and Systems. - Walmor Cristino Leite Junior; Claudio Coreixas de Moraes; Carlos E. P. de Albuquerque; Raphael Carlos Santos Machado; Alan Oliveira de Sá (Sensors, 2021)

When Measurements Meet Blockchain: On Behalf of an Inter-NMI Network. - Mahbuba Moni; Wilson S. Melo; Daniel Peters; Raphael Machado (Sensors, 2021)

Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet. - Paolo Ferrari; Emiliano Sisinni; Paolo Bellagente; Stefano Rinaldi; Marco Pasetti; Alan Oliveira de Sá; Raphael C. S. Machado; Luiz Fernando Rust da Costa Carmo; António Casimiro (IEEE Trans. Ind. Electron., 2021)

Artificial Neural Network-Based Stealth Attack on Battery Energy Storage Systems. - Marco Pasetti; Paolo Ferrari; Paolo Bellagente; Emiliano Sisinni; Alan Oliveira de Sá; Charles B. do Prado; Rodrigo P. David; Raphael Carlos Santos Machado (IEEE Trans. Smart Grid, 2021)

Software Watermark Scheme. - Lucila M. S. Bento; Raphael C. S. Machado; Felipe S. Simões (MetroInd4.0& IoT, 2022)

Sensors for detection of cyber threats on industrial environment using a high interaction ICS/SCADA Honeynet1. - Maxli Campos; Elson Gomes; Raphael Machado (MetroInd4.0& IoT, 2022)

Data Acquisition and extraction on mobile devices-A Review. - Alessandro Monteiro Da Costa; Alan Oliveira de Sá; Raphael C. S. Machado (MetroInd4.0& IoT, 2022)

Evasion Techniques for VM-based Black-Box Software Analysis. - Bruno Leite; Alan Oliveira de Sá; Raphael Machado (MetroInd4.0& IoT, 2022)

Cyber-Physical Risks identification on Industry 4.0: A Methodology Proposal. - Maria Fernanda O. Santos; Wilson S. Melo; Raphael Machado (MetroInd4.0& IoT, 2022)

Crowdsourcing and monetization as a strategy to reduce vehicular greenhouse gases emissions. - Wilson S. Melo; Paulo R. M. Nascimento; Kauã Gomes; Malkai Oliveira; Raphael Machado (VTC Fall, 2022)

Compositions, decompositions, and conformability for total coloring on power of cycle graphs. - Alesom Zorzi; Celina M. H. de Figueiredo; Raphael C. S. Machado; Leandro M. Zatesko; Uéverton S. Souza (Discret. Appl. Math., 2022)

Systematic Literature Review of Threat Modeling Concepts. - Pedro A. Lohmann; Carlos Albuquerque; Raphael Machado (ICISSP, 2023)

Ransomware Detection: Leveraging Sandbox, Text Mining Techiques and Machine Learning. - Augusto Parisot; Lucila M. S. Bento; Raphael C. S. Machado (MetroInd4.0 & IoT, 2024)

The hardness of recognising poorly matchable graphs and the hunting of the d-snark. - Leandro M. Zatesko; Renato Carmo; André Luiz Pires Guedes; Raphael C. S. Machado; Celina M. H. de Figueiredo (RAIRO Oper. Res., 2024)

Structured Watermarks for Structured Software. - Lucila M. S. Bento; Davidson R. Boccardo; Raphael C. S. Machado; Vinícius G. P. de Sá; Jayme Luiz Szwarcfiter (SN Comput. Sci., 2024)

Challenges in Adapting Flush+Reload to the Web. - Felipe S. Simões; Lucila M. S. Bento; Raphael C. S. Machado (MetroInd4.0 & IoT, 2025)

A State of the Art on Recent Progress and Emerging Challenges on Energy Transfer Between Vibrating Modes Under an External Mechanical Force With Time-Varying Frequency From 2020 to 2025. - José Manoel Balthazar; Jorge Luis Palacios Felix; Mauricio A. Ribeiro; Angelo Marcelo Tusset; Jeferson José de Lima; Vinícius Piccirillo; Julijana Simonovic; Nikola D. Nevsic; Marcus V. Varanis; Clivaldo de Oliveira; Raphael C. S. Machado; Gabriella O. M. Oliveira (CoRR, 2025)

A Inteligência Artificial Generativa no Ecossistema Acadêmico: Uma Análise de Aplicações, Desafios e Oportunidades para a Pesquisa, o Ensino e a Divulgação Científica. - Raphael Machado; Rodrigo P. David; Rodolfo Souza (CoRR, 2025)