Search Results - Biewer, Sebastian

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Conformance Relations and Hyperproperties for Doping Detection in Time and Space

    Conformance Relations and Hyperproperties for Doping Detection in Time and Space by Biewer, Sebastian, Dimitrova, Rayna, Fries, Michael, Gazda, Maciej, Heinze, Thomas, Hermanns, Holger, Mousavi, Mohammad Reza

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    HoRStify: Sound Security Analysis of Smart Contracts

    HoRStify: Sound Security Analysis of Smart Contracts by Holler, Sebastian, Biewer, Sebastian, Schneidewind, Clara

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    On the road with RTLola: Testing Real Driving Emissions on your Phone

    On the road with RTLola: Testing Real Driving Emissions on your Phone by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    On the road with RTLola

    On the road with RTLola by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Software doping analysis for human oversight

    Software doping analysis for human oversight by Biewer, Sebastian, Baum, Kevin, Sterz, Sarah, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Doping Tests for Cyber-physical Systems

    Doping Tests for Cyber-physical Systems by Biewer, Sebastian, D’argenio, Pedro R., Hermanns, Holger

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives

    On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives by Sterz, Sarah, Baum, Kevin, Biewer, Sebastian, Hermanns, Holger, Lauber-Rönsberg, Anne, Meinel, Philip, Langer, Markus

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    HoRStify: Sound Security Analysis of Smart Contracts

    HoRStify: Sound Security Analysis of Smart Contracts by Holler, Sebastian, Biewer, Sebastian, Schneidewind, Clara

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Conformance Relations and Hyperproperties for Doping Detection in Time and Space

    Conformance Relations and Hyperproperties for Doping Detection in Time and Space by Biewer, Sebastian, Dimitrova, Rayna, Fries, Michael, Gazda, Maciej, Heinze, Thomas, Hermanns, Holger, Mousavi, Mohammad Reza

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    RTLola on Board: Testing Real Driving Emissions on your Phone

    RTLola on Board: Testing Real Driving Emissions on your Phone by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Doping Tests for Cyber-Physical Systems

    Doping Tests for Cyber-Physical Systems by Biewer, Sebastian, D'Argenio, Pedro, Hermanns, Holger

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Software Doping Analysis for Human Oversight

    Software Doping Analysis for Human Oversight by Biewer, Sebastian, Baum, Kevin, Sterz, Sarah, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Is your software on dope? Formal analysis of surreptitiously "enhanced" programs

    Is your software on dope? Formal analysis of surreptitiously "enhanced" programs by D'Argenio, Pedro R, Barthe, Gilles, Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Cognitive behavioural therapy for the treatment of late life depression: study protocol of a multicentre, randomized, observer-blinded, controlled trial (CBTlate)

    Cognitive behavioural therapy for the treatment of late life depression: study protocol of a multicentre, randomized, observer-blinded, controlled trial (CBTlate) by Dafsari, Forugh S, Bewernick, Bettina, Biewer, Matthias, Christ, Hildegard, Domschke, Katharina, Froelich, Lutz, Hellmich, Martin, Luppa, Melanie, Peters, Oliver, Ramirez, Alfredo, Riedel-Heller, Steffi, Schramm, Elisabeth, Vry, Magnus-Sebastian, Wagner, Michael, Hautzinger, Martin, Jessen, Frank

    Published in BMC psychiatry
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: