Sibylle Schupp

90 papers A* 1A 3B 5C 14Misc 2Journal 26Unranked 37

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