Concepedia

Leszek Holenderski

LH

5

Publications

204

Citations

5

H-Index

1988

Active since

Affiliations

Eindhoven University of Technology(Current)

Leszek Holenderski is an author at Eindhoven University of Technology specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningStatisticsData MiningData ScienceVerificationComputer ScienceProgram AnalysisSoftware Testing

Publications per year

1988–2012

5

Publications

5

Stess@Work

Jorn Bakker, Leszek Holenderski, Rafał Kocielnik et al. · 2012 · 60 citations

Engineering, Data Science, Data Mining +12

Incompleteness of first-order temporal logic with until

Andrzej Szałas, Leszek Holenderski · Theoretical Computer Science · 1988 · 49 citations

Non-classical Logic, Engineering, Automated Reasoning +4

Dragan Bošnački, Dennis Dams, Leszek Holenderski · International Journal on Software Tools for Technology Transfer · 2002 · 44 citations

The Synchronous Approach to Designing Reactive Systems

Axel Poigné, Matthew Morley, Olivier Maffeïs et al. · Formal Methods in System Design · 1998 · 29 citations

Systematic testing and formal verification to validate reactive programs

Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs et al. · Software Quality Journal · 1995 · 22 citations

Engineering, Program Analysis, Automated Reasoning +10

Rows per page

1–5 of 5