Publications

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

    DSVerifier: A Bounded Model Checking Tool for Digital Systems

    Ismail, H. I., Bessa, I. V., Cordeiro, L. C., de Lima Filho, E. B. & Chaves Filho, J. E., 2015, MODEL CHECKING SOFTWARE, SPIN 2015. Vol. 9232. p. 126-131 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  4. Accepted/In press

    Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX

    Banach, R., Razavi, J., Lesecq, S., Debicki, O., Mareau, N., Foucault, J., Correvon, M. & Dudnik, G., 28 Jun 2018, (Accepted/In press) Complex Systems Design and Management 2018 .

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)

    Morse, J., Cordeiro, L., Nicole, D. & Fischer, B., 2013, Tools and algorithms for the construction and analysis of systems, TACAS 2013. Vol. 7795. p. 619-622 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    Hunting Memory Bugs in C Programs with Map2Check

    Rocha, H. O., Barreto, R. S. & Cordeiro, L. C., 2016, Algorithms for the Construction and Analysis of Systems ( TACAS 2016). Vol. 9636. p. 934-937 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Map2Check Using LLVM and KLEE

    Menezes, R., Rocha, H., Cordeiro, L. & Barreto, R., 2018, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II. Vol. 10806. p. 437-441 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    Memory Management Test-Case Generation of C Programs Using Bounded Model Checking

    Rocha, H., Barreto, R. & Cordeiro, L., 2015, SOFTWARE ENGINEERING AND FORMAL METHODS. Vol. 9276. p. 251-267 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Selecting the selection

    Hoder, K., Reger, G., Suda, M. & Voronkov, A., 1 Jan 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Nature, p. 313-329 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  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

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

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