E-LIB Suche - Ergebnisse für: Ernst, Gidon

1

Korn—Software Verification with Horn Clauses (Competition C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ernst, Gidon - p. 559-564 , 2023

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

2

Verify This: Memcached—A Practical Long-Term Challenge for ..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Ernst, Gidon ; Weigl, Alexander - p. 82-89 , 2023

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

3

Assume but Verify: Deductive Verification of Leaked Informa..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Murray, Toby ; Tiwari, Mukesh ; Ernst, Gidon. - p. 1746-1760 , 2023

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

4

Compositional Vulnerability Detection with Insecurity Separ..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Murray, Toby ; Yan, Pengbo ; Ernst, Gidon - p. 65-82 , 2023

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

5

State Selection Algorithms and Their Impact on The Performa..:

, In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Liu, Dongge ; Pham, Van-Thuan ; Ernst, Gidon.. - p. 720-730 , 2022

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

6

A Hoare Logic with Regular Behavioral Specifications:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Ernst, Gidon ; Knapp, Alexander ; Murray, Toby - p. 45-64 , 2022

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

7

Loop Verification with Invariants and Contracts:

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

Ernst, Gidon - p. 69-92 , 2022

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

8

Bridging Arrays and ADTs in Recursive Proofs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Fedyukovich, Grigory ; Ernst, Gidon - p. 24-42 , 2021

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

9

Falsification of Hybrid Systems Using Adaptive Probabilisti..:

Ernst, Gidon ; Sedwards, Sean ; Zhang, Zhenya.
ACM Transactions on Modeling and Computer Simulation (TOMACS). 31 (2021) 3 - p. 1-22 , 2021

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

10

Falsification of Hybrid Systems Using Adaptive Probabilisti..:

Ernst, Gidon ; Sedwards, Sean ; Zhang, Zhenya.
ACM Transactions on Modeling and Computer Simulation. 31 (2021) 3 - p. 1-22 , 2021

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

11

Legion: Best-First Concolic Testing (Competition Contributi..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Liu, Dongge ; Ernst, Gidon ; Murray, Toby. - p. 545-549 , 2020

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

12

Legion : best-first concolic testing:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Liu, Dongge ; Ernst, Gidon ; Murray, Toby. - p. 54-65 , 2020

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

13

Proceedings of the 21st Workshop on Formal Techniques for J..:

Murray, Toby ; Ernst, Gidon , 2019

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

14

VerifyThis – Verification Competition with a Human Factor:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ernst, Gidon ; Huisman, Marieke ; Mostowski, Wojciech. - p. 176-195 , 2019

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

15

Fast Falsification of Hybrid Systems Using Probabilisticall..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Ernst, Gidon ; Sedwards, Sean ; Zhang, Zhenya. - p. 165-181 , 2019

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