Calculated based on number of publications stored in Pure and citations from Scopus
20182023

Research activity per year

Fingerprint

Dive into the research topics where William Eiers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Quantitative Policy Repair for Access Control on the Cloud

    Eiers, W., Sankaran, G. & Bultan, T., 12 Jul 2023, ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). p. 564-575 12 p. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Quacky: Quantitative Access Control Permissiveness Analyzer

    Eiers, W., Sankaran, G., Li, A., O'Mahony, E., Prince, B. & Bultan, T., 19 Sep 2022, 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022. Aehnelt, M. & Kirste, T. (eds.). 163. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Quantifying Permissiveness of Access Control Policies

    Eiers, W., Sankaran, G., Li, A., O'Mahony, E., Prince, B. & Bultan, T., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. p. 1805-1817 13 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • Subformula caching for model counting and quantitative program analysis

    Eiers, W., Saha, S., Brennan, T. & Bultan, T., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. p. 453-464 12 p. 8952551. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Parameterized model counting for string and numeric constraints

    Aydin, A., Eiers, W., Bang, L., Brennan, T., Gavrilov, M., Bultan, T. & Yu, F., 26 Oct 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). p. 400-410 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    24 Scopus citations