Research output per year
Research output per year
- 16 results
Search results
-
2024
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2023
Laws of Timed State Machines
Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 22 Dec 2023, In: The Computer Journal. 42 p., bxad124.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Testing using CSP Models: Time, Inputs, and Outputs
Baxter, J., Cavalcanti, A., Gazda, M. & Hierons, R. M., 28 Jan 2023, In: ACM Transactions on Computational Logic. 24, 2, 3572837.Research output: Contribution to journal › Article › peer-review
-
2022
Architectural modelling for robotics: RoboArch and the CorteX example
Barnett, W., Cavalcanti, A. L. C. & Miyazawa, A., 28 Oct 2022, In: Frontiers in Robotics and AI. 9, 20 p., 991637.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
RoboSim: software models for sound simulation
Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 11 Oct 2022, (Unpublished).Research output: Contribution to conference › Poster
File -
Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification
Murray, Y., De Oliveira Salazar Ribeiro, P. F., Anisi, D. A., Sirevåg, M. & Mossige, M., 11 Oct 2022, (Unpublished).Research output: Contribution to conference › Poster
File -
2020
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 AccessFile -
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Woodcock, J. 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 AccessFile -
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, J. 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 AccessFile -
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. 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 AccessFile -
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, J. 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
-
RoboTool
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. (Director) & Timmis, J. I. (Director), 20 May 2016Research output: Non-textual form › Software