Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Biewer, Sebastian"'
Autor:
Sterz, Sarah, Baum, Kevin, Biewer, Sebastian, Hermanns, Holger, Lauber-Rönsberg, Anne, Meinel, Philip, Langer, Markus
Human oversight is currently discussed as a potential safeguard to counter some of the negative aspects of high-risk AI applications. This prompts a critical examination of the role and conditions necessary for what is prominently termed effective or
Externí odkaz:
http://arxiv.org/abs/2404.04059
Autor:
Biewer, Sebastian, Baum, Kevin, Sterz, Sarah, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz
This article introduces a framework that is meant to assist in mitigating societal risks that software can pose. Concretely, this encompasses facets of software doping as well as unfairness and discrimination in high-risk decision-making systems. The
Externí odkaz:
http://arxiv.org/abs/2308.06186
The cryptocurrency Ethereum is the most widely used execution platform for smart contracts. Smart contracts are distributed applications, which govern financial assets and, hence, can implement advanced financial instruments, such as decentralized ex
Externí odkaz:
http://arxiv.org/abs/2301.13769
Autor:
Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian
This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys RTLola runtime mon
Externí odkaz:
http://arxiv.org/abs/2111.05255
Autor:
Biewer, Sebastian, Dimitrova, Rayna, Fries, Michael, Gazda, Maciej, Heinze, Thomas, Hermanns, Holger, Mousavi, Mohammad Reza
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:6963
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notio
Externí odkaz:
http://arxiv.org/abs/2012.03910
The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by the manuf
Externí odkaz:
http://arxiv.org/abs/1904.08641
Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are confronted with the situation that economical or technological reasons
Externí odkaz:
http://arxiv.org/abs/1702.04693
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Biewer, Sebastian, Dimitrova, Rayna, Fries, Michael, Gazda, Maciej, Heinze, Thomas, Hermanns, Holger, Mousavi, Mohammad Reza
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fe06c6abad36212c7ccbc185e7369ba
https://eprints.whiterose.ac.uk/183305/1/2012.03910.pdf
https://eprints.whiterose.ac.uk/183305/1/2012.03910.pdf