引用次数
引用: 3,731
H-指数: 33
I10-指数 : 76
出版物: 145
Experience Report Summary: Applying Adaptive Safety Analysis Techniques
H-Y. Shaw , R. Lutz
1999
VizieR Online Data Catalog: Asteroseismic study of solar-type stars (Chaplin+, 2014)
Y. Elsworth , S. Hekker , T. S. Metcalfe , D. Pricopi
VizieR Online Data Catalog
2014
Experiences using lightweight formal methods for requirements modeling
S. Easterbrook , R. Lutz , R. Covington , J. Kelly
IEEE Transactions on Software Engineering 24 ( 1) 4 -14
147
1998
Identifying contingency requirements using obstacle analysis
R. Lutz , S. Nelson , A. Patterson-Hine , C.R. Frost
international conference on requirements engineering 263 -272
5
2005
Mining Requirements Knowledge from Operational Experience
R. Lutz , M. Lavin , J. Lux , K. Peters
Managing Requirements Knowledge 49 -73
7
2013
Validating system-level error recovery for spacecraft
ROBYN LUTZ , JOHNNY WONG
8th Computing in Aerospace Conference
1
1991
MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS
JYOTISHMAN PATHAK , SAMIK BASU , ROBYN LUTZ , VASANT HONAVAR
International Journal on Artificial Intelligence Tools 17 ( 1) 109 -138
18
2008
Evaluation, Selection, and Application of Model-Based
Scott Poll , Ann Patterson-Hine , Joe Camisafl , David Nishikawa
Experiences Using Formal Methods for Requirements Modeling
Steve Easterbrook , Yoko Ampo , Robyn Lutz , John Kelly
6
1996
The role of environmental assumptions in failures of DNA nanosystems
Robyn Lutz , Thein Tun , Yijun Yu , Divita Mathur
2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS) 27 -33
4
2015
Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees
Ann Patterson-Hine , Robyn Lutz , Tolga Kurtoglu
Annual Conference of the PHM Society 1 ( 1)
1
2009
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
Jyotishman Pathak , Samik Basu , Robyn Lutz , Vasant Honavar
european conference on web services 3 -12
37
2006
Diagnosing assumption problems in safety-critical products
Mona Rahimi , Wandi Xiong , Jane Cleland-Huang , Robyn Lutz
automated software engineering 473 -484
1
2017
Software Product Line Engineering for Long-Lived, Sustainable Systems
Robyn Lutz , David Weiss , Sandeep Krishnan , Jingwei Yang
Software Product Lines: Going Beyond 430 -434
6
2010
Using Fault Modeling in Safety Cases
Robyn Lutz , Ann Patterson-Hine
international symposium on software reliability engineering 271 -276
7
2008
Assessing the Effect of Software Failures on Trust Assumptions
Qian Feng , Robyn Lutz
international symposium on software reliability engineering 291 -292
2
2008
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems
Robyn Lutz , Ann Patterson-Hine , Anupa Bajwa
international symposium on software reliability engineering 213 -220
2
2006
Automata-Based Verification of Security Requirements of Composite Web Services
Hongyu Sun , Samik Basu , Vasant Honavar , Robyn Lutz
international symposium on software reliability engineering 348 -357
8
2010
Safety analysis of software product lines using state-based modeling
Jing Liu , Josh Dehlinger , Robyn Lutz
Journal of Systems and Software 80 ( 11) 1879 -1892
68
2007
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines
Jing Liu , Josh Dehlinger , Hongyu Sun , Robyn Lutz
engineering of computer based systems 596 -608
15
2007