-
Physical Sciences
Artificial Intelligence
Alessandro Da COSTA; Raphael Carlos Santos MACHADO; Alan De SÁ.
2022.
Data acquisition and extraction on mobile devices - a systematic literature review.
In:
Proc. ieee metroind.
Itália.
-
Physical Sciences
Computer Science Applications
Maria SANTOS; Wilson Melo JUNIOR; Raphael Carlos Santos MACHADO.
2022.
Cyber-physical risks identification on industry 4.0: a methodology proposal.
In:
Proc. ieee metroind.
Itália.
-
Physical Sciences
Engineering (miscellaneous)
Lucila BENTO; Raphael Carlos Santos MACHADO; Felipe SIMÕES.
2022.
Software watermark scheme.
In:
Proc. ieee metroind.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno CALAZANS; Alan De SÁ; Raphael Carlos Santos MACHADO.
2022.
Evasion techniques for vm-based black-box software analysis.
In:
Proc. ieee metroind.
Itália.
-
Physical Sciences
Computer Science Applications
Maxli CAMPOS; Elton Costa GOMES; Raphael Carlos Santos MACHADO.
2022.
Sensors for detection of cyber threats on industrial environment using a high interaction ics/scada honeynet.
In:
Proc. ieee metroind.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Networks and Communications
-
Physical Sciences
Computer Science (miscellaneous)
Alan De SÁ; Antonio CASIMIRO; Raphael Carlos Santos MACHADO; RUST.
2019.
Bio-inspired system identification attacks in noisy networked control systems.
In:
11th eai international conference on bio-inspired information and communications technologies (bict-2019).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
General Computer Science
Sérgio CÂMARA; Thais BARRAS; Wilson Melo JUNIOR; Wladmir CHAPETTA; Raphael Carlos Santos MACHADO.
2019.
Estabelecimento de um pacote de ensaio de proficiência para avaliação de laboratórios em análise de produtos de software.
In:
Xix simpósio brasileiro de segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Computer Science Applications
Lucas SEVERIANO; Paulo NASCIMENTO; Raphael Carlos Santos MACHADO; Claudio AMORIM.
2019.
Desenvolvimento de uma aplicação segura de sensoriamento através de redes oportunísticas.
In:
Simpósio brasileiro de segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wilson Melo JUNIOR; André VIEIRA; Claudio MICELLI; Raphael Carlos Santos MACHADO; RUST.
2019.
Uso de redes blockchain em aplicações de metrologia e avaliação da conformidade.
In:
Simpósio brasileiro de segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Leandro ZATESKO; Renato CARMO; Guedes ANDRÉ; Alesom ZORZI; Raphael Carlos Santos MACHADO et al.
2019.
On the chromatic index of complementary prisms.
In:
European conference on combinatorics; graph theory and applications.
Eslováquia.
-
Physical Sciences
Computer Science Applications
Alan De SÁ; G BARBOSA; Raphael Carlos Santos MACHADO; Nival Nunes ALMEIDA.
2019.
Merging electronic; cybernetic and kinetic warfare in naval systems.
In:
Sbmo/ieee mtt-s international microwave and optoelectronics conference (imoc-2019).
Portugal.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Alesom ZORZI; Celina Miraglia Herrera De FIGUEIREDO; Raphael Carlos Santos MACHADO; Ueverton SOUZA.
2019.
Even-power of cycles with many vertices are type 1 total colorable.
In:
X latin and american algorithms; graphs and optimization symposium (lagos).
Brasil.
-
Health Sciences
Medicine (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
General Social Sciences
-
Physical Sciences
Information Systems
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
General Social Sciences
Carlos VIANA; Raphael Carlos Santos MACHADO.
2017.
Caminhos para a segurança normalização ou adequação de padrões.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais; workshop sobre regulação; avaliação da conformidade; testes e padrões de segurança (sbseg/wrac+).
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Carlos TELES; Raphael Carlos Santos MACHADO.
2017.
Testes de sobrecarga: uma avaliação sobre requisitos de disponibilidade e desempenho.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais; workshop sobre regulação; avaliação da conformidade; testes e padrões de segurança (sbseg/wrac+).
Brasil.
-
Physical Sciences
Artificial Intelligence
Luis KOWADA; Raphael Carlos Santos MACHADO.
2017.
Esquema de acordo de chaves de conferência baseado em um problema de funções quadráticas de duas variáveis.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais (sbseg).
Brasil.
-
Social Sciences & Humanities
Education
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2017.
Marca d?água estruturada.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais (sbseg).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alan De SÁ; RUST; Raphael Carlos Santos MACHADO.
2017.
Uso de controle chaveado para mitigação de ataque ativo de identificação de sistemas com malha fechada.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais (sbseg).
Brasil.
-
Social Sciences & Humanities
General Psychology
Carlos TELES; Raphael Carlos Santos MACHADO.
2017.
Avaliação de requisitos de disponibilidade e desempenho por meio de testes de sobrecarga.
In:
Congresso brasileiro de metrologia.
Brasil.
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
Carlos VIANA; Raphael Carlos Santos MACHADO.
2017.
Estratégia para a internalização de padrões internacionais de segurança.
In:
Congresso brasileiro de metrologia.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Lucila BENTO; Boccardo D R; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2016.
Randomized watermarks for structured programs.
In:
Ii workshop franco-brasileiro de grafos e otimização combinatória.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Celina Miraglia Herrera De FIGUEIREDO; Helio Macedo FILHO; Z LI; Raphael Carlos Santos MACHADO; Trotignon NICOLAS.
2015.
Using spqr-trees to speed up algorithms based on 2-cutset decompositions.
In:
Viii latin-american algorithms; graphs and optimization symposium.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2015.
The graphs of structured programming.
In:
13th cologne-twente workshop on graphs and combinatorial optimization.
Turquia.
-
Physical Sciences
Computer Science (miscellaneous)
Matheus SANTOS; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Salgado BRUNO; Soares RAFAEL.
2015.
Arquitetura baseada em botnet para aplicações voltadas a avaliação de aspectos de segurança da informação.
In:
42 seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Boccardo DAVIDSON; Girrese REINEHR; Raphael Carlos Santos MACHADO; Wilson Melo JUNIOR; RUST.
2015.
Modelo de segurança para ambientes de avaliação e testes de segurança de software.
In:
Workshop de regulação; avaliação da conformidade e certificação de segurança.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vagner Praia Da SILVA; RUST.
2015.
Identificação de código suspeito por meio de depuração supervisionada.
In:
Xv simpósio brasileiro de segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Helio Macedo FILHO; Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2014.
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3.
In:
Latin american symposium on theoretical informatics.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2014.
A randomized graph-based scheme for software watermarking.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Raphael Carlos Santos MACHADO; Boccardo Davidson R; Vinicius GUSMÃO; Jayme SZWARCFITER.
2014.
Protocolo para transferência parcial de conhecimento e sua aplicação à verificação segura de marcas d'água.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais;.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2014.
Grafos de permutação redutíveis canônicos: caracterização; reconhecimento e aplicações a marcas d'água digitais.
In:
6th latin american workshop on cliques in graphs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2014.
Grafos de permutação redutíveis canônicos: caracterização; reconhecimento e aplicação a marcas d'água digitais.
In:
Vi latin-american workshop on cliques in graphs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Valeria ALVES; Eduardo OGASAWARA; Eduardo BEZERRA; Raphael Carlos Santos MACHADO; Cristina De SOUZA.
2014.
Uso de workflows científicos para apoiar a elaboração de técnicas de predição de invasão de sistemas.
In:
Xi simpósio de excelência em gestão e tecnologia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Raphael Carlos Santos MACHADO; Matheus SANTOS; Soares HENRIQUE; Eduardo OGASAWARA; Fabio DAVID et al.
2014.
Arquitetura de um simulador de ataques distribuídos de negação de serviço.
In:
41 seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Computer Science Applications
Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; RUST.
2014.
Software integrity verification of smart devices in a continuously but controlled upgradeable.
In:
Aro workshop on continuously upgradeable software security and protection.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2013.
Towards a provably resilient scheme for graph-based watermarking.
In:
39th international workshop on graph-theoretic concepts in computer science (wg 2013).
Alemanha.
-
Physical Sciences
Computer Science Applications
Lucila BENTO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO; Jayme SZWARCFITER.
2013.
Proteção de software por marcas d'água baseadas em grafos.
In:
Semish - xl seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Artificial Intelligence
GUILHERME; Vinicius GUSMÃO; Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2013.
A geometric trigraph model for unit disk graph recognition.
In:
Workshop distance geometry and applications (dga'2013).
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Sérgio CÂMARA; Raphael Carlos Santos MACHADO; Rust Luiz FERNANDO.
2013.
Confiança metrológica em cenários de medição de energia elétrica com postos tarifários.
In:
10th international congress on electrical metrology.
Argentina.
-
Social Sciences & Humanities
Education
Prado CHARLES; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Nascimento TIAGO; RUST et al.
2013.
Segurança cibernética em smart metering.
In:
10th international congress on electrical metrology.
Argentina.
-
Physical Sciences
Computer Science (miscellaneous)
Cristiano CASTRO; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Paulo BRANDÃO.
2013.
Fvis: uma ferramenta de verificação de integridade de software.
In:
10th international congress on electrical metrology.
Argentina.
-
Physical Sciences
Atomic and Molecular Physics, and Optics
Victor SOARES; Raphael Carlos Santos MACHADO.
2013.
Validação de medidores inteligentes de energia elétrica.
In:
10th international congress on electrical metrology.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Vagner Praia Da SILVA; Denise SILVA; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; RUST.
2013.
Dispositivo para aquisição confiável de dados de inspeções.
In:
Congresso brasileiro de metrologia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rosembergue SOUZA; RUST; Boccardo DAVIDSON; Raphael Carlos Santos MACHADO; Luci PRIMEZ.
2013.
Redes de kohonen para detecção de fraudes em inspeções na área de transporte de produtos perigosos.
In:
Congresso brasileiro de metrologia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lucila BENTO; Boccardo DAVIDSON; Rafael COSTA; Raphael Carlos Santos MACHADO; Vinicius GUSMÃO et al.
2013.
Fingerprinting de software e aplicações à metrologia legal.
In:
10th international congress on electrical metrology.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Mathematics (miscellaneous)
Helio Macedo FILHO; Simone DANTAS; Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2012.
Biclique-colouring powers of paths and powers of cycles.
In:
11th cologne-twente workshop on graphs and combinatorial optimization.
Brasil.
-
Social Sciences & Humanities
Neuropsychology and Physiological Psychology
Silva Poly H; Braga Marília D V; Raphael Carlos Santos MACHADO; Simone DANTAS.
2012.
Dcj-indel distance with distinct operation costs.
In:
Recomb-cg.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
GUILHERME; Celina Miraglia Herrera De FIGUEIREDO; Vinicius GUSMÃO; Raphael Carlos Santos MACHADO.
2012.
Linear time approximation for dominating sets and independent dominating sets in unit disk graphs.
In:
Workshop on approximation and online algorithms.
Eslovênia.
-
Physical Sciences
Artificial Intelligence
Silva Poly H; Raphael Carlos Santos MACHADO; Simone DANTAS; Braga Marília D V.
2012.
Restricted dcj-indel model: sorting linear genomes with dcj and indels.
In:
Recomb comparative genomics 2012.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
T M NASCIMENTO; RUST; D R BOCCARDO; Raphael Carlos Santos MACHADO; C B PRADO.
2011.
Program equivalence using neural networks.
In:
5th international icst conference on bio-inspired models of network; information; and computing systems; 2010; boston. bionetics 2010.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Raphael Carlos Santos MACHADO; D R BOCCARDO; RUST; C B PRADO; T M NASCIMENTO.
2011.
Sistema de acompanhamento de inspeções de produtos perigosos.
In:
Vi congresso brasileiro de metrologia.
Brasil.
-
Social Sciences & Humanities
General Psychology
Raphael Carlos Santos MACHADO; RUST; Leonardo RIBEIRO.
2011.
Communication demand model in centralized measurement systems.
In:
Xviii imeko tc4 symposium and ix international congress on electrical metrology (xviii imeko tc4 symposium and ix semetro).
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Raphael Carlos Santos MACHADO; RUST; T M NASCIMENTO; C B PRADO; Leonardo RIBEIRO.
2011.
Footprint energético: um sistema de marcação de energia elétrica.
In:
Xviii imeko tc4 symposium and ix international congress on electrical metrology (xviii imeko tc4 symposium and ix semetro).
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
-
Physical Sciences
Physics and Astronomy (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Mathematics (miscellaneous)
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO; N TROTIGNON.
2010.
Chromatic index of chordless graphs.
In:
Cologne-twente workshop on applied combinatorial optimization.
Alemanha.
-
Physical Sciences
Mathematics (miscellaneous)
Raphael Carlos Santos MACHADO; De Figueiredo Celina M H.
2010.
Approximate graph diameter via double-sweep bfs.
In:
Alio-informs international joint meeting.
Argentina.
-
Life Sciences
Neuroscience (miscellaneous)
Raphael Carlos Santos MACHADO; RUST.
2010.
Scheduling problems for communication over unidirectional channels.
In:
Alio-informs international joint meeting.
Argentina.
-
Life Sciences
Cognitive Neuroscience
C N CAMPOS; C P MELLO; Celina Miraglia Herrera De FIGUEIREDO; Raphael Carlos Santos MACHADO.
2010.
Total chromatic number of split-indifference graphs.
In:
Viii french combinatorial conference.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Engineering (miscellaneous)
Raphael Carlos Santos MACHADO; RUST; B G DIAS; R F LAZARI.
2010.
Sobre sistemas de medição de volume de madeira baseados em mapeamento de superfície.
In:
International conference on industrial engineering and operations management.
Brasil.
-
Physical Sciences
Artificial Intelligence
T M NASCIMENTO; RUST; D R BOCCARDO; Raphael Carlos Santos MACHADO; C B PRADO.
2010.
Rastreabilidade de códigos executáveis usando redes neurais.
In:
Simpósio brasileiro em segurança da informação e de sistemas computacionais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2009.
Np-completeness of determining the total chromatic number of graphs that do not contain a cycle with a unique chord.
In:
Cologne-twente workshop on graphs and combinatorial optimization.
França.
-
Physical Sciences
Energy (miscellaneous)
RUST; EWERTON; Raphael Carlos Santos MACHADO.
2009.
Aspectos de segurança da informação em redes de medidores de energia elétrica: uma visão de metrologia legal.
In:
Seminário internacional de metrologia elétrica.
Brasil.
-
Social Sciences & Humanities
Information Systems and Management
RUST; EWERTON; Raphael Carlos Santos MACHADO.
2009.
Metrologia temporal na verificação de integridade de software em instrumentos de medição.
In:
V congresso brasileiro de metrologia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
RUST; Raphael Carlos Santos MACHADO.
2009.
Verificação de integridade de software embarcado através de análise de tempo de resposta.
In:
Ix simpósio brasileiro em segurança da informação e de sistemas computacionais.
Brasil.
-
Health Sciences
Psychiatry and Mental Health
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2009.
Edge-colouring subject to local restrictions.
In:
V latin-american algorithms; graphs and optimization symposium.
Brasil.
-
Physical Sciences
Artificial Intelligence
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2008.
A decomposition for total-coloring graphs of maximum degree 3.
In:
Cologne twente workshop 2008.
Itália.
-
Physical Sciences
Artificial Intelligence
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO; Kristina VUSKOVIC.
2008.
Edge-coloring graphs with no cycle with a unique chord.
In:
Vi alio/euro workshop on applied combinatorial optimization.
Argentina.
-
Physical Sciences
Mathematics (miscellaneous)
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2008.
Sufficient conditions for a graph to be edge-colorable with maximum degree colors.
In:
The iv latin-american algorithms; graphs; and optimization symposium.
Holanda.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Raphael Carlos Santos MACHADO; Celina Miraglia Herrera De FIGUEIREDO.
2006.
On breadth-first search and graph diameter bounds.
In:
Ii latin-american workshop on clique in graphs.
Argentina.