Concepedia

Stefaan Decorte

SD

4

Publications

320

Citations

4

H-Index

1993

Active since

Affiliations

KU Leuven(Current)

Stefaan Decorte is an author at KU Leuven specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationLogic ProgrammingStatistics

Publications per year

1993–1999

4

Publications

4

Termination of logic programs: the never-ending story

Danny De Schreye, Stefaan Decorte · The Journal of Logic Programming · 1994 · 205 citations · Full text

Applied Logic, Computational Logic, Engineering +8

Constraint-based termination analysis of logic programs

Stefaan Decorte, Danny De Schreye, Henk Vandecasteele · ACM Transactions on Programming Languages and Systems · 1999 · 59 citations · Full text

Program Checking, Engineering, Verification +18

Automatic inference of norms: a missing link in automatic termination analysis

Stefaan Decorte, Danny De Schreye, Massimo Fabris · International Conference on Logic Programming · 1993 · 46 citations

Automatic Inference, Engineering, Program Analysis +10

Exploiting the power of typed norms in automatic inference of interargument relations

Stefaan Decorte, Danny De Schreye, Massimo Fabris · Lirias (KU Leuven) · 1997 · 10 citations · Full text

Rows per page

1–4 of 4