A system for developing programs by transformation. - Martin S. Feather (1979)

Some Contrasts and Considerations of an Approach to Modelling. - Martin S. Feather (SIGMOD Rec., 1980)

Relationships Between and Among Models (discussion). - John Mylopoulos; Martin S. Feather; Bertrand Meyer 001; Paolo Paolini; Diane C. P. Smith; Gary G. Hendrix (SIGMOD Rec., 1980)

Application Downloading. - Robert Balzer; Alvin S. Cooperband; Martin S. Feather; Philip E. London; David S. Wile (ICSE, 1981)

Mappings for rapid prototyping. - Martin S. Feather (Rapid Prototyping, 1982)

Implementing Specification Freedoms. - Philip E. London; Martin S. Feather (Sci. Comput. Program., 1982)

A System for Assisting Program Transformation. - Martin S. Feather (ACM Trans. Program. Lang. Syst., 1982)

Program Specification Applied to a Text Formatter. - Martin S. Feather (IEEE Trans. Software Eng., 1982)

An incremental approach to construting, explaining and maintaining specifications. - Martin S. Feather (ISPW, 1986)

Language Support for the Specification and Development of Composite Systems. - Martin S. Feather (ACM Trans. Program. Lang. Syst., 1987)

Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington. - Dean Jacobs; Martin S. Feather (Acta Informatica, 1988)

Language issues in the specification and design of composite systems. - Martin S. Feather (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Detecting interference when merging specification evolutions. - Martin S. Feather (IWSSD, 1989)

Constructing Specifications by Combining Parallel Elaborations. - Martin S. Feather (IEEE Trans. Software Eng., 1989)

Building an Evolution Transformation Library. - W. Lewis Johnson; Martin S. Feather (ICSE, 1990)

Requirements Engineering - Getting Right from Wrong. - Martin S. Feather (ESEC, 1991)

AI in multimedia (panel session). - Nikolaos G. Bourbakis; Robin Williams 001; Forouzan Golshani; Myron Flickner; Ted Laliotis; Sukhan Lee 001; José G. Delgado-Frias; Dan Hammerstrom; Cris Koutsougeras; Gerald G. Pechanek; Benjamin W. Wah; John Yen; et al. (ICTAI, 1991)

A model for composite system design. - Eckehard Doerry; Stephen Fickas; B. Robert Helm; Martin S. Feather (IWSSD, 1991)

Composite System Design: The Good News and the Bad News. - Martin S. Feather; Stephen Fickas; B. Robert Helm (KBSE, 1991)

The KBSA Requirements/Specifications Facet: ARIES. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (KBSE, 1991)

Integrating domain knowledge, requirements, and specifications. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (J. Syst. Integr., 1991)

Explorations on the formal frontier of distributed system design. - Martin S. Feather (KBSE, 1992)

Representation and Presentation of Requirements Knowledge. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (IEEE Trans. Software Eng., 1992)

Behavior-Oriented Specification in Gist. - Martin S. Feather (Formal Program Development, 1993)

Utilizing Scenarios in the Software Development Process. - Kevin Benner; Martin S. Feather; W. Lewis Johnson; Lorna A. Zorman (Information System Development Process, 1993)

An implementation of bounded obligations. - Martin S. Feather (KBSE, 1993)

Requirements reconnoitring at the juncture of domain and instance. - Martin S. Feather (RE, 1993)

Cardinality Evolution in Specifications. - Martin S. Feather (SEKE, 1993)

Software Aberrations - Origins and Treatments. - Martin S. Feather (SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993)

Transformational design of distributed systems. - Stephen Fickas; D. Tiktin; Martin S. Feather; Don Cohen (CDS, 1994)

A Framework for Distributed System Designs. - Martin S. Feather; Stephen Fickas (KBSE, 1994)

Towards a derivational style of distributed system design - An example. - Martin S. Feather (Autom. Softw. Eng., 1994)

Succeedings of the seventh international workshop on software specification and design. - Martin S. Feather; Axel van Lamsweerde (ACM SIGSOFT Softw. Eng. Notes, 1994)

Requirements monitoring in dynamic environments. - Stephen Fickas; Martin S. Feather (RE, 1995)

Modularized exception handling. - Martin S. Feather (ISAW/Viewpoints@FSE, 1996)

Automatic Monitoring of Software Requirements. - Don Cohen; Martin S. Feather; Khaled Narayanaswamy; Stephen Fickas (ICSE, 1997)

Requirements and Specification Exemplars. - Martin S. Feather; Stephen Fickas; Anthony Finkelstein; Axel van Lamsweerde (Autom. Softw. Eng., 1997)

Low-cost pathways towards formal methods use. - Martin S. Feather (FMSP, 1998)

Reconciling System Requirements and Runtime Behavior. - Martin S. Feather; Stephen Fickas; Axel van Lamsweerde; Christophe Ponsard (IWSSD, 1998)

"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. - Martin S. Feather; Julia R. Dunphy; Nicolas Rouquette (WIFT, 1998)

Rapid Application of Lightweight Formal Methods for Consistency Analysis. - Martin S. Feather (IEEE Trans. Software Eng., 1998)

Challenges and Methods in Testing the Remote Agent Planner. - Benjamin D. Smith; Martin S. Feather; Nicola Muscettola (AIPS, 2000)

Scalable Mechanisms for Requirements Interaction Management. - Martin S. Feather; Steven L. Cornford; Mark Gibbel (ICRE, 2000)

Design and Development Assessment. - Steven L. Cornford; Martin S. Feather; John C. Kelly; Timothy W. Larson; Burton Sigal; James D. Kiper (IWSSD, 2000)

Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. - Martin S. Feather; Steven L. Cornford; Timothy W. Larson (ASE, 2000)

Model-Checking for Validation of a Fault Protection System. - Martin S. Feather; Stephen Fickas; N.-A. Razermera-Mamy (HASE, 2001)

Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. - Martin S. Feather (RE, 2001)

Automatic Generation of Test Oracles-From Pilot Studies to Application. - Martin S. Feather; Benjamin D. Smith (Autom. Softw. Eng., 2001)

A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. - Shaosong Xu; Hoh Peter In; Martin S. Feather (COMPSAC, 2002)

Converging on the Optimal Attainment of Requirements. - Martin S. Feather; Tim Menzies (RE, 2002)

Matching Software Practitioner Needs to Researcher Activities. - Martin S. Feather; Tim Menzies; Judith R. Connelly (APSEC, 2003)

ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). - Martin S. Feather; Allen P. Nikora; Constance L. Heitmeyer; Nancy R. Mead (ICSE, 2003)

Requirements, Architectures and Risks. - James D. Kiper; Martin S. Feather (STRAW, 2003)

Relating Practitioner Needs to Research Activities. - Martin S. Feather; Tim Menzies; Judith R. Connelly (RE, 2003)

Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. - Tim Menzies; James D. Kiper; Martin S. Feather (SEKE, 2003)

Traceability and Decision Capture in Semi-structured Contexts. - Leila Meshkat; Martin S. Feather; Steven L. Cornford (SEKE, 2003)

Quantitative risk-based requirements reasoning. - Martin S. Feather; Steven L. Cornford (Requir. Eng., 2003)

Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. - Martin S. Feather (ISSRE, 2004)

Guest Editors' Introduction. - Michael Goedicke; Martin S. Feather (Autom. Softw. Eng., 2004)

A Risk-Based Approach to Strategic Decision-Making for Software Development. - James D. Kiper; Martin S. Feather (HICSS, 2005)

Decision & risk based design structures; decision support needs for conceptual, concurrent design. - Leila Meshkat; Martin S. Feather (SMC, 2005)

Applicatiuons of tool support for risk-informed requirements reasoning. - Martin S. Feather; Steven L. Cornford; Kenneth A. Hicks; Kenneth R. Johnson (Comput. Syst. Sci. Eng., 2005)

Software Assurance Research Infusion: The NASA Experience. - Michael G. Hinchey; Thomas Pressburger; Martin S. Feather; Lawrence Markosian; Wes Deadrick (ISoLA, 2006)

Fusing Quantitative Requirements Analysis with Model-based Systems Engineering. - Steven L. Cornford; Martin S. Feather; Vance A. Heron; J. Steven Jenkins (RE, 2006)

Optimizing the V&V process for critical systems. - James D. Kiper; Martin S. Feather; Julian Richardson (GECCO, 2007)

The business case for automated software engineering. - Tim Menzies; Oussama El-Rawas; Jairus Hihn; Martin S. Feather; Raymond J. Madachy; Barry W. Boehm (ASE, 2007)

Defect Detection and Prevention (DDP). - Martin S. Feather (Monterey Workshop, 2007)

Optimizing requirements decisions with keys. - Omid Jalali; Tim Menzies; Martin S. Feather (PROMISE@ICSE, 2008)

Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. - Martin S. Feather; Kenneth A. Hicks; Ryan M. Mackey; Serdar Uckun (RE, 2008)

A Broad, Quantitative Model for Making Early Requirements Decisions. - Martin S. Feather; Steven L. Cornford; Kenneth A. Hicks; James D. Kiper; Tim Menzies (IEEE Softw., 2008)

Finding robust solutions in requirements models. - Gregory Gay 002; Tim Menzies; Omid Jalali; Gregory E. Mundy; Beau Gilkerson; Martin S. Feather; James D. Kiper (Autom. Softw. Eng., 2010)

Visualization of Software Assurance Information. - Martin S. Feather; Joel M. Wilf (HICSS, 2013)

Architecting and generalizing a safety case for critical condition detection software: an experience report. - Martin S. Feather; Lawrence Z. Markosian (ASSURE@ICSE, 2013)

Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements. - Daniel Port; Joel M. Wilf; Madeline Diep; Carolyn B. Seaman; Martin S. Feather (HICSS, 2016)

Metrics for V&V of cyber defenses. - Martin S. Feather; Joel M. Wilf; Joseph Priest (Innov. Syst. Softw. Eng., 2016)

Hallmarks of an Autonomous Space System's Development and V&V. - Martin S. Feather (ICAA, 2022)

Assurance Guidance for Machine Learning in a Safety-Critical System. - Martin S. Feather; Philip C. Slingerland; Steven Guerrini; Max Spolaor (ISSRE Workshops, 2022)

Space Trusted Autonomy Readiness Levels. - Kerianne L. Hobbs; Joseph B. Lyons; Martin S. Feather; Benjamen P. Bycroft; Sean Phillips; Michelle Simon; Mark Harter; Kenneth Costello; Yuri Gawdiak; Stephen Paine (CoRR, 2022)

Assurance for Autonomy - JPL's past research, lessons learned, and future directions. - Martin S. Feather; Alessandro Pinto (ICAA, 2023)

Recursively-Constrained Partially Observable Markov Decision Processes. - Qi Heng Ho; Tyler J. Becker; Benjamin Kraske; Zakariya Laouar; Martin S. Feather; Federico Rossi; Morteza Lahijanian; Zachary Sunberg (UAI, 2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. - Qi Heng Ho; Martin S. Feather; Federico Rossi; Zachary Sunberg; Morteza Lahijanian (UAI, 2024)

Grand Challenges in the Verification of Autonomous Systems. - Kevin Leahy 001; Hamid Asgari; Louise A. Dennis; Martin S. Feather; Michael Fisher 001; Javier Ibañez-Guzmán; Brian Logan 001; Joanna I. Olszewska; Signe A. Redfield (CoRR, 2024)