E-LIB Suche - Ergebnisse für: McMillan, Kenneth

1

Invariant Checking for SMT-based Systems with Quantifiers:

Redondi, Gianluca ; Cimatti, Alessandro ; Griggio, Alberto.
ACM Transactions on Computational Logic. , 2024

2

Counterexample Driven Quantifier Instantiations with Applic..:

Tamir, Orr ; Taube, Marcelo ; McMillan, Kenneth L....
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1878-1904 , 2023

Link: https://doi.org/10.1145/..

3

Synthesizing History and Prophecy Variables for Symbolic Mo..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Vick, Cole ; McMillan, Kenneth L. - p. 320-340 , 2023

Link: https://doi.org/10.1007/..

4

A Formal Analysis of Karn's Algorithm:

, In: Networked Systems; Lecture Notes in Computer Science,

von Hippel, Max ; McMillan, Kenneth L. ; Nita-Rotaru, Cristina. - p. 43-61 , 2023

Link: https://doi.org/10.1007/..

5

Fixing Privilege Escalations in Cloud Access Control with M..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Hu, Yang ; Wang, Wenxi ; Khurshid, Sarfraz.. - p. 104-115 , 2023

Link: https://doi.org/10.1109/..

6

Induction duality: primal-dual search for invariants:

Padon, Oded ; Wilcox, James R. ; Koenig, Jason R...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

Link: https://doi.org/10.1145/..

7

Induction duality: primal-dual search for invariants:

Padon, Oded ; Wilcox, James R. ; Koenig, Jason R...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-29 , 2022

Link: https://dl.acm.org/doi/1..

8

SymMC: approximate model enumeration and counting using sym..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Wang, Wenxi ; Hu, Yang ; McMillan, Kenneth L.. - p. 1209-1220 , 2022

Link: https://dl.acm.org/doi/1..

9

Influence of game format and team strategy on physical and ..:

Guard, Andrew ; McMillan, Kenneth ; MacFarlane, Niall
International Journal of Sports Science & Coaching. 17 (2021) 5 - p. 1109-1118 , 2021

Link: https://doi.org/10.1177/..

10

Temporal prophecy for proving temporal properties of infini..:

Padon, Oded ; Hoenicke, Jochen ; McMillan, Kenneth L....
Formal Methods in System Design. 57 (2021) 2 - p. 246-269 , 2021

Link: https://doi.org/10.1007/..

11

The influence of relative playing area and player numerical..:

Guard, Andrew N. ; McMillan, Kenneth ; MacFarlane, Niall G.
Science and Medicine in Football. 6 (2021) 2 - p. 221-227 , 2021

Link: https://doi.org/10.1080/..

12

Ivy: A Multi-modal Verification Tool for Distributed Algori..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

McMillan, Kenneth L. ; Padon, Oded - p. 190-202 , 2020

Link: https://doi.org/10.1007/..

13

Invisible Invariants Are Neither:

, In: From Reactive Systems to Cyber-Physical Systems; Lecture Notes in Computer Science,

Zuck, Lenore D. ; McMillan, Kenneth L. - p. 57-72 , 2019

Link: https://doi.org/10.1007/..

14

Formal specification and testing of QUIC:

, In: Proceedings of the ACM Special Interest Group on Data Communication,

McMillan, Kenneth L. ; Zuck, Lenore D. - p. 227-240 , 2019

Link: https://dl.acm.org/doi/1..

15

Modularity for decidability of deductive verification with ..:

Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L....
ACM SIGPLAN Notices. 53 (2018) 4 - p. 662-677 , 2018

Link: https://doi.org/10.1145/..