The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert J. Hall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert J. Hall
    Learning by Failing to Explain. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:568-573 [Conf]
  2. Robert J. Hall, Richard H. Lathrop, Robert S. Kirk
    A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:799-803 [Conf]
  3. Robert J. Hall
    Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. [Citation Graph (0, 0)][DBLP]
    CIKM, 1996, pp:107-114 [Conf]
  4. Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk
    Advances in Functional Abstraction from Structure. [Citation Graph (0, 0)][DBLP]
    DAC, 1988, pp:708-711 [Conf]
  5. Richard H. Lathrop, Robert J. Hall, Robert S. Kirk
    Functional Abstraction from Structure in VLSI Simulation Models. [Citation Graph (0, 0)][DBLP]
    DAC, 1987, pp:822-828 [Conf]
  6. Robert J. Hall
    Feature Combination and Interaction Detection via Foreground/Background Models. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:232-246 [Conf]
  7. Robert J. Hall
    Feature Interactions in Electronic Mail. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:67-82 [Conf]
  8. 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]
  9. Robert J. Hall
    Call Path Profiling. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:296-306 [Conf]
  10. Robert J. Hall
    Generalized Behavior-Based Retrieval. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:371-380 [Conf]
  11. Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman
    International workshop on service oriented software engineering (IW-SOSE'06). [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1036-1037 [Conf]
  12. Robert J. Hall, Andrea Zisman
    Behavioral models as service descriptions. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2004, pp:163-172 [Conf]
  13. Robert J. Hall, Andrea Zisman
    Overview of OpenModel-based Validation with Partial Information. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:347-351 [Conf]
  14. Robert J. Hall
    Explanation-based Scenario Generation for Reactive System Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:115-124 [Conf]
  15. Robert J. Hall, Andrea Zisman
    Validating Personal Requirements by Assisted Symbolic Behavior Browsing . [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:56-66 [Conf]
  16. Robert J. Hall
    Upgrading Legacy Instances of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:63-72 [Conf]
  17. 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]
  18. 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]
  19. Robert J. Hall
    LSS: A Tool for Large Scale Scenarios. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:349-350 [Conf]
  20. Robert J. Hall
    Systematic Incremental Validation of Rule-Based Reactive Systems. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:69-78 [Conf]
  21. Robert J. Hall
    Reactive System Validation using Automated Reasoning over a Fragment Library. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:299-300 [Conf]
  22. Robert J. Hall
    Specification Modeling and Validation Applied to Network Security Gateways. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:289-291 [Conf]
  23. Robert J. Hall, Andrea Zisman
    OMML: A Behavioural Model Interchange Format. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:272-282 [Conf]
  24. Robert J. Hall
    Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:2- [Conf]
  25. Robert J. Hall, Aaron J. Goldberg
    Call Path Profiling of Monotonic Program Resources in UNIX. [Citation Graph (0, 0)][DBLP]
    USENIX Summer, 1993, pp:1-14 [Conf]
  26. Stephen Fickas, Robert J. Hall
    Self-healing open systems. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:99-101 [Conf]
  27. 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]
  28. 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]
  29. Robert J. Hall
    Some Reading for ASE Island. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:1, pp:103-109 [Journal]
  30. 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]
  31. Robert J. Hall
    Fundamental Nonmodularity in Electronic Mail. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:1, pp:41-79 [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. Robert J. Hall, Enn Tyugu
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:1, pp:5-6 [Journal]
  36. Ramesh Bharadwaj, Robert J. Hall
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:99-99 [Journal]
  37. Robert J. Hall
    How to Avoid Unwanted Email. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:3, pp:88-95 [Journal]
  38. 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]
  39. 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]
  40. 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]
  41. Robert J. Hall
    Call Path Refinement Profiles. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:6, pp:481-498 [Journal]

  42. Rteq: modeling and validating infinite-state hard-real-time systems. [Citation Graph (, )][DBLP]


  43. Validating Real Time Specifications using Real Time Event Queue Modeling. [Citation Graph (, )][DBLP]


  44. A Quantum Algorithm for Software Engineering Search. [Citation Graph (, )][DBLP]


  45. Forensic System Verification. [Citation Graph (, )][DBLP]


  46. Editorial: ASE 2009 conference trip report. [Citation Graph (, )][DBLP]


  47. Editorial: software defect detection. [Citation Graph (, )][DBLP]


  48. A method and tools for large scale scenarios. [Citation Graph (, )][DBLP]


  49. A first editorial. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002