36 Einträge gefunden

21. Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components

    1. Adams, Robin
    2. Schupp, Sibylle

    2018 - TUHH Open Research
22. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

    1. Antoni, Sven-Thomas
    2. Lehmann, Sascha
    3. Neidhardt, Maximilian
    4. Fehrs, Kai
    5. Ruprecht, Christian
    6. Kording, Fabian
    7. Adam, Gerhard

    2018 - Forschungsinformationssystem des UKE
23. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

    1. Padberg, Julia
    2. Schlaefer, Alexander
    3. Schupp, Sibylle

    2018 - TUHH Open Research - frei zugänglich
24. Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces

    1. Schupp, Sibylle

    2018 - TUHH Open Research
25. Analytical solution for long battery lifetime prediction in nonadaptive systems

    1. Ivanov, Dmitry
    2. Larsen, Kim G.
    3. Schupp, Sibylle
    4. Srba, Jiří

    2018 - TUHH Open Research
26. Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Ma, Xintao
    4. Schupp, Sibylle
    5. Schlaefer, Alexander

    2016 - TUHH Open Research
27. Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts

    1. Antoni, Sven-Thomas
    2. Ma, Xintao
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2016 - TUHH Open Research
28. A non-convex abstract domain for the value analysis of binaries

    1. Mattsen, Sven
    2. Wichmann, Arne
    3. Schupp, Sibylle

    2015 - TUHH Open Research
29. Matching machine-code functions in executables within one product line via bioinformatic sequence alignment

    1. Wichmann, Arne
    2. Schupp, Sibylle

    2015 - TUHH Open Research
30. Comparing model-free motion prediction and on-line model checking for respiratory motion management

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2015 - TUHH Open Research
31. Driving a sound static software analyzer with branch-and-bound

    1. Mattsen, Sven
    2. Cuoq, Pascal
    3. Schupp, Sibylle

    2013 - TUHH Open Research
32. Mathematical specification of an agend-based model of exchange

    1. Botta, Nicola
    2. Mandel, Antoine
    3. Hofmann, Mareen
    4. Schupp, Sibylle
    5. Ionescu, Cezar

    2013 - TUHH Open Research
33. Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering]

    1. Kamph, Timo
    2. Salden, Peter
    3. Schupp, Sibylle
    4. Kautz, Christian

    2013 - TUHH Open Research
34. State space reconstruction for on-line model checking with UPPAAL

    1. Rinast, Jonas
    2. Schupp, Sibylle
    3. Gollmann, Dieter

    2013 - TUHH Open Research
35. Reusable components for lightweight mechanisation of programming languages

    1. Haeri, Seyed Hossein
    2. Schupp, Sibylle

    2013 - TUHH Open Research
36. Extending scala with database query capability

    1. Garcia, Miguel
    2. Izmaylova, Anastasia
    3. Schupp, Sibylle

    2010 - TUHH Open Research