The following pages link to Richard Bubel (Q1675814):
Displayed 12 items.
- Inferring secrets by guided experiments (Q1675815) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Array abstraction with symbolic pivots (Q2026786) (← links)
- Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841) (← links)
- Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks (Q2927647) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- Specifying Imperative ML-Like Programs Using Dynamic Logic (Q3067541) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- A Dynamic Logic with Traces and Coinduction (Q3455778) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
- Reuse in Software Verification by Abstract Method Calls (Q4928448) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)