| 2013 | Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms. | Rubing Huang, Xiaodong Xie, Jinfu Chen, Yansheng Lu |
| 2013 | Throughput-constrained voltage and frequency scaling for real-time heterogeneous multiprocessors. | Pengcheng Huang, Orlando Moreira, Kees Goossens, Anca Mariana Molnos |
| 2013 | Extracting differences between regular tree grammars. | Kazuma Horie, Nobutaka Suzuki |
| 2013 | Meso: an object-oriented programming language for building strongly-typed internet-based network applications. | Stefan Hong, Yuh-Jzer Joung |
| 2013 | An infrastructure for the life cycle management of multi product lines. | Gerald Holl, Christoph Elsner, Paul Grnbacher, Michael Vierhauser |
| 2013 | Exploiting emoticons in sentiment analysis. | Alexander Hogenboom, Daniella Bal, Flavius Frasincar, Malissa Bal, Franciska de Jong, Uzay Kaymak |
| 2013 | Slicing droids: program slicing for smali code. | Johannes Hoffmann, Martin Ussath, Thorsten Holz, Michael Spreitzenbarth |
| 2013 | A framework for semantic annotation of digital evidence. | Bruno W. P. Hoelz, Clia Ghedini Ralha |
| 2013 | A backward-compatible protocol for inter-routing over heterogeneous overlay networks. | Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan |
| 2013 | A framework for the intelligent delivery and user-adequate visualization of process information. | Markus Hipp, Bela Mutschler, Bernd Michelberger, Manfred Reichert |
| 2013 | Feature-based object identification for web automation. | Christoph Herzog, Iraklis Kordomatis, Wolfgang Holzinger, Ruslan R. Fayzrakhmanov, Bernhard Krpl-Sypien |
| 2013 | Cross-platform model-driven development of mobile applications with md | Henning Heitktter, Tim A. Majchrzak, Herbert Kuchen |
| 2013 | Accelerated robustness testing of state-based components using reverse execution. | Patrick Heckeler, Bastian Schlich, Thomas Kropf |
| 2013 | A visual analytics tool for system logs adopting variable recommendation and feature-based filtering. | Aki Hayashi, Takayuki Itoh, Satoshi Nakamura |
| 2013 | A semi-supervised graph-based algorithm for detecting outliers in online-social-networks. | Reza Hassanzadeh, Richi Nayak |
| 2013 | Incremental linear model trees on massive datasets: keep it simple, keep it fast. | Andreas Hapfelmeier, Jana Schmidt, Stefan Kramer |
| 2013 | IT evaluation in business groups: a maturity model. | Florian Hamel, Thomas Herz, Falk Uebernickel, Walter Brenner |
| 2013 | Abstract program slicing of database query languages. | Raju Halder, Agostino Cortesi |
| 2013 | Formal semantics and expressiveness of a web service composition language. | Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante |
| 2013 | A framework for evaluating trust of service providers in cloud marketplaces. | Sheikh Mahbub Habib, Vijay Varadharajan, Max Mhlhuser |
| 2013 | Towards a domain specific modeling language for agent-based models in land use science. | Cdric Grueau, Joo Arajo |
| 2013 | Eliminating the XML overhead in embedded XML languages. | Sven Groppe, Bjrn Schtt, Stefan Werner |
| 2013 | Modeling I/O interference for data intensive distributed applications. | Sven Groot, Kazuo Goda, Daisaku Yokoyama, Miyuki Nakano, Masaru Kitsuregawa |
| 2013 | An empirical analysis of malicious internet banking software behavior. | Andr Ricardo Abed Grgio, Dario Simes Fernandes Filho, Vitor Monte Afonso, Paulo Lcio de Geus, Victor Furuse Martins, Mrio Jino |
| 2013 | Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. | Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong |