Skip to main navigation Skip to search Skip to main content
No photo of William Eiers

View Scopus Profile

William Eiers

20182025

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
View full fingerprint

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
Explore network further
  • 7 Conference contribution
  • 1 Conference article

  • Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

    Rao, B., Eiers, W. & Lipizzi, C., 2025, In: Proceedings of Machine Learning Research. 284

    Research output: Contribution to journal › Conference article › peer-review

  • Synthesizing Access Control Policies Using Large Language Models

    Vatsa, A., Patel, P. & Eiers, W., 2025, Proceedings - 2025 IEEE/ACM International Workshop on Natural Language-Based Software Engineering, NLBSE 2025. p. 13-16 4 p. (Proceedings - 2025 IEEE/ACM International Workshop on Natural Language-Based Software Engineering, NLBSE 2025).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Quantitative Symbolic Robustness Verification for Quantized Neural Networks

    Downing, M., Eiers, W., DeLong, E., Lodha, A., Ozawa Burns, B., Kadron, I. B. & Bultan, T., 2024, Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Proceedings. Ogata, K., Mery, D., Sun, M. & Liu, S. (eds.). p. 125-145 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15394 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-review

    Open Access
    5 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 proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
View all 8 Research outputs