Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Rick Salay"'
Autor:
Chengjie Huang, Van Duong Nguyen, Vahdat Abdelzad, Christopher Gus Mannes, Luke Rowe, Benjamin Therien, Rick Salay, Krzysztof Czarnecki
3D object detection is an essential part of automated driving, and deep neural networks (DNNs) have achieved state-of-the-art performance for this task. However, deep models are notorious for assigning high confidence scores to out-of-distribution (O
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f940ce93a918e7f38ed6c13fb59b3a19
http://arxiv.org/abs/2209.14435
http://arxiv.org/abs/2209.14435
© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::847e22c74563997f8b9e826eff92f81a
https://doi.org/10.1109/tse.2020.2989506
https://doi.org/10.1109/tse.2020.2989506
Autor:
Rick Salay, Krzysztof Czarnecki
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031148613
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63e4272f71d723b9a285c8348249589f
https://doi.org/10.1007/978-3-031-14862-0_22
https://doi.org/10.1007/978-3-031-14862-0_22
Autor:
Loli, Burgueño, Ciccozzi, Federico, Michalis, Famelis, Gerti, Kappel, Leen, Lambers, Sebastien, Mosser, Paige, Richard F., Pierantonio, Alfonso, Arend, Rensink, Rick, Salay, Gabriele, Taentzer, Antonio, Vallecillo, Manuel, Wimmer
Publikováno v:
Software and systems modeling, 18(6), 3193-3205. Springer
Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices (i.e., a Body of Knowledge) has been defined for it yet. With the goals of characterizing the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4f659073f79c5549f6718e34c3b3eb6
http://www.scopus.com/inward/record.url?scp=85069478287&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=85069478287&partnerID=8YFLogxK
Publikováno v:
Software and Systems Modeling. 19:231-260
Model management techniques help tame the complexity caused by the many models used in large-scale software development; however, these techniques have focused on operators to manipulate individual models rather than entire collections of them. In th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50b2c50109b55366f6e8465b8df7874f
https://doi.org/10.1007/s10270-019-00738-9
https://doi.org/10.1007/s10270-019-00738-9
Autor:
Tsutomu Kobayashi, Fuyuki Ishikawa, Ichiro Hasuo, Shin-ya Katsumata, Krzysztof Czarnecki, Rick Salay
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030763831
Formal reasoning on the safety of controller systems interacting with plants is complex because developers need to specify behavior while taking into account perceptual uncertainty. To address this, we propose an automated workflow that takes an Even
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ed213d71400c6afa9f385ce4e158f69
https://doi.org/10.1007/978-3-030-76384-8_13
https://doi.org/10.1007/978-3-030-76384-8_13
Publikováno v:
MODELS Companion
In recent years, the complexity of safety-critical systems such as automotive systems has been rapidly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. The standards mandate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c86015917a8910964dbebfd22368f82d
https://doi.org/10.1145/3417990.3422012
https://doi.org/10.1145/3417990.3422012
Publikováno v:
ITSC
Semantic segmentation is an important perception function for automated driving (AD), but training a deep neural network for the task using supervised learning requires expensive manual labelling. Active learning (AL) addresses this challenge by auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c292dc341f9cc5df700e7e87bf963e10
https://doi.org/10.1109/itsc45102.2020.9294260
https://doi.org/10.1109/itsc45102.2020.9294260
Autor:
Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Marsha Chechik, Gehan M. K. Selim, Mona Rahimi
Publikováno v:
AIRE@RE
The application of machine learning (ML) based perception algorithms in safety-critical systems such as autonomous vehicles have raised major safety concerns due to the apparent risks to human lives. Yet assuring the safety of such systems is a chall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a62eda1f08935df3b131f5f801068dc
https://doi.org/10.1109/aire51212.2020.00014
https://doi.org/10.1109/aire51212.2020.00014
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
Safety assurance cases (ACs) are structured arguments that assert the safety of cyber-physical systems. ACs use reasoning steps, or strategies, to show how a safety claim is decomposed into subclaims which are then supported by evidence. In practice,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd849ee6a308cd9d909ee5ebc7d3491a
https://doi.org/10.1007/978-3-030-54549-9_3
https://doi.org/10.1007/978-3-030-54549-9_3