Research output per year
Research output per year
Search results
-
2023
Model-Based Engineering for Robotics with RoboChart and RoboTool
Cavalcanti, A., Attala, Z., Baxter, J., Miyazawa, A. & Ribeiro, P., 5 Nov 2023, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures. Cerone, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 106-151 46 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13490 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2021
RoboWorld: Where Can My Robot Work?
Cavalcanti, A., Baxter, J. & Carvalho, G., 3 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2020
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Foster, S. D. & Baxter, J., 1 Apr 2020, 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 -
2019
Testing Robots Using CSP
Cavalcanti, A., Baxter, J., Hierons, R. M. & Lefticaru, R., 23 Sept 2019, Tests and Proofs - 13th International Conference, TAP 2019, held as part of the 3rd World Congress on Formal Methods 2019, Proceedings. Beyer, D. & Keller, C. (eds.). Springer, p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11823 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2018
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 AccessFile -
2017
Algebraic Compilation of Safety-Critical Java Bytecode
Baxter, J. & Cavalcanti, A. L. C., 1 Sept 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2016
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment
Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2015
Safety-Critical Java Virtual Machine Services
Baxter, J., Cavalcanti, A. L. C., Wellings, A. J. & Freitas, L., 2015, Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. Ziarek, L. (ed.). ACM, 10 p. 7Research output: Chapter in Book/Report/Conference proceeding › Conference contribution