Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Gladisch, Christoph"'
Autor:
Lyssenko, Maria, Gladisch, Christoph, Heinzemann, Christian, Woehrle, Matthias, Triebel, Rudolph
Safety is of utmost importance for perception in automated driving (AD). However, a prime safety concern in state-of-the art object detection is that standard evaluation schemes utilize safety-agnostic metrics to argue sufficient detection performanc
Externí odkaz:
http://arxiv.org/abs/2402.07642
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:
Ahrendt, Wolfgang, Beckert, Bernhard, Bruns, Daniel, Bubel, Richard, Gladisch, Christoph, Grebing, Sarah, Hähnle, Reiner, Hentschel, Martin, Herda, Mihai, Klebanov, Vladimir, Mostowski, Wojciech, Scheben, Christoph, Schmitt, Peter H., Ulbrich, Mattias, Giannakopoulou, Dimitra, Kroening, Daniel
Publikováno v:
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, 55-71
STARTPAGE=55;ENDPAGE=71;TITLE=Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments ISBN: 9783319121536
VSTTE
STARTPAGE=55;ENDPAGE=71;TITLE=Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments ISBN: 9783319121536
VSTTE
The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cf9afa1f90aa4e2753c7b29e4c73d1d
https://research.utwente.nl/en/publications/5f9412d3-c2fd-43d5-8d1f-3a2077f2b6ec
https://research.utwente.nl/en/publications/5f9412d3-c2fd-43d5-8d1f-3a2077f2b6ec
Autor:
Gladisch, Christoph David
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this dissertation new techniques for the detection of software faults (or software "bugs") are described which are based on a fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0439b040217a2ba1acb405f5763cdd1e
Publikováno v:
Deductive Software Verification - The KeY Book; 2016, p415-451, 37p
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.
Publikováno v:
Hardware & Software: Verification & Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings; 2014, p99-115, 17p
Autor:
El Ghazi, Aboubakr Achraf, Ulbrich, Mattias, Gladisch, Christoph, Tyszberowicz, Shmuel, Taghdiri, Mana
Publikováno v:
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings; 2014, p173-187, 15p
Publikováno v:
Formal Methods: Foundations & Applications (9783642410703); 2013, p99-114, 16p