Dave Parker

Publications

  1. 2019
  2. Published

    Equilibria-based probabilistic model checking for concurrent stochastic games

    Kwiatkowska, M., Norman, G., David Parker & Santos, G., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

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

  3. Published

    Quantitative verification of numerical stability for Kalman filters

    Alexandros Evangelidis & David Parker, 23 Sep 2019, Quantitative verification of numerical stability for Kalman filters. Springer, Vol. 11800. 17 p.

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

  4. Published

    Automated formal analysis of side-channel attacks on probabilistic systems

    Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

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

  5. Accepted/In press

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    Shi, N., Zhu, Z., Tang, K., David Parker & Shan He, 5 Jul 2019, (Accepted/In press) In : Bioinformatics. 8 p.

    Research output: Contribution to journalArticle

  6. Published

    Probabilistic planning with formal performance guarantees for mobile service robots

    Lacerda, B., Fatma Faruq, David Parker & Hawes, N., 16 Jun 2019, In : The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journalArticle

  7. Accepted/In press

    The 2019 comparison of tools for the analysis of quantitative formal models (QComp): 2019 competition report

    Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Kretínský, J., David Parker, Quatmann, T., Ruijters, E. & Steinmetz, M., 15 Mar 2019, (Accepted/In press) Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '19): TOOLympics at TACAS 2019. Springer, (Lecture Notes in Computer Science).

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

  8. Published

    Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

    Henze, R., Mu, C., Puljiz, M., Kamaleson, N., Huwald, J., Haslegrave, J., di Fenizio, P. S., David Parker, Chris Good, Jon Rowe, Ibrahim, B. & Dittrich, P., 7 Mar 2019, In : Scientific Reports. 9, 1, 17 p., 3902.

    Research output: Contribution to journalArticle

  9. E-pub ahead of print

    Software adaptation for an unmanned undersea vehicle

    Pfeffer, A., Wu, C., Fry, G., Lu, K., Marotta, S., Reposa, M., Shi, Y., Kumar, T. K. S., Knoblock, C. A., David Parker, Muhammad, I. & Chris Novakovic, 21 Feb 2019, In : IEEE Software. 36, 2, p. 91-96 6 p.

    Research output: Contribution to journalArticle

  10. Accepted/In press

    The quantitative verification benchmark set

    Hartmanns, A., Klauck, M., David Parker, Quatmann, T. & Ruijters, E., 26 Jan 2019, (Accepted/In press) Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) . Springer, 6 p. (Lecture Notes in Computer Science).

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

  11. 2018
  12. Published

    Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin

    Al-Ajeli, A. & David Parker, 1 Nov 2018, Proceedings of the 12th UKACC International Conference on Control. IEEE Xplore, p. 397-402 6 p.

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

Previous 1 2 3 4 5 6 7 8 9 Next