Search research publications and outputs

  1. 2021
  2. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 23 Jun 2021, (Accepted/In press) International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Verifying Graph Programs with Monadic Second-Order Logic

    Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Enhancing the Value of Counterfactual Explanations for Deep Learning

    Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Robot motion planning benchmarking and optimization through motion planning pipeline

    Liu, S. & Liu, P., 2 Jun 2021, (Accepted/In press) The 17th IEEE International Conference on Automation Science and Engineering (CASE 2021). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems

    Lesage, B. M. J-R. & Alexander, R., 1 Jun 2021, (Accepted/In press) Proceedings of SafeComp 2021.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Classification of Failures in the Perception of Conversational Agents (CAs) and their Implications on Patient Safety

    Aftab, H., Hammad Hussain Shah, S. & Habli, I., 29 May 2021, Public Health and Informatics: Proceedings of MIE 2021. Mantas, J., Stoicu-Tivadar, L., Chronaki, C. C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Sorina Chirila, O. (eds.). IOS Press, Vol. 281. p. 659-663 5 p. (Studies in Health Technology and Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Wait, But Why? Assessing Behavior Explanation Strategies for Real-Time Strategy Games

    Robertson, J., Kokkinakis, A., Hook, J. D., Kirman, B., Block, F. O., Ursu, M., Patra, S., Demediuk, S. P., Drachen, A. & Olarewaju, O., 13 May 2021, Proceedings of the 2021 IUI Annual Conference of Intelligent User Interfaces. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...255 Next