Search results for "Robyn R. Lutz"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder	Trace Queries for Safety Requirements in High Assurance Systems.	REFSQ	2012	DBLP DOI BibTeX RDF
1	Jing Liu, Samik Basu, Robyn R. Lutz	Compositional model checking of software product lines using variation point obligations.	Autom. Softw. Eng.	2011	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Software Engineering for Space Exploration.	IEEE Computer	2011	DBLP DOI BibTeX RDF	Robotic spacecraft, Space exploration, Software engineering, Reliability, Design tools and techniques
1	Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz, Katerina Goseva-Popstojanova	Are change metrics good predictors for an evolving software product line?	PROMISE	2011	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine	Using model-based assurance to strengthen diagnostic procedures.	ASE	2011	DBLP DOI BibTeX RDF
1	Sandeep Krishnan, Robyn R. Lutz, Katerina Goseva-Popstojanova	Empirical evaluation of reliability improvement in an evolving software product line.	MSR	2011	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, David M. Weiss, Sandeep Krishnan, Jingwei Yang	Software Product Line Engineering for Long-Lived, Sustainable Systems.	SPLC	2010	DBLP DOI BibTeX RDF
1	Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz	Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.	WS-FM	2010	DBLP DOI BibTeX RDF
1	Simona Bernardi, José Merseguer, Robyn R. Lutz	Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.	EDCC	2010	DBLP DOI BibTeX RDF	reliability and availability requirements, Unified Modeling Language profile, Unified Process, misuse cases, fault trees
1	Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. Lutz	Automata-Based Verification of Security Requirements of Composite Web Services.	ISSRE	2010	DBLP DOI BibTeX RDF
1	James Kirby Jr., David M. Weiss, Robyn R. Lutz	Evidence-based software production.	FoSER	2010	DBLP DOI BibTeX RDF
1	Hongyu Sun, Robyn R. Lutz, Samik Basu	Product-line-based requirements customization for web service compositions.	SPLC	2009	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.	ICSR	2009	DBLP DOI BibTeX RDF	reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines
1	Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar	MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications.	International Journal on Artificial Intelligence Tools	2008	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Enabling Verifiable Conformance for Product Lines.	SPLC	2008	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	Supporting requirements reuse in multi-agent system product line design and evolution.	ICSM	2008	DBLP DOI BibTeX RDF
1	Qian Feng, Robyn R. Lutz	Assessing the Effect of Software Failures on Trust Assumptions.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ann Patterson-Hine	Using Fault Modeling in Safety Cases.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Jing Liu, Josh Dehlinger, Robyn R. Lutz	Safety analysis of software product lines using state-based modeling.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ann Patterson-Hine, Stacy Nelson, Chad R. Frost, Doron Tal, Robert Harris	Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle.	Requir. Eng.	2007	DBLP DOI BibTeX RDF	Contingency requirements, Obstacle analysis, Anomaly handling, Autonomy, Safety-critical software, Requirements evolution
1	Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz	State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.	ECBS	2007	DBLP DOI BibTeX RDF
1	Hongyu Sun, Miriam Hauptman, Robyn R. Lutz	Integrating Product-Line Fault Tree Analysis into AADL Models.	HASE	2007	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Portraits in Practice.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn R. Lutz	DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
1	Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Guy G. Helmer, Vasant Honavar, Les Miller, Robyn R. Lutz, Mark Slagell	Towards the automatic generation of mobile agents for distributed intrusion detection system.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Johnny Wong	Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring.	DASC	2006	DBLP DOI BibTeX RDF
1	Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar	Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.	ECOWS	2006	DBLP DOI BibTeX RDF
1	Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar	MoSCoE: A Framework for Modeling Web Service Composition and Execution.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
1	Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasant Honavar	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications.	ICTAI	2006	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa	Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Prasanna Padmanabhan, Robyn R. Lutz	Tool-Supported Verification of Product Line Requirements.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	requirements verification, feature-interaction resolution, variability, product line, consistency checking, product family, dependency constraints
1	Qian Feng, Robyn R. Lutz	Bi-directional safety analysis of product lines.	Journal of Systems and Software	2005	DBLP DOI BibTeX RDF
1	Jing Liu, Robyn R. Lutz, Jeffrey M. Thompson	Mapping concern space to software architecture: a connector-based approach.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	hyperspace, aspect, feature interaction, software connector
1	Josh Dehlinger, Robyn R. Lutz	A product-line requirements approach to safe reuse in multi-agent systems.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight	Using Occurrence Properties of Defect Report Data to Improve Requirements.	RE	2005	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal	Identifying Contingency Requirements Using Obstacle Analysis.	RE	2005	DBLP DOI BibTeX RDF	contingency requirements, obstacle analysis, anomaly-handling, autonomy, safety-critical software, requirements evolution
1	Josh Dehlinger, Robyn R. Lutz	A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.	SELMAS	2005	DBLP DOI BibTeX RDF
1	Jing Liu, Josh Dehlinger, Robyn R. Lutz	Safety Analysis of Software Product Lines Using State-Based Modeling.	ISSRE	2005	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ines Carmen Mikulski	Empirical Analysis of Safety-Critical Anomalies During Operations.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software and system safety, diagnostics, product metrics, maintenance process
1	Robyn R. Lutz, Ines Carmen Mikulski	Ongoing Requirements Discovery in High-Integrity Systems.	IEEE Software	2004	DBLP DOI BibTeX RDF	requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics
1	Robert W. Schwanke, Robyn R. Lutz	Experience with the architectural design of a modest product family.	Softw., Pract. Exper.	2004	DBLP DOI BibTeX RDF
1	Josh Dehlinger, Robyn R. Lutz	Software Fault Tree Analysis for Product Lines.	HASE	2004	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Gerald C. Gannod	Analysis of a software product line architecture: an experience report.	Journal of Systems and Software	2003	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ines Carmen Mikulski	Operational anomalies as a cause of safety-critical requirements evolution.	Journal of Systems and Software	2003	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ines Carmen Mikulski	Resolving Requirements Discovery in Testing and Operations.	RE	2003	DBLP DOI BibTeX RDF	requirements discovery, testing, safety-critical systems, operations, defect analysis, requirements evolution
1	Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski	Better Analysis of Defect Data at NASA.	SEKE	2003	DBLP BibTeX RDF
1	Robyn R. Lutz, Ines Carmen Mikulski	Requirements Discovery during the Testing of Safety-Critical Software. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn R. Lutz	A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Software fault tree, Mobile agents, Intrusion detection system, Requirements analysis, Coloured Petri nets
1	Dingding Lu, Robyn R. Lutz	Fault Contribution Trees for Product Families.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Ines Carmen Mikulski	Evolution of Safety-Critical Requirements Post-Launch. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Extending the product family approach to support safe reuse.	Journal of Systems and Software	2000	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Software engineering for safety: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	software engineering, software safety, future directions
1	Gerald C. Gannod, Robyn R. Lutz	An approach to architectural analysis of product lines.	ICSE	2000	DBLP DOI BibTeX RDF	interferometry software, software archtecture, product lines, software architecture analysis
1	Carolina Cruz-Neira, Robyn R. Lutz	Using Immersive Virtual Environments for Certification.	IEEE Software	1999	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Toward Safe Reuse of Product Family Specifications.	SSR	1999	DBLP DOI BibTeX RDF
1	Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton	Experiences Using Lightweight Formal Methods for Requirements Modeling.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault protection software, formal methods, verification and validation, Software requirements, NASA
1	Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey	Safety Analysis of Requirements for a Product Family. (PDF / PS)	ICRE	1998	DBLP DOI BibTeX RDF	Safety, requirements analysis, product family, avionics
1	Robyn R. Lutz, Robert M. Woodhouse	Requirements Analysis Using Forward and backward Search.	Ann. Software Eng.	1997	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Targeting safety-related errors during software requirements analysis.	Journal of Systems and Software	1996	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Robert M. Woodhouse	Experience Report: Contributions of SFMEA to Requirements Analysis. (PDF / PS)	ICRE	1996	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Targeting Safety-Related Errors During Software Requirements Analysis.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
1	Robyn R. Lutz, Johnny S. Wong	Detecting Unsafe Error Recovery Schedules.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unsafe error recovery schedules, modeling timing, data-consistency constraints, concurrently executing processes, Galileo spacecraft, asynchronous real-time systems, scheduling, real-time systems, fault tolerant computing, aerospace computing, precedence

Publications of "Robyn R. Lutz" ( http://dblp.L3S.de/Authors/Robyn_R._Lutz )