Publications

  1. Article › Research › Peer-reviewed
  2. Published

    Blocking and Other Enhancements for Bottom-Up ModelGeneration Methods

    Baumgartner, P. & Schmidt, R., 1 Mar 2019, In : Journal of Automated Reasoning.

    Research output: Contribution to journalArticle

  3. Published

    Bounded model checking of C plus plus programs based on the Qt cross-platform framework

    Monteiro, F. R., Garcia, M. A. P., Cordeiro, L. C. & de Lima Filho, E. B., May 2017, In : Software Testing, Verification and Reliability. 27, 3

    Research output: Contribution to journalArticle

  4. Published

    Bounded model checking of C++ programs based on the Qt cross-platform framework: BMC of C++ Programs based on Qt Cross-Platform Framework

    Monteiro, F. R., Garcia, M. A. P., Cordeiro, L. C. & De Lima Filho, E. B., 2017, In : Software Testing, Verification and Reliability. 27, 3, p. e1632

    Research output: Contribution to journalArticle

  5. Published

    Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration

    Monteiro, F. R., Pereira, P. A., Cordeiro, L. C., Costa Filho, C. F. F. & Costa, M. G. F., 2016, In : Frontiers in Education Conference. Conference Proceedings .

    Research output: Contribution to journalArticle

  6. Published

    Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution)

    Cordeiro, L., Morse, J., Nicole, D. & Fischer, B., 2012, In : Lecture Notes in Computer Science. 7214, p. 534-537

    Research output: Contribution to journalArticle

  7. Published

    Counterexample guided inductive optimization based on satisfiability modulo theories

    Araújo, R. F., Albuquerque, H. F., De Bessa, I. V., Cordeiro, L. C. & Chaves Filho, J. E., 1 Nov 2018, In : Science of Computer Programming. 165, p. 3-23 20 p.

    Research output: Contribution to journalArticle

  8. Published

    DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles

    Chaves, L., Bessa, I., Ismail, H., Frutuoso, A., Cordeiro, L. & de Lima Filho, E. B., 24 Oct 2018, In : IEEE Transactions on Reliability. 67, 4, p. 1420-1441

    Research output: Contribution to journalArticle

  9. Published

    Dynamic and automated product derivation for consumer electronics software applications

    Rosa, R. E. V. D. S., de Lucena, V. F. . J., Cordeiro, L. C. & Chaves Filho, J. E., Nov 2013, In : IIEEE Transactions on Consumer Electronics . 59, 4, p. 883-891 9 p.

    Research output: Contribution to journalArticle

  10. Published

    ESBMC-GPU A context-bounded model checking tool to verify CUDA programs

    Monteiro, F. R., Da S. Alves, E. H., Silva, I. S., Ismail, H. I., Cordeiro, L. C. & De Lima Filho, E. B., 15 Jan 2018, In : Science of Computer Programming. 152, p. 63-69 6 p.

    Research output: Contribution to journalArticle

  11. Published

    Fault Localization in Multi-Threaded C Programs using Bounded Model Checking

    Alves, E. H. D. S., Cordeiro, L. C. & de Lima Filho, E. B., 2015, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 96-101

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...14 Next
Return to faculty and school overview