![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sibylle Schupp
Person information
- affiliation: Hamburg University of Technology, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
- [b1]Sibylle Schupp:
Generic programming - SUCHTHAT one can build an algebraic library. University of Tübingen, Germany, 1996, pp. 1-89
Journal Articles
- 2023
- [j22]Sascha Lehmann, Sibylle Schupp:
Bounded DBM-based clock state construction for timed automata in Uppaal. Int. J. Softw. Tools Technol. Transf. 25(1): 19-47 (2023) - 2022
- [j21]Kai Bavendiek
, Sibylle Schupp:
A process calculus for privacy-preserving protocols in location-based service systems. J. Log. Algebraic Methods Program. 125: 100735 (2022) - 2019
- [j20]Robin Adams
, Wolfgang Schulz, Sibylle Schupp, Florian Wittner:
Guaranteeing privacy policies using lightweight type systems. Comput. Law Secur. Rev. 35(6): 105337 (2019) - 2018
- [j19]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): 1755-1766 (2018) - 2016
- [j18]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): 2085-2096 (2016) - [j17]Sven Mattsen, Sibylle Schupp:
The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. Softwaretechnik-Trends 36(2) (2016) - [j16]Arne Wichmann, Sandro Schulze, Sibylle Schupp:
Analyzing Malware Putty using Function Alignment in the Binary. Softwaretechnik-Trends 36(2) (2016) - 2015
- [j15]Arne Wichmann, Sibylle Schupp:
Visual Analysis of Control Coupling for Executables. Softwaretechnik-Trends 35(2) (2015) - [j14]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): 91-105 (2015) - 2011
- [j13]Nicola Botta, Antoine Mandel, Cezar Ionescu, Mareen Hofmann, Daniel Lincke, Sibylle Schupp, Carlo Jaeger:
A functional framework for agent-based models of exchange. Appl. Math. Comput. 218(8): 4025-4040 (2011) - [j12]Gustav Munkby, Sibylle Schupp:
Automating exception-safety classification. Sci. Comput. Program. 76(4): 278-289 (2011) - [j11]Sibylle Schupp, Andrew Walenstein:
Guest editor's introduction to the special section on source code analysis and manipulation. Softw. Qual. J. 19(2): 237-238 (2011) - 2010
- [j10]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): 271-302 (2010) - [j9]Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp:
Extending Scala with Database Query Capability. J. Object Technol. 9(4): 45-68 (2010) - 2009
- [j8]Marcin Zalewski, Sibylle Schupp:
A Semantic Definition of Separate Type Checking in C++ with Concepts. J. Object Technol. 8(5): 105-132 (2009) - 2006
- [j7]Douglas P. Gregor, Sibylle Schupp:
STLlint: lifting static checking from languages to libraries. Softw. Pract. Exp. 36(3): 225-254 (2006) - 2005
- [j6]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): 145-164 (2005) - 2003
- [j5]Sibylle Schupp:
Lifting a butterfly - A component-based FFT. Sci. Program. 11(4): 291-307 (2003) - [j4]Douglas P. Gregor, Sibylle Schupp, David R. Musser:
Design patterns for library optimization. Sci. Program. 11(4): 309-320 (2003) - 2002
- [j3]Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu:
Semantic and behavioral library transformations. Inf. Softw. Technol. 44(13): 797-810 (2002) - 2001
- [j2]Gor V. Nishanov, Sibylle Schupp:
A mostly-copying collector component for class templates. Softw. Pract. Exp. 31(5): 445-470 (2001) - 2000
- [j1]Sibylle Schupp:
Lazy Lists in C++. ACM SIGPLAN Notices 35(6): 47-54 (2000)
Conference and Workshop Papers
- 2024
- [c58]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: 193-209 - 2023
- [c57]Ole Lübke, Konrad Fuger
, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp:
Computer Aided Design and Grading for an Electronic Functional Programming Exam. TFPIE 2023: 22-44 - 2022
- [c56]Sascha Lehmann, Antje Rogalla
, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer
, Sibylle Schupp:
Modeling R3 Needle Steering in Uppaal. MARS@ETAPS 2022: 40-59 - 2021
- [c55]Ole Lübke
, Sibylle Schupp:
WCET-aware reachability for verified simplex design: work-in-progress. EMSOFT 2021: 27-28 - [c54]Sascha Lehmann, Antje Rogalla
, Maximilian Neidhardt, Alexander Schlaefer
, Sibylle Schupp:
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. FMAS 2021: 128-135 - 2020
- [c53]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: 153-173 - [c52]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: 261-274 - 2019
- [c51]Jan Kaiser, Kai Bavendiek, Sibylle Schupp:
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data. GI-Jahrestagung 2019: 205-218 - [c50]Dmitry Ivanov, Sibylle Schupp:
Static analysis for worst-case battery utilization. FormaliSE@ICSE 2019: 1-10 - [c49]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: 345-358 - 2018
- [c48]Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer
, Sibylle Schupp:
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. CyPhy/WESE 2018: 170-189 - [c47]Kai Bavendiek, Robin Adams
, Sibylle Schupp:
Privacy-Preserving Architectures with Probabilistic Guaranties. PST 2018: 1-10 - [c46]Dmitry Ivanov, Kim G. Larsen
, Sibylle Schupp, Jirí Srba
:
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST 2018: 173-189 - [c45]Julia Padberg, Alexander Schlaefer, Sibylle Schupp:
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering 2018: 209-210 - [c44]Robin Adams
, Sibylle Schupp:
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. VSTTE 2018: 196-214 - 2017
- [c43]Alexander Schlaefer, Sibylle Schupp, André Stollenwerk:
FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems. Software Engineering 2017: 45 - [c42]Seyed H. Haeri, Sibylle Schupp:
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. SCSS 2017: 16-28 - 2016
- [c41]Alexander Schlaefer, Sibylle Schupp, André Stollenwerk:
FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems. Software Engineering 2016: 127-128 - [c40]Alexander Schlaefer, Sibylle Schupp, André Stollenwerk:
2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering (Workshops) 2016: 172-173 - [c39]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: 182-186 - [c38]Seyed H. Haeri, Sibylle Schupp:
Expression Compatibility Problem. SCSS 2016: 55-67 - 2015
- [c37]Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer:
Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie. CURAC 2015: 133-138 - [c36]Arne Wichmann, Sibylle Schupp:
Matching machine-code functions in executables within one product line via bioinformatic sequence alignment. MUD@ICSME 2015: 1-5 - [c35]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: 15-18 - [c34]Alexander Schlaefer, Sibylle Schupp:
Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering & Management 2015: 268 - [c33]Sven Mattsen, Arne Wichmann, Sibylle Schupp:
A non-convex abstract domain for the value analysis of binaries. SANER 2015: 271-280 - 2014
- [c32]Marcel Heing-Becker, Timo Kamph, Sibylle Schupp:
Bit-error injection for software developers. CSMR-WCRE 2014: 434-439 - [c31]Jonas Rinast, Sibylle Schupp, Dieter Gollmann:
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. FM 2014: 547-562 - [c30]Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann:
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. MCPS 2014: 100-112 - [c29]Seyed H. Haeri
, Sibylle Schupp:
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. PDP 2014: 751-755 - [c28]Felix Kurth, Sibylle Schupp, Stephan Weißleder:
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. TAP@STAF 2014: 169-186 - [c27]Sibel Toprak
, Arne Wichmann, Sibylle Schupp:
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions. VISSOFT 2014: 97-106 - 2013
- [c26]Clemens Terasa, Sibylle Schupp:
Annotation-Guided Soft-Error Injection. GI-Jahrestagung 2013: 2592-2605 - [c25]Sven Mattsen, Pascal Cuoq, Sibylle Schupp:
Driving a sound static software analyzer with branch-and-bound. SCAM 2013: 63-68 - [c24]Timo Kamph, Peter Salden, Sibylle Schupp, Christian Kautz:
Just-In-Time Teaching für Software-Engineering. SEUH 2013: 9-15 - [c23]Seyed H. Haeri
, Sibylle Schupp:
Reusable Components for Lightweight Mechanisation of Programming Languages. SC@STAF 2013: 1-16 - 2012
- [c22]Jonas Rinast, Sibylle Schupp:
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics. FORMATS 2012: 220-235 - [c21]Seyed H. Haeri
, Sibylle Schupp, Jonathan J. Hüser:
Using functional languages to facilitate C++ metaprogramming. WGP@ICFP 2012: 33-44 - [c20]Daniel Lincke, Sibylle Schupp:
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages. LDTA 2012: 3 - 2009
- [c19]Daniel Lincke, Sibylle Schupp:
The function concept in C++: an empirical study. WGP@ICFP 2009: 25-36 - [c18]Gustav Munkby, Sibylle Schupp:
Type Inference for Soft-Error Fault-Tolerance Prediction. ASE 2009: 65-75 - 2008
- [c17]Jean-Philippe Bernardy, Patrik Jansson
, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz:
A comparison of c++ concepts and haskell type classes. ICFP-WGP 2008: 37-48 - 2007
- [c16]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: 30-37 - [c15]Andreas P. Priesnitz, Sibylle Schupp:
Generic Components for Static Operations at Object Level. ICSOFT/ENASE (Selected Papers) 2007: 46-59 - 2006
- [c14]Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski:
Scrap++: scrap your boilerplate in C++. ICFP-WGP 2006: 66-75 - [c13]Marcin Zalewski, Sibylle Schupp:
Change Impact Analysis for Generic Libraries. ICSM 2006: 35-44 - [c12]Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek
:
LCSD: library-centric software design. OOPSLA Companion 2006: 618 - 2004
- [c11]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 - [c10]Sibylle Schupp, Marcin Zalewski, Kyle Ross:
Rapid performance prediction for library components. WOSP 2004: 69-73 - 2003
- [c9]Marcin Zalewski, Sibylle Schupp:
A Polymorphic Radix- n Framework for Fast Fourier Transforms. Ershov Memorial Conference 2003: 30-37 - 2002
- [c8]Douglas P. Gregor, Sibylle Schupp:
Making the Usage of STL Safe. Generic Programming 2002: 127-140 - [c7]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 - 2001
- [c6]Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu:
User-Extensible Simplification - Type-Based Optimizer Generators. CC 2001: 86-101 - [c5]Douglas P. Gregor, Sibylle Schupp, David R. Musser:
Base Class Injection. GCSE 2001: 106-117 - [c4]Sibylle Schupp, Douglas P. Gregor, David R. Musser:
Library Transformations. SCAM 2001: 111-123 - 1998
- [c3]David R. Musser, Sibylle Schupp, Rüdiger Loos:
Requirement Oriented Programming. Generic Programming 1998: 12-24 - [c2]Sibylle Schupp, Rüdiger Loos:
SUCHTHAT - Generic Programming Works. Generic Programming 1998: 133-145 - [c1]Gor V. Nishanov, Sibylle Schupp:
Garbage Collection in Generic Libraries. ISMM 1998: 86-96
Editorship
- 2016
- [e3]Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. CEUR Workshop Proceedings 1559, CEUR-WS.org 2016 [contents] - 2015
- [e2]Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón y Widemann, Thorsten Weyer:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. CEUR Workshop Proceedings 1337, CEUR-WS.org 2015 [contents] - 2009
- [e1]Patrik Jansson, Sibylle Schupp:
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-510-9 [contents]
Informal and Other Publications
- 2019
- [i2]Robin Adams, Sibylle Schupp:
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components. CoRR abs/1901.10892 (2019) - [i1]Sibylle Schupp:
Tool Support of Formal Methods for Privacy by Design. CoRR abs/1903.11092 (2019)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint