Publications

  1. 2019
  2. Published

    INSPEX: Optimize Range Sensors for Environment Perception as a Portable System

    Foucault, J., Lesecq, S., Dudnik, G., Correvon, M., O’keeffe, R., Di Palma, V., Passoni, M., Quaglia, F., Ouvry, L., Buckley, S., Herveg, J., Di Matteo, A., Rakotovao, T., Debicki, O., Mareau, N., Barrett, J., Rea, S., Mcgibney, A., Birot, F., De Chaumont, H. & 3 others, Banach, R., Razavi, J. & Ó’murchú, C., 2019, In : Sensors. 19, 19, p. 4350

    Research output: Contribution to journalArticle

  3. Published

    Specification of temporal properties of functions for runtime verification

    Dawes, J. H. & Reger, G., 2019, p. 2206-2214. 9 p.

    Research output: Contribution to conferencePaper

  4. Published

    Symmetry Avoidance in MACE-Style Finite Model Finding

    Reger, G., Riener, M. & Suda, M., 2019, Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. ( Lecture Notes in Computer Science; vol. 11715).

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

  5. Published

    Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

    Zhao, Y., Alghamdi, G., Schmidt, R., Feng, H., Stoilos, G., Juric, D. & Khodadadi, M., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press

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

  6. Published

    Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0

    Chaves, L. C., Ismail, H. I., Bessa, I. V., Cordeiro, L. & de Lima Filho, E. B., 2019, In : The Journal of Systems and Software.

    Research output: Contribution to journalArticle

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

  9. Published

    Counterexample guided inductive optimization based on satisfiability modulo theories

    Araújo, R. F., Albuquerque, H. F., De Bessa, I. V., Cordeiro, L. C. & Chaves Filho, J. E., 1 Nov 2018, In : Science of Computer Programming. 165, p. 3-23 20 p.

    Research output: Contribution to journalArticle

  10. Published

    DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles

    Chaves, L., Bessa, I., Ismail, H., Frutuoso, A., Cordeiro, L. & de Lima Filho, E. B., 24 Oct 2018, In : IEEE Transactions on Reliability. 67, 4, p. 1420-1441

    Research output: Contribution to journalArticle

  11. Accepted/In press

    A Simple Hybrid Event-B Model of an Active Control System for Earthquake Protection

    Banach, R. & Baugh, J., 16 Oct 2018, (Accepted/In press) Astrophysics to Unconventional Computing : Essays presented to Susan Stepney on the occasion of her 60th birthday. (Emergence, Complexity and Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    Finite Satisfiability for Two-Variable, First-Order Logic with one Transitive Relation is Decidable

    Pratt-Hartmann, I., 3 Aug 2018, In : Mathematical Logic Quarterly. 64, 3, p. 218–248 31 p.

    Research output: Contribution to journalArticle

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