Robert J. Hall - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

An Improved Geocast for Mobile Ad Hoc NetworksRobert J. Hall. tmc, 10(2):254-266, 2011. [doi]

Editorial: Controlling changeRobert J. Hall. ASE, 18(2):115-116, 2011. [doi]

Editorial: ASE 2010 Conference trip reportRobert J. Hall. ASE, 18(1):1-3, 2011. [doi]

2010

Editorial: ASE 2009 conference trip reportRobert J. Hall. ASE, 17(1):1-4, 2010. [doi]

Editorial: software defect detectionRobert J. Hall. ASE, 17(3):213-215, 2010. [doi]

Editorial: data mining in software engineeringRobert J. Hall. ASE, 17(4):373-374, 2010. [doi]

2009

Forensic System VerificationRobert J. Hall. RE 2009: 111-120 [doi]

A first editorialRobert J. Hall. ASE, 16(3-4):383-385, 2009. [doi]

A Quantum Algorithm for Software Engineering SearchRobert J. Hall. kbse 2009: 40-51 [doi]

2008

A method and tools for large scale scenariosRobert J. Hall. ASE, 15(2):113-148, 2008. [doi]

Validating Real Time Specifications using Real Time Event Queue ModelingRobert J. Hall. ASE 2008: 79-88 [doi]

2007

Rteq: modeling and validating infinite-state hard-real-time systemsRobert J. Hall. ASE 2007: 481-484 [doi]

2006

2005

Fundamental Nonmodularity in Electronic MailRobert J. Hall. ASE, 12(1):41-79, 2005. [doi]

Aspect-Capable Call Path Profiling of Multi-Threaded Java ApplicationsRobert J. Hall. ASE, 12(4):415-446, 2005. [doi]

2004

2003

A Supermodel Framework Supporting Validated Upgrading of Reactive SystemsRobert J. Hall. ASE, 10(2):121-155, 2003. [doi]

Some Reading for ASE IslandRobert J. Hall. ASE, 10(1):103-109, 2003.

Overview of OpenModel-based Validation with Partial InformationRobert J. Hall, Andrea Zisman. ASE 2003: 347-351 [doi]

2002

Self-healing open systemsStephen Fickas, Robert J. Hall. woss 2002: 99-101 [doi]

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java ApplicationsRobert J. Hall. ASE 2002: 107-116 [doi]

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System DesignRobert J. Hall. ASE, 9(3):233-261, 2002.

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool ChallengesRobert J. Hall. SAS 2002: 2 [doi]

2001

Guest EditorialRobert J. Hall, Enn Tyugu. ASE, 8(1):5-6, 2001.

Specification Modeling and Validation Applied to a Family of Network Security ProductsRobert J. Hall. ASE 2001: 71-80 [doi]

Specification Modeling and Validation Applied to Network Security GatewaysRobert J. Hall. RE 2001: 289-291 [doi]

2000

Feature Interactions in Electronic MailRobert J. Hall. fiw 2000: 67-82

Upgrading Legacy Instances of Reactive SystemsRobert J. Hall. ASE 2000: 63-72 [doi]

Feature combination and interaction detection via foreground/background modelsRobert J. Hall. cn, 32(4):449-469, 2000. [doi]

Explanation-Based Scenario Generation for Reactive System ModelsRobert J. Hall. ASE, 7(2):157-177, 2000.

Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system designRobert J. Hall. fmsp 2000: 13-23 [doi]

1998

Feature Combination and Interaction Detection via Foreground/Background ModelsRobert J. Hall. fiw 1998: 232-246

How to Avoid Unwanted EmailRobert J. Hall. CACM, 41(3):88-95, 1998.

Explanation-based Scenario Generation for Reactive System ModelsRobert J. Hall. ASE 1998: 115-124 [doi]

1997

Reactive System Validation using Automated Reasoning over a Fragment LibraryRobert J. Hall. jckbse 1997: 299-300 [doi]

1996

Infomod: A Knowledge-Based Moderator for Electronic Mail Help ListsRobert J. Hall. CIKM 1996: 107-114 [doi]

1995

Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program SlicingRobert J. Hall. ASE, 2(1):33-53, 1995.

Call Path Refinement ProfilesRobert J. Hall. TSE, 21(6):481-498, 1995. [doi]

Systematic Incremental Validation of Reactive Systems via Sound Scenario GeneralizationRobert J. Hall. ASE, 2(2):131-166, 1995.

1994

Systematic Incremental Validation of Rule-Based Reactive SystemsRobert J. Hall. jckbse 1994: 69-78

1993

Call Path Profiling of Monotonic Program Resources in UNIXRobert J. Hall, Aaron J. Goldberg. usenix 1993: 1-14

Generalized Behavior-Based RetrievalRobert J. Hall. ICSE 1993: 371-380 [doi]

1992

Call Path ProfilingRobert J. Hall. ICSE 1992: 296-306 [doi]

Comparing Parameter Schemes for Propositional Reasoning: An Empirical StudyRobert J. Hall. JAR, 8(3):367-394, 1992.

1988

Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable DomainsRobert J. Hall. ml, 3:45-77, 1988.

Advances in Functional Abstraction from StructureRichard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk. dac 1988: 708-711 [doi]

1987

A Multiple Representation Approach to Understanding the Time Behavior of Digital CircuitsRobert J. Hall, Richard H. Lathrop, Robert S. Kirk. AAAI 1987: 799-803

Functional Abstraction from Structure in VLSI Simulation ModelsRichard H. Lathrop, Robert J. Hall, Robert S. Kirk. dac 1987: 822-828 [doi]

1986

Learning by Failing to ExplainRobert J. Hall. AAAI 1986: 568-573