Results 1-20 of 55

Issue DateTitleTypeAuthor(s)
1Sep-2020Fulltext availableOpen AccessTeaching machine learning and data literacy to students of logistics using Jupyter NotebooksChapter/Article (Proceedings)Kastner, Marvin  ; Franzkeit, Janna  ; Lainé, Anna 
2Sep-2020Designing and analyzing open application-oriented labs in software-verification educationChapter/Article (Proceedings)Rogalla, Antje  ; Kamph, Timo ; Bulmann, Ulrike ; Billerbeck, Katrin ; Blumreiter, Mathias ; Schupp, Sibylle 
318-Jun-2020Provably privacy-preserving distributed data aggregation in smart gridsChapter/Article (Proceedings)Stübs, Marius ; Mueller, Tobias ; Bavendiek, Kai ; Lösch, Manuel ; Schupp, Sibylle ; Federrath, Hannes 
426-Apr-2020Synthesizing strategies for needle steering in gelatin phantomsResearch PaperRogalla, Antje  ; Lehmann, Sascha ; Neidhardt, Maximilian ; Sprenger, Johanna ; Bengs, Marcel ; Schlaefer, Alexander ; Schupp, Sibylle 
59-Jan-2020Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile CaseChapter/Article (Proceedings)Schulz, Wolfgang ; Wittner, Florian ; Bavendiek, Kai ; Schupp, Sibylle 
6Nov-2019Guaranteeing privacy policies using lightweight type systemsArticleAdams, Robin ; Schulz, Wolfgang ; Schupp, Sibylle ; Wittner, Florian 
7Sep-2019Towards self-explainable cyber-physical systemsChapter/Article (Proceedings)Blumreiter, Mathias ; Greenyer, Joel ; Chiyah Garcia, Francisco Javier ; Klos, Verena ; Schwammberger, Maike ; Sommer, Christoph ; Vogelsang, Andreas ; Wortmann, Andreas 
8May-2019Static Analysis for Worst-Case Battery UtilizationChapter/Article (Proceedings)Ivanov, Dmitry ; Schupp, Sibylle 
92019An online model checking approach to soft-tissue detection for ruptureChapter/Article (Proceedings)Antoni, Sven-Thomas ; Lehmann, Sascha ; Schupp, Sibylle ; Schlaefer, Alexander 
102019Fulltext availableOpen AccessDo we need real data? : testing and training algorithms with artificial geolocation dataChapter/Article (Proceedings)Kaiser, Jan ; Bavendiek, Kai ; Schupp, Sibylle 
112019Automatically proving purpose limitation in software architecturesChapter/Article (Proceedings)Bavendiek, Kai ; Wittner, Florian ; Schwaneberg, Thea ; Behrendt, Christian Alexander ; Schulz, Wolfgang ; Federrath, Hannes ; Schupp, Sibylle ; Mueller, Tobias 
122019A quantitative metric temporal logic for execution-time constrained verificationChapter/Article (Proceedings)Lehmann, Sascha ; Antoni, Sven-Thomas ; Schlaefer, Alexander ; Schupp, Sibylle 
131-Nov-2018Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRIReview (Article)Antoni, Sven-Thomas ; Lehmann, Sascha ; Neidhardt, Maximilian ; Fehrs, Kai ; Ruprecht, Christian ; Kording, Fabian ; Adam, Gerhard ; Schupp, Sibylle ; Schlaefer, Alexander 
1429-Oct-2018Privacy-Preserving Architectures with Probabilistic GuarantiesChapter/Article (Proceedings)Bavendiek, Kai ; Adams, Robin ; Schupp, Sibylle 
152018Fulltext availableOpen AccessEin Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer SystemeChapter/Article (Proceedings)Padberg, Julia ; Schlaefer, Alexander ; Schupp, Sibylle 
162018Translating Law into Code - Why Computer Scientists and Lawyers Must Join ForcesArticleSchupp, Sibylle 
172018Analytical solution for long battery lifetime prediction in nonadaptive systemsChapter/Article (Proceedings)Ivanov, Dmitry ; Larsen, Kim G. ; Schupp, Sibylle ; Srba, Jiří 
182018Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box ComponentsChapter/Article (Proceedings)Adams, Robin ; Schupp, Sibylle 
192017Fulltext availableOpen AccessBDD-based value analysis for X86 executablesThesisMattsen, Sven 
202017Fulltext availableOpen AccessStructural and differential analysis for program comprehension of executablesThesisWichmann, Arne