área de pesquisa
- A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receivers via Transport Streams
- A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical Systems
- Automated Verification and Refutation of Quantized Neural Networks
- Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
- BMCLua: Metodologia para Verificação de Códigos Lua Utilizando Bounded Model Checking
- Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
- Develop and Evaluate a Security Analyser for Finding Vulnerabilities in Java programs
- Develop and Evaluate a Security Analyzer for Finding Vulnerabilities in Java programs
- Efficient Hybrid Fuzzing for Detecting Vulnerabilities and Achieving High Coverage in Software
- ESBMC 6.1: Automated Test Case Generation using Bounded Model Checking
- Fault Localization of Multi-threaded C Programs using Model Checking
- Finding Software Vulnerabilities in Unmanned Aerial Vehicles
- Finding Software Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
- Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems
- Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response
- Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles
- Formal Verification to Ensuring the Memory Safety of C++ Programs
- Fuzzing a Software Verifier
- Geração automática de casos de teste usando BMC
- Incremental Bounded Model Checking using Machine Learning Technique
- Incremental Bounded Model Checking using Machine Learning Techniques
- Incremental Bounded Model Checking using Machine Learning Techniques
- Lucas Carvalho Cordeiro
- Model Checking C++ Programs
- Scaling up Bounded-Model-Checking for Internet of Things devices
- Security Analyser Tool for Finding Security Vulnerabilities in Java Programs
- SMT-Based Bounded Model Checking for Solidity Smart Contracts
- Towards global neural network abstractions with locally-exact reconstruction
- Um método para localizar falhas em programas concorrentes C
- Uma abordagem de otimização guiada por contra-exemplos usando solucionadores SAT e SMT
- Verification and refutation of C programs based on k-induction and invariant inference
- Verificação Baseada em Indução Matemática para Programas C++
- Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Processadores de Ponto-Fixo
- Verificação de Programas C++ Baseados no Framework Cross-platform Qt
- Verificação de Programas Embarcados ANSI C Baseada em Indução Matemática e Invariantes
- Verificação de Programas Multi-tarefas Baseados no Framework Multi-plataforma Qt
- Verificação de Sistemas de Software baseada em Transformações de Código usando Bounded Model Checking
- Verificação e Síntese de Controladores de Realimentação de Estados Estática com Garantias Formais de Desempenho não Frágil
- Verificação limitada de modelos baseada em SMT para programas CUDA
- Verifying Binarised Neural Networks using SMT-Based Model Checking
- Verifying Information Flow Security for Blockchain-based Smart Contracts