Publications

  1. 2017
  2. Published

    Instantiation and pretending to be an SMT solver with VAMPIRE

    Reger, G., Suda, M. & Voronkov, A., 1 Jan 2017, In : CEUR Workshop Proceedings. 1889

    Research output: Contribution to journalConference article

  3. Published

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, COMPUTER AIDED VERIFICATION, CAV 2017, PT I. Vol. 10426. p. 462-482 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, In : Lecture Notes in Computer Science.

    Research output: Contribution to journalArticle

  5. Published
  6. 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

  7. Published

    Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning

    Araujo, R. F., Ribeiro, A., Bessa, I. V., Cordeiro, L. C. & Filho, J. E. C., 2017

    Research output: Other contribution

  8. Published

    DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs

    Rocha, W., Rocha, H., Ismail, H., Cordeiro, L. & Fischer, B., 2017, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II. Vol. 10206. p. 360-364 4 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    DSSynth: An automated digital controller synthesis tool for physical plants

    Abate, A., Bessa, I., Cattaruzza, D., Chaves, L., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, 32nd IEEE/ACM International Conference on Automated Software Engineering . p. 919-924

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks

    Gadelha, M. Y. R., Cordeiro, L. C. & Nicole, D. A., 2017, Brazilian Symposium on Formal Methods. p. 91-106 Chapter 7. (Formal Methods: Foundations and Applications; vol. 10623).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

    Bessa, I., Ismail, H., Palhares, R., Cordeiro, L. & Filho, J. E. C., 2017, In : IEEE Transactions on Computers. 66, 3, p. 545-552

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...14 Next
Return to faculty and school overview