Wim Beck

Artificial Intelligence · 2012

A researcher in the Science corpus: 1 paper; trusts 7 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 5 citations into it; #28,153 of 35,345 by trust here, #34,213 by citations

Whom Wim Beck trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Koushik Sen
2. Tachio Terauchi
3. Patrice Godefroid
4. Cristian Cadar
5. Andrei Sabelfeld

Who trusts Wim Beck overall

1. Gian Pietro Farina

Papers from Wim Beck's perspective

Ordered by how strongly the researchers Wim Beck trusts endorse each paper. Same corpus, a different order for every researcher.

1. Symbolic execution and program testing
2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
4. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
5. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)
6. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
7. Observational determinism for concurrent program security (16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.)
8. Secure Information Flow as a Safety Problem (Sensors Applications Symposium)
9. Dimensions and principles of declassification (18th IEEE Computer Security Foundations Workshop (CSFW'05))
10. Lazy abstraction

Their papers

• Noninterference via Symbolic Execution (2012) — 31 citations