Publications

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

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

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

  4. Published

    Towards a semiformal development methodology for embedded systems

    Cordeiro, L., Barreto, R. & Oliveira, M., 2008, ENASE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING. p. 5-12 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    A platform-based software design methodology for embedded control systems: An agile toolkit

    Cordeiro, L., Mar, C., Valentin, E., Cruz, F., Patrick, D., Barreto, R. & Lucena, V., 2008, FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. p. 408-417 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    Agile development methodology for embedded systems: A platform-based design approach

    Cordeiro, L., Barreto, R., Barcelos, R., Oliveira, M., Lucena, V. & Maciel, P., 2007, ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. p. 195-202

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution)

    Cordeiro, L., Morse, J., Nicole, D. & Fischer, B., 2012, In : Lecture Notes in Computer Science. 7214, p. 534-537

    Research output: Contribution to journalArticle

  8. Published
  9. Published

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    Cordeiro, L., Fischer, B. & Marques-Silva, J., 2012, In : IEEE Transactions on Software Engineering. 38, 4, p. 957-974 18 p.

    Research output: Contribution to journalArticle

  10. Published

    Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

    Cordeiro, L., Fischer, B., Chen, H. & Marques-Silva, J., 2009, 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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