Publications

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

    ABox Abduction via Forgetting in ALC

    Del-Pinto, W. & Schmidt, R., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press

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

  3. Accepted/In press

    Application of Formal Methods in the INSPEX Smart Systems Integration Project

    Banach, R., Razavi, J., Debicki, O., Mareau, N., Lesecq, S. & Foucault, J., 18 May 2018, (Accepted/In press) FMIS 2018.

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

  4. Published

    Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept

    Banach, R., Razavi, J. & et al, 2018, 1st International Workshop on Biomedical & Health Engineering and Data Analysis (BEDA'18).

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

  5. Published

    Automata-based Pattern Mining from Imperfect Traces

    Reger, G., Barringer, H. & Rydeheard, D., Jan 2015, ACM SIGSOFT Software Engineering Notes. USA: Association for Computing Machinery, p. 1-8 8 p.

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

  6. Accepted/In press

    Boost the Impact of Continuous Formal Verification in Industry

    Monteiro, F. R., Gadelha, M. Y. R. & Cordeiro, L., 15 Aug 2019, (Accepted/In press) 10th Workshop on Tools for Automatic Program Analysis .

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

  7. Accepted/In press

    Coloured graphlet profiles as a predictor of career length in scientific co-authorship networks

    Blanthorn, O. & Navarro Lopez, E., 14 Jan 2019, (Accepted/In press) 4th World Conference on Complex Systems: Emergence, Self-organization, Nonlinear Dynamics and Complexity. IEEE, p. 1 6 p.

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

  8. Published

    COST action IC1402 runtime verification beyond monitoring

    Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G. & Stolz, V., 2018, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). Springer Nature, p. 18-26 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

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

  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

    ESBMC 5.0: An industrial-strength C model checker

    Ramalho, M., Monteiro, F. R., Morse, J., Cordeiro, L., Fischer, B. & Nicole, D., 2018, 33rd IEEE/ACM International Conference on Automated Software Engineering .

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

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