| 2008 |
|---|
| 47 | EE | Robert J. Hall:
Validating Real Time Specifications using Real Time Event Queue Modeling.
ASE 2008: 79-88 |
| 46 | EE | Robert J. Hall:
A method and tools for large scale scenarios.
Autom. Softw. Eng. 15(2): 113-148 (2008) |
| 2007 |
|---|
| 45 | EE | Robert J. Hall:
Rteq: modeling and validating infinite-state hard-real-time systems.
ASE 2007: 481-484 |
| 2006 |
|---|
| 44 | | Elisabetta Di Nitto,
Robert J. Hall,
Jun Han,
Yanbo Han,
Andrea Polini,
Kurt Sandkuhl,
Andrea Zisman:
The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006
IEEE Computer Society 2006 |
| 43 | EE | Robert J. Hall:
LSS: A Tool for Large Scale Scenarios.
ASE 2006: 349-350 |
| 42 | EE | 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).
ICSE 2006: 1036-1037 |
| 41 | EE | Elisabetta Di Nitto,
Robert J. Hall,
Jun Han,
Yanbo Han,
Andrea Polini,
Kurt Sandkuhl,
Andrea Zisman:
Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).
ACM SIGSOFT Software Engineering Notes 31(5): 36-38 (2006) |
| 2005 |
|---|
| 40 | EE | Robert J. Hall:
Fundamental Nonmodularity in Electronic Mail.
Autom. Softw. Eng. 12(1): 41-79 (2005) |
| 39 | EE | Robert J. Hall:
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.
Autom. Softw. Eng. 12(4): 415-446 (2005) |
| 2004 |
|---|
| 38 | EE | Robert J. Hall,
Andrea Zisman:
Validating Personal Requirements by Assisted Symbolic Behavior Browsing .
ASE 2004: 56-66 |
| 37 | EE | Robert J. Hall,
Andrea Zisman:
Behavioral models as service descriptions.
ICSOC 2004: 163-172 |
| 36 | EE | Robert J. Hall,
Andrea Zisman:
OMML: A Behavioural Model Interchange Format.
RE 2004: 272-282 |
| 35 | EE | Robert J. Hall,
Andrea Zisman:
Model interchange and integration for web services.
ACM SIGSOFT Software Engineering Notes 29(5): 1-11 (2004) |
| 34 | EE | Ramesh Bharadwaj,
Robert J. Hall:
Introduction.
Autom. Softw. Eng. 11(2): 99-99 (2004) |
| 2003 |
|---|
| 33 | EE | Robert J. Hall,
Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information.
ASE 2003: 347-351 |
| 32 | | Robert J. Hall:
Some Reading for ASE Island.
Autom. Softw. Eng. 10(1): 103-109 (2003) |
| 31 | EE | Robert J. Hall:
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.
Autom. Softw. Eng. 10(2): 121-155 (2003) |
| 2002 |
|---|
| 30 | EE | Robert J. Hall:
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.
ASE 2002: 107-116 |
| 29 | EE | Robert J. Hall:
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges.
SAS 2002: 2 |
| 28 | EE | Stephen Fickas,
Robert J. Hall:
Self-healing open systems.
WOSS 2002: 99-101 |
| 27 | | Robert J. Hall:
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.
Autom. Softw. Eng. 9(3): 233-261 (2002) |
| 2001 |
|---|
| 26 | EE | Robert J. Hall:
Specification Modeling and Validation Applied to a Family of Network Security Products.
ASE 2001: 71-80 |
| 25 | EE | Robert J. Hall:
Specification Modeling and Validation Applied to Network Security Gateways.
RE 2001: 289-291 |
| 24 | | Robert J. Hall,
Enn Tyugu:
Guest Editorial.
Autom. Softw. Eng. 8(1): 5-6 (2001) |
| 2000 |
|---|
| 23 | EE | Robert J. Hall:
Upgrading Legacy Instances of Reactive Systems.
ASE 2000: 63-72 |
| 22 | | Robert J. Hall:
Feature Interactions in Electronic Mail.
FIW 2000: 67-82 |
| 21 | EE | Robert J. Hall:
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.
FMSP 2000: 13-23 |
| 20 | | Robert J. Hall:
Explanation-Based Scenario Generation for Reactive System Models.
Autom. Softw. Eng. 7(2): 157-177 (2000) |
| 19 | EE | Robert J. Hall:
Feature combination and interaction detection via foreground/background models.
Computer Networks 32(4): 449-469 (2000) |
| 1998 |
|---|
| 18 | EE | Robert J. Hall:
Explanation-based Scenario Generation for Reactive System Models.
ASE 1998: 115-124 |
| 17 | | Robert J. Hall:
Feature Combination and Interaction Detection via Foreground/Background Models.
FIW 1998: 232-246 |
| 16 | | Robert J. Hall:
How to Avoid Unwanted Email.
Commun. ACM 41(3): 88-95 (1998) |
| 1997 |
|---|
| 15 | EE | Robert J. Hall:
Reactive System Validation using Automated Reasoning over a Fragment Library.
ASE 1997: 299-300 |
| 1996 |
|---|
| 14 | EE | Robert J. Hall:
Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists.
CIKM 1996: 107-114 |
| 1995 |
|---|
| 13 | | Robert J. Hall:
Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing.
Autom. Softw. Eng. 2(1): 33-53 (1995) |
| 12 | | Robert J. Hall:
Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.
Autom. Softw. Eng. 2(2): 131-166 (1995) |
| 11 | EE | Robert J. Hall:
Call Path Refinement Profiles.
IEEE Trans. Software Eng. 21(6): 481-498 (1995) |
| 1994 |
|---|
| 10 | | Robert J. Hall:
Systematic Incremental Validation of Rule-Based Reactive Systems.
KBSE 1994: 69-78 |
| 1993 |
|---|
| 9 | EE | Robert J. Hall:
Generalized Behavior-Based Retrieval.
ICSE 1993: 371-380 |
| 8 | | Robert J. Hall,
Aaron J. Goldberg:
Call Path Profiling of Monotonic Program Resources in UNIX.
USENIX Summer 1993: 1-14 |
| 1992 |
|---|
| 7 | EE | Robert J. Hall:
Call Path Profiling.
ICSE 1992: 296-306 |
| 6 | | Robert J. Hall:
Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study.
J. Autom. Reasoning 8(3): 367-394 (1992) |
| 1988 |
|---|
| 5 | EE | Richard H. Lathrop,
Robert J. Hall,
Gavan Duffy,
K. Mark Alexander,
Robert S. Kirk:
Advances in Functional Abstraction from Structure.
DAC 1988: 708-711 |
| 4 | | Robert J. Hall:
Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains.
Machine Learning 3: 45-77 (1988) |
| 1987 |
|---|
| 3 | | Robert J. Hall,
Richard H. Lathrop,
Robert S. Kirk:
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.
AAAI 1987: 799-803 |
| 2 | EE | Richard H. Lathrop,
Robert J. Hall,
Robert S. Kirk:
Functional Abstraction from Structure in VLSI Simulation Models.
DAC 1987: 822-828 |
| 1986 |
|---|
| 1 | | Robert J. Hall:
Learning by Failing to Explain.
AAAI 1986: 568-573 |
