Publications

  1. Published

    A CDCL-Style Calculus for Solving Non-linear Constraints

    Franz Brausse, Korovin, K., Margarita Korovina & Norbert Mueller, Sep 2019, Frontiers of Combining Systems, 12th International Symposium: FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer Nature, Vol. 11715. p. 131-148 18 p. (LNCS; vol. 11715).

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

  2. 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

  3. Published

    Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P. & Kroening, D., 2017, 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). p. 197-206

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

  4. 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

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

  6. Accepted/In press

    Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 18 Oct 2019, (Accepted/In press) In : Acta Informatica.

    Research output: Contribution to journalArticle

  7. Published

    OptCE: A Counterexample-Guided Inductive Optimization Solver

    Albuquerque, H. F., Araújo, R. F., Bessa, I. V., Cordeiro, L. C. & De Lima Filho, E. B., 2017, Brazilian Symposium on Formal Methods. p. 125-141 16 p. (Formal Methods: Foundations and Applications; vol. 10623).

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

  8. Accepted/In press

    Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification

    Alhawi, O., Mustafa, M. A. & Cordeiro, L., 26 Aug 2019, (Accepted/In press) IEEE International Workshop on Secure Internet of Things (SIoT) .

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

  9. 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

  10. 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

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