Andreas Ibing
Dr. Andreas Ibing
Alumni
| E-Mail: | Andreas Ibing |
| now at Bosch GmbH |
Publications
| 2016 | Efficient Data-Race Detection with Dynamic Symbolic Execution
IEEE Software Engineering Workshop |
|
| Autocorrelation-Based Detection of Infinite Loops at Runtime
IEEE Int. Conf. Dependable, Autonomic and Secure Computing |
||
| Dynamic Symbolic Execution with Interpolation Based Path Merging
Int. Conf. Advances and Trends in Software Engineering |
||
| 2015 | Dynamic Symbolic Execution using Eclipse CDT
Int. Conf. Software Eng. Advances |
|
| Automated Generation of Buffer Overflows Quick Fixes using Symbolic Execution and SMT
International Conference on Computer Safety, Reliability & Security (SAFECOMP), Delft, The Netherlands, September 2015. Springer LNCS |
||
| Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code
International Conference on Software Quality, Reliability and Security Companion (QRS-C), Vancouver, Canada |
||
| A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops
IEEE Int. Symp. High Assurance Systems Eng. |
||
| 2014 | Context-sensitive Detection of Information Exposure Bugs with Symbolic Execution
International Workshop on Innovative Software Development Methodologies and Practices (InnoSWDev), Hong Kong, China |
|
| 2012 | A Secure Architecture for Smart Meter Systems
4th International Symposium on Cyberspace Safety and Security (CSS 2012) |