Publications

  1. 2019
  2. Accepted/In press

    Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 18 Oct 2019, (Accepted/In press) In : Acta Informatica.

    Research output: Contribution to journalArticle

  3. Accepted/In press

    Ontology Extraction for Large Ontologies via Modularity and Forgetting

    Chen, J., Alghamdi, G., Schmidt, R., Walther, D. & Gao, Y., 21 Sep 2019, (Accepted/In press) International Conference on Knowledge Capture (K-CAP) .

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

  4. Accepted/In press

    Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

    Sena, L. H., Bessa, I. V., Gadelha, M. R., Cordeiro, L. & Mota, E., 19 Sep 2019, (Accepted/In press) IX Brazilian Symposium on Computing Systems Engineering.

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

  5. Published

    The Fluted Fragment Revisited

    Pratt-Hartmann, I., Swast, W. & Tendera, L., 16 Sep 2019, In : The Journal of Symbolic Logic. p. 1020-1048 29 p.

    Research output: Contribution to journalArticle

  6. Published

    A CDCL-Style Calculus for Solving Non-linear Constraints

    Franz Brausse, Korovin, K., Margarita Korovina & Norbert Mueller, Sep 2019, Frontiers of Combining Systems, 12th International Symposium: FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer Nature, Vol. 11715. p. 131-148 18 p. (LNCS; vol. 11715).

    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

    Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

    Rawson, M. & Reger, G., 20 Aug 2019, Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

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

  9. Published

    The Fluted Fragment with Transitivity

    Pratt-Hartmann, I. & Tendera, L., 20 Aug 2019, p. 18:1-18:15. 15 p.

    Research output: Contribution to conferencePaper

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

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

  12. E-pub ahead of print

    A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical Systems

    Cordeiro, L., de Lima Filho, E. B. & Bessa, I., 5 Aug 2019, In : IET Cyber-Physical Systems: Theory & Applications .

    Research output: Contribution to journalArticle

  13. E-pub ahead of print

    Punishment not Reward: Disincentivising Blockchain Application Misbehaviour

    Banach, R., 1 Jul 2019, IEEE International Conference on Blockchain and Cryptocurrency.

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

  14. Published

    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

    Gadelha, M. Y. R., Steffinlongo, E., Cordeiro, L., Fischer, B. & Nicole, D. A., 25 May 2019, 41st ACM/IEEE International Conference on Software Engineering .

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

  15. Accepted/In press

    Restricted Combinatory Unification

    Bhayat, A. & Reger, G., 19 Apr 2019, (Accepted/In press) Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

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

  16. Published

    International Competition on Runtime Verification (CRV)

    Bartocci, E., Falcone, Y. & Reger, G., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Springer Nature, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

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

  17. Published

    JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)

    Cordeiro, L., Kroening, D. & Schrammel, P., 4 Apr 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

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

  18. Published

    VyPR2: A framework for runtime verification of python web services

    Dawes, J. H., Reger, G., Franzoni, G., Pfeiffer, A. & Govi, G., 3 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer Nature, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

  19. Published

    Blocking and Other Enhancements for Bottom-Up ModelGeneration Methods

    Baumgartner, P. & Schmidt, R., 1 Mar 2019, In : Journal of Automated Reasoning.

    Research output: Contribution to journalArticle

  20. Accepted/In press

    A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

    Razavi, J. & Schalk, A., 1 Feb 2019, (Accepted/In press) Electronic Proceedings in Theoretical Computer Science.

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

  21. Accepted/In press

    Verication-Led Smart Contracts

    Banach, R., 30 Jan 2019, (Accepted/In press) 3rd Workshop on Trusted Smart Contracts.

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

Previous 1 2 3 4 5 6 7 Next
Return to faculty and school overview