Publications

  1. 2018
  2. Published

    Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring

    Farias, A. O., Queiroz, G. A. C., Bessa, I. V., Medeiros, R. L. P., Cordeiro, L. & Palhares, R., 2018, In : IEEE Access.

    Research output: Contribution to journalArticle

  3. Published

    Towards Counterexample-guided k-Induction for Fast Bug Detection

    Gadelha, M. Y. R., Monteiro, F. R., Cordeiro, L. & Nicole, D. A., 2018, 25th ACM SIGSOFT International Symposium on the Foundations of Software Engineering.

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

  4. Published

    Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning

    Reger, G., Voronkov, A. & Suda, M., 2018, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer Nature, 17 p.

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

  5. 2017
  6. Published

    Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

    Pratt-Hartmann, I. & Kourtis, G., 30 Oct 2017, In : Logical Methods in Computer Science. 13, 4, p. 1-39 39 p., 4.

    Research output: Contribution to journalArticle

  7. Published

    A method to localize faults in concurrent C programs

    S. Alves, E. H. D., Cordeiro, L. C. & L. Filho, E. B. D., 1 Oct 2017, In : The Journal of Systems and Software. 132, p. 336-352

    Research output: Contribution to journalArticle

  8. Published

    A Single Pyramidal-Cell and Network Computational Model of the Hippocampal CA3 Region

    Celikok, U., Navarro Lopez, E. & Sengor, N. S., 15 Jul 2017, 26th Annual Computational Neuroscience Meeting, CNS2017, (July 15–20, 2017, Antwerp, Belgium).. 1 ed. Vol. 1. 3 p.

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

  9. Published

    Set of Support for Theory Reasoning

    Reger, G. & Suda, M., 4 Jun 2017, 12th International Workshop on the Implementation of Logics .

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

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

  11. Published

    Handling loops in bounded model checking of C programs via k-induction

    Gadelha, M. Y. R., Ismail, H. I. & Cordeiro, L. C., 1 Feb 2017, In : International Journal on Software Tools for Technology Transfer. 19, 1, p. 97-114

    Research output: Contribution to journalArticle

  12. Accepted/In press

    Verifying Digital Systems with MATLAB

    Chaves, L., Bessa, I., Cordeiro, L., Kroening, D. & Lima, E., Feb 2017, (Accepted/In press) 26th ACM SIGSOFT International Symposium on Software Testing and Analysis .

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

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