Martin S. Feather

88 papers A* 7A 11B 3C 5Journal 25Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Open-World Verification: A Grand Challenge for Autonomous Systems. Proc. IEEE Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024	J	`jnl`	Grand Challenges in the Verification of Autonomous Systems. CoRR Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024	A	`conf`	Recursively-Constrained Partially Observable Markov Decision Processes. UAI Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary Sunberg
2024	A	`conf`	Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. UAI Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary Sunberg, Morteza Lahijanian
2024	J	`jnl`	Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. CoRR Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary N. Sunberg, Morteza Lahijanian
2023	—	`conf`	Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA Martin S. Feather, Alessandro Pinto
2023	J	`jnl`	Assurance for Autonomy - JPL's past research, lessons learned, and future directions. CoRR Martin S. Feather, Alessandro Pinto
2023	J	`jnl`	Recursively-Constrained Partially Observable Markov Decision Processes. CoRR Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg
2022	—	`conf`	Assurance Guidance for Machine Learning in a Safety-Critical System. ISSRE Workshops Martin S. Feather, Philip C. Slingerland, Steven Guerrini, Max Spolaor
2022	—	`conf`	Hallmarks of an Autonomous Space System's Development and V&V. ICAA Martin S. Feather
2022	J	`jnl`	Space Trusted Autonomy Readiness Levels. CoRR Kerianne L. Hobbs, Joseph B. Lyons, Martin S. Feather, Benjamen P. Bycroft, Sean Phillips, Michelle Simon, Mark Harter, Kenneth Costello, Yuri Gawdiak, Stephen Paine
2016	—	`conf`	Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements. HICSS Daniel Port, Joel M. Wilf, Madeline Diep, Carolyn B. Seaman, Martin S. Feather
2016	J	`jnl`	Metrics for V&V of cyber defenses. Innov. Syst. Softw. Eng. Martin S. Feather, Joel M. Wilf, Joseph Priest
2013	—	`conf`	Architecting and generalizing a safety case for critical condition detection software: an experience report. ASSURE@ICSE Martin S. Feather, Lawrence Z. Markosian
2013	—	`conf`	Visualization of Software Assurance Information. HICSS Martin S. Feather, Joel M. Wilf
2010	J	`jnl`	Finding robust solutions in requirements models. Autom. Softw. Eng. Gregory Gay, Tim Menzies, Omid Jalali, Gregory E. Mundy, Beau Gilkerson, Martin S. Feather, James D. Kiper
2008	J	`jnl`	A Broad, Quantitative Model for Making Early Requirements Decisions. IEEE Softw. Martin S. Feather, Steven L. Cornford, Kenneth A. Hicks, James D. Kiper, Tim Menzies
2008	A	`conf`	Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. RE Martin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun
2008	—	`conf`	Optimizing requirements decisions with keys. PROMISE@ICSE Omid Jalali, Tim Menzies, Martin S. Feather
2007	—	`conf`	Defect Detection and Prevention (DDP). Monterey Workshop Martin S. Feather
2007	A	`conf`	Optimizing the V&V process for critical systems. GECCO James D. Kiper, Martin S. Feather, Julian Richardson
2007	A*	`conf`	The business case for automated software engineering. ASE Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm
2006	A	`conf`	Fusing Quantitative Requirements Analysis with Model-based Systems Engineering. RE Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins
2006	C	`conf`	Software Assurance Research Infusion: The NASA Experience. ISoLA Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick
2005	—	`conf`	A Risk-Based Approach to Strategic Decision-Making for Software Development. HICSS James D. Kiper, Martin S. Feather
2005	J	`jnl`	Applicatiuons of tool support for risk-informed requirements reasoning. Comput. Syst. Sci. Eng. Martin S. Feather, Steven L. Cornford, Kenneth A. Hicks, Kenneth R. Johnson
2005	B	`conf`	Decision & risk based design structures; decision support needs for conceptual, concurrent design. SMC Leila Meshkat, Martin S. Feather
2004	J	`jnl`	Guest Editors' Introduction. Autom. Softw. Eng. Michael Goedicke, Martin S. Feather
2004	A	`conf`	Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. ISSRE Martin S. Feather
2003	A*	`conf`	ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). ICSE Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead
2003	C	`conf`	Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE Tim Menzies, James D. Kiper, Martin S. Feather
2003	C	`conf`	Matching Software Practitioner Needs to Researcher Activities. APSEC Martin S. Feather, Tim Menzies, Judith R. Connelly
2003	J	`jnl`	Quantitative risk-based requirements reasoning. Requir. Eng. Martin S. Feather, Steven L. Cornford
2003	A	`conf`	Relating Practitioner Needs to Research Activities. RE Martin S. Feather, Tim Menzies, Judith R. Connelly
2003	—	`conf`	Requirements, Architectures and Risks. STRAW James D. Kiper, Martin S. Feather
2003	C	`conf`	Traceability and Decision Capture in Semi-structured Contexts. SEKE Leila Meshkat, Martin S. Feather, Steven L. Cornford
2002	B	`conf`	A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. COMPSAC Shaosong Xu, Hoh Peter In, Martin S. Feather
2002	A	`conf`	Converging on the Optimal Attainment of Requirements. RE Martin S. Feather, Tim Menzies
2001	J	`jnl`	Automatic Generation of Test Oracles-From Pilot Studies to Application. Autom. Softw. Eng. Martin S. Feather, Benjamin D. Smith
2001	—	`conf`	Model-Checking for Validation of a Fault Protection System. HASE Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy
2001	A	`conf`	Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. RE Martin S. Feather
2000	—	`conf`	Challenges and Methods in Testing the Remote Agent Planner. AIPS Benjamin D. Smith, Martin S. Feather, Nicola Muscettola
2000	A*	`conf`	Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. ASE Martin S. Feather, Steven L. Cornford, Timothy W. Larson
2000	—	`conf`	Design and Development Assessment. IWSSD Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper
2000	—	`conf`	Scalable Mechanisms for Requirements Interaction Management. ICRE Martin S. Feather, Steven L. Cornford, Mark Gibbel
1999	A*	`conf`	Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE Martin S. Feather, Benjamin D. Smith
1998	—	`conf`	"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette
1998	—	`conf`	Low-cost pathways towards formal methods use. FMSP Martin S. Feather
1998	J	`jnl`	Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. Martin S. Feather
1998	—	`conf`	Reconciling System Requirements and Runtime Behavior. IWSSD Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard
1997	A*	`conf`	Automatic Monitoring of Software Requirements. ICSE Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas
1997	J	`jnl`	Requirements and Specification Exemplars. Autom. Softw. Eng. Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde
1996	—	`conf`	Modularized exception handling. ISAW/Viewpoints@FSE Martin S. Feather
1995	A	`conf`	Requirements monitoring in dynamic environments. RE Stephen Fickas, Martin S. Feather
1994	—	`conf`	A Framework for Distributed System Designs. KBSE Martin S. Feather, Stephen Fickas
1994	J	`jnl`	Succeedings of the seventh international workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes Martin S. Feather, Axel van Lamsweerde
1994	J	`jnl`	Towards a derivational style of distributed system design - An example. Autom. Softw. Eng. Martin S. Feather
1994	—	`conf`	Transformational design of distributed systems. CDS Stephen Fickas, D. Tiktin, Martin S. Feather, Don Cohen
1993	—	`conf`	An implementation of bounded obligations. KBSE Martin S. Feather
1993	—	`conf`	Behavior-Oriented Specification in Gist. Formal Program Development Martin S. Feather
1993	C	`conf`	Cardinality Evolution in Specifications. SEKE Martin S. Feather
1993	—	`ed.`	Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993 IWSSD Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde
1993	A	`conf`	Requirements reconnoitring at the juncture of domain and instance. RE Martin S. Feather
1993	—	`conf`	Software Aberrations - Origins and Treatments. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems Martin S. Feather
1993	—	`conf`	Utilizing Scenarios in the Software Development Process. Information System Development Process Kevin Benner, Martin S. Feather, W. Lewis Johnson, Lorna A. Zorman
1992	—	`conf`	Explorations on the formal frontier of distributed system design. KBSE Martin S. Feather
1992	J	`jnl`	Representation and Presentation of Requirements Knowledge. IEEE Trans. Software Eng. W. Lewis Johnson, Martin S. Feather, David R. Harris
1991	—	`conf`	A model for composite system design. IWSSD Eckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather
1991	B	`conf`	AI in multimedia (panel session). ICTAI Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith
1991	—	`conf`	Composite System Design: The Good News and the Bad News. KBSE Martin S. Feather, Stephen Fickas, B. Robert Helm
1991	J	`jnl`	Integrating domain knowledge, requirements, and specifications. J. Syst. Integr. W. Lewis Johnson, Martin S. Feather, David R. Harris
1991	—	`conf`	Requirements Engineering - Getting Right from Wrong. ESEC Martin S. Feather
1991	—	`conf`	The KBSA Requirements/Specifications Facet: ARIES. KBSE W. Lewis Johnson, Martin S. Feather, David R. Harris
1990	A*	`conf`	Building an Evolution Transformation Library. ICSE W. Lewis Johnson, Martin S. Feather
1989	J	`jnl`	Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng. Martin S. Feather
1989	—	`conf`	Detecting interference when merging specification evolutions. IWSSD Martin S. Feather
1988	J	`jnl`	Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington. Acta Informatica Dean Jacobs, Martin S. Feather
1988	—	`conf`	Language issues in the specification and design of composite systems. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Martin S. Feather
1987	J	`jnl`	Language Support for the Specification and Development of Composite Systems. ACM Trans. Program. Lang. Syst. Martin S. Feather
1986	—	`conf`	An incremental approach to construting, explaining and maintaining specifications. ISPW Martin S. Feather
1982	J	`jnl`	A System for Assisting Program Transformation. ACM Trans. Program. Lang. Syst. Martin S. Feather
1982	J	`jnl`	Implementing Specification Freedoms. Sci. Comput. Program. Philip E. London, Martin S. Feather
1982	—	`conf`	Mappings for rapid prototyping. Rapid Prototyping Martin S. Feather
1982	J	`jnl`	Program Specification Applied to a Text Formatter. IEEE Trans. Software Eng. Martin S. Feather
1981	A*	`conf`	Application Downloading. ICSE Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
1980	—	`conf`	Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix
1980	—	`conf`	Some Contrasts and Considerations of an Approach to Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling Martin S. Feather
1979	—	`—`	A system for developing programs by transformation. Martin S. Feather