Analyzing software requirements errors in safety-critical, embedded systems RR Lutz IEEE Int'l Symp Requirements Engineering, 126-133, 1993 | 452 | 1993 |
Experiences using lightweight formal methods for requirements modeling S Easterbrook, R Lutz, R Covington, J Kelly, Y Ampo, D Hamilton IEEE Transactions on Software Engineering 24 (1), 4-14, 1998 | 237 | 1998 |
Software engineering for safety RR Lutz Proceedings of the 22th International Conference on Software Engineering …, 2000 | 214* | 2000 |
A software fault tree approach to requirements analysis of an intrusion detection system G Helmer, J Wong, M Slagell, V Honavar, L Miller, R Lutz Requirements Engineering Journal 7 (4), 207-220, 2002 | 188 | 2002 |
Targeting safety-related errors during software requirements analysis RR Lutz 1st SIGSOFT Symposium on Foundations of Software Engineering (FSE) 18 (5 …, 1993 | 187 | 1993 |
Safety analysis of software product lines using state-based modeling J Liu, J Dehlinger, R Lutz Journal of Systems and Software 80 (11), 1879-1892, 2007 | 124 | 2007 |
Safety analysis of software product lines using state-based modeling J Liu, J Dehlinger, R Lutz Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International …, 2005 | 124 | 2005 |
Empirical analysis of safety-critical anomalies during operations RR Lutz IEEE Transactions on Software Engineering 30 (3), 172-180, 2004 | 110 | 2004 |
Requirements analysis using forward and backward search RR Lutz, RM Woodhouse Annals of Software Engineering 3 (1), 459-475, 1997 | 107 | 1997 |
Software fault tree analysis for product lines J Dehlinger, RR Lutz 8th IEEE Int'l Symp High Assurance Systems Engineering, 12-21, 2004 | 85 | 2004 |
Compositional model checking of software product lines using variation point obligations J Liu, S Basu, RR Lutz Automated Software Engineering 18 (1), 39-76, 2011 | 75 | 2011 |
PLFaultCAT: A product-line software fault tree analysis tool J Dehlinger, RR Lutz Automated Software Engineering 13 (1), 169-193, 2006 | 67 | 2006 |
Trace queries for safety requirements in high assurance systems J Cleland-Huang, M Heimdahl, J Huffman Hayes, R Lutz, P Maeder Requirements Engineering: Foundation for Software Quality: 18th …, 2012 | 66 | 2012 |
Operational anomalies as a cause of safety-critical requirements evolution RR Lutz, IC Mikulski Journal of Systems and Software 65 (2), 155-161, 2003 | 65 | 2003 |
Bi-directional analysis for certification of safety-critical software RR Lutz, RM Woodhouse First Int'l Sofware Assurance Certification Conf, 1999 | 63 | 1999 |
Parallel web service composition in moscoe: A choreography-based approach J Pathak, S Basu, R Lutz, V Honavar 4th European Conf on Web Services, 3-12, 2006 | 54 | 2006 |
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle R Lutz, A Patterson-Hine, S Nelson, CR Frost, D Tal, R Harris Requirements Engineering 12, 41-54, 2007 | 50 | 2007 |
Are change metrics good predictors for an evolving software product line? S Krishnan, C Strasburg, RR Lutz, K Goševa-Popstojanova Proceedings of the 7th International Conference on Predictive Models in …, 2011 | 48 | 2011 |
Bi-directional safety analysis of product lines Q Feng, RR Lutz Journal of Systems and Software 78 (2), 111-127, 2005 | 48 | 2005 |
Extending the product family approach to support safe reuse RR Lutz Journal of Systems and Software 53 (3), 207-217, 2000 | 48 | 2000 |