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
• Lehmann, Sascha; Schupp, Sibylle
  A model template for reachability-based containment checking of imprecise observations in timed automata
  Software and Systems Modeling (in Press): (2024)
  Open Access | Verlags DOI
• 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)
  Verlags 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
  Electronic Proceedings in Theoretical Computer Science, EPTCS 399: 193-209 (2024-04-06)
  Open Access | Verlags DOI

2023

• 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 | Verlags DOI
• 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 | Verlags DOI
• 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)
  Verlags 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)
  Verlags 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 | Verlags 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)
  Verlags 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
  Bacchus, F., Berg, J., Järvisalo, M., Martins, R., & Niskanen, A. (Eds.) (2022). MaxSAT Evaluation 2022: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2022-2). Department of Computer Science, University of Helsinki. - Seite 29-30 (2022)
  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 | Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags DOI
• Blumreiter, Mathias; Greenyer, Joel; Chiyah Garcia, Francisco Javier; Klos, Verena; Schwammberger, Maike; Sommer, Christoph; Vogelsang, Andreas; Wortmann, Andreas
  Towards self-explainable cyber-physical systems
  International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C: 8904796 (2019-09)
  Verlags 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)
  Verlags 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)
  Verlags 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. ; 19.-21. September 2019, Reutlingen, Seite 83 - 88 (2019)
  
• 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)
  Verlags 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 | Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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
  International Workshop on Feature-Oriented Software Development (FOSD 2016)
  Verlags DOI
• Pfofe, Tristan; Thüm, Thomas; Schulze, Sandro; Fenske, Wolfram; Schaefer, Ina
  Synchronizing software variants with VariantSync
  ACM International Conference Proceeding Series (16-23-September-2016): 329-332 (2016-09-16)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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)
  Verlags 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
  Open Access

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)
  Verlags 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
  Verlags 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
  
• Botta, Nicola; Mandel, Antoine; Hofmann, Mareen; Schupp, Sibylle; Ionescu, Cezar
  Mathematical specification of an agend-based model of exchange
  Do-form: enabling domain experts to use formalised reasoning : AISB convention 2013 ; University of Exeter, 3rd - 5th April, 2013 ; [... proceedings of one of eight co-located symposia held at the AISB convention 2013 ...] / Manfred Kerber ... (ed.). - New York, NY : Curran, 2013. - Seite 38-48
  
• 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
  Verlags 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)
  Verlags DOI
• Espinosa, Sofia; Kaya, Atila; Möller, Ralf
  Logical formalization of multimedia interpretation
  Knowledge-driven multimedia information extraction and ontology evolution. - Berlin. - (Lecture Notes in Computer Science ; vol. 6050). - Seite 110-133 (2011)
  Verlags 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
  Knowledge Discovery, Knowlege Engineering and Knowledge Management : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers. - Berlin, 2011. - (Communications in Computer and Information Science ; 128). - Seite 224-236
  Verlags 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)
  Verlags DOI

2009

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

2008

• Castano, Silvana; Ferrara, Alfio; Lorusso, Davide; Näth, Tobias Henrik; Möller, Ralf
  Mapping validation by probabilistic reasoning
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (5021 LNCS): 170-184 (2008)
  Verlags DOI
• Garcia, Miguel
  Efficient integrity checking for essential MOF + OCL in software repositories
  Journal of Object Technology 6 (7): 101-119 (2008)
  Verlags 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