Dr. Joshua Dawes
|
|
||||
| Department | SVV | ||||
| Postadresse |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Büroadresse | JFK Building, E01-113 | ||||
|
|||||
| Telefon | (+352) 46 66 44 9843 | ||||
Joshua Dawes received his PhD degree from the University of Manchester (England), in 2020. His research interests lie in the fundamental research necessary to analyse programs' behaviour and the engineering work necessary to apply program analysis tools in the industrial context. Joshua joined the Software Verification and Validation research group, SVV, headed by Prof. Lionel Briand and he will be reporting to Prof. Domenico Bianculli.
Last updated on: Montag, den 07. Dezember 2020
2023
Towards Log Slicing; ;
in Dawes, Joshua; Shin, Donghwan; Bianculli, Domenico (Eds.) Towards Log Slicing (2023, April)
2022
Specifying Source Code and Signal-based Behaviour of CPS Components;
in Dawes, Joshua; Bianculli, Domenico (Eds.) Proceedings of the 18th International Conference on Formal Aspects of Component Software (2022, November)
2021
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs;
in Proceedings of the 21st International Conference on Runtime Verification (2021, October)
