Martin S. Feather

According to our database, Martin S. Feather authored at least 82 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Grand Challenges in the Verification of Autonomous Systems.

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

CoRR, 2024

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives.

Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary N. Sunberg, Morteza Lahijanian

CoRR, 2024

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 N. Sunberg

CoRR, 2023

Assurance for Autonomy - JPL's past research, lessons learned, and future directions.

Martin S. Feather, Alessandro Pinto

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

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 Guidance for Machine Learning in a Safety-Critical System.

Martin S. Feather, Philip C. Slingerland, Steven Guerrini, Max Spolaor

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Hallmarks of an Autonomous Space System's Development and V&V.

Martin S. Feather

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

2016

Metrics for V&V of cyber defenses.

Martin S. Feather, Joel M. Wilf, Joseph Priest

Innov. Syst. Softw. Eng., 2016

Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements.

Daniel Port, Joel M. Wilf, Madeline Diep, Carolyn B. Seaman, Martin S. Feather

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2013

Architecting and generalizing a safety case for critical condition detection software: an experience report.

Martin S. Feather, Lawrence Z. Markosian

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Visualization of Software Assurance Information.

Martin S. Feather, Joel M. Wilf

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2010

Finding robust solutions in requirements models.

Gregory Gay, Tim Menzies, Omid Jalali, Gregory E. Mundy, Beau Gilkerson, Martin S. Feather, James D. Kiper

Autom. Softw. Eng., 2010

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

Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique.

Martin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Optimizing requirements decisions with keys.

Omid Jalali, Tim Menzies, Martin S. Feather

Proceedings of the 4th International Workshop on Predictor Models in Software Engineering, 2008

2007

Defect Detection and Prevention (DDP).

Martin S. Feather

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

The business case for automated software engineering.

Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Optimizing the V&V process for critical systems.

James D. Kiper, Martin S. Feather, Julian Richardson

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006

Fusing Quantitative Requirements Analysis with Model-based Systems Engineering.

Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Software Assurance Research Infusion: The NASA Experience.

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick

Proceedings of the Leveraging Applications of Formal Methods, 2006

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

Decision & risk based design structures; decision support needs for conceptual, concurrent design.

Leila Meshkat, Martin S. Feather

Proceedings of the IEEE International Conference on Systems, 2005

A Risk-Based Approach to Strategic Decision-Making for Software Development.

James D. Kiper, Martin S. Feather

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

Guest Editors' Introduction.

Michael Goedicke, Martin S. Feather

Autom. Softw. Eng., 2004

Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.

Martin S. Feather

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003

Quantitative risk-based requirements reasoning.

Martin S. Feather, Steven L. Cornford

Requir. Eng., 2003

Traceability and Decision Capture in Semi-structured Contexts.

Leila Meshkat, Martin S. Feather, Steven L. Cornford

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools.

Tim Menzies, James D. Kiper, Martin S. Feather

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Relating Practitioner Needs to Research Activities.

Martin S. Feather, Tim Menzies, Judith R. Connelly

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements, Architectures and Risks.

James D. Kiper, Martin S. Feather

Proceedings of the ICSE 2003, 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

Proceedings of the 25th International Conference on Software Engineering, 2003

Matching Software Practitioner Needs to Researcher Activities.

Martin S. Feather, Tim Menzies, Judith R. Connelly

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Converging on the Optimal Attainment of Requirements.

Martin S. Feather, Tim Menzies

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study.

Shaosong Xu, Hoh Peter In, Martin S. Feather

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Automatic Generation of Test Oracles-From Pilot Studies to Application.

Martin S. Feather, Benjamin D. Smith

Autom. Softw. Eng., 2001

Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications.

Martin S. Feather

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Model-Checking for Validation of a Fault Protection System.

Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000

Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support.

Martin S. Feather, Steven L. Cornford, Timothy W. Larson

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Design and Development Assessment.

Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Scalable Mechanisms for Requirements Interaction Management.

Martin S. Feather, Steven L. Cornford, Mark Gibbel

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Challenges and Methods in Testing the Remote Agent Planner.

Benjamin D. Smith, Martin S. Feather, Nicola Muscettola

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1998

Rapid Application of Lightweight Formal Methods for Consistency Analysis.

Martin S. Feather

IEEE Trans. Software Eng., 1998

"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.

Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Reconciling System Requirements and Runtime Behavior.

Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Low-cost pathways towards formal methods use.

Martin S. Feather

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Requirements and Specification Exemplars.

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde

Autom. Softw. Eng., 1997

Automatic Monitoring of Software Requirements.

Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas

Proceedings of the Pulling Together, 1997

1996

Modularized exception handling.

Martin S. Feather

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

1995

Requirements monitoring in dynamic environments.

Stephen Fickas, Martin S. Feather

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1994

Succeedings of the seventh international workshop on software specification and design.

Martin S. Feather, Axel van Lamsweerde

ACM SIGSOFT Softw. Eng. Notes, 1994

Towards a derivational style of distributed system design - An example.

Martin S. Feather

Autom. Softw. Eng., 1994

A Framework for Distributed System Designs.

Martin S. Feather, Stephen Fickas

Proceedings of the Proceedings KBSE'94, 1994

Transformational design of distributed systems.

Stephen Fickas, D. Tiktin, Martin S. Feather, Don Cohen

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

Software Aberrations - Origins and Treatments.

Martin S. Feather

Proceedings of the Incompleteness and Uncertainty in Information Systems, 1993

Cardinality Evolution in Specifications.

Martin S. Feather

Proceedings of the SEKE'93, 1993

Requirements reconnoitring at the juncture of domain and instance.

Martin S. Feather

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

An implementation of bounded obligations.

Martin S. Feather

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Utilizing Scenarios in the Software Development Process.

Kevin Benner, Martin S. Feather, W. Lewis Johnson, Lorna A. Zorman

Proceedings of the Information System Development Process, 1993

Behavior-Oriented Specification in Gist.

Martin S. Feather

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

Representation and Presentation of Requirements Knowledge.

W. Lewis Johnson, Martin S. Feather, David R. Harris

IEEE Trans. Software Eng., 1992

Explorations on the formal frontier of distributed system design.

Martin S. Feather

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1991

Integrating domain knowledge, requirements, and specifications.

W. Lewis Johnson, Martin S. Feather, David R. Harris

J. Syst. Integr., 1991

The KBSA Requirements/Specifications Facet: ARIES.

W. Lewis Johnson, Martin S. Feather, David R. Harris

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

Composite System Design: The Good News and the Bad News.

Martin S. Feather, Stephen Fickas, B. Robert Helm

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

A model for composite system design.

Eckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

AI in multimedia (panel session).

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

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Requirements Engineering - Getting Right from Wrong.

Martin S. Feather

Proceedings of the ESEC '91, 1991

1990

Building an Evolution Transformation Library.

W. Lewis Johnson, Martin S. Feather

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

Constructing Specifications by Combining Parallel Elaborations.

Martin S. Feather

IEEE Trans. Software Eng., 1989

Detecting interference when merging specification evolutions.

Martin S. Feather

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

Language issues in the specification and design of composite systems.

Martin S. Feather

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington.

Dean Jacobs, Martin S. Feather

Acta Informatica, 1988

1987

Language Support for the Specification and Development of Composite Systems.

Martin S. Feather

ACM Trans. Program. Lang. Syst., 1987

1986

An incremental approach to construting, explaining and maintaining specifications.

Martin S. Feather

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1982

Program Specification Applied to a Text Formatter.

Martin S. Feather

IEEE Trans. Software Eng., 1982

A System for Assisting Program Transformation.

Martin S. Feather

ACM Trans. Program. Lang. Syst., 1982

Implementing Specification Freedoms.

Philip E. London, Martin S. Feather

Sci. Comput. Program., 1982

Mappings for rapid prototyping.

Martin S. Feather

Proceedings of the workshop on Rapid Prototyping, 1982

1981

Application Downloading.

Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

Relationships Between and Among Models (discussion).

John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix

Proceedings of the Workshop on Data Abstraction, 1980

Some Contrasts and Considerations of an Approach to Modelling.

Martin S. Feather

Proceedings of the Workshop on Data Abstraction, 1980

1979

A system for developing programs by transformation.

Martin S. Feather

PhD thesis, 1979