Formal verification with Frama-C: A case study in the space software domain RAB e Silva, NN Arai, LA Burgareli, JMP de Oliveira, JS Pinto IEEE Transactions on Reliability 65 (3), 1163-1179, 2015 | 12 | 2015 |
A case study on model checking and deductive verification techniques of safety-critical software RAB Silva, JMP Oliveira, JS Pinto Universidade Federal de Campina Grande (UFCG), 2012 | 4 | 2012 |
Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus DB Ramos, RAB e Silva, IC Costa, EM Colonese, JMP de Oliveira 2011 IEEE/AIAA 30th Digital Avionics Systems Conference, 5A6-1-5A6-9, 2011 | 4 | 2011 |
Interoperabilidade na representação de dados Geográficos: GEOBR e GML 3.0 no contexto da realidade dos dados geográficos no Brasil RAB SILVA INPE. São José dos Campos, 2003 | 4 | 2003 |
Modeling conflicts resolution of unmanned aircraft system using a lightweight duration calculus G Correa, DB Ramos, RAB e Silva, IC Costa, EM Colonese, ... 2011 IEEE/AIAA 30th Digital Avionics Systems Conference, 1-32, 2011 | 1 | 2011 |
Using abstract interpretation to produce dependable aerospace control software RAB Silva, NN Arai, LA Burgareli, JMP Oliveira, JS Pinto | | 2013 |
Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado. RAB e Silva Instituto Tecnológico de Aeronáutica, São José dos Campos, Brazil, 2013 | | 2013 |
A Formal Approach for the Verification Process of Space Software M Alves, C Dantas, N Arai, R Silva AIAA SPACE 2008 Conference & Exposition, 7844, 2008 | | 2008 |
V&V no Desenvolvimento de Software do Veículo Lançador de Satélite Brasileiro MCB Alves, MAD Abdala, LA Burgareli, CHN Lahoz, RAB Silva | | 2004 |
An Approach for Dependability Conformance Analysis from Code to Architecture Description RAB e Silva | | |
Component-based Framework for Real-Time Systems using Design Pattern Approach for Interoperability E de Menezes Colonese, RAB e Silva, AM da Cunha | | |