Publications

  1. Article › Research › Peer-reviewed
  2. Published

    A method to localize faults in concurrent C programs

    S. Alves, E. H. D., Cordeiro, L. C. & L. Filho, E. B. D., 1 Oct 2017, In : The Journal of Systems and Software. 132, p. 336-352

    Research output: Contribution to journalArticle

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

  4. Published

    Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

    Pratt-Hartmann, I. & Kourtis, G., 30 Oct 2017, In : Logical Methods in Computer Science. 13, 4, p. 1-39 39 p., 4.

    Research output: Contribution to journalArticle

  5. Published

    Applying multi-core model checking to hardware-software partitioning in embedded systems

    Trindade, A., Ismail, H. & Cordeiro, L., 2015, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 102-105

    Research output: Contribution to journalArticle

  6. Published

    Applying SMT-based verification to hardware/software partitioning in embedded systems

    Trindade, A. B. & Cordeiro, L. C., 22 Apr 2015, In : Design Automation for Embedded Systems. 20, 1, p. 1-19

    Research output: Contribution to journalArticle

  7. Published

    Applying symbolic bounded model checking to the 2012 RERS greybox challenge

    Morse, J., Cordeiro, L., Nicole, D. & Fischer, B., Oct 2014, In : International Journal on Software Tools for Technology Transfer. 16, 5, p. 519-529

    Research output: Contribution to journalArticle

  8. Published

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 2017, In : Lecture Notes in Computer Science.

    Research output: Contribution to journalArticle

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

  10. Published

    Automated Formal Verification of Stand-alone Solar Photovoltaic Systems

    Trindade, A. B. & Cordeiro, L., 2019, In : Solar Energy.

    Research output: Contribution to journalArticle

  11. Published

    Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

    Cordeiro, L., Kroening, D. & Schrammel, P., 2019, In : ACM SigSoft Software Engineering Notes .

    Research output: Contribution to journalArticle

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