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 15 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
    Journal article
    Martin Hentschel, Laura M. Haas, Renée J. Miller.
    Just-in-time Data Integration in Action.
    PVLDB 2010, Volume 3 (0) 2010
    Conference paper
    Laura M. Haas, Renée J. Miller, Donald Kossmann, Martin Hentschel.
    A first step towards integration independence.
    Workshops Proceedings of the 26th International Conference on Data Engineering, ICDE 2010, March 1-6, 2010, Long Beach, California, USA 2010 (0) 2010
    Conference paper
    Laura M. Haas, Martin Hentschel, Donald Kossmann, Renée J. Miller.
    Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration.
    Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings 2009 (0) 2009
    Technical report
    Martin Hentschel, Donald Kossmann, Daniela Florescu, Laura M. Haas, Tim Kraska, Renée J. Miller.
    Scalable data integration by mapping data to queries
    Department of Computer Science, Technical Report, ETH Zürich,July, 2009. (0) 2009
    Technical report
    Martin Hentschel, Donald Kossmann, Tim Kraska, Jonas Rutishauser, Daniela Florescu.
    Mapping Data Queries: Semantics of the IS-A Rule
    Department of Computer Science, Technical Report, ETH Zürich, Nov., 2007. (0) 2007
    Show item 1 to 15 of 15  

    Your query returned 15 matches in the database.