Robyn Lutz
Robyn Lutz
Bestätigte E-Mail-Adresse bei iastate.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Analyzing software requirements errors in safety-critical, embedded systems
RR Lutz
IEEE Int'l Symp Requirements Engineering, 126-133, 1993
4011993
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
2191998
Software engineering for safety
RR Lutz
Proceedings of the 22th International Conference on Software Engineering …, 2000
193*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
1792002
Targeting safety-related errors during software requirements analysis
RR Lutz
1st SIGSOFT Symposium on Foundations of Software Engineering (FSE) 18 (5 …, 1993
1761993
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
1172007
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
1172005
Requirements analysis using forward and backward search
RR Lutz, RM Woodhouse
Annals of Software Engineering 3 (1), 459-475, 1997
1011997
Empirical analysis of safety-critical anomalies during operations
RR Lutz
IEEE Transactions on Software Engineering 30 (3), 172-180, 2004
972004
Software fault tree analysis for product lines
J Dehlinger, RR Lutz
8th IEEE Int'l Symp High Assurance Systems Engineering, 12-21, 2004
762004
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
702011
Operational anomalies as a cause of safety-critical requirements evolution
RR Lutz, IC Mikulski
Journal of Systems and Software 65 (2), 155-161, 2003
642003
Bi-directional analysis for certification of safety-critical software
RR Lutz, RM Woodhouse
First Int'l Sofware Assurance Certification Conf, 1999
641999
PLFaultCAT: A product-line software fault tree analysis tool
J Dehlinger, RR Lutz
Automated Software Engineering 13 (1), 169-193, 2006
612006
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
522006
Trace queries for safety requirements in high assurance systems
J Cleland-Huang, M Heimdahl, JH Hayes, R Lutz, P Maeder
International working conference on requirements engineering: Foundation for …, 2012
492012
Towards the automatic generation of mobile agents for distributed intrusion detection system
Y Wang, SR Behera, J Wong, G Helmer, V Honavar, L Miller, R Lutz, ...
Journal of Systems and Software 79 (1), 1-14, 2006
462006
Bi-directional safety analysis of product lines
Q Feng, RR Lutz
Journal of Systems and Software 78 (2), 111-127, 2005
462005
Tool-supported verification of product line requirements
P Padmanabhan, RR Lutz
Automated Software Engineering 12 (4), 447-465, 2005
452005
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 (1), 41-54, 2007
442007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20