This research project is one of a number of projects at this institution. It is in competition for funding with one or more of these projects. Usually the project which receives the best applicant will be awarded the funding. Applications for this project are welcome from suitably qualified candidates worldwide. Funding may only be available to a limited set of nationalities and you should read the full department and project details for further information.
Bartocci E., Falcone Y., Francalanza A., Reger G. (2018) Introduction to Runtime Verification. LNCS, vol 10457. https://link.springer.com/chapter/10.1007%2F978-3-319-75632-5_1
Medhat R., Bonakdarpour B., Fischmeister S., Joshi Y. (2016) Accelerated Runtime Verification of LTL Specifications with Counting Semantics. LNCS, vol 10012.https://link.springer.com/chapter/10.1007/978-3-319-46982-9_16/fulltext.html
Basin D., Caronni G., Ereth S., Harvan M., Klaedtke F., Mantel H. (2014) Scalable Offline Monitoring. LNCS, vol 8734.
FTE Category A staff submitted: 44.86
Research output data provided by the Research Excellence Framework (REF)Click here to see the results for all UK universities