default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin S. Feather
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i4]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 abs/2406.02871 (2024)- 2023
- [c59]Martin S. Feather, Alessandro Pinto
:
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA 2023: 97-105 - [i3]Martin S. Feather, Alessandro Pinto:
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. CoRR abs/2305.11902 (2023) - [i2]Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg:
Recursively-Constrained Partially Observable Markov Decision Processes. CoRR abs/2310.09688 (2023) - 2022
- [c58]Martin S. Feather:
Hallmarks of an Autonomous Space System's Development and V&V. ICAA 2022: 129-136 - [c57]Martin S. Feather, Philip C. Slingerland, Steven Guerrini, Max Spolaor:
Assurance Guidance for Machine Learning in a Safety-Critical System. ISSRE Workshops 2022: 394-401 - [i1]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 abs/2210.09059 (2022)
2010 – 2019
- 2016
- [j19]Martin S. Feather, Joel M. Wilf, Joseph Priest:
Metrics for V&V of cyber defenses. Innov. Syst. Softw. Eng. 12(2): 81-94 (2016) - [c56]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: 5642-5651 - 2013
- [c55]Martin S. Feather, Joel M. Wilf:
Visualization of Software Assurance Information. HICSS 2013: 4948-4956 - [c54]Martin S. Feather, Lawrence Z. Markosian:
Architecting and generalizing a safety case for critical condition detection software: an experience report. ASSURE@ICSE 2013: 29-33 - 2010
- [j18]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): 87-116 (2010)
2000 – 2009
- 2008
- [j17]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): 49-56 (2008) - [c53]Omid Jalali, Tim Menzies, Martin S. Feather:
Optimizing requirements decisions with keys. PROMISE@ICSE 2008: 79-86 - [c52]Martin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun:
Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. RE 2008: 271-276 - 2007
- [c51]James D. Kiper, Martin S. Feather, Julian Richardson:
Optimizing the V&V process for critical systems. GECCO 2007: 1139 - [c50]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: 303-312 - [c49]Martin S. Feather:
Defect Detection and Prevention (DDP). Monterey Workshop 2007: 13-14 - 2006
- [c48]Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick:
Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27 - [c47]Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins:
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering. RE 2006: 272-277 - 2005
- [j16]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) - [c46]James D. Kiper, Martin S. Feather:
A Risk-Based Approach to Strategic Decision-Making for Software Development. HICSS 2005 - [c45]Leila Meshkat, Martin S. Feather:
Decision & risk based design structures; decision support needs for conceptual, concurrent design. SMC 2005: 2408-2412 - 2004
- [j15]Michael Goedicke, Martin S. Feather:
Guest Editors' Introduction. Autom. Softw. Eng. 11(4): 335 (2004) - [c44]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: 391-402 - 2003
- [j14]Martin S. Feather, Steven L. Cornford:
Quantitative risk-based requirements reasoning. Requir. Eng. 8(4): 248-265 (2003) - [c43]Martin S. Feather, Tim Menzies, Judith R. Connelly:
Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16 - [c42]James D. Kiper, Martin S. Feather:
Requirements, Architectures and Risks. STRAW 2003: 100-106 - [c41]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: 787-788 - [c40]Martin S. Feather, Tim Menzies, Judith R. Connelly:
Relating Practitioner Needs to Research Activities. RE 2003: 352- - [c39]Leila Meshkat, Martin S. Feather, Steven L. Cornford:
Traceability and Decision Capture in Semi-structured Contexts. SEKE 2003: 647-654 - [c38]Tim Menzies, James D. Kiper, Martin S. Feather:
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662 - 2002
- [c37]Shaosong Xu, Hoh Peter In, Martin S. Feather:
A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. COMPSAC 2002: 785-792 - [c36]Martin S. Feather, Tim Menzies:
Converging on the Optimal Attainment of Requirements. RE 2002: 263-272 - 2001
- [j13]Martin S. Feather, Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application. Autom. Softw. Eng. 8(1): 31-61 (2001) - [c35]Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy:
Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41 - [c34]Martin S. Feather:
Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. RE 2001: 288 - 2000
- [c33]Benjamin D. Smith, Martin S. Feather, Nicola Muscettola:
Challenges and Methods in Testing the Remote Agent Planner. AIPS 2000: 254-263 - [c32]Martin S. Feather, Steven L. Cornford, Mark Gibbel:
Scalable Mechanisms for Requirements Interaction Management. ICRE 2000: 119-129 - [c31]Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper:
Design and Development Assessment. IWSSD 2000: 105-114 - [c30]Martin S. Feather, Steven L. Cornford, Timothy W. Larson:
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. ASE 2000: 309-312
1990 – 1999
- 1999
- [c29]Martin S. Feather, Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE 1999: 63-72 - 1998
- [j12]Martin S. Feather:
Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. 24(11): 949-959 (1998) - [c28]Martin S. Feather:
Low-cost pathways towards formal methods use. FMSP 1998: 85-91 - [c27]Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard:
Reconciling System Requirements and Runtime Behavior. IWSSD 1998: 50-59 - [c26]Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette:
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT 1998: 140- - 1997
- [j11]Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde:
Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997) - [c25]Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas:
Automatic Monitoring of Software Requirements. ICSE 1997: 602-603 - 1996
- [c24]Martin S. Feather:
Modularized exception handling. ISAW/Viewpoints@FSE 1996: 167-171 - 1995
- [c23]Stephen Fickas, Martin S. Feather:
Requirements monitoring in dynamic environments. RE 1995: 140-147 - 1994
- [j10]Martin S. Feather:
Towards a derivational style of distributed system design - An example. Autom. Softw. Eng. 1(1): 31-59 (1994) - [j9]Martin S. Feather, Axel van Lamsweerde:
Succeedings of the seventh international workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes 19(3): 18-22 (1994) - [c22]Stephen Fickas, D. Tiktin, Martin S. Feather, Don Cohen:
Transformational design of distributed systems. CDS 1994: 214 - [c21]Martin S. Feather, Stephen Fickas:
A Framework for Distributed System Designs. KBSE 1994: 6-13 - 1993
- [c20]Martin S. Feather:
Behavior-Oriented Specification in Gist. Formal Program Development 1993: 89-122 - [c19]Kevin Benner, Martin S. Feather, W. Lewis Johnson, Lorna A. Zorman:
Utilizing Scenarios in the Software Development Process. Information System Development Process 1993: 117-134 - [c18]Martin S. Feather:
An implementation of bounded obligations. KBSE 1993: 114-122 - [c17]Martin S. Feather:
Requirements reconnoitring at the juncture of domain and instance. RE 1993: 73-76 - [c16]Martin S. Feather:
Cardinality Evolution in Specifications. SEKE 1993: 575-583 - [c15]Martin S. Feather:
Software Aberrations - Origins and Treatments. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 1-15 - [e1]Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde:
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993. IEEE Computer Society 1993 [contents] - 1992
- [j8]W. Lewis Johnson, Martin S. Feather, David R. Harris:
Representation and Presentation of Requirements Knowledge. IEEE Trans. Software Eng. 18(10): 853-869 (1992) - [c14]Martin S. Feather:
Explorations on the formal frontier of distributed system design. KBSE 1992: 154-162 - 1991
- [j7]W. Lewis Johnson, Martin S. Feather, David R. Harris:
Integrating domain knowledge, requirements, and specifications. J. Syst. Integr. 1(3-4): 283-320 (1991) - [c13]Martin S. Feather:
Requirements Engineering - Getting Right from Wrong. ESEC 1991: 485-488 - [c12]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: 3-12 - [c11]Eckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather:
A model for composite system design. IWSSD 1991: 216-219 - [c10]Martin S. Feather, Stephen Fickas, B. Robert Helm:
Composite System Design: The Good News and the Bad News. KBSE 1991: 16-25 - [c9]W. Lewis Johnson, Martin S. Feather, David R. Harris:
The KBSA Requirements/Specifications Facet: ARIES. KBSE 1991: 48-56 - 1990
- [c8]W. Lewis Johnson, Martin S. Feather:
Building an Evolution Transformation Library. ICSE 1990: 238-248
1980 – 1989
- 1989
- [j6]Martin S. Feather:
Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng. 15(2): 198-208 (1989) - [c7]Martin S. Feather:
Detecting interference when merging specification evolutions. IWSSD 1989: 169-176 - 1988
- [j5]Dean Jacobs, Martin S. Feather:
Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington. Acta Informatica 26(1/2): 19-23 (1988) - [c6]Martin S. Feather:
Language issues in the specification and design of composite systems. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 159-161 - 1987
- [j4]Martin S. Feather:
Language Support for the Specification and Development of Composite Systems. ACM Trans. Program. Lang. Syst. 9(2): 198-234 (1987) - 1986
- [c5]Martin S. Feather:
An incremental approach to construting, explaining and maintaining specifications. ISPW 1986: 137-140 - 1982
- [j3]Philip E. London, Martin S. Feather:
Implementing Specification Freedoms. Sci. Comput. Program. 2(2): 91-131 (1982) - [j2]Martin S. Feather:
A System for Assisting Program Transformation. ACM Trans. Program. Lang. Syst. 4(1): 1-20 (1982) - [j1]Martin S. Feather:
Program Specification Applied to a Text Formatter. IEEE Trans. Software Eng. 8(5): 490-498 (1982) - [c4]Martin S. Feather:
Mappings for rapid prototyping. Rapid Prototyping 1982: 17-24 - 1981
- [c3]Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile:
Application Downloading. ICSE 1981: 450-459 - 1980
- [c2]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: 77-82 - [c1]Martin S. Feather:
Some Contrasts and Considerations of an Approach to Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 121-123
1970 – 1979
- 1979
- [b1]Martin S. Feather:
A system for developing programs by transformation. University of Edinburgh, UK, 1979
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-07 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
