Publications

  1. Article › Research › Peer-reviewed
  2. 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

  3. Published

    Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

    Bessa, I., Ismail, H., Palhares, R., Cordeiro, L. & Filho, J. E. C., 2017, In : IEEE Transactions on Computers. 66, 3, p. 545-552

    Research output: Contribution to journalArticle

  4. Published

    Gift Young Engineers: An Extra-Curricular Initiative for Updating Computer and Electrical Engineering Courses

    de Lucena Junior, V. F., de Queiroz Neto, J. P., Chaves Filho, J. E., da Silva Junior, W. S. & Cordeiro, L. C., 2011, In : Frontiers in Education Conference. Conference Proceedings . 6 p.

    Research output: Contribution to journalArticle

  5. Published

    Handling loops in bounded model checking of C programs via k-induction

    Gadelha, M. Y. R., Ismail, H. I. & Cordeiro, L. C., 1 Feb 2017, In : International Journal on Software Tools for Technology Transfer. 19, 1, p. 97-114

    Research output: Contribution to journalArticle

  6. Published

    Hardware Reconfiguration Based on Broadcasted Digital TV Signal

    Oliveira, R. R., Cordeiro, L. C. & de Lucena, V. F. . J., 2015, In : IEEE International Symposium on Consumer Electronics Proceedings. p. 596-598

    Research output: Contribution to journalArticle

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

  8. Published

    Model Checking Embedded C Software using k-Induction and Invariants

    Rocha, H., Ismail, H., Cordeiro, L. & Barreto, R., 2015, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 90-95

    Research output: Contribution to journalArticle

  9. Published

    Model checking LTL properties over ANSI-C programs with bounded traces

    Morse, J., Cordeiro, L., Nicole, D. & Fischer, B., Feb 2015, In : Software and Systems Modeling . 14, 1, p. 65-81

    Research output: Contribution to journalArticle

  10. Published

    Modelling, Formal Refinement and Partitioning Strategies for a Small Aircraft Fuel Pump System in Hybrid Event-B

    Banach, R., 1 May 2018, In : Science of Computer Programming. 156, p. 21-44

    Research output: Contribution to journalArticle

  11. Published

    Multi-core model checking and maximum satisfiability applied to hardware-software partitioning

    Trindade, A. B., Degelo, R. D. F., Galvao Dos Santos Junior, E., Ismail, H. I., Silva, H. C. D. & Cordeiro, L. C., 2017, In : International Journal of Embedded Systems. 9, 6, p. 570

    Research output: Contribution to journalArticle

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