Lucas C. Cordeiro
AuthID: R-00H-88A
1
TÃTULO: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
AUTORES: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010
2
TÃTULO: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
3
TÃTULO: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
AUTORES: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0911.3784
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv