Concepedia

Koenraad De Bosschere

KD

Statistics

Publications

11

Citations

478

H-Index

10

Active since

1992

Affiliations

Ghent University(Current)

Université de Moncton

Koenraad De Bosschere is an author at Ghent University specializing in engineering, system software, and program analysis.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisParallel ComputingAutomated ReasoningFormal VerificationParallel ProgrammingSyntax

Publications per year

1992–2009

11

Publications

11

Quantifying the Impact of Input Data Sets on Program Behavior and its Applications

Lieven Eeckhout, Hans Vandierendonck, Koenraad De Bosschere · Research Portal (Queen's University Belfast) · 2003 · 146 citations

Workload design: selecting representative program-input pairs

Lieven Eeckhout, Hans Vandierendonck, Koenraad De Bosschere · International Conference on Parallel Architectures and Compilation Techniques · 2002 · 100 citations

Cluster Computing, Engineering, Computer Architecture +22

On the static analysis of indirect control transfers in binaries

Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere et al. · Lirias (KU Leuven) · 2000 · 42 citations · Full text

Execution replay and debugging

Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux · ArXiv.org · 2000 · 37 citations · Full text

Software Maintenance, Engineering, Verification +19

Blackboard‐based extensions in Prolog

Koenraad De Bosschere, Paul Tarau · Software Practice and Experience · 1996 · 32 citations

Engineering, Global Data Structure, Formal Verification +17

1–5 of 11