Sibylle Schupp

Affiliations:
  • Hamburg University of Technology, Germany


According to our database1, Sibylle Schupp authored at least 81 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023
Bounded DBM-based clock state construction for timed automata in Uppaal.
Int. J. Softw. Tools Technol. Transf., February, 2023

Computer Aided Design and Grading for an Electronic Functional Programming Exam.
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2022
A process calculus for privacy-preserving protocols in location-based service systems.
J. Log. Algebraic Methods Program., 2022

Modeling R<sup>3</sup> Needle Steering in Uppaal.
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles.
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

WCET-aware reachability for verified simplex design: work-in-progress.
Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

2020
Synthesizing Strategies for Needle Steering in Gelatin Phantoms.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids.
Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

2019
Tool Support of Formal Methods for Privacy by Design.
CoRR, 2019

Guaranteeing privacy policies using lightweight type systems.
Comput. Law Secur. Rev., 2019

Automatically Proving Purpose Limitation in Software Architectures.
Proceedings of the ICT Systems Security and Privacy Protection, 2019

Static analysis for worst-case battery utilization.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019

2018
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI.
Int. J. Comput. Assist. Radiol. Surg., 2018

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme.
Proceedings of the Software Engineering und Software Management 2018, 2018

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Privacy-Preserving Architectures with Probabilistic Guaranties.
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification.
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage.
Proceedings of the SCSS 2017, 2017

FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems.
Proceedings of the Software Engineering 2017, 2017

2016
Analyzing Malware Putty using Function Alignment in the Binary.
Softwaretechnik-Trends, 2016

The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code.
Softwaretechnik-Trends, 2016

Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy.
Int. J. Comput. Assist. Radiol. Surg., 2016

Expression Compatibility Problem.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systems.
Proceedings of the Software Engineering 2016, 2016

2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS).
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Reducing False Discovery Rates for On-line Model Checking Based Detection of Respiratory Motion Artifacts.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2015
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures.
Int. J. Softw. Tools Technol. Transf., 2015

Visual Analysis of Control Coupling for Executables.
Softwaretechnik-Trends, 2015

A non-convex abstract domain for the value analysis of binaries.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Fail Safety in Medical Cyber-Physical Systems (FS-MCPS).
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Matching machine-code functions in executables within one product line via bioinformatic sequence alignment.
Proceedings of the 5th IEEE Workshop on Mining Unstructured Data MUD@ICSME 2015, 2015

Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie.
Proceedings of the 14. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, 2015

2014
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions.
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.
Proceedings of the FM 2014: Formal Methods, 2014

Bit-error injection for software developers.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Reusable Components for Lightweight Mechanisation of Programming Languages.
Proceedings of the Software Composition - 12th International Conference, 2013

Just-In-Time Teaching für Software-Engineering.
Proceedings of the Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013, Aachen, 28. Feb., 2013

Driving a sound static software analyzer with branch-and-bound.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Annotation-Guided Soft-Error Injection.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages.
Proceedings of the International Workshop on Language Descriptions, 2012

Using functional languages to facilitate C++ metaprogramming.
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Guest editor's introduction to the special section on source code analysis and manipulation.
Softw. Qual. J., 2011

Automating exception-safety classification.
Sci. Comput. Program., 2011

A functional framework for agent-based models of exchange.
Appl. Math. Comput., 2011

2010
Extending Scala with Database Query Capability.
J. Object Technol., 2010

Generic programming with C++ concepts and Haskell type classes - a comparison.
J. Funct. Program., 2010

2009
A Semantic Definition of Separate Type Checking in C++ with Concepts.
J. Object Technol., 2009

Type Inference for Soft-Error Fault-Tolerance Prediction.
Proceedings of the ASE 2009, 2009

The function concept in C++: an empirical study.
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008
A comparison of c++ concepts and haskell type classes.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

2007
Generic Components for Static Operations at Object Level.
Proceedings of the Software and Data Technologies - Second International Conference, 2007

A Pattern for Static Reflection on Fields - Sharing Internal Representations in Indexed Family Containers.
Proceedings of the ICSOFT 2007, 2007

2006
STLlint: lifting static checking from languages to libraries.
Softw. Pract. Exp., 2006

LCSD: library-centric software design.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Change Impact Analysis for Generic Libraries.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Scrap++: scrap your boilerplate in C++.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

2005
Generic Programming and High-Performance Libraries.
Int. J. Parallel Program., 2005

2004
Rapid performance prediction for library components.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

2003
Lifting a butterfly - A component-based FFT.
Sci. Program., 2003

Design patterns for library optimization.
Sci. Program., 2003

A Polymorphic Radix- n Framework for Fast Fourier Transforms.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
Semantic and behavioral library transformations.
Inf. Softw. Technol., 2002

Concept-Based Component Libraries and Optimizing Compilers.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Making the Usage of STL Safe.
Proceedings of the Generic Programming, 2002

2001
A mostly-copying collector component for class templates.
Softw. Pract. Exp., 2001

Library Transformations.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Base Class Injection.
Proceedings of the Generative and Component-Based Software Engineering, 2001

User-Extensible Simplification - Type-Based Optimizer Generators.
Proceedings of the Compiler Construction, 10th International Conference, 2001

2000
Lazy Lists in C++.
ACM SIGPLAN Notices, 2000

1998
Garbage Collection in Generic Libraries.
Proceedings of the International Symposium on Memory Management, 1998

SUCHTHAT - Generic Programming Works.
Proceedings of the Generic Programming, 1998

Requirement Oriented Programming.
Proceedings of the Generic Programming, 1998

1996
Generic programming - SUCHTHAT one can build an algebraic library.
PhD thesis, 1996


  Loading...