Papers

  • Kai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian Behrendt, Wolfgang Schulz, Hannes Federrath and Sibylle Schupp, "Automatically Proving Purpose Limitation in Software Architectures, 34th International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2019)
  • Dmitry Ivanov and Sibylle Schupp, "Static Analysis for Worst-Case Battery Utilization", 7th International Conference on Formal Methods in Software Engineering (FormaliSE 2019)
  • Wolfgang Schulz, Florian Wittner, Kai Bavendiek and Sibylle Schupp, "Modeling and verification in GDPR's Data Protection Impact Assessment", 12th international conference on Computers, Privacy, and Data Protection (CPDP 2019), Jan 2019
  • Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, and Sibylle Schupp, "A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification", Model-Based Design of Cyber Physical Systems (CyPhy'18), Oct 2018 (link).
  • Julia Padberg, Alexander Schlaefer, Sibylle Schupp. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme in M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer (Eds.) Software Engineering und Software Management 2018 Gesellschaft für Informatik: Bonn 209-210 (link).
  • Sven-Thomas Antoni, Sascha Lehmann, Maximilian Neidhardt, Kai Fehrs, Christian Ruprecht, Fabian Kording, Gerhard Adam, Sibylle Schupp, and Alexander Schlaefer, "Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI", International Journal of Computer Assisted Radiology and Surgery (IJCARS), Aug 2018 (link)
  • Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba, Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems, 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Beijing, China 2018 (link)
  • Kai Bavendiek, Robin Adams, Sibylle Schupp, Privacy-Preserving Architectures with Probabilistic Guaranties, 16th Annual Conference on Privacy, Security and Trust (PST 2018), Belfast, UK 2018 (link)
  • Robin Adams, Sibylle  Schupp, Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components, 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 18), Oxford, UK, 2018 (link)
  • 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. Computer Assisted Radiology and Surgery 11(11): 2085-2096 (2016) (link)
  • Sven Mattsen, Sibylle Schupp: The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. Softwaretechnik-Trends, 36(2) (2016) (link)
  • Arne Wichmann, Sandro Schulze, Sibylle Schupp: Analyzing Malware Putty using Function Alignment in the Binary. Softwaretechnik-Trends 36(2) (2016) (link)
  • Alexander Schlaefer, Sibylle Schupp, André Stollenwerk: FS-MCPS - 2nd workshop on fail safety in medical cyber-physical systems. Software Engineering 2016: 127-128 (link)
  • Alexander Schlaefer, Sibylle Schupp, André Stollenwerk: 2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering (Workshops) 2016: 172-173 (link)
  • S. Haeri, S. Schupp, The Expression Compatibility Problem, The 7th International Symposium on Symbolic Computation in Software Science (SCCS 2016) (link)
  • 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 (link)
  • Sven-Thomas Antoni, Xintao Ma, Sibylle Schupp, Alexander Schlaefer. Reducing false discovery rates for on-line model-checking based detection of respiratory motion artifacts. Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, Feb. 2016. (link)
  • A. Wichmann, S. Schupp, Matching Machine-Code Functions in Executables within one Product Line via Bioinformatic Sequence Alignment, 5th Workshop on Mining Unstructured Data (MUD 2015). (link)
  • S.-T. Antoni, J. Rinast, S. Schupp, A. Schlaefer, Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie, CURAC 2015. (link)
  • A. Wichmann, S. Schupp, Visual Analysis of Control Coupling for Executables, 17. Workshop Software-Reengineering und -Evolution, Softwaretechnik-Trends 35:2, 2015. (link)
  • W. Zimmermann, W. Böhm, C. Grelck, R. Heinrich, R. Jung, M. Konersmann, A. Schlaefer, E. Schmieders, S. Schupp, B. Trancón y Widemann, Th. 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 (link)
  • S. Mattsen, A. Wichmann, S. Schupp, A Non-Convex Domain for the Value Analysis of Binaries, 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Montreal, Canada, March 2015.(link)
  • 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 (link)
  • D. Lincke, S. Schupp, C. Ionescu, Functional Prototypes for Generic C++ Libraries: A Transformational Approach based on Higher-Order, Typed Signatures, International Journal on Software Tools for Technology Transfer (Springer), vol. 17(1), 91-105, 2015.(link)
  • S.T. Antoni, J. Rinast, S. Schupp, A. Schlaefer, Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management. 1. Workshop Fail-Safety in Medical Cyber-Physical Systems (FS-MCPS), 2015: 15-18. (link)
  •  A. Schlaefer, S. Schupp, Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering & Management 2015: 268. (link)
  • S. Mattsen, A. Wichmann, S. Schupp, BDDStab: BDD-based Value Analysis of Binaries, The Fifth Workshop on Tools for Automatic Program Analysis (TAPAS 2014). Munich, Germany, Sept. 2014. (link)
  • S. Toprak, A. Wichmann, S. Schupp, Lightweight Structured Visualization of Assembler Control Flow based on Regular Expressions, IEEE Working Conference on Software Visualization (VISSOFT) 2014, Victoria, Canada, Sept. 2014.(link)
  • F. Kurth, S. Schupp, St. Weissleder, Generating Test Data from a UML Activity using the AMPL Interface for Constraint Solvers, 8th International Conference on Tests & Proofs (TAP 2014), York, UK 2014. (link)
  • J. Rinast, S. Schupp, D. Gollmann, A Graph-based Transformation Reduction to Reach UPPAAL States Faster, 19th International Symposium on Formal Methods (FM), Singapore 2014. (link)
  • J. Rinast, S. Schupp, D. Gollmann, State Space Reconstruction in UPPAAL: An Algorithm and its Proof, International Journal On Advances in Systems and Measurements, vol. 7(1&2), 2014, (extended version of a VALID'13 paper). (link)
  • X. Ma, J. Rinast, S. Schupp, D. Gollmann, Evaluating On-line Model Checking in Uppaal-SMC Using a Laser Tracheotomy, 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. (link)
  • M. Heing-Becker, T. Kamph, S. Schupp, Bit-Error Injection for Software Developers, IEEE CSMR-WCRE, Antwerpen, Feb. 2014. (link)
  • S. Haeri, S. Schupp, Distributed Lazy Evaluation: A Big-Step Mechanised Semantics, FORmal approaches to PArallel and Distributed systems (4PAD 2014), Turin, Feb. 2014. (link)
  • Felix Kurth, Sibylle Schupp, Stephan Weißleder: Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. TAP 2014: 169-186 (link)
  • D. Lincke, S. Schupp, C. Ionescu, Functional Prototypes for Generic C++ Libraries: A Transformational Approach based on Higher-Order, Typed Signatures, International Journal on Software Tools for Technology Transfer (Springer), published online Feb. 2014. (link)
  • S. Mattsen, P. Cuoq, S. Schupp, Driving a Sound Static Software Analyzer with Branch-and-Bound, 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), 63-68, Eindhoven 2013. (link)
  • C. Terasa, S. Schupp, Annotation-Guided Soft-Error Injection, 2nd Workshop on Software-Based Methods for Robust Embedded Systems 2013, GI-Jahretagung, 2592-2605. (link)
  • J. Rinast, S. Schupp, D. Gollmann, State Space Reconstruction for On-Line Model Checking with UPPAAL, The Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID'13), 21-26, Venice, Sep. 2013. (link)
  • S. Haeri, S. Schupp, Reusable Components for Lightweight Mechanisation of Programming Languages, SC'13 Proceedings of the International Conference on Software Composition, LNCS 8088, Pages 1--16, June 2013, Budapest, Hungary (link)
  • N. Botta, S. Schupp, A. Mandel, C. Ionescu, M. Hofmann, Mathematical specification of an agent-based model of exchange, The AISB 2013 Symposium on Enabling Domain Experts to use Formalised Reasoning (Do-Form), Apr. 2013. (link)
  • M. Gehrke, S. Schupp, G. Schmitz, Automated Detection of Zeno Sets in Models by an OpenModelica Addon, OpenModelica Annual Workshop 2013, Linköping, Feb. 2013. (link)
  • T. Kamph, P. Salden, S. Schupp, Ch. Kautz. Just-In-Time Teaching für Software Engineering, Software Engineering im Unterricht der Hochschulen (SEUH), Aachen, Feb. 2013. (link)
  • Seyed H. Haeri, Sibylle Schupp: Reusable Components for Lightweight Mechanisation of Programming Languages. Software Composition 2013: 1-16 (link)
  • E. Fanourgakis, S. Schupp. QoS Properties of Biomedical Wireless Sensor Networks: An Empirical Comparison of Two Models, Poster Jahrestagung Gesellschaft für Medizinische Datenverarbeitung (GMDS) 2012, Braunschweig, Sept. 2012. (link)
  • J. Rinast, S. Schupp, Static detection of zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics 10th Internat. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS), London, Sept. 2012. (link)
  • S. Haeri, S. Schupp, J. Hüser. Using Functional Languages to Facilitate C++ Metaprogramming, Proc. 12th ACM International Workshop on Generic Programming, Copenhagen, Sept. 2012. (link)
  • D. Lincke, S. Schupp. From HOT to COOL. Transforming Higher-Order Typed Languages to Concept-Constrained Object-Oriented Languages, Proc. 12th International Workshop on Language Descriptions, Tools, and Applications, Mar. 2012. (link)
  • Nicola Botta, Antoine Mandel, Cezar Ionescu, M. Hofmann, Daniel Lincke, Sibylle Schupp, Carlo Jaeger: A functional framework for agent-based models of exchange. Applied Mathematics and Computation 218(8): 4025-4040 (2011) (link)
  • Gustav Munkby, Sibylle Schupp: Automating exception-safety classification. Sci. Comput. Program. 76(4): 278-289 (2011) (link)
  • Sibylle Schupp, Andrew Walenstein: Guest editor's introduction to the special section on source code analysis and manipulation. Software Quality Journal 19(2): 237-238 (2011) (link)
  • Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp: Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. 20(3-4): 271-302 (2010) (link)
  • Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp: Extending Scala with Database Query Capability. Journal of Object Technology 9(4): 45-68 (2010) (link)