Publications

  1. Conference contribution › Research › Peer-reviewed
  2. Published

    ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference

    Gadelha, M. Y. R., Monteiro, F. R., Cordeiro, L. & Nicole, D., 2019, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

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

  3. Accepted/In press

    Exploring Applications of Formal Methods in the INSPEX Project

    Razavi, J., Banach, R., Debicki, O., Mareau, N., Lesecq, S. & Foucault, J., 12 Nov 2018, (Accepted/In press) STAFF-18 Workshops post proceedings. (Lecture Notes in Computer Science ).

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

  4. Published

    Extending Forgetting-Based Abduction Using Nominals

    Del-Pinto, W. & Schmidt, R., 2019, Frontiers of Combining Systems: FroCoS 2019. Springer Nature, (Lecture Notes in Computer Science; vol. 11715).

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

  5. Published

    FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

    Zhao, Y. & Schmidt, R., 2019, Automated Deduction: CADE-27. Fontaine, P. (ed.). Springer Nature, Vol. 11716. (Lecture Notes in Computer Science; vol. 11716).

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

  6. Published

    FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

    Zhao, Y. & Schmidt, R., 2018, Automated Reasoning (IJCAR 2018). Cham: Springer Nature, Vol. 10900. p. 19-27 9 p.

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

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

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

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

  10. Accepted/In press

    Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX

    Banach, R., Razavi, J., Debicki, O. & Lesecq, S., 12 Aug 2019, (Accepted/In press) Lecture Notes in Computer Science : Formal Methods.

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

  11. E-pub ahead of print

    Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System

    Razavi, J., Banach, R., Lesecq, S., Debicki, O., Mareau, N., Foucault, J., Correvon, M. & Dudnik, G., 1 Jul 2018, Proceedings of the 13th International Conference on Software Technologies. Vol. 1. p. 664-671 8 p.

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

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