Sibylle Schupp

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 37

Top Venues

MARS@ETAPS

Software Engineering

CoRR

Softwaretechnik-Trends

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Lars Beckers, Stefan Gerlach, Ole Lübke, Alexander Schlaefer, Sibylle Schupp
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. MARS@ETAPS (2024)
Sascha Lehmann, Sibylle Schupp
Bounded DBM-based clock state construction for timed automata in Uppaal. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp
Computer Aided Design and Grading for an Electronic Functional Programming Exam. CoRR (2023)
Kai Bavendiek, Sibylle Schupp
A process calculus for privacy-preserving protocols in location-based service systems. J. Log. Algebraic Methods Program. 125 (2022)
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp
Needle Steering in Uppaal. MARS@ETAPS (2022)
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. FMAS (2021)
Ole Lübke, Sibylle Schupp
WCET-aware reachability for verified simplex design: work-in-progress. EMSOFT (2021)
Marius Stübs, Tobias Mueller, Kai Bavendiek, Manuel Lösch, Sibylle Schupp, Hannes Federrath
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids. DBSec (2020)
Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp
Synthesizing Strategies for Needle Steering in Gelatin Phantoms. MARS@ETAPS (2020)
Jan Kaiser, Kai Bavendiek, Sibylle Schupp
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data. GI-Jahrestagung (2019)
Robin Adams, Wolfgang Schulz, Sibylle Schupp, Florian Wittner
Guaranteeing privacy policies using lightweight type systems. Comput. Law Secur. Rev. 35 (6) (2019)
Kai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian-Alexander Behrendt, Wolfgang Schulz, Hannes Federrath, Sibylle Schupp
Automatically Proving Purpose Limitation in Software Architectures. SEC (2019)
Dmitry Ivanov, Sibylle Schupp
Static analysis for worst-case battery utilization. FormaliSE@ICSE (2019)
Sibylle Schupp
Tool Support of Formal Methods for Privacy by Design. CoRR (2019)
Robin Adams, Sibylle Schupp
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components. CoRR (2019)
Sven-Thomas Antoni, Sascha Lehmann, Maximilian Neidhardt, Kai Fehrs, Christian Ruprecht, Fabian Kording, Gerhard Adam, Sibylle Schupp, Alexander Schlaefer
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI. Int. J. Comput. Assist. Radiol. Surg. 13 (11) (2018)
Robin Adams, Sibylle Schupp
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. VSTTE (2018)
Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. CyPhy/WESE (2018)
Julia Padberg, Alexander Schlaefer, Sibylle Schupp
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering (2018)
Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST (2018)
Kai Bavendiek, Robin Adams, Sibylle Schupp
Privacy-Preserving Architectures with Probabilistic Guaranties. PST (2018)
Seyed H. Haeri, Sibylle Schupp
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. SCSS (2017)
Alexander Schlaefer, Sibylle Schupp, André Stollenwerk
FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems. Software Engineering (2017)
Seyed H. Haeri, Sibylle Schupp
Expression Compatibility Problem. SCSS (2016)
Arne Wichmann, Sandro Schulze, Sibylle Schupp
Analyzing Malware Putty using Function Alignment in the Binary. Softwaretechnik-Trends 36 (2) (2016)
Alexander Schlaefer, Sibylle Schupp, André Stollenwerk
2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering (Workshops) (2016)
Sven-Thomas Antoni, Xintao Ma, Sibylle Schupp, Alexander Schlaefer
Reducing False Discovery Rates for On-line Model Checking Based Detection of Respiratory Motion Artifacts. Software Engineering (Workshops) (2016)
Alexander Schlaefer, Sibylle Schupp, André Stollenwerk
FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems. Software Engineering (2016)
Sven Mattsen, Sibylle Schupp
The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. Softwaretechnik-Trends 36 (2) (2016)
Sven-Thomas Antoni, Jonas Rinast, Xintao Ma, Sibylle Schupp, Alexander Schlaefer
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy. Int. J. Comput. Assist. Radiol. Surg. 11 (11) (2016)
Alexander Schlaefer, Sibylle Schupp
Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering & Management (2015)
Arne Wichmann, Sibylle Schupp
Matching machine-code functions in executables within one product line via bioinformatic sequence alignment. MUD@ICSME (2015)
Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. CURAC (2015)
Daniel Lincke, Sibylle Schupp, Cezar Ionescu
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Arne Wichmann, Sibylle Schupp
Visual Analysis of Control Coupling for Executables. Softwaretechnik-Trends 35 (2) (2015)
Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. Software Engineering (Workshops) (2015)
Sven Mattsen, Arne Wichmann, Sibylle Schupp
A non-convex abstract domain for the value analysis of binaries. SANER (2015)
Jonas Rinast, Sibylle Schupp, Dieter Gollmann
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. FM (2014)
Felix Kurth, Sibylle Schupp, Stephan Weißleder
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. TAP@STAF (2014)
Seyed H. Haeri, Sibylle Schupp
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. PDP (2014)
Marcel Heing-Becker, Timo Kamph, Sibylle Schupp
Bit-error injection for software developers. CSMR-WCRE (2014)
Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. MCPS (2014)
Sibel Toprak, Arne Wichmann, Sibylle Schupp
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions. VISSOFT (2014)
Timo Kamph, Peter Salden, Sibylle Schupp, Christian Kautz
Just-In-Time Teaching für Software-Engineering. SEUH (2013)
Sven Mattsen, Pascal Cuoq, Sibylle Schupp
Driving a sound static software analyzer with branch-and-bound. SCAM (2013)
Seyed H. Haeri, Sibylle Schupp
Reusable Components for Lightweight Mechanisation of Programming Languages. SC@STAF (2013)
Clemens Terasa, Sibylle Schupp
Annotation-Guided Soft-Error Injection. GI-Jahrestagung (2013)
Seyed H. Haeri, Sibylle Schupp, Jonathan Hüser
Using functional languages to facilitate C++ metaprogramming. WGP@ICFP (2012)
Jonas Rinast, Sibylle Schupp
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. FORMATS (2012)
Daniel Lincke, Sibylle Schupp
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages. LDTA (2012)
Gustav Munkby, Sibylle Schupp
Automating exception-safety classification. Sci. Comput. Program. 76 (4) (2011)
Sibylle Schupp, Andrew Walenstein
Guest editor's introduction to the special section on source code analysis and manipulation. Softw. Qual. J. 19 (2) (2011)
Nicola Botta, Antoine Mandel, Cezar Ionescu, M. Hofmann, Daniel Lincke, Sibylle Schupp, Carlo Jaeger
A functional framework for agent-based models of exchange. Appl. Math. Comput. 218 (8) (2011)
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp
Extending Scala with Database Query Capability. J. Object Technol. 9 (4) (2010)
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. 20 (3-4) (2010)
Daniel Lincke, Sibylle Schupp
The function concept in C++: an empirical study. WGP@ICFP (2009)
Marcin Zalewski, Sibylle Schupp
A Semantic Definition of Separate Type Checking in C++ with Concepts. J. Object Technol. 8 (5) (2009)
Gustav Munkby, Sibylle Schupp
Type Inference for Soft-Error Fault-Tolerance Prediction. ASE (2009)
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
A comparison of c++ concepts and haskell type classes. ICFP-WGP (2008)
Andreas P. Priesnitz, Sibylle Schupp
Generic Components for Static Operations at Object Level. ICSOFT/ENASE (Selected Papers) (2007)
Andreas P. Priesnitz, Sibylle Schupp
A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family Containers. ICSOFT (PL/DPS/KE/MUSE) (2007)
Douglas P. Gregor, Sibylle Schupp
STLlint: lifting static checking from languages to libraries. Softw. Pract. Exp. 36 (3) (2006)
Marcin Zalewski, Sibylle Schupp
Change Impact Analysis for Generic Libraries. ICSM (2006)
Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski
Scrap++: scrap your boilerplate in C++. ICFP-WGP (2006)
Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek
LCSD: library-centric software design. OOPSLA Companion (2006)
Douglas P. Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp
Generic Programming and High-Performance Libraries. Int. J. Parallel Program. 33 (2-3) (2005)
Sibylle Schupp, Marcin Zalewski, Kyle Ross
Rapid performance prediction for library components. WOSP (2004)
Jaakko Järvi, Andrew Lumsdaine, Douglas P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp
Generic Programming and High-Performance Libraries. IPDPS Next Generation Software Program - NSFNGS - PI Workshop (2004)
Marcin Zalewski, Sibylle Schupp
A Polymorphic Radix- n Framework for Fast Fourier Transforms. Ershov Memorial Conference (2003)
Sibylle Schupp
Lifting a butterfly - A component-based FFT. Sci. Program. 11 (4) (2003)
Douglas P. Gregor, Sibylle Schupp, David R. Musser
Design patterns for library optimization. Sci. Program. 11 (4) (2003)
Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine
Concept-Based Component Libraries and Optimizing Compilers. IPDPS (2002)
Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu
Semantic and behavioral library transformations. Inf. Softw. Technol. 44 (13) (2002)
Douglas P. Gregor, Sibylle Schupp
Making the Usage of STL Safe. Generic Programming (2002)
Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu
User-Extensible Simplification - Type-Based Optimizer Generators. CC (2001)
Gor V. Nishanov, Sibylle Schupp
A mostly-copying collector component for class templates. Softw. Pract. Exp. 31 (5) (2001)
Sibylle Schupp, Douglas P. Gregor, David R. Musser
Library Transformations. SCAM (2001)
Douglas P. Gregor, Sibylle Schupp, David R. Musser
Base Class Injection. GCSE (2001)
Sibylle Schupp
Lazy Lists in C++. ACM SIGPLAN Notices 35 (6) (2000)
David R. Musser, Sibylle Schupp, Rüdiger Loos
Requirement Oriented Programming. Generic Programming (1998)
Gor V. Nishanov, Sibylle Schupp
Garbage Collection in Generic Libraries. ISMM (1998)
Sibylle Schupp, Rüdiger Loos
SUCHTHAT - Generic Programming Works. Generic Programming (1998)

Sibylle Schupp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sibylle Schupp