Andreas Ibing

36 papers A 1B 3C 3Misc 1Journal 4Unranked 22
YearRankTypeTitle / Venue / Authors
2017 — —
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging.
Andreas Ibing
2016 — conf
Autocorrelation-Based Detection of Infinite Loops at Runtime.
DASC/PiCom/DataCom/CyberSciTech
Andreas Ibing, Julian Kirsch, Lorenz Panny
2016 C conf
Efficient Data-Race Detection with Dynamic Symbolic Execution.
FedCSIS
Andreas Ibing
2015 — conf
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops.
HASE
Andreas Ibing, Alexandra Mai
2015 A conf
Architecture description language based retargetable symbolic execution.
DATE
Andreas Ibing
2015 — conf
Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code.
QRS Companion
Paul Muntean, Adnan Rabbi, Andreas Ibing, Claudia Eckert
2015 B conf
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT.
SAFECOMP
Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert
2015 — conf
SMT-constrained symbolic execution engine for integer overflow detection in C code.
ISSA
Paul Muntean, Mustafizur Rahman, Andreas Ibing, Claudia Eckert
2014 — conf
Context-sensitive detection of information exposure bugs with symbolic execution.
InnoSWDev@SIGSOFT FSE
Paul Muntean, Claudia Eckert, Andreas Ibing
2014 — conf
Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.
SEFM Workshops
Andreas Ibing
2013 J jnl
Clustering Algorithms for Non-Profiled Single-Execution Attacks on Exponentiations.
IACR Cryptol. ePrint Arch.
Johann Heyszl, Andreas Ibing, Stefan Mangard, Fabrizio De Santis, Georg Sigl
2013 C conf
Clustering Algorithms for Non-profiled Single-Execution Attacks on Exponentiations.
CARDIS
Johann Heyszl, Andreas Ibing, Stefan Mangard, Fabrizio De Santis, Georg Sigl
2013 — conf
On implementing trusted boot for embedded systems.
HOST
Obaid Khalid, Carsten Rolfes, Andreas Ibing
2013 C conf
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.
ICTSS
Andreas Ibing
2013 — conf
SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.
SEFM Workshops
Andreas Ibing
2012 — conf
A Secure Architecture for Smart Meter Systems.
CSS
Daniel Angermeier, Konstantin Böttinger, Andreas Ibing, Dieter Schuster, Frederic Stumpf, Dirk Wacker
2012 J jnl
On Side Channel Cryptanalysis and Sequential Decoding
CoRR
Andreas Ibing
2011 — conf
Automatic Joint Optimization of Iterative MIMO-OFDM Receiver Algorithms on a Meta Level.
ICC
Andreas Ibing, Holger Boche
2011 — conf
On Channel Correlation Based Scheduling and Signalling for MIMO-OFDMA Downlink.
VTC Spring
Andreas Ibing, Holger Boche, Philip Otto
2011 — —
Search based software design for communication receivers.
Andreas Ibing
2010 — conf
Joint model for fine synchronization and adaptive LMMSE channel estimation in uplink OFDMA.
ISWCS
Kamran Khan, Andreas Ibing, Dirk Dahinaus
2010 — conf
On Complexity-Reduced Implementation of Multi-Dimensional Wiener Interpolation Filtering.
VTC Fall
Huijun Li, Andreas Ibing
2010 J jnl
On Predicting Convergence of Iterative MIMO Detection-Decoding With Concatenated Codes.
IEEE Trans. Veh. Technol.
Andreas Ibing, Holger Boche
2010 J jnl
Reliability-based hybrid MMSE/subspace-max-log-APP MIMO detector.
IEEE Commun. Lett.
Andreas Ibing, David Kühling, Holger Boche
2009 — conf
On network processor based protocol stack implementation for 4G base stations.
WTS
Christopher Holmes, Andreas Ibing, David Kühling
2009 B conf
On the Relation of MIMO APP Detection and SIMO Maximum Ratio Combining.
GLOBECOM
Andreas Ibing, David Kühling, Holger Boche
2009 — conf
Performance Evaluation of a Low-Complexity LTE Base Station Receiver.
MCSS
Xiaoyin Zhao, Andreas Ibing
2008 — conf
12x12 MIMO-OFDM Realtime Implementation for 3GPP LTE+ on a Cell Processor.
EW
David Kühling, Andreas Ibing, Volker Jungnickel
2008 — conf
A novel low-complexity algorithm for linear MMSE MIMO receivers.
ISWPC
David Kühling, Andreas Ibing
2008 B conf
Fair OFDMA Scheduling Algorithm Using Iterative Local Search with k-opt-Switches.
WCNC
Andreas Ibing, Holger Boche
2008 Misc conf
Flexible demonstrator platform for cooperative joint transmission and detection in next generation wireless MIMO-OFDM networks.
TRIDENTCOM
Andreas Ibing, David Kühling, Marcel Kuszak, Clemens Von Helmolt, Volker Jungnickel
2008 — conf
Joint Transmission and Detection in Hexagonal Grid for 3GPP LTE.
ICOIN
Andreas Ibing, Volker Jungnickel
2008 — conf
MMSE channel estimation and time synchronization tracking for cooperative MIMO-OFDM with propagation delay differences.
ISWCS
Andreas Ibing, Konstantinos Manolakis
2008 — conf
Performance Evaluation of a 3GPP LTE Terminal Receiver.
EW
Konstantinos Manolakis, Andreas Ibing, Volker Jungnickel
2008 — conf
Scaleable network multicast for cooperative base stations.
COMSWARE
Andreas Ibing, Yosia Hadisusanto, Volker Jungnickel
2007 — conf
On Hardware Implementation of Multiuser Multiplexing for SC-FDMA.
VTC Fall
Andreas Ibing, Volker Jungnickel