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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy.
CoRR, 2024
2023
Int. J. Softw. Tools Technol. Transf., February, 2023
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
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022
2021
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021
Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021
2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
Proceedings of the Data and Applications Security and Privacy XXXIV, 2020
2019
Comput. Law Secur. Rev., 2019
Proceedings of the ICT Systems Security and Privacy Protection, 2019
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
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018
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
Proceedings of the Software Engineering 2017, 2017
2016
Softwaretechnik-Trends, 2016
Softwaretechnik-Trends, 2016
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy.
Int. J. Comput. Assist. Radiol. Surg., 2016
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
Proceedings of the Software Engineering 2016, 2016
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
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015
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
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
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the 2014 Software Evolution Week, 2014
2013
Proceedings of the Software Composition - 12th International Conference, 2013
Proceedings of the Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013, Aachen, 28. Feb., 2013
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013
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
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
2010
J. Funct. Program., 2010
2009
J. Object Technol., 2009
Proceedings of the ASE 2009, 2009
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009
2008
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008
2007
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
Softw. Pract. Exp., 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006
2005
2004
Proceedings of the Fourth International Workshop on Software and Performance, 2004
2003
Proceedings of the Perspectives of Systems Informatics, 2003
2002
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
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001
Proceedings of the Generative and Component-Based Software Engineering, 2001
Proceedings of the Compiler Construction, 10th International Conference, 2001
2000
1998
Proceedings of the International Symposium on Memory Management, 1998
1996