Concepedia

Martin Hentschel

MH

Statistics

Publications

13

Citations

797

H-Index

11

Active since

2009

Affiliations

Technical University of Darmstadt(Current)

University Hospital Magdeburg

Technische Universität Braunschweig

University of Passau

Martin Hentschel is an author at Technical University of Darmstadt specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerification

Publications per year

2009–2018

13

Publications

13

The Snowflake Elastic Data Warehouse

Benoît Dageville, Thierry Cruanes, Marcin Żukowski et al. · 2016 · 289 citations

Engineering, Data Warehouse, Cloud Database +19

Consistency rationing in the cloud

Tim Kraska, Martin Hentschel, Gustavo Alonso et al. · Proceedings of the VLDB Endowment · 2009 · 202 citations

Cluster Computing, Storage Performance, Availability +16

Family-based deductive verification of software product lines

Thomas Thüm, Ina Schaefer, Sven Apel et al. · 2012 · 76 citations

Software Maintenance, Program Checking, Engineering +18

Simon Loesing, Martin Hentschel, Tim Kraska et al. · 2012 · 73 citations

Cluster Computing, Storage Systems, Scalable Storage Systems +12

Potential synergies of theorem proving and model checking for software product lines

Thomas Thüm, Jens Meinicke, Fabian Benduhn et al. · 2014 · 38 citations

Software Maintenance, Program Checking, Engineering +23

1–5 of 13