Concepedia

Dennis Dams

DD

16

Publications

981

Citations

14

H-Index

1991

Active since

Affiliations

Eindhoven University of Technology(Current)

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal SpecificationSemantics

Publications per year

1991–2004

16

Publications

16

Abstract interpretation of reactive systems

Dennis Dams, Rob Gerth, Orna Grümberg · ACM Transactions on Programming Languages and Systems · 1997 · 379 citations · Full text

Abstract interpretation and partition refinement for model checking

Dennis Dams · Data Archiving and Networked Services (DANS) · 1996 · 195 citations · Full text

Engineering, Automated Reasoning, Program Analysis +8

Bottom-up abstract interpretation of logic programs

Michael Codish, Dennis Dams, Eyal Yardeni · Theoretical Computer Science · 1994 · 59 citations · Full text

Engineering, Operational Semantics, Automated Reasoning +5

The existence of finite abstractions for branching time model checking

Dennis Dams, Kedar S. Namjoshi · Logic in Computer Science · 2004 · 53 citations

Engineering, Concrete Source Program, Verification +16

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish, Dennis Dams, Eyal Yardeni · International Conference on Lightning Protection · 1991 · 49 citations

Formal Specification, Engineering, Program Analysis +12

Rows per page

1–5 of 16