Primary tabs

Most recent publications

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Book Chapter
2021
Information and Software Technology 132 (2021).
Journal Article
2021
In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Book Chapter
2017

Students under supervision

Available Master's topics

Find publication

Export 14 results:
2021

Journal articles

Information and Software Technology 132 (2021).
Status: Published

Proceedings, refereed

Book chapters

In Software Engineering for Robotics, 465p. Edited by A. Cavalcanti, B. Dongol, R. Hierons, J. Timmis, J. Woodcock ed. Springer Nature, 2021.
Status: Published
2017

Journal articles

AI Magazine 38, no. Spring (2017).
Status: Published

Proceedings, refereed

In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In IEEE International Symposium on High Assurance Systems Engineering. ACM/IEEE, 2017.
Status: Published
In International Conference on Software Testing, Verification and Validation (ICST 2017) . IEEE, 2017.
Status: Published
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published

Book chapters

In Software Technologies, 68-87. Vol. 743. Springer International Publishing, 2017.
Status: Published