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

Autonomica: Ontological Modeling and Analysis of Autonomous..:

Elaasar, Maged ; Rouquette, Nicolas ; Havelund, Klaus...
INCOSE International Symposium.  33 (2023)  1 - p. 1570-1585 , 2023
Link: https://doi.org/10.1002/..
 
?
2

NASA's Safety, Reliability, and Mission Assurance Digital F..:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),
DiVenti, Anthony ; Forsbacka, Matthew ; Rainbolt, Kevin.. - p. 1-7 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Invited talk: How the Fundamental Assurance Question pervad..:

, In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Feather, Martin - p. 1-1 , 2013
Link: https://doi.org/10.1109/..
 
?
4

Finding robust solutions in requirements models:

Gay, Gregory ; Menzies, Tim ; Jalali, Omid...
Automated Software Engineering.  17 (2009)  1 - p. 87-116 , 2009
Link: https://doi.org/10.1007/..
 
?
5

Optimizing requirements decisions with keys:

, In: Proceedings of the 4th international workshop on Predictor models in software engineering,
Jalali, Omid ; Menzies, Tim ; Feather, Martin - p. 79-86 , 2008
Link: https://dl.acm.org/doi/1..
 
?
6

The business case for automated software engineering:

, In: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering,
Menzies, Tim ; Elrawas, Oussama ; Hihn, Jairus... - p. 303-312 , 2007
Link: https://dl.acm.org/doi/1..
 
?
7

Guest Editors' Introduction:

Goedicke, Michael ; Feather, Martin
Automated Software Engineering.  11 (2004)  4 - p. 335 , 2004
Link: https://doi.org/10.1023/..
 
?
8

Corrections to "A synthesis of several sorting algorithms" ..:

Jacobs, Dean ; Feather, Martin
Acta Informatica.  26 (1988)  1-2 - p. 19-23 , 1988
Link: https://doi.org/10.1007/..
 
?
9

Application downloading:

, In: Proceedings of the 5th international conference on Software engineering,
Balzer, Robert ; Cooperband, Alvin ; Feather, Martin.. - p. 450-459 , 1981
Link: https://dl.acm.org/doi/1..
 
?
10

Towards Robust, Resilient Ocean World Science Sampling Syst..:

, In: 2023 IEEE Aerospace Conference,
Touma, Thomas ; Das, Ersin ; Burdick, Joel W.... - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Assurance Guidance for Space Mission use of Data-Driven Mac..:

, In: 2023 IEEE Aerospace Conference,
Feather, Martin S. ; Guerrini, Steven ; Slingerland, Philip C.. - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
12

Assurance for Autonomy – JPL's past research, lessons learn..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),
Feather, Martin S. ; Pinto, Alessandro - p. 97-105 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Space Trusted Autonomy Readiness Levels:

, In: 2023 IEEE Aerospace Conference,
Hobbs, Kerianne L. ; Lyons, Joseph B. ; Feather, Martin S.... - p. 1-17 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Space Applications of a Trusted AI Framework: Experiences a..:

, In: 2022 IEEE Aerospace Conference (AERO),
Mandrake, Lukas ; Doran, Gary ; Goel, Ashish... - p. 1-20 , 2022
Link: https://doi.org/10.1109/..
 
?
15

Assurance Guidance for Machine Learning in a Safety-Critica..:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Feather, Martin S. ; Slingerland, Philip C. ; Guerrini, Steven. - p. 394-401 , 2022
Link: https://doi.org/10.1109/..
 
1-15