Concepedia

Matthias Raffelsieper

MR

4

Publications

125

Citations

4

H-Index

2009

Active since

Affiliations

Eindhoven University of Technology(Current)

Matthias Raffelsieper is an author at Eindhoven University of Technology specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisAutomated ReasoningProof ComplexitySoftware AnalysisMedicine

Publications per year

2009–2011

4

Publications

4

Automated termination proofs for haskell by term rewriting

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider–Kamp et al. · ACM Transactions on Programming Languages and Systems · 2011 · 74 citations · Full text

Term Rewriting, Engineering, Automated Reasoning +14

A Transformational Approach to Prove Outermost Termination Automatically

Matthias Raffelsieper, Hans Zantema · Electronic Notes in Theoretical Computer Science · 2009 · 20 citations · Full text

Quasi Left-linear Trss, Outermost Termination, Engineering +11

Cell libraries and verification

Matthias Raffelsieper · Data Archiving and Networked Services (DANS) · 2011 · 17 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +22

Proving Productivity in Infinite Data Structures

Hans Zantema, Matthias Raffelsieper · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 14 citations · Full text

Programming Language Theory, Infinite Lists, Infinite Data Structures +15

Rows per page

1–4 of 4