2025

• Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Schlaefer, Alexander; Schupp, Sibylle
  A provably safe controller for the needle-steering problem using online strategy synthesis
  Science of Computer Programming 245: 103314 (2025)
  Open Access | Publisher DOI
• Engeln, Ulrike; Schupp, Sibylle
  Configurable abstraction of signals using signal temporal logic
  51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025
  Publisher DOI
• Lübke, Ole; Berg, Jeremias
  SLS-enhanced core-boosted linear search for anytime maximum satisfiability
  31st International Conference on Principles and Practice of Constraint Programming, CP 2025
  Publisher DOI
• Lehmann, Sascha; Schupp, Sibylle
  A model template for reachability-based containment checking of imprecise observations in timed automata
  Software and Systems Modeling 24 (2): 411-444 (2025)
  Open Access | Publisher DOI
• Rashedi, Daniel; Schupp, Sibylle
  Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations
  20th International Conference on Software Technologies 2025
  Publisher DOI

2024

• Lübke, Ole
  IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
  15th International Workshop on Pragmatics of SAT, PoS 2024
  Open Access
• Lübke, Ole
  noSAT-MaxSATv3
  19th MaxSAT Evaluation, MSE 2024
  Open Access
• Rashedi, Daniel; Schupp, Sibylle
  Repairing neural networks for image classification problems using spectrum-based fault localization
  4th IEEE International Conference on Software Engineering and Artificial Intelligence, SEAI 2024
  Publisher DOI
• Beckers, Lars; Gerlach, Stefan; Lübke, Ole; Schlaefer, Alexander; Schupp, Sibylle
  Sliced online model checking for optimizing the beam scheduling problem in robotic radiation therapy
  6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024
  Open Access | Publisher DOI

2023

• Lehmann, Sascha; Schupp, Sibylle
  Bounded DBM-based clock state construction for timed automata in Uppaal
  International journal on software tools for technology transfer 25 (1): 19-47 (2023-02)
  Open Access | Publisher DOI
• Lübke, Ole; Fuger, Konrad; Bahnsen, Fin Hendrik; Billerbeck, Katrin; Schupp, Sibylle
  Computer aided design and grading for an electronic functional programming exam
  12th International Workshop on Trends in Functional Programming in Education (TFPIE 2023)
  Open Access | Publisher DOI
• Engeln, Ulrike
  Code smell detection using features from version history
  25. Workshop Software-Reengineering und -Evolution (WSRE 2023)
  
• Lübke, Ole; Schupp, Sibylle
  noSAT-MaxSATv2
  MaxSAT Evaluation (2023)
  Open Access

2022

• Borchert, Angela; Díaz Ferreyra, Nicolás; Heisel, Maritta
  Meeting Strangers Online: Feature Models for Trustworthiness Assessment
  9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022)
  Publisher DOI
• Bui, Quang Cuong; Scandariato, Riccardo; Díaz Ferreyra, Nicolás
  Vul4J: A Dataset of Reproducible Java Vulnerabilities Geared Towards the Study of Program Repair Techniques
  Mining Software Repositories Conference (MSR 2022)
  Publisher DOI
• Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Reinecke, Anton; Schlaefer, Alexander; Schupp, Sibylle
  Modeling ℝ³ needle steering in Uppaal
  Electronic proceedings in theoretical computer science 355: 40-59 (2022)
  Open Access | Publisher DOI
• Bavendiek, Kai; Schupp, Sibylle
  A process calculus for privacy-preserving protocols in location-based service systems
  Journal of Logical and Algebraic Methods in Programming 125: 100735 (2022-02)
  Publisher DOI
• Bavendiek, Kai
  The σ-calculus : a process calculus for privacy-preserving protocols in location-based service systems
  Technische Universität Hamburg (2022)
  Open Access
• Lübke, Ole; Schupp, Sibylle
  noSAT-MaxSAT
  Series of publications / Department of Computer Science, University of Tampere / B 2022-2: 29-30
  Open Access

2021

• Lehmann, Sascha; Rogalla, Antje; Neidhardt, Maximilian; Schlaefer, Alexander; Schupp, Sibylle
  Online strategy synthesis for safe and optimized control of steerable needles
  Electronic proceedings in theoretical computer science 348: 128-135 (2021)
  Open Access | Publisher DOI
• Lübke, Ole; Schupp, Sibylle
  WCET-aware reachability for verified simplex design: work-in-progress
  ACM SIGBED International Conference on Embedded Software (EMSOFT 2021)
  Publisher DOI

2020

• Rogalla, Antje; Kamph, Timo; Bulmann, Ulrike; Billerbeck, Katrin; Blumreiter, Mathias; Schupp, Sibylle
  Designing and analyzing open application-oriented labs in software-verification education
  Annual Conference University of Twente (SEFI 2020)
  
• Kastner, Marvin; Franzkeit, Janna; Lainé, Anna
  Teaching machine learning and data literacy to students of logistics using Jupyter Notebooks
  Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. (DELFI 2020)
  Open Access
• Stübs, Marius; Mueller, Tobias; Bavendiek, Kai; Lösch, Manuel; Schupp, Sibylle; Federrath, Hannes
  Provably privacy-preserving distributed data aggregation in smart grids
  IFIP Annual Conference on Data and Applications Security and Privacy (2020)
  Publisher DOI
• Rogalla, Antje; Lehmann, Sascha; Neidhardt, Maximilian; Sprenger, Johanna; Bengs, Marcel; Schlaefer, Alexander; Schupp, Sibylle
  Synthesizing strategies for needle steering in gelatin phantoms
  Workshop on Models for Formal Analysis of Real Systems (MARS 2020)
  Publisher DOI
• Schulz, Wolfgang; Wittner, Florian; Bavendiek, Kai; Schupp, Sibylle
  Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile Case
  in Data protection and privacy: Data protection and democracy. Hart Publishing (2020)
  Publisher DOI

2019

• Adams, Robin; Schulz, Wolfgang; Schupp, Sibylle; Wittner, Florian
  Guaranteeing privacy policies using lightweight type systems
  Computer Law and Security Review 6 (35): 105337 (2019-11)
  Publisher DOI
• Antoni, Sven-Thomas; Lehmann, Sascha; Schupp, Sibylle; Schlaefer, Alexander
  An online model checking approach to soft-tissue detection for rupture
  CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V.: 83 - 88 (2019)
  
• Blumreiter, Mathias; Greenyer, Joel; Chiyah Garcia, Francisco Javier; Klös, Verena; Schwammberger, Maike; Sommer, Christoph; Vogelsang, Andreas; Wortmann, Andreas
  Towards self-explainable cyber-physical systems
  22nd ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019
  Publisher DOI
• Ivanov, Dmitry; Schupp, Sibylle
  Static Analysis for Worst-Case Battery Utilization
  IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 : 8807517 (2019-05)
  Publisher DOI
• Lehmann, Sascha; Antoni, Sven-Thomas; Schlaefer, Alexander; Schupp, Sibylle
  A quantitative metric temporal logic for execution-time constrained verification
  Lecture Notes in Computer Science (11615 LNCS): 170-189 (2019)
  Publisher DOI
• Bavendiek, Kai; Wittner, Florian; Schwaneberg, Thea; Behrendt, Christian Alexander; Schulz, Wolfgang; Federrath, Hannes; Schupp, Sibylle; Mueller, Tobias
  Automatically proving purpose limitation in software architectures
  IFIP Advances in Information and Communication Technology (562): 345-358 (2019)
  Publisher DOI
• Kaiser, Jan; Bavendiek, Kai; Schupp, Sibylle
  Do we need real data? Testing and training algorithms with artificial geolocation data
  In: David, K., Geihs, K., Lange, M. & Stumme, G. (Hrsg.), INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft. Bonn: Gesellschaft für Informatik e.V.. (S. 205-218).
  Open Access | Publisher DOI

2018

• Antoni, Sven-Thomas; Lehmann, Sascha; Neidhardt, Maximilian; Fehrs, Kai; Ruprecht, Christian; Kording, Fabian; Adam, Gerhard; Schupp, Sibylle; Schlaefer, Alexander
  Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
  International Journal of Computer Assisted Radiology and Surgery 11 (13): 1755-1766 (2018-11-01)
  Publisher DOI
• Bavendiek, Kai; Adams, Robin; Schupp, Sibylle
  Privacy-Preserving Architectures with Probabilistic Guaranties
  2018 16th Annual Conference on Privacy, Security and Trust, PST 2018: 1-10 (2018-10-29)
  Publisher DOI
• Ivanov, Dmitry; Larsen, Kim G.; Schupp, Sibylle; Srba, Jiří
  Analytical solution for long battery lifetime prediction in nonadaptive systems
  International Conference on Quantitative Evaluation of Systems (QEST 2018)
  Publisher DOI
• Adams, Robin; Schupp, Sibylle
  Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (11294 LNCS): 196-214 (2018-01-01)
  Publisher DOI
• Padberg, Julia; Schlaefer, Alexander; Schupp, Sibylle
  Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
  In: Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. & Steghöfer, J.-P. (Hrsg.), Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. (S. 209-210).
  Open Access
• Schupp, Sibylle
  Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces
  encore : The annual magazine on internet and society research: 76-78 (2018)
  

2017

• Mattsen, Sven
  BDD-based value analysis for X86 executables
  Open Access
• Wichmann, Arne
  Structural and differential analysis for program comprehension of executables
  Open Access

2016

• Wille, David; Schulze, Sandro; Schaefer, Ina
  Variability mining of state charts
  7th International Workshop on Feature-Oriented Software Development (FOSD 2016)
  Publisher DOI
• Pfofe, Tristan; Thüm, Thomas; Schulze, Sandro; Fenske, Wolfram; Schaefer, Ina
  Synchronizing software variants with VariantSync
  20th International Systems and Software Product Line Conference (SPLC 2016): 329-332
  Publisher DOI
• Antoni, Sven-Thomas; Rinast, Jonas; Ma, Xintao; Schupp, Sibylle; Schlaefer, Alexander
  Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy
  International Journal of Computer Assisted Radiology and Surgery 11 (11): 2085-2096 (2016)
  Publisher DOI
• Schulze, Sandro; Schulze, Michael; Ryssel, Uwe; Seidl, Christoph
  Aligning coevolving artifacts between software product lines and products
  ACM International Conference Proceeding Series : 9-16 (2016)
  Publisher DOI
• Peldszus, Sven; Kulcsár, Géza; Lochau, Malte; Schulze, Sandro
  Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
  ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering : 578-589 (2016)
  Publisher DOI
• Wille, David; Tiede, Michael; Schulze, Sandro; Seidl, Christoph; Schaefer, Ina
  Identifying variability in object-oriented code using model-based code mining
  Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Lecture Notes in Computer Science (9953): 547-562 (2016)
  Publisher DOI
• Antoni, Sven-Thomas; Ma, Xintao; Schupp, Sibylle; Schlaefer, Alexander
  Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts
  SE-WS 2016, software engineering workshops 2016, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering, CEUR Workshop Proceedings (1559): 182-186 (2016)
  

2015

• Wichmann, Arne; Schupp, Sibylle
  Matching machine-code functions in executables within one product line via bioinformatic sequence alignment
  2015 IEEE 5th Workshop on Mining Unstructured Data, MUD 2015 - Proceedings: 7327962, 1-5 (2015-11-11)
  Publisher DOI
• Mattsen, Sven; Wichmann, Arne; Schupp, Sibylle
  A non-convex abstract domain for the value analysis of binaries
  IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings: 7081837, 271-280 (2015-04-08)
  Publisher DOI
• Antoni, Sven-Thomas; Rinast, Jonas; Schupp, Sibylle; Schlaefer, Alexander
  Comparing model-free motion prediction and on-line model checking for respiratory motion management
  CEUR Workshop Proceedings (1337): 15-18 (2015-03)
  
• Rinast, Jonas
  An online model-checking framework for timed automata
  Open Access
• Gries, Oliver; Möller, Ralf; Nafissi, Anahita; Rosenfeld, Maurice; Sokolski, Kamil; Wandelt, Sebastian
  Dealing efficiently with ontology-enhanced linked data for multimedia
  CEUR Workshop Proceedings 1447 (): 28-41 (2015)
  

2014

• Özçep, Özgür Lütfü; Möller, Ralf; Neuenstadt, Christian
  A stream-temporal query language for ontology based data access
  37th Annual German Conference on AI (2014)
  Publisher DOI
• Haeri, Seyed Hossein
  Component-based mechanisation of programming languages in embedded settings
  Open Access
• Kurzbach, Stefan
  Flood modeling in spatial data and grid infrastructures
  Hamburger Wasserbau-Schriften 17: (2014)
  Open Access

2013

• Botta, Nicola; Mandel, Antoine; Hofmann, Mareen; Schupp, Sibylle; Ionescu, Cezar
  Mathematical specification of an agend-based model of exchange
  39th AISB convention 2013
  
• Hendley, Robert J.; Beale, Russell; Bowers, Chris P.; Georgousopoulos, Christos; Vassiliou, Charalampos; Sergios, Petridis; Möller, Ralf; Karstens, Eric; Spiliotopoulos, Dimitris
  CASAM : Collaborative human-machine annotation of multimedia
  Multimedia Tools and Applications 70 (2): 1277-1308 (2014)
  Publisher DOI
• Horrocks, Ian; Hubauer, Thomas; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Koubarakis, Manolis; Möller, Ralf; Bereta, Konstantina; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Smeros, Panayiotis; Zheleznyakov, Dmitriy
  Addressing streaming and historical data in OBDA systems : optique's approach (statement of interest)
  CEUR Workshop Proceedings (992): Seite 33-40 (2013)
  
• Möller, Ralf; Neuenstadt, Christian; Özçep, Özgür Lütfü; Wandelt, Sebastian
  Advances in accessing big data with expressive ontologies
  CEUR Workshop Proceedings (1014): 842-853 (2013)
  
• Nafissi, Anahita
  Applying Markov logics for controlling abox abduction
  Open Access
• Petasis, Georgios; Möller, Ralf; Karkaletsis, Vangelis
  BOEMIE : reasoning-based information extraction
  Natural language processing and automated reasoning 2013 : NLPAR 2013 ; proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013 / ed. by Chitta Baral ... - Aachen : RWTH, 2013. - (CEUR Workshop Proceedings ; 1044). - Seite 60-75
  
• Mattsen, Sven; Cuoq, Pascal; Schupp, Sibylle
  Driving a sound static software analyzer with branch-and-bound
  2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013) : Eindhoven, Netherlands, 22 - 23 September 2013 / [sponsors: IEEE Computer Society Technical Council on Software Engineering ... Ed.: Bram Adams ...]. - Piscataway, NJ : IEEE, 2013. - Art.-Nr. 6648185, i.e. Seite 63-68
  Publisher DOI
• Kamph, Timo; Salden, Peter; Schupp, Sibylle; Kautz, Christian
  Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering]
  13. Workshop "Software Engineering im Unterricht der Hochschulen", SEUH 2013 : RWTH Aachen, Aachen, Germany, 28 February 2013 through 1 March 2013 / RWTH Aachen. - Aachen, Germany : RWTH Aachen, 2013. - (CEUR workshop proceedings ; 956). - Seite 9-15
  
• Haeri, Seyed Hossein; Schupp, Sibylle
  Reusable components for lightweight mechanisation of programming languages
  Binder W., Bodden E., Löwe W. (eds) Software Composition. SC 2013. Lecture Notes in Computer Science, vol 8088. Springer, Berlin, Heidelberg
  Publisher DOI
• Özçep, Özgür Lütfü; Möller, Ralf
  Spatial semantics for concepts?
  CEUR Workshop Proceedings (1014): 816-828 (2013)
  
• Rinast, Jonas; Schupp, Sibylle; Gollmann, Dieter
  State space reconstruction for on-line model checking with UPPAAL
  VALID 201 : the Fifth International Conference on Advances in System Testing and Validation Lifecycle : October 27-November 1, 2013, Venice, Italy / IARIA ; VALID 2013 editors: Jos van Rooyen ... - Red Hook, NY : Curran, 2013. - Seite 21-26
  
• Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis E.; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Klüwer, Johan Wilhelm; Koubarakis, Manolis; Lamparter, Steffen; Möller, Ralf; Neuenstadt, Christian; Nordtveit, T.; Özçep, Özgür Lütfü; Rodriguez-Muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, F.; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild; Zheleznyakov, Dmitriy
  The optique project : towards OBDA systems for industry
  CEUR Workshop Proceedings ; Vol. 1080 (2013): Seite ?
  

2012

• Lincke, Daniel
  A transformational approach to generic software development based on higher-order, typed functional signatures
  Open Access
• Munkby, Gustav
  Type-Based Software-Implemented Hardware Fault Tolerance
  TU Hamburg, Magazin, Signatur 2131-6155 (2012)
  

2011

• Gries, Oliver
  Gibbs sampling with deterministic dependencies
  5th international workshop, MIWAI 2011, Hyderabad, India, December 7 - 9, 2011 ; proceedings. - (Lecture Notes in Computer Science ; Vol. 7080 LNAI). - Seite 418-427 (2011)
  Publisher DOI
• Espinosa, Sofia; Kaya, Atila; Möller, Ralf
  Logical formalization of multimedia interpretation
  Lecture Notes in Computer Science 6050: 110-133 (2011)
  Publisher DOI
• Kaya, Atila
  A logic-based approach to multimedia interpretation
  Open Access
• Espinosa Peraldi, Irma Sofia
  Content management and knowledge management : two faces of ontology-based deep-level interpretation of text
  Open Access
• Wandelt, Sebastian
  Efficient instance retrieval over semi-expressive ontologies
  Open Access
• Wandelt, Sebastian; Möller, Ralf
  Islands and query answering for Alchi-ontologies
  Communications in Computer and Information Science 128: 224-236 (2011)
  Publisher DOI
• Hubauer, Thomas; Lamparter, Steffen; Pirker, Michael
  Relaxed abduction : robust information interpretation for incomplete models
  CEUR Workshop Proceedings 745 (): 180-190 (2011)
  

2010

• Garcia, Miguel; Izmaylova, Anastasia; Schupp, Sibylle
  Extending scala with database query capability
  Journal of Object Technology 4 (9): 45-68 (2010)
  Publisher DOI

2009

• Wessel, Michael; Möller, Ralf
  Flexible software architectures for ontology-based information systems
  Journal of Applied Logic 1 (7): 75-99 (2009)
  Publisher DOI

2008

• Garcia, Miguel
  Efficient integrity checking for essential MOF + OCL in software repositories
  Journal of Object Technology 6 (7): 101-119 (2008)
  Publisher DOI
• Wessel, Michael
  Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssysteme
  Open Access

2007

• Espinosa Peraldi, Sofia; Kaya, Atila; Melzer, Sylvia; Möller, Ralf; Wessel, Michael
  Multimedia interpretation as abduction
  CEUR Workshop Proceedings. - Vol. 250, Seite 323-330 (2007)
  
• Berger, Tobias; Kaplunova, Alissa; Kaya, Atila; Möller, Ralf
  Towards a scalable and efficient middleware for instance retrieval inference services
  OWLED 2007 - OWL: Experiences and Directions Workshop 2007. - CEUR Workshop Proceedings 258