Erscheinungsjahr 2022 5 2021 2 2020 4 2019 7 2018 7 2016 2 2015 3 2013 5 2010 1 alle zeigenListe einklappen
Autor/in Schupp, Sibylle Schlaefer, Alexander 12 Lehmann, Sascha 9 Antoni, Sven-Thomas 7 Bavendiek, Kai 7 Neidhardt, Maximilian 6 Rogalla, Antje 5 Schulz, Wolfgang 4 Wittner, Florian 4 Adams, Robin 3 Federrath, Hannes 3 Rinast, Jonas 3 Adam, Gerhard 2 Fehrs, Kai 2 Ivanov, Dmitry 2 Kamph, Timo 2 Kording, Fabian 2 Lübke, Ole 2 Ma, Xintao 2 Mattsen, Sven 2 Mueller, Tobias 2 Reinecke, Anton 2 Ruprecht, Christian 2 Sprenger, Johanna 2 Wichmann, Arne 2 Behrendt, Christian Alexander 1 Behrendt, Christian-Alexander 1 Bengs, Marcel 1 Billerbeck, Katrin 1 Blumreiter, Mathias 1 Botta, Nicola 1 Bulmann, Ulrike 1 Cuoq, Pascal 1 Garcia, Miguel 1 Gollmann, Dieter 1 Haeri, Seyed Hossein 1 Hofmann, Mareen 1 Ionescu, Cezar 1 Izmaylova, Anastasia 1 Kaiser, Jan 1 Kautz, Christian 1 Kreutzburg, Thea 1 Larsen, Kim G. 1 Lösch, Manuel 1 Mandel, Antoine 1 Müller, Tobias 1 Padberg, Julia 1 Salden, Peter 1 Schwaneberg, Thea 1 Srba, Jiří 1 Stübs, Marius 1 alle zeigenListe einklappen
Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces Schupp, Sibylle 2018 - TUHH Open Research
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme Padberg, Julia Schlaefer, Alexander Schupp, Sibylle 2018 - TUHH Open Research - frei zugänglich
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - TUHH Open Research
Privacy-Preserving Architectures with Probabilistic Guaranties Bavendiek, Kai Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy Antoni, Sven-Thomas Rinast, Jonas Ma, Xintao Schupp, Sibylle Schlaefer, Alexander 2016 - TUHH Open Research
Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts Antoni, Sven-Thomas Ma, Xintao Schupp, Sibylle Schlaefer, Alexander 2016 - TUHH Open Research
Comparing model-free motion prediction and on-line model checking for respiratory motion management Antoni, Sven-Thomas Rinast, Jonas Schupp, Sibylle Schlaefer, Alexander 2015 - TUHH Open Research
Matching machine-code functions in executables within one product line via bioinformatic sequence alignment Wichmann, Arne Schupp, Sibylle 2015 - TUHH Open Research
A non-convex abstract domain for the value analysis of binaries Mattsen, Sven Wichmann, Arne Schupp, Sibylle 2015 - TUHH Open Research
State space reconstruction for on-line model checking with UPPAAL Rinast, Jonas Schupp, Sibylle Gollmann, Dieter 2013 - TUHH Open Research
Driving a sound static software analyzer with branch-and-bound Mattsen, Sven Cuoq, Pascal Schupp, Sibylle 2013 - TUHH Open Research
Mathematical specification of an agend-based model of exchange Botta, Nicola Mandel, Antoine Hofmann, Mareen Schupp, Sibylle Ionescu, Cezar 2013 - TUHH Open Research
Reusable components for lightweight mechanisation of programming languages Haeri, Seyed Hossein Schupp, Sibylle 2013 - TUHH Open Research
Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering] Kamph, Timo Salden, Peter Schupp, Sibylle Kautz, Christian 2013 - TUHH Open Research
Extending scala with database query capability Garcia, Miguel Izmaylova, Anastasia Schupp, Sibylle 2010 - TUHH Open Research