Publications

  1. Published

    SMT-based Verification Applied to Non-convex Optimization Problems

    Araujo, R., Bessa, I., Cordeiro, L. C. & Chaves Filho, J. E., 2016, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 1-8

    Research output: Contribution to journalArticle

  2. Published

    Counterexample guided inductive optimization based on satisfiability modulo theories

    Araújo, R. F., Albuquerque, H. F., De Bessa, I. V., Cordeiro, L. C. & Chaves Filho, J. E., 1 Nov 2018, In : Science of Computer Programming. 165, p. 3-23 20 p.

    Research output: Contribution to journalArticle

  3. Published

    Modelling, Formal Refinement and Partitioning Strategies for a Small Aircraft Fuel Pump System in Hybrid Event-B

    Banach, R., 1 May 2018, In : Science of Computer Programming. 156, p. 21-44

    Research output: Contribution to journalArticle

  4. Published

    Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

    Banach, R., 2018, Proceedings of the 6th International ABZ Conference 2018. p. 171-186 15 p.

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

  5. Accepted/In press

    Application of Formal Methods in the INSPEX Smart Systems Integration Project

    Banach, R., Razavi, J., Debicki, O., Mareau, N., Lesecq, S. & Foucault, J., 18 May 2018, (Accepted/In press) FMIS 2018.

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

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

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

  8. Published

    Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept

    Banach, R., Razavi, J. & et al, 2018, 1st International Workshop on Biomedical & Health Engineering and Data Analysis (BEDA'18).

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

  9. Accepted/In press

    A Simple Hybrid Event-B Model of an Active Control System for Earthquake Protection

    Banach, R. & Baugh, J., 16 Oct 2018, (Accepted/In press) Astrophysics to Unconventional Computing : Essays presented to Susan Stepney on the occasion of her 60th birthday. (Emergence, Complexity and Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. E-pub ahead of print

    Punishment not Reward: Disincentivising Blockchain Application Misbehaviour

    Banach, R., 1 Jul 2019, IEEE International Conference on Blockchain and Cryptocurrency.

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

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