Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Salay, Rick
80  Ergebnisse:
Personensuche X
?
1

A Safety Assurable Human-Inspired Perception Architecture:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops,
Salay, Rick ; Czarnecki, Krzysztof - p. 302-315 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Property Satisfiability Analysis for Product Lines of Model..:

Guerra, Esther ; de Lara, Juan ; Chechik, Marsha.
IEEE Transactions on Software Engineering.  48 (2022)  2 - p. 397-416 , 2022
Link: https://doi.org/10.1109/..
 
?
3

If a Human Can See It, So Should Your System: Reliability R..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Hu, Boyue Caroline ; Marsso, Lina ; Czarnecki, Krzysztof... - p. 1145-1156 , 2022
Link: https://doi.org/10.1145/..
 
?
4

If a human can see it, so should your system : reliabili..:

, In: Proceedings of the 44th International Conference on Software Engineering,
Hu, Boyue Caroline ; Marsso, Lina ; Czarnecki, Krzysztof... - p. 1145-1156 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Out-of-Distribution Detection for LiDAR-based 3D Object Det..:

, In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC),
Huang, Chengjie ; Nguyen, Van Duong ; Abdelzad, Vahdat... - p. 4265-4271 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Robustifying Controller Specifications of Cyber-Physical Sy..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kobayashi, Tsutomu ; Salay, Rick ; Hasuo, Ichiro... - p. 198-213 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Towards Requirements Specification for Machine-learned Perc..:

, In: 2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE),
Hu, Boyue Caroline ; Salay, Rick ; Czarnecki, Krzysztof... - p. 48-51 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Accelerating the Training of Convolutional Neural Networks ..:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Chen, Weitao ; Salay, Rick ; Sedwards, Sean.. - p. 1-7 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Uncertainty, Modeling and Safety Assurance: Towards a Unifi..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,
Chechik, Marsha ; Kokaly, Sahar ; Rahimi, Mona.. - p. 19-29 , 2020
Link: https://doi.org/10.1007/..
 
?
10

A Framework for Temporal Verification Support in Domain-Spe..:

Meyers, Bart ; Vangheluwe, Hans ; Denil, Joachim.
IEEE Transactions on Software Engineering.  46 (2020)  4 - p. 362-404 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Just Enough Formality in Assurance Argument Structures:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Viger, Torin ; Salay, Rick ; Selim, Gehan. - p. 34-49 , 2020
Link: https://doi.org/10.1007/..
 
?
12

MMINT-A 2.0 : tool support for the lifecycle of model-ba..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Di Sandro, Alessio ; Selim, Gehan ; Salay, Rick... - p. 1-5 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

A Safety Analysis Method for Perceptual Components in Autom..:

, In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE),
Salay, Rick ; Angus, Matt ; Czarnecki, Krzysztof - p. 24-34 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Bayesian Uncertainty Quantification with Synthetic Data:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Phan, Buu ; Khan, Samin ; Salay, Rick. - p. 378-390 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Improving ML Safety with Partial Specifications:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Salay, Rick ; Czarnecki, Krzysztof - p. 288-300 , 2019
Link: https://doi.org/10.1007/..
 
1-15