Raphael C. S. Machado

59 papers B 3C 3Journal 39Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
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.
CoRR
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
2025 — conf
Challenges in Adapting Flush+Reload to the Web.
MetroInd4.0 & IoT
Felipe S. Simões, Lucila M. S. Bento, Raphael C. S. Machado
2024 — conf
Ransomware Detection: Leveraging Sandbox, Text Mining Techiques and Machine Learning.
MetroInd4.0 & IoT
Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado
2024 J jnl
Structured Watermarks for Structured Software.
SN Comput. Sci.
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius G. P. de Sá, Jayme Luiz Szwarcfiter
2024 J jnl
The hardness of recognising poorly matchable graphs and the hunting of the
RAIRO Oper. Res.
Leandro M. Zatesko, Renato Carmo, André Luiz Pires Guedes, Raphael C. S. Machado, Celina M. H. de Figueiredo
2022 J jnl
Compositions, decompositions, and conformability for total coloring on power of cycle graphs.
Discret. Appl. Math.
Alesom Zorzi, Celina M. H. de Figueiredo, Raphael C. S. Machado, Leandro M. Zatesko, Uéverton S. Souza
2022 — conf
Data Acquisition and extraction on mobile devices-A Review.
MetroInd4.0& IoT
Alessandro Monteiro Da Costa, Alan Oliveira de Sá, Raphael C. S. Machado
2022 — conf
Software Watermark Scheme.
MetroInd4.0& IoT
Lucila M. S. Bento, Raphael C. S. Machado, Felipe S. Simões
2021 J jnl
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet.
IEEE Trans. Ind. Electron.
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
2021 — conf
Testing and selecting lightweight pseudo-random number generators for IoT devices.
MetroInd4.0&IoT
Augusto Parisot, Lucila M. S. Bento, Raphael C. S. Machado
2020 J jnl
Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems.
Mob. Networks Appl.
Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado
2020 — conf
Development of security mechanisms for a remote sensing system based on opportunistic and mesh networks.
MetroInd4.0&IoT
Lucas S. dos Santos, Paulo R. M. Nascimento, Lucila M. S. Bento, Raphael C. S. Machado, Cláudio L. Amorim
2020 J jnl
Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration.
Sensors
Alan Oliveira de Sá, António Casimiro, Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
2020 — conf
Identification of Data Injection Attacks in Networked Control Systems with Varying Setpoint Condition.
MetroInd4.0&IoT
Alan Oliveira de Sá, Raphael C. S. Machado
2020 — conf
Public-Key Infrastructure for Smart Meters using Blockchains.
MetroInd4.0&IoT
Wilson S. Melo Jr., Raphael C. S. Machado, Daniel Peters, Mahbuba Moni
2020 C conf
Work-in-Progress: Compromising Security of Real-time Ethernet Devices by means of Selective Queue Saturation Attack.
WFCS
Paolo Ferrari, Emiliano Sisinni, Abusayeed Saifullah, Raphael C. S. Machado, Alan Oliveira de Sá, M. Felser
2019 J jnl
Dijkstra graphs.
Discret. Appl. Math.
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
2019 J jnl
Full Characterization of a Class of Graphs Tailored for Software Watermarking.
Algorithmica
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2019 — conf
Measuring randomness in IoT products.
MetroInd4.0&IoT
Daniel Chicayban Bastos, Luis Antonio Brasil Kowada, Raphael C. S. Machado
2019 J jnl
On the embedding of cone graphs in the line with distinct distances between neighbors.
Discret. Appl. Math.
Rodrigo M. Zhou, Celina M. H. de Figueiredo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá
2018 J jnl
A controller design for mitigation of passive system identification attacks in networked control systems.
J. Internet Serv. Appl.
Alan Oliveira de Sá, Luiz F. R. da Costa Carmo, Raphael C. S. Machado
2018 — conf
Implementation of Cybersecurity Procedures in Remote Calibration for PNT Services.
MetroInd4.0&IoT
Leonardo Costa Ribeiro, Luiz P. Damaceno, Luiz V. G. Tarelho, Daniel Varela Magalhães, Giovanni Daniele Rovera, Raphael C. S. Machado
2018 J jnl
On the resilience of canonical reducible permutation graphs.
Discret. Appl. Math.
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2018 — conf
True Random Number Generators for Batch Control Sampling in Smart Factories.
MetroInd4.0&IoT
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
2018 J jnl
Using Physical Context-Based Authentication against External Attacks: Models and Protocols.
Secur. Commun. Networks
Wilson S. Melo Jr., Raphael C. S. Machado, Luiz Fernando Rust da Costa Carmo
2017 J jnl
Covert Attacks in Cyber-Physical Control Systems.
IEEE Trans. Ind. Informatics
Alan Oliveira de Sá, Luiz F. Rust da Costa Carmo, Raphael C. S. Machado
2017 J jnl
Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs.
Algorithmica
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
2017 J jnl
On star and biclique edge-colorings.
Int. Trans. Oper. Res.
Simone Dantas, Marina Groshaus, André Luiz Pires Guedes, Raphael C. S. Machado, Bernard Ries, Diana Sasaki
2016 J jnl
Covert Attacks in Cyber-Physical Control Systems.
CoRR
Alan Oliveira de Sá, Luiz F. R. C. Carmo, Raphael C. S. Machado
2016 J jnl
Dijkstra Graphs.
CoRR
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2016 J jnl
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3.
Theor. Comput. Sci.
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
2016 J jnl
Linear-time graph distance and diameter approximation.
Int. Trans. Oper. Res.
Raphael C. S. Machado, Celina M. H. de Figueiredo
2016 J jnl
Software control and intellectual property protection in cyber-physical systems.
EURASIP J. Inf. Secur.
Raphael C. S. Machado, Davidson R. Boccardo, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2015 J jnl
Biclique-colouring verification complexity and biclique-colouring power graphs.
Discret. Appl. Math.
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
2015 B conf
Fair Fingerprinting Protocol for Attesting Software Misuses.
ARES
Raphael C. S. Machado, Davidson R. Boccardo, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2014 J jnl
Complexity of colouring problems restricted to unichord-free and { square, unichord }-free graphs.
Discret. Appl. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
2014 J jnl
Efficient sub-5 approximations for minimum dominating sets in unit disk graphs.
Theor. Comput. Sci.
Guilherme Dias da Fonseca, Celina M. H. de Figueiredo, Vinícius Gusmão Pereira de Sá, Raphael C. S. Machado
2014 B conf
Hierarchical Complexity of 2-Clique-Colouring Weakly Chordal Graphs and Perfect Graphs Having Cliques of Size at Least 3.
LATIN
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
2014 — conf
Software validation of medical instruments.
MeMeA
Davidson R. Boccardo, Raphael C. S. Machado, Sérgio M. Câmara, Charles B. do Prado, Wilson S. Melo Jr., Leonardo Costa Ribeiro, Luiz F. R. da Costa Carmo
2013 J jnl
A tight bound for exhaustive key search attacks against Message Authentication Codes.
RAIRO Theor. Informatics Appl.
Vinícius G. P. de Sá, Davidson R. Boccardo, Luiz Fernando Rust C. Carmo, Raphael C. S. Machado
2013 J jnl
Complexity of colouring problems restricted to unichord-free and \{square, unichord\}-free graphs.
CoRR
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
2013 J jnl
Edge-colouring and total-colouring chordless graphs.
CoRR
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
2013 J jnl
Edge-colouring and total-colouring chordless graphs.
Discret. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon
2013 J jnl
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3.
CoRR
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
2013 J jnl
Towards a provably robust graph-based watermarking scheme
CoRR
Lucila M. S. Bento, Davidson R. Boccardo, Raphael C. S. Machado, Vinícius Gusmão Pereira de Sá, Jayme Luiz Szwarcfiter
2012 C conf
Biclique-colouring - Powers of Paths and Powers of Cycles.
CTW
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
2012 J jnl
Biclique-colouring powers of paths and powers of cycles
CoRR
Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo
2012 B conf
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs.
LATIN
Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo
2012 J jnl
Program Matching through Code Analysis and Artificial Neural Networks.
Int. J. Softw. Eng. Knowl. Eng.
Tiago M. Nascimento, Davidson R. Boccardo, Charles B. Prado, Raphael C. S. Machado, Luiz F. R. C. Carmo
2011 J jnl
A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs.
Networks
Raphael C. S. Machado, Celina M. H. de Figueiredo
2011 J jnl
Complexity dichotomy on partial grid recognition.
Theor. Comput. Sci.
Vinícius G. P. de Sá, Guilherme Dias da Fonseca, Raphael C. S. Machado, Celina M. H. de Figueiredo
2011 J jnl
Total chromatic number of unichord-free graphs.
Discret. Appl. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo
2010 J jnl
Chromatic index of graphs with no cycle with a unique chord.
Theor. Comput. Sci.
Raphael C. S. Machado, Celina M. H. de Figueiredo, Kristina Vuskovic
2010 J jnl
Decompositions for edge-coloring join graphs and cobipartite graphs.
Discret. Appl. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo
2010 — conf
Program Equivalence Using Neural Networks.
BIONETICS
Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado
2010 — conf
Software evaluation of smart meters within a Legal Metrology perspective: A Brazilian case.
ISGT Europe
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
2010 J jnl
Total chromatic number of {square, unichord}-free graphs.
Electron. Notes Discret. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo
2010 C conf
Traceability of Executable Codes Using Neural Networks.
ISC
Davidson R. Boccardo, Tiago M. Nascimento, Raphael C. S. Machado, Charles B. Prado, Luiz F. R. C. Carmo
2008 J jnl
Sufficient conditions for a graph to be edge-colorable with maximum degree colors.
Electron. Notes Discret. Math.
Raphael C. S. Machado, Celina M. H. de Figueiredo