Martin S. Feather

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 8

Top Venues

CoRR

ICAA

Innov. Syst. Softw. Eng.

HICSS

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

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

Martin S. Feather.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin S. Feather