Generic programming - SUCHTHAT one can build an algebraic library. - Sibylle Schupp (1996)

Requirement Oriented Programming. - David R. Musser; Sibylle Schupp; Rüdiger Loos (Generic Programming, 1998)

SUCHTHAT - Generic Programming Works. - Sibylle Schupp; Rüdiger Loos (Generic Programming, 1998)

Garbage Collection in Generic Libraries. - Gor V. Nishanov; Sibylle Schupp (ISMM, 1998)

Lazy Lists in C++. - Sibylle Schupp (ACM SIGPLAN Notices, 2000)

User-Extensible Simplification - Type-Based Optimizer Generators. - Sibylle Schupp; Douglas P. Gregor; David R. Musser; Shin-Ming Liu (CC, 2001)

Base Class Injection. - Douglas P. Gregor; Sibylle Schupp; David R. Musser (GCSE, 2001)

Library Transformations. - Sibylle Schupp; Douglas P. Gregor; David R. Musser (SCAM, 2001)

A mostly-copying collector component for class templates. - Gor V. Nishanov; Sibylle Schupp (Softw. Pract. Exp., 2001)

Making the Usage of STL Safe. - Douglas P. Gregor; Sibylle Schupp (Generic Programming, 2002)

Concept-Based Component Libraries and Optimizing Compilers. - Sibylle Schupp; Douglas P. Gregor; B. Osman; David R. Musser; Jeremy G. Siek; Lie-Quan Lee; Andrew Lumsdaine (IPDPS, 2002)

Semantic and behavioral library transformations. - Sibylle Schupp; Douglas P. Gregor; David R. Musser; Shin-Ming Liu (Inf. Softw. Technol., 2002)

A Polymorphic Radix- n Framework for Fast Fourier Transforms. - Marcin Zalewski; Sibylle Schupp (Ershov Memorial Conference, 2003)

Design patterns for library optimization. - Douglas P. Gregor; Sibylle Schupp; David R. Musser (Sci. Program., 2003)

Lifting a butterfly - A component-based FFT. - Sibylle Schupp (Sci. Program., 2003)

Rapid performance prediction for library components. - Sibylle Schupp; Marcin Zalewski; Kyle Ross (WOSP, 2004)

Generic Programming and High-Performance Libraries. - Douglas P. Gregor; Jaakko Järvi; Mayuresh Kulkarni; Andrew Lumsdaine; David R. Musser; Sibylle Schupp (Int. J. Parallel Program., 2005)

Scrap++: scrap your boilerplate in C++. - Gustav Munkby; Andreas P. Priesnitz; Sibylle Schupp; Marcin Zalewski (ICFP-WGP, 2006)

Change Impact Analysis for Generic Libraries. - Marcin Zalewski; Sibylle Schupp (ICSM, 2006)

LCSD: library-centric software design. - Josh Bloch; Jaakko Järvi; David R. Musser; Sibylle Schupp; Jeremy G. Siek (OOPSLA Companion, 2006)

STLlint: lifting static checking from languages to libraries. - Douglas P. Gregor; Sibylle Schupp (Softw. Pract. Exp., 2006)

A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family Containers. - Andreas P. Priesnitz; Sibylle Schupp (ICSOFT (PL/DPS/KE/MUSE), 2007)

Generic Components for Static Operations at Object Level. - Andreas P. Priesnitz; Sibylle Schupp (ICSOFT/ENASE (Selected Papers), 2007)

A comparison of c++ concepts and haskell type classes. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp; Andreas P. Priesnitz (ICFP-WGP, 2008)

The function concept in C++: an empirical study. - Daniel Lincke; Sibylle Schupp (WGP@ICFP, 2009)

Type Inference for Soft-Error Fault-Tolerance Prediction. - Gustav Munkby; Sibylle Schupp (ASE, 2009)

A Semantic Definition of Separate Type Checking in C++ with Concepts. - Marcin Zalewski; Sibylle Schupp (J. Object Technol., 2009)

Generic programming with C++ concepts and Haskell type classes - a comparison. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp (J. Funct. Program., 2010)

Extending Scala with Database Query Capability. - Miguel Garcia 003; Anastasia Izmaylova; Sibylle Schupp (J. Object Technol., 2010)

A functional framework for agent-based models of exchange. - Nicola Botta; Antoine Mandel; Cezar Ionescu; Mareen Hofmann; Daniel Lincke; Sibylle Schupp; Carlo Jaeger (Appl. Math. Comput., 2011)

Automating exception-safety classification. - Gustav Munkby; Sibylle Schupp (Sci. Comput. Program., 2011)

Guest editor's introduction to the special section on source code analysis and manipulation. - Sibylle Schupp; Andrew Walenstein (Softw. Qual. J., 2011)

Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. - Jonas Rinast; Sibylle Schupp (FORMATS, 2012)

Using functional languages to facilitate C++ metaprogramming. - Seyed H. Haeri; Sibylle Schupp; Jonathan J. Hüser (WGP@ICFP, 2012)

From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages. - Daniel Lincke; Sibylle Schupp (LDTA, 2012)

Annotation-Guided Soft-Error Injection. - Clemens Terasa; Sibylle Schupp (GI-Jahrestagung, 2013)

Driving a sound static software analyzer with branch-and-bound. - Sven Mattsen; Pascal Cuoq; Sibylle Schupp (SCAM, 2013)

Just-In-Time Teaching für Software-Engineering. - Timo Kamph; Peter Salden; Sibylle Schupp; Christian Kautz (SEUH, 2013)

Reusable Components for Lightweight Mechanisation of Programming Languages. - Seyed H. Haeri; Sibylle Schupp (SC@STAF, 2013)

Bit-error injection for software developers. - Marcel Heing-Becker; Timo Kamph; Sibylle Schupp (CSMR-WCRE, 2014)

A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. - Jonas Rinast; Sibylle Schupp; Dieter Gollmann (FM, 2014)

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. - Xintao Ma; Jonas Rinast; Sibylle Schupp; Dieter Gollmann (MCPS, 2014)

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. - Seyed H. Haeri; Sibylle Schupp (PDP, 2014)

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. - Felix Kurth; Sibylle Schupp; Stephan Weißleder (TAP@STAF, 2014)

Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions. - Sibel Toprak; Arne Wichmann 001; Sibylle Schupp (VISSOFT, 2014)

Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. - Sven-Thomas Antoni; Jonas Rinast; Sibylle Schupp; Alexander Schlaefer (CURAC, 2015)

Matching machine-code functions in executables within one product line via bioinformatic sequence alignment. - Arne Wichmann 001; Sibylle Schupp (MUD@ICSME, 2015)

Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. - Sven-Thomas Antoni; Jonas Rinast; Sibylle Schupp; Alexander Schlaefer (Software Engineering (Workshops), 2015)

Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). - Alexander Schlaefer; Sibylle Schupp (Software Engineering & Management, 2015)

A non-convex abstract domain for the value analysis of binaries. - Sven Mattsen; Arne Wichmann 001; Sibylle Schupp (SANER, 2015)

Visual Analysis of Control Coupling for Executables. - Arne Wichmann 001; Sibylle Schupp (Softwaretechnik-Trends, 2015)

Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures. - Daniel Lincke; Sibylle Schupp; Cezar Ionescu (Int. J. Softw. Tools Technol. Transf., 2015)

Reducing False Discovery Rates for On-line Model Checking Based Detection of Respiratory Motion Artifacts. - Sven-Thomas Antoni; Xintao Ma; Sibylle Schupp; Alexander Schlaefer (Software Engineering (Workshops), 2016)

2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). - Alexander Schlaefer; Sibylle Schupp; André Stollenwerk (Software Engineering (Workshops), 2016)

FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems. - Alexander Schlaefer; Sibylle Schupp; André Stollenwerk (Software Engineering, 2016)

Expression Compatibility Problem. - Seyed H. Haeri; Sibylle Schupp (SCSS, 2016)

Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. - Sven-Thomas Antoni; Jonas Rinast; Xintao Ma; Sibylle Schupp; Alexander Schlaefer (Int. J. Comput. Assist. Radiol. Surg., 2016)

The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. - Sven Mattsen; Sibylle Schupp (Softwaretechnik-Trends, 2016)

Analyzing Malware Putty using Function Alignment in the Binary. - Arne Wichmann 001; Sandro Schulze; Sibylle Schupp (Softwaretechnik-Trends, 2016)

FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems. - Alexander Schlaefer; Sibylle Schupp; André Stollenwerk (Software Engineering, 2017)

Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. - Seyed H. Haeri; Sibylle Schupp (SCSS, 2017)

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. - Sascha Lehmann; Sven-Thomas Antoni; Alexander Schlaefer; Sibylle Schupp (CyPhy/WESE, 2018)

Privacy-Preserving Architectures with Probabilistic Guaranties. - Kai Bavendiek; Robin Adams 001; Sibylle Schupp (PST, 2018)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. - Dmitry Ivanov; Kim G. Larsen; Sibylle Schupp; Jirí Srba (QEST, 2018)

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. - Julia Padberg; Alexander Schlaefer; Sibylle Schupp (Software Engineering, 2018)

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. - Robin Adams 001; Sibylle Schupp (VSTTE, 2018)

Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI. - Sven-Thomas Antoni; Sascha Lehmann; Maximilian Neidhardt; Kai Fehrs; Christian Ruprecht; Fabian Kording; Gerhard Adam; Sibylle Schupp; Alexander Schlaefer (Int. J. Comput. Assist. Radiol. Surg., 2018)

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data. - Jan Kaiser; Kai Bavendiek; Sibylle Schupp (GI-Jahrestagung, 2019)

Static analysis for worst-case battery utilization. - Dmitry Ivanov; Sibylle Schupp (FormaliSE@ICSE, 2019)

Automatically Proving Purpose Limitation in Software Architectures. - Kai Bavendiek; Tobias Mueller; Florian Wittner; Thea Schwaneberg; Christian-Alexander Behrendt; Wolfgang Schulz 002; Hannes Federrath; Sibylle Schupp (SEC, 2019)

Guaranteeing privacy policies using lightweight type systems. - Robin Adams 001; Wolfgang Schulz 002; Sibylle Schupp; Florian Wittner (Comput. Law Secur. Rev., 2019)

Tool Support of Formal Methods for Privacy by Design. - Sibylle Schupp (CoRR, 2019)

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids. - Marius Stübs; Tobias Mueller; Kai Bavendiek; Manuel Lösch; Sibylle Schupp; Hannes Federrath (DBSec, 2020)

Synthesizing Strategies for Needle Steering in Gelatin Phantoms. - Antje Rogalla; Sascha Lehmann; Maximilian Neidhardt; Johanna Sprenger; Marcel Bengs; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2020)

WCET-aware reachability for verified simplex design: work-in-progress. - Ole Lübke; Sibylle Schupp (EMSOFT, 2021)

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Alexander Schlaefer; Sibylle Schupp (FMAS, 2021)

Modeling R3 Needle Steering in Uppaal. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Anton Reinecke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2022)

A process calculus for privacy-preserving protocols in location-based service systems. - Kai Bavendiek; Sibylle Schupp (J. Log. Algebraic Methods Program., 2022)

Computer Aided Design and Grading for an Electronic Functional Programming Exam. - Ole Lübke; Konrad Fuger; Fin Hendrik Bahnsen; Katrin Billerbeck; Sibylle Schupp (TFPIE, 2023)

Bounded DBM-based clock state construction for timed automata in Uppaal. - Sascha Lehmann; Sibylle Schupp (Int. J. Softw. Tools Technol. Transf., 2023)

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. - Lars Beckers; Stefan Gerlach; Ole Lübke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2024)

Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations. - Daniel Rashedi; Sibylle Schupp (ICSOFT, 2025)

A provably safe controller for the needle-steering problem using online strategy synthesis. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Alexander Schlaefer; Sibylle Schupp (Sci. Comput. Program., 2025)

A model template for reachability-based containment checking of imprecise observations in timed automata. - Sascha Lehmann; Sibylle Schupp (Softw. Syst. Model., 2025)