Skip to content

Martin S. Feather

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

28

Venues

12

Active years

1980–2024

Best venue rank

A*

Where they publish

Papers

28 indexed papers, newest first.

YearVenueTitleAuthors
2024UAIRecursively-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
2024UAISound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives.Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary Sunberg, Morteza Lahijanian
2022ISSREAssurance Guidance for Machine Learning in a Safety-Critical System.Martin S. Feather, Philip C. Slingerland, Steven Guerrini, Max Spolaor
2013ICSEArchitecting and generalizing a safety case for critical condition detection software: an experience report.Martin S. Feather, Lawrence Z. Markosian
2008REGuiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique.Martin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun
2007GECCOOptimizing the V&V process for critical systems.James D. Kiper, Martin S. Feather, Julian Richardson
2006ISoLASoftware Assurance Research Infusion: The NASA Experience.Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick
2006REFusing Quantitative Requirements Analysis with Model-based Systems Engineering.Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins
2005SMCDecision & risk based design structures; decision support needs for conceptual, concurrent design.Leila Meshkat, Martin S. Feather
2004ISSRETowards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.Martin S. Feather
2003APSECMatching Software Practitioner Needs to Researcher Activities.Martin S. Feather, Tim Menzies, Judith R. Connelly
2003ICSEICSE 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
2003ICSERequirements, Architectures and Risks.James D. Kiper, Martin S. Feather
2003RERelating Practitioner Needs to Research Activities.Martin S. Feather, Tim Menzies, Judith R. Connelly
2003SEKEImproved Software Engineering Decision Support Through Automatic Argument Reduction Tools.Tim Menzies, James D. Kiper, Martin S. Feather
2003SEKETraceability and Decision Capture in Semi-structured Contexts.Leila Meshkat, Martin S. Feather, Steven L. Cornford
2002COMPSACA Shared Information System Architecture for Integrating Risk Management Tools: A Case Study.Shaosong Xu, Hoh Peter In, Martin S. Feather
2002REConverging on the Optimal Attainment of Requirements.Martin S. Feather, Tim Menzies
2001RERisk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications.Martin S. Feather
1997ICSEAutomatic Monitoring of Software Requirements.Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas
1995RERequirements monitoring in dynamic environments.Stephen Fickas, Martin S. Feather
1993RERequirements reconnoitring at the juncture of domain and instance.Martin S. Feather
1993SEKECardinality Evolution in Specifications.Martin S. Feather
1991ICTAIAI 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
1990ICSEBuilding an Evolution Transformation Library.W. Lewis Johnson, Martin S. Feather
1981ICSEApplication Downloading.Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
1980SIGMODSome Contrasts and Considerations of an Approach to Modelling.Martin S. Feather
1980SIGMODRelationships Between and Among Models (discussion).John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix