Publications

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

    Cyberphysical Systems: A Behind-the-Scenes Foundational View

    Banach, R. & Su, W., 29 Mar 2018, College Publications Tribute Series. Mashkoor, A., Thalheim, B. & Wang, Q. (eds.). College Publications, Vol. 34. p. 177-201 (Dieter Schewe Festschrift, Tribute Series ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs

    Rocha, W., Rocha, H., Ismail, H., Cordeiro, L. & Fischer, B., 2017, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II. Vol. 10206. p. 360-364 4 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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