Publications

  1. Accepted/In press

    Verication-Led Smart Contracts

    Banach, R., 30 Jan 2019, (Accepted/In press) 3rd Workshop on Trusted Smart Contracts.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Accepted/In press

    Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX

    Banach, R., Razavi, J., Debicki, O. & Lesecq, S., 12 Aug 2019, (Accepted/In press) Lecture Notes in Computer Science : Formal Methods.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  4. Published

    Quantified event automata: Towards expressive and efficient runtime monitors

    Barringer, H., Falcone, Y., Havelund, K., Reger, G. & Rydeheard, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 7436. p. 68-84 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    International Competition on Runtime Verification (CRV)

    Bartocci, E., Falcone, Y. & Reger, G., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Springer Nature, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Blocking and Other Enhancements for Bottom-Up ModelGeneration Methods

    Baumgartner, P. & Schmidt, R., 1 Mar 2019, In : Journal of Automated Reasoning.

    Research output: Contribution to journalArticle

  7. Published

    Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

    Bessa, I., Ismail, H., Palhares, R., Cordeiro, L. & Filho, J. E. C., 2017, In : IEEE Transactions on Computers. 66, 3, p. 545-552

    Research output: Contribution to journalArticle

  8. Published

    Verification of fixed-point digital controllers using direct and delta forms realizations

    Bessa, I. V., Ismail, H. I., Cordeiro, L. C. & Filho, J. E. C., 10 Mar 2016, In : Design Automation for Embedded Systems. 20, 2, p. 95-126

    Research output: Contribution to journalArticle

  9. Published

    Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking

    Bessa, I., Ibrahim, H., Cordeiro, L. & Chaves Filho, J. E., 2014, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 49-54 6 p.

    Research output: Contribution to journalArticle

  10. Published

    SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers

    Bessa, I., Abreu, R., Edgar Filho, J. & Cordeiro, L., 2014, In : IEEE Industrial Electronics Society. Annual Conference. Proceedings . p. 295-301

    Research output: Contribution to journalArticle

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