| 2016 | DASC | Autocorrelation-Based Detection of Infinite Loops at Runtime. | Andreas Ibing, Julian Kirsch, Lorenz Panny |
| 2016 | FedCSIS | Efficient Data-Race Detection with Dynamic Symbolic Execution. | Andreas Ibing |
| 2015 | DATE | Architecture description language based retargetable symbolic execution. | Andreas Ibing |
| 2015 | QRS | Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code. | Paul Muntean, Adnan Rabbi, Andreas Ibing, Claudia Eckert |
| 2015 | SAFECOMP | Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. | Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert |
| 2014 | SEFM | Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution. | Andreas Ibing |
| 2013 | CARDIS | Clustering Algorithms for Non-profiled Single-Execution Attacks on Exponentiations. | Johann Heyszl, Andreas Ibing, Stefan Mangard, Fabrizio De Santis, Georg Sigl |
| 2013 | SEFM | SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. | Andreas Ibing |
| 2011 | VTC | On Channel Correlation Based Scheduling and Signalling for MIMO-OFDMA Downlink. | Andreas Ibing, Holger Boche, Philip Otto |
| 2010 | VTC | On Complexity-Reduced Implementation of Multi-Dimensional Wiener Interpolation Filtering. | Huijun Li, Andreas Ibing |
| 2009 | GLOBECOM | On the Relation of MIMO APP Detection and SIMO Maximum Ratio Combining. | Andreas Ibing, David Khling, Holger Boche |
| 2008 | WCNC | Fair OFDMA Scheduling Algorithm Using Iterative Local Search with k-opt-Switches. | Andreas Ibing, Holger Boche |
| 2008 | TridentCom | Flexible demonstrator platform for cooperative joint transmission and detection in next generation wireless MIMO-OFDM networks. | Andreas Ibing, David Khling, Marcel Kuszak, Clemens Von Helmolt, Volker Jungnickel |
| 2007 | VTC | On Hardware Implementation of Multiuser Multiplexing for SC-FDMA. | Andreas Ibing, Volker Jungnickel |