Publications

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

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

  5. Published

    ezRealtime: A Domain-Specific Modeling tool for Embedded Hard Real-Time software synthesis

    Cruz, F., Barreto, R., Cordeiro, L. & Maciel, P., 2008, 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3. p. 1314-1319 5 p. (Design Automation and Test in Europe Conference and Expo).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software

    Cruz, F., Barreto, R., Cordeiro, L. & Maciel, P., 2008, Applied Computing, 2008.. Vol. 1-3. p. 308-314

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  10. 2011
  11. Published

    Context-Bounded Model Checking of LTL Properties for ANSI-C Software

    Morse, J., Cordeiro, L., Nicole, D. & Fischer, B., 2011, SOFTWARE ENGINEERING AND FORMAL METHODS. Vol. 7041. p. 302 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  13. Published

    Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker

    Barreto, R., Cordeiro, L. & Fischer, B., 2011, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 46-52 7 p.

    Research output: Contribution to journalArticle

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