Papers

  • 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)
  • Sven Mattsen, Sibylle Schupp: The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. Softwaretechnik-Trends, 36(2) (2016)
  • Arne Wichmann, Sandro Schulze, Sibylle Schupp: Analyzing Malware Putty using Function Alignment in the Binary. Softwaretechnik-Trends 36(2) (2016)
  • Alexander Schlaefer, Sibylle Schupp, André Stollenwerk: FS-MCPS - 2nd workshop on fail safety in medical cyber-physical systems. Software Engineering 2016: 127-128
  • Alexander Schlaefer, Sibylle Schupp, André Stollenwerk: 2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering (Workshops) 2016: 172-173
  • S. Haeri, S. Schupp, The Expression Compatibility Problem, The 7th International Symposium on Symbolic Computation in Software Science (SCCS 2016)
  • 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
  • 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.
  • 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).
  • S.-T. Antoni, J. Rinast, S. Schupp, A. Schlaefer, Evaluation des Einflusses von Artefakten auf den Korrelationsfehler in der bewegungskompensierten Radiochirurgie, CURAC 2015.
  • A. Wichmann, S. Schupp, Visual Analysis of Control Coupling for Executables, 17. Workshop Software-Reengineering und -Evolution, Softwaretechnik-Trends 35:2, 2015.
  • 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
  • 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.
  • 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
  • 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.
  • 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.
  •  A. Schlaefer, S. Schupp, Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). Software Engineering & Management 2015: 268.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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).
  • 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.
  • M. Heing-Becker, T. Kamph, S. Schupp, Bit-Error Injection for Software Developers, IEEE CSMR-WCRE, Antwerpen, Feb. 2014.
  • S. Haeri, S. Schupp, Distributed Lazy Evaluation: A Big-Step Mechanised Semantics, FORmal approaches to PArallel and Distributed systems (4PAD 2014), Turin, Feb. 2014.
  • 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
  • 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.
  • 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.
  • C. Terasa, S. Schupp, Annotation-Guided Soft-Error Injection, 2nd Workshop on Software-Based Methods for Robust Embedded Systems 2013, GI-Jahretagung, 2592-2605.
  • 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.
  • 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
  • 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.
  • 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.
  • 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.
  • Seyed H. Haeri, Sibylle Schupp: Reusable Components for Lightweight Mechanisation of Programming Languages. Software Composition 2013: 1-16
  • 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.
  • 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.
  • 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.
  • 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.
  • 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)
  • Gustav Munkby, Sibylle Schupp: Automating exception-safety classification. Sci. Comput. Program. 76(4): 278-289 (2011)
  • 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)
  • 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)
  • Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp: Extending Scala with Database Query Capability. Journal of Object Technology 9(4): 45-68 (2010)