Publications

  1. Published

    BMCLua: Verification of Lua Programs in Digital TV Interactive Applications

    Januario, F. A. P., Cordeiro, L. C., de Lucena, V. F. . J. & de Lima Filho, E. B., 2014, 2 p.

    Research output: Other contribution

  2. Published

    Uniform interpolation of ALC-ontologies using fixpoints

    Koopmann, P. & Schmidt, R. A., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Springer Nature, Vol. 8152. p. 87-102 15 p. (Lecture Notes in Artificial Intelligence).

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

  3. Published

    Uniform Interpolation of ALC-Ontologies Using Fixpoints

    Koopmann, P., Fontaine, P. (ed.), Ringeissen, C. (ed.) & Schmidt, R. A. (ed.), 2013, Frontiers of Combining Systems. Fontaine, P., Ringeissen, C. & Schmidt, R. A. (eds.). Springer Nature, p. 87-102 16 p.

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

  4. Published

    Forgetting concept and role symbols in ALCH-ontologies

    Koopmann, P. & Schmidt, R. A., Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer Nature, Vol. 8312. p. 552-567 15 p.

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

  5. Published

    Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version

    Koopmann, P. & Schmidt, R. A., 20 Nov 2014, No publisher name.

    Research output: Book/ReportCommissioned report

  6. Published

    First-Order Interpolation and Interpolating Proofs Systems

    Kovacs, L. & Voronkov, A., 4 May 2017, LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning . Vol. 46.

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

  7. Published

    An abstraction-refinement framework for reasoning with large theories.

    Lopez Hernandez, J. C. & Korovin, K., 2018, p. 663. 679 p.

    Research output: Contribution to conferencePaper

  8. Published

    Map2Check Using LLVM and KLEE

    Menezes, R., Rocha, H., Cordeiro, L. & Barreto, R., 2018, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II. Vol. 10806. p. 437-441 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Accepted/In press

    Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)

    Monteiro, F. R., Cordeiro, L., Garcia, M. A. P. & de Lima Filho, E. B., 3 Jul 2018, (Accepted/In press).

    Research output: Contribution to conferenceAbstract

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

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