A Calculus for Software Engineering of Mobile and Autonomous Robots

Research output

Research output per year 2016 2016 2018 2019 2022 2023 2024 2024

• 7 Conference contribution
• 6 Article
• 2 Poster
• 1 Software

Research output per year

Research output per year

Search results

• 2019

  A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

  Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Springer, (Lecture Notes in Computer Science; vol. 11885).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File

• A Unary Semigroup Trace Algebra

  De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. ( Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Probabilistic Semantics for RoboChart A Weakest Completion Approach

  Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 11885).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File
• 2018

  Analysing RoboChart with probabilities

  Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, (E-pub ahead of print) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

  Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

  Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Springer, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2016

  From formalised state machines to implementation of robotic controllers

  Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sept 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer, 14 p. (Springer Tracts in Advanced Robotics).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution