researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

sibylleschupp

Statistics

Publications: 2
Edited: 1

Aliases

S. Schupp
Schupp, Sibylle
Sibylle Schupp
Schupp
Schupp, S.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Sibylle Schupp's Profile

Publications

Unidentified Publications

Publications with a 'Sibylle Schupp' as author, editor, or advisor:

Change Impact Analysis for Generic LibrariesMarcin Zalewski, Sibylle Schupp. ICSM 2006: 35-44 [doi]
Bit-error injection for software developersMarcel Heing-Becker, Timo Kamph, Sibylle Schupp. CSMR 2014: 434-439 [doi]
Visual Analysis of Control Coupling for ExecutablesArne Wichmann 0001, Sibylle Schupp. stt, 35(2), 2015. [doi]
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm IntermarriageSeyed H. Haeri, Sibylle Schupp. sycss 2017: 16-28 [doi]
Making the Usage of STL SafeDouglas Gregor, Sibylle Schupp. ifip2-1 2003: 127-140
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016Wolf 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, editors, Volume 1559 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
WCET-aware reachability for verified simplex design: work-in-progressOle Lübke, Sibylle Schupp. emsoft 2021: 27-28 [doi]
Lightweight Structured Visualization of Assembler Control Flow Based on Regular ExpressionsSibel Toprak, Arne Wichmann, Sibylle Schupp. vissoft 2014: 97-106 [doi]
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languagesDaniel Lincke, Sibylle Schupp. LDTA 2012: 3 [doi]
Expression Compatibility ProblemSeyed H. Haeri, Sibylle Schupp. sycss 2016: 55-67 [doi]
Generic programming - SUCHTHAT one can build an algebraic librarySibylle Schupp. PhD thesis, University of Tübingen, Germany, 1996. [doi]
Library TransformationsSibylle Schupp, Douglas Gregor, David R. Musser. SCAM 2001: 111-123 [doi]
Just-In-Time Teaching für Software-EngineeringTimo Kamph, Peter Salden, Sibylle Schupp, Christian Kautz. seuh 2013: 9-15 [doi]
The Challenge of Indirection: Treating Flags During Sound Analysis of Machine CodeSven Mattsen, Sibylle Schupp. stt, 36(2), 2016. [doi]
SUCHTHAT - Generic Programming WorksSibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 133-145 [doi]
Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten RadiochirurgieSven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer. curac 2015: 133-138
A process calculus for privacy-preserving protocols in location-based service systemsKai Bavendiek, Sibylle Schupp. jlap, 125:100735, 2022. [doi]
Design patterns for library optimizationDouglas Gregor, Sibylle Schupp, David R. Musser. sp, 11(4):309-320, 2003.
Guaranteeing privacy policies using lightweight type systemsRobin Adams 0001, Wolfgang Schulz, Sibylle Schupp, Florian Wittner. clsr, 35(6):105337, 2019. [doi]
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion ManagementSven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer. se 2015: 15-18 [doi]
Semantic and behavioral library transformationsSibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu. INFSOF, 44(13):797-810, 2002.
The function concept in C++: an empirical studyDaniel Lincke, Sibylle Schupp. ICFP 2009: 25-36 [doi]
Lazy Lists in C++Sibylle Schupp. SIGPLAN, 35(6):47-54, 2000.
Driving a sound static software analyzer with branch-and-boundSven Mattsen, Pascal Cuoq, Sibylle Schupp. SCAM 2013: 63-68 [doi]
Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)Alexander Schlaefer, Sibylle Schupp. se 2015: 268
Using functional languages to facilitate C++ metaprogrammingSeyed H. Haeri, Sibylle Schupp, Jonathan Hüser. ICFP 2012: 33-44 [doi]
Automating exception-safety classificationGustav Munkby, Sibylle Schupp. SCP, 76(4):278-289, 2011. [doi]
Analyzing Malware Putty using Function Alignment in the BinaryArne Wichmann 0001, Sandro Schulze, Sibylle Schupp. stt, 36(2), 2016. [doi]
Generic Programming and High-Performance LibrariesJaakko Järvi, Andrew Lumsdaine, D. P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp. ipps 2004: [doi]
A Semantic Definition of Separate Type Checking in C++ with ConceptsMarcin Zalewski, Sibylle Schupp. jot, 8(5):105-132, 2009. [doi]
Type Inference for Soft-Error Fault-Tolerance PredictionGustav Munkby, Sibylle Schupp. ASE 2009: 65-75 [doi]
Lifting a butterfly - A component-based FFTSibylle Schupp. sp, 11(4):291-307, 2003.
Generic Programming and High-Performance LibrariesDouglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp. ijpp, 33(2-3):145-164, 2005. [doi]
Static analysis for worst-case battery utilizationDmitry Ivanov, Sibylle Schupp. ICSE 2019: 1-10 [doi]
FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical SystemsAlexander Schlaefer, Sibylle Schupp, André Stollenwerk. se 2017: 45
Requirement Oriented ProgrammingDavid R. Musser, Sibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 12-24 [doi]
Reducing False Discovery Rates for On-line Model Checking Based Detection of Respiratory Motion ArtifactsSven-Thomas Antoni, Xintao Ma, Sibylle Schupp, Alexander Schlaefer. se 2016: 182-186 [doi]
Annotation-Guided Soft-Error InjectionClemens Terasa, Sibylle Schupp. gi 2013: 2592-2605
A Polymorphic Radix- n Framework for Fast Fourier TransformsMarcin Zalewski, Sibylle Schupp. ershov 2003: 30-37 [doi]
Garbage Collection in Generic LibrariesGor V. Nishanov, Sibylle Schupp. iwmm 1998: 86-96 [doi]
Provably Privacy-Preserving Distributed Data Aggregation in Smart GridsMarius Stübs, Tobias Mueller, Kai Bavendiek, Manuel Loesch, Sibylle Schupp, Hannes Federrath. dbsec 2020: 153-173 [doi]
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapySven-Thomas Antoni, Jonas Rinast, Xintao Ma, Sibylle Schupp, Alexander Schlaefer. cars, 11(11):2085-2096, 2016. [doi]
A Graph-Based Transformation Reduction to Reach UPPAAL States FasterJonas Rinast, Sibylle Schupp, Dieter Gollmann. FM 2014: 547-562 [doi]
User-Extensible SimplificationType-Based Optimizer GeneratorsSibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu. CC 2001: 86-101 [doi]
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation DataJan Kaiser, Kai Bavendiek, Sibylle Schupp. gi 2019: 205-218 [doi]
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009Patrik Jansson, Sibylle Schupp, editors, ACM, 2009. [doi]
Distributed Lazy Evaluation: A Big-Step Mechanised SemanticsSeyed H. Haeri, Sibylle Schupp. pdp 2014: 751-755 [doi]
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer SystemeJulia Padberg, Alexander Schlaefer, Sibylle Schupp. se 2018: 209-210 [doi]
FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systemsAlexander Schlaefer, Sibylle Schupp, André Stollenwerk. se 2016: 127-128 [doi]
STLlint: lifting static checking from languages to librariesDouglas Gregor, Sibylle Schupp. SPE, 36(3):225-254, 2006. [doi]
Concept-Based Component Libraries and Optimizing CompilersSibylle Schupp, D. P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine. ipps 2002: [doi]
Guest editor s introduction to the special section on source code analysis and manipulationSibylle Schupp, Andrew Walenstein. sqj, 19(2):237-238, 2011. [doi]
A Quantitative Metric Temporal Logic for Execution-Time Constrained VerificationSascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp. CyPhy 2019: 170-189 [doi]
Extending Scala with Database Query CapabilityMiguel Garcia, Anastasia Izmaylova, Sibylle Schupp. jot, 9(4):45-68, 2010. [doi]
Automatically Proving Purpose Limitation in Software ArchitecturesKai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian-Alexander Behrendt, Wolfgang Schulz, Hannes Federrath, Sibylle Schupp. isecs 2019: 345-358 [doi]
A non-convex abstract domain for the value analysis of binariesSven Mattsen, Arne Wichmann, Sibylle Schupp. WCRE 2015: 271-280 [doi]
A functional framework for agent-based models of exchangeN. Botta, Antoine Mandel, Cezar Ionescu, M. Hofmann, Daniel Lincke, Sibylle Schupp, Carlo Jaeger. amc, 218(8):4025-4040, 2011. [doi]
Rapid performance prediction for library componentsSibylle Schupp, Marcin Zalewski, Kyle Ross. wosp 2004: 69-73 [doi]
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case StudyXintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann. mcps 2014: 100-112 [doi]
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box ComponentsRobin Adams, Sibylle Schupp. vstte 2018: 196-214 [doi]
LCSD: library-centric software designJosh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek. OOPSLA 2006: 618 [doi]
Matching machine-code functions in executables within one product line via bioinformatic sequence alignmentArne Wichmann 0001, Sibylle Schupp. ICSM 2015: 1-5 [doi]
Privacy-Preserving Architectures with Probabilistic GuarantiesKai Bavendiek, Robin Adams, Sibylle Schupp. PST 2018: 1-10 [doi]
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015Wolf Zimmermann, Wolfgang Böhm 0002, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón-y-Widemann, Thorsten Weyer, editors, Volume 1337 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Library TransformationsSibylle Schupp, Douglas Gregor, David Musser. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2001. [doi]
A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family ContainersAndreas P. Priesnitz, Sibylle Schupp. ICSOFT 2007: 30-37
Base Class InjectionDouglas Gregor, Sibylle Schupp, David R. Musser. gcse 2001: 106-117 [doi]
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive SystemsDmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba. qest 2018: 173-189 [doi]
Reusable Components for Lightweight Mechanisation of Programming LanguagesSeyed H. Haeri, Sibylle Schupp. SC 2013: 1-16 [doi]
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signaturesDaniel Lincke, Sibylle Schupp, Cezar Ionescu. STTT, 17(1):91-105, 2015. [doi]
A mostly-copying collector component for class templatesGor V. Nishanov, Sibylle Schupp. SPE, 31(5):445-470, 2001.
Scrap++: scrap your boilerplate in C++Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski. ICFP 2006: 66-75 [doi]
Bounded DBM-based clock state construction for timed automata in UppaalSascha Lehmann, Sibylle Schupp. STTT, 25(1):19-47, February 2023. [doi]
2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)Alexander Schlaefer, Sibylle Schupp, André Stollenwerk. se 2016: 172-173 [doi]
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable HeuristicsJonas Rinast, Sibylle Schupp. formats 2012: 220-235 [doi]
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint SolversFelix Kurth, Sibylle Schupp, Stephan Weißleder. tap 2014: 169-186 [doi]
Generic Components for Static Operations at Object LevelAndreas P. Priesnitz, Sibylle Schupp. ICSOFT 2009: 46-59 [doi]
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRISven-Thomas Antoni, Sascha Lehmann, Maximilian Neidhardt, Kai Fehrs, Christian Ruprecht, Fabian Kording, Gerhard Adam, Sibylle Schupp, Alexander Schlaefer. cars, 13(11):1755-1766, 2018. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL