Travelled to:
1 × Germany
1 × United Kingdom
2 × Italy
Collaborated with:
R.Hähnle R.Bubel D.Kossmann T.Thüm L.M.Haas R.J.Miller S.Käsdorf I.Schaefer S.Apel M.Grinev M.P.Grineva T.Kraska G.Alonso J.Meinicke F.Benduhn A.v.Rhein G.Saake
Talks about:
interact (4) verif (3) softwar (2) product (2) time (2) line (2) understand (1) interfac (1) unbound (1) theorem (1)
Person: Martin Hentschel
DBLP: Hentschel:Martin
Contributed to:
Wrote 11 papers:
- IFM-2014-HentschelKHB #ide #interactive #verification
- An Interactive Verification Tool Meets an IDE (MH, SK, RH, RB), pp. 55–70.
- SPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving
- Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
- TAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation
- Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
- GPCE-2012-ThumSHA #deduction #product line #verification
- Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.
- VLDB-2011-GrinevGHK #realtime #web
- Analytics for the RealTime Web (MG, MPG, MH, DK), pp. 1391–1394.
- VLDB-2010-HentschelHM #integration
- Just-in-time Data Integration in Action (MH, LMH, RJM), pp. 1621–1624.
- VLDB-2009-KraskaHAK #consistency #in the cloud #matter
- Consistency Rationing in the Cloud: Pay only when it matters (TK, MH, GA, DK), pp. 253–264.
- ASE-2016-HentschelHB #empirical #evaluation #interactive #user interface #verification
- An empirical evaluation of two user interfaces of an interactive program verifier (MH, RH, RB), pp. 403–413.
- ASE-2016-HentschelHB16a #comprehension #debugging #effectiveness #interactive #proving #verification
- The interactive verification debugger: effective understanding of interactive proof attempts (MH, RH, RB), pp. 846–851.