default search action
Sibylle Schupp
Person information
- affiliation: Hamburg University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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
- [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) - [c57]Ole Lübke, Konrad Fuger
Computer Aided Design and Grading for an Electronic Functional Programming Exam. TFPIE 2023: 22-44 - 2022
- [j21]Kai Bavendiek
A process calculus for privacy-preserving protocols in location-based service systems. J. Log. Algebraic Methods Program. 125: 100735 (2022) - [c56]Sascha Lehmann, Antje Rogalla
Modeling R3 Needle Steering in Uppaal. MARS@ETAPS 2022: 40-59 - 2021
- [c55]Ole Lübke
WCET-aware reachability for verified simplex design: work-in-progress. EMSOFT 2021: 27-28 - [c54]Sascha Lehmann, Antje Rogalla
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
Synthesizing Strategies for Needle Steering in Gelatin Phantoms. MARS@ETAPS 2020: 261-274
2010 – 2019
- 2019
- [j20]Robin Adams
Guaranteeing privacy policies using lightweight type systems. Comput. Law Secur. Rev. 35(6): 105337 (2019) - [c51]Jan Kaiser
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
Automatically Proving Purpose Limitation in Software Architectures. SEC 2019: 345-358 - [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) - 2018
- [j19]Sven-Thomas Antoni
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI. Int. J. Comput. Assist. Radiol. Surg. 13(11): 1755-1766 (2018) - [c48]Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. CyPhy/WESE 2018: 170-189 - [c47]Kai Bavendiek, Robin Adams
Privacy-Preserving Architectures with Probabilistic Guaranties. PST 2018: 1-10 - [c46]Dmitry Ivanov, Kim G. Larsen
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
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
- [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) - [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 - [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
- [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) - [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 - [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] - 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
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
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
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
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 - 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
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)
2000 – 2009
- 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) - [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 - [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] - 2008
- [c17]Jean-Philippe Bernardy, Patrik Jansson
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
- [j7]Douglas P. Gregor, Sibylle Schupp:
STLlint: lifting static checking from languages to libraries. Softw. Pract. Exp. 36(3): 225-254 (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 - 2005
- [j6]Douglas P. Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine
Generic Programming and High-Performance Libraries. Int. J. Parallel Program. 33(2-3): 145-164 (2005) - 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
- [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) - [c9]Marcin Zalewski, Sibylle Schupp:
A Polymorphic Radix- n Framework for Fast Fourier Transforms. Ershov Memorial Conference 2003: 30-37 - 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) - [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
Concept-Based Component Libraries and Optimizing Compilers. IPDPS 2002 - 2001
- [j2]Gor V. Nishanov, Sibylle Schupp:
A mostly-copying collector component for class templates. Softw. Pract. Exp. 31(5): 445-470 (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 - 2000
- [j1]Sibylle Schupp:
Lazy Lists in C++. ACM SIGPLAN Notices 35(6): 47-54 (2000)
1990 – 1999
- 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 - 1996
- [b1]Sibylle Schupp:
Generic programming - SUCHTHAT one can build an algebraic library. University of Tübingen, Germany, 1996, pp. 1-89
Coauthor Index
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-10-15 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: