| 2025 | ICSoft | Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations. | Daniel Rashedi, Sibylle Schupp |
| 2021 | EMSOFT | WCET-aware reachability for verified simplex design: work-in-progress. | Ole Lbke, Sibylle Schupp |
| 2020 | DBSEC | Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids. | Marius Stbs, Tobias Mueller, Kai Bavendiek, Manuel Lsch, Sibylle Schupp, Hannes Federrath |
| 2019 | GI | Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data. | Jan Kaiser, Kai Bavendiek, Sibylle Schupp |
| 2019 | ICSE | Static analysis for worst-case battery utilization. | Dmitry Ivanov, Sibylle Schupp |
| 2019 | SEC | Automatically Proving Purpose Limitation in Software Architectures. | Kai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian-Alexander Behrendt, Wolfgang Schulz, Hannes Federrath, Sibylle Schupp |
| 2018 | PST | Privacy-Preserving Architectures with Probabilistic Guaranties. | Kai Bavendiek, Robin Adams, Sibylle Schupp |
| 2014 | FM | A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. | Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
| 2014 | PDP | Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. | Seyed H. Haeri, Sibylle Schupp |
| 2014 | TAP | Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. | Felix Kurth, Sibylle Schupp, Stephan Weileder |
| 2014 | VISSOFT | Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions. | Sibel Toprak, Arne Wichmann, Sibylle Schupp |
| 2013 | GI | Annotation-Guided Soft-Error Injection. | Clemens Terasa, Sibylle Schupp |
| 2013 | SCAM | Driving a sound static software analyzer with branch-and-bound. | Sven Mattsen, Pascal Cuoq, Sibylle Schupp |
| 2012 | ICFP | Using functional languages to facilitate C++ metaprogramming. | Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hser |
| 2009 | ICFP | The function concept in C++: an empirical study. | Daniel Lincke, Sibylle Schupp |
| 2008 | ICFP | A comparison of c++ concepts and haskell type classes. | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
| 2007 | ICSoft | A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family Containers. | Andreas P. Priesnitz, Sibylle Schupp |
| 2007 | ICSoft | Generic Components for Static Operations at Object Level. | Andreas P. Priesnitz, Sibylle Schupp |
| 2006 | ICFP | Scrap++: scrap your boilerplate in C++. | Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski |
| 2006 | OOPSLA | LCSD: library-centric software design. | Josh Bloch, Jaakko Jrvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek |
| 2001 | CC | User-Extensible Simplification - Type-Based Optimizer Generators. | Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu |
| 2001 | SCAM | Library Transformations. | Sibylle Schupp, Douglas P. Gregor, David R. Musser |