Publications

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

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

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

  5. Published

    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., 2018, Proceedings of the 13th International Conference on Software Technologies. Vol. 1.

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

  6. Published

    From Parametric Trace Slicing to Rule Systems

    Reger, G. & Rydeheard, D., 2018, The 18th International Conference on Runtime Verification.

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

  7. Published

    Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

    Banach, R., 2018, Proceedings of the 6th International ABZ Conference 2018. p. 171-186 15 p.

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

  8. Published

    JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

    Cordeiro, L., Kesseli, P., Kroening, D., Schrammel, P. & Trtik, M., 2018, 30th International Conference on Computer Aided Verification .

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

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

  10. Published

    On Concept Forgetting in Description Logics with Qualified Number Restrictions

    Zhao, Y. & Schmidt, R., 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. p. 1984-1990 7 p.

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

  11. Published

    Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

    Beyersdorff, O., Blinkhorn, J., Leroy Chew, Schmidt, R. & Suda, M., 2018, In : Journal of Automated Reasoning. 27 p.

    Research output: Contribution to journalArticle

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