Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Martin
    Last name: Hentschel
    DBLP: 50/7258
    Rating: (1)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 15  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Tim Kraska, Martin Hentschel, Gustavo Alonso, Donald Kossmann.
    Consistency Rationing in the Cloud: Pay only when it matters.
    PVLDB 2009, Volume 2 (1) 2009
    Conference paper
    Martin Hentschel, Reiner Hähnle, Richard Bubel.
    Visualizing Unbounded Symbolic Execution.
    Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel.
    An Interactive Verification Tool Meets an IDE.
    Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Martin Hentschel, Richard Bubel, Reiner Hähnle.
    Symbolic Execution Debugger (SED).
    Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Wolfgang Ahrendt, Bernhard Beckert, Daniel Grahl, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich.
    The KeY Platform for Verification and Analysis of Java Programs.
    Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers 2014 (0) 2014
    PhD thesis
    Martin Hentschel.
    Scalable systems for data analytics and integration
    Supervised by: Prof. Donald Kossmann
    ETH Zürich, Diss. Nr. 20295, March, 2012. (0) 3 / 2012
    Conference paper
    Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel.
    Family-based deductive verification of software product lines.
    Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012 2012 (0) 2012
    Conference paper
    Simon Loesing, Martin Hentschel, Tim Kraska, Donald Kossmann.
    Stormy: An Elastic and Highly Available Streaming Service in the Cloud
    Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012 2012 (0) 2012
    Technical report
    Martin Hentschel, Maxim Grinev, Donald Kossmann.
    Building Data Flows Using Distributed Key-Value Stores
    Department of Computer Science, Technical Report, no. 742, ETH Zurich, Oct. 2011. (0) 2011
    Conference paper
    Maxim N. Grinev, Maria P. Grineva, Martin Hentschel, Donald Kossmann.
    Analytics for the RealTime Web
    PVLDB 2011, Volume 4 (0) 2011
    Show item 1 to 10 of 15  

    Your query returned 15 matches in the database.