Robert J. Hall Feature Combination and Interaction Detection via Foreground/Background Models. [Citation Graph (0, 0)][DBLP] FIW, 1998, pp:232-246 [Conf]
Robert J. Hall Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. [Citation Graph (0, 0)][DBLP] FMSP, 2000, pp:13-23 [Conf]
Robert J. Hall Specification Modeling and Validation Applied to a Family of Network Security Products. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:71-80 [Conf]
Robert J. Hall CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. [Citation Graph (0, 0)][DBLP] ASE, 2002, pp:107-116 [Conf]
Robert J. Hall Reactive System Validation using Automated Reasoning over a Fragment Library. [Citation Graph (0, 0)][DBLP] ASE, 1997, pp:299-300 [Conf]
Robert J. Hall Specification Modeling and Validation Applied to Network Security Gateways. [Citation Graph (0, 0)][DBLP] RE, 2001, pp:289-291 [Conf]
Robert J. Hall Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. [Citation Graph (0, 0)][DBLP] SAS, 2002, pp:2- [Conf]
Robert J. Hall Explanation-Based Scenario Generation for Reactive System Models. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2000, v:7, n:2, pp:157-177 [Journal]
Robert J. Hall Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2002, v:9, n:3, pp:233-261 [Journal]
Robert J. Hall A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2003, v:10, n:2, pp:121-155 [Journal]
Robert J. Hall Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:415-446 [Journal]
Robert J. Hall Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1995, v:2, n:1, pp:33-53 [Journal]
Robert J. Hall Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1995, v:2, n:2, pp:131-166 [Journal]
Robert J. Hall Feature combination and interaction detection via foreground/background models. [Citation Graph (0, 0)][DBLP] Computer Networks, 2000, v:32, n:4, pp:449-469 [Journal]
Robert J. Hall Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:3, pp:367-394 [Journal]
Robert J. Hall Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains. [Citation Graph (0, 0)][DBLP] Machine Learning, 1988, v:3, n:, pp:45-77 [Journal]