Learning by Failing to Explain. - Robert J. Hall 001 (AAAI, 1986)

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. - Robert J. Hall 001; Richard H. Lathrop; Robert S. Kirk (AAAI, 1987)

Functional Abstraction from Structure in VLSI Simulation Models. - Richard H. Lathrop; Robert J. Hall 001; Robert S. Kirk (DAC, 1987)

Advances in Functional Abstraction from Structure. - Richard H. Lathrop; Robert J. Hall 001; Gavan Duffy; K. Mark Alexander; Robert S. Kirk (DAC, 1988)

Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains. - Robert J. Hall 001 (Mach. Learn., 1988)

Call Path Profiling. - Robert J. Hall 001 (ICSE, 1992)

Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. - Robert J. Hall 001 (J. Autom. Reason., 1992)

Generalized Behavior-Based Retrieval. - Robert J. Hall 001 (ICSE, 1993)

Validation of rule-based reactive systems by sound scenario generalization. - Robert J. Hall 001 (KBSE, 1993)

Call Path Profiling of Monotonic Program Resources in UNIX. - Robert J. Hall 001; Aaron J. Goldberg (USENIX Summer, 1993)

Systematic Incremental Validation of Rule-Based Reactive Systems. - Robert J. Hall 001 (KBSE, 1994)

Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. - Robert J. Hall 001 (Autom. Softw. Eng., 1995)

Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. - Robert J. Hall 001 (Autom. Softw. Eng., 1995)

Call Path Refinement Profiles. - Robert J. Hall 001 (IEEE Trans. Software Eng., 1995)

Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. - Robert J. Hall 001 (CIKM, 1996)

Channels: Avoiding unwanted electronic mail. - Robert J. Hall 001 (Network Threats, 1996)

Trusting your assistant. - Robert J. Hall 001 (KBSE, 1996)

Reactive System Validation using Automated Reasoning over a Fragment Library. - Robert J. Hall 001 (ASE, 1997)

How to Avoid Unwanted Email. - Robert J. Hall 001 (Commun. ACM, 1998)

Feature Interactions in Electronic Mail. - Robert J. Hall 001 (FIW, 2000)

Upgrading Legacy Instances of Reactive Systems. - Robert J. Hall 001 (ASE, 2000)

Explanation-Based Scenario Generation for Reactive System Models. - Robert J. Hall 001 (Autom. Softw. Eng., 2000)

Feature combination and interaction detection via foreground/background models. - Robert J. Hall 001 (Comput. Networks, 2000)

Specification Modeling and Validation Applied to a Family of Network Security Products. - Robert J. Hall 001 (ASE, 2001)

Specification Modeling and Validation Applied to Network Security Gateways. - Robert J. Hall 001 (RE, 2001)

Guest Editorial. - Robert J. Hall 001; Enn Tyugu (Autom. Softw. Eng., 2001)

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. - Robert J. Hall 001 (ASE, 2002)

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. - Robert J. Hall 001 (SAS, 2002)

Self-healing open systems. - Stephen Fickas; Robert J. Hall 001 (WOSS, 2002)

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design. - Robert J. Hall 001 (Autom. Softw. Eng., 2002)

Overview of OpenModel-based Validation with Partial Information. - Robert J. Hall 001; Andrea Zisman (ASE, 2003)

Some Reading for ASE Island. - Robert J. Hall 001 (Autom. Softw. Eng., 2003)

A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. - Robert J. Hall 001 (Autom. Softw. Eng., 2003)

Behavioral models as service descriptions. - Robert J. Hall 001; Andrea Zisman (ICSOC, 2004)

Validating Personal Requirements by Assisted Symbolic Behavior Browsing . - Robert J. Hall 001; Andrea Zisman (ASE, 2004)

OMML: A Behavioural Model Interchange Format. - Robert J. Hall 001; Andrea Zisman (RE, 2004)

Introduction. - Ramesh Bharadwaj; Robert J. Hall 001 (Autom. Softw. Eng., 2004)

Model interchange and integration for web services. - Robert J. Hall 001; Andrea Zisman (ACM SIGSOFT Softw. Eng. Notes, 2004)

Fundamental Nonmodularity in Electronic Mail. - Robert J. Hall 001 (Autom. Softw. Eng., 2005)

Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. - Robert J. Hall 001 (Autom. Softw. Eng., 2005)

International workshop on service oriented software engineering (IW-SOSE'06). - Elisabetta Di Nitto; Robert J. Hall 001; Jun Han 004; Yanbo Han; Andrea Polini; Kurt Sandkuhl; Andrea Zisman (ICSE, 2006)

LSS: A Tool for Large Scale Scenarios. - Robert J. Hall 001 (ASE, 2006)

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06). - Elisabetta Di Nitto; Robert J. Hall 001; Jun Han 004; Yanbo Han; Andrea Polini; Kurt Sandkuhl; Andrea Zisman (ACM SIGSOFT Softw. Eng. Notes, 2006)

Rteq: modeling and validating infinite-state hard-real-time systems. - Robert J. Hall 001 (ASE, 2007)

Validating Real Time Specifications using Real Time Event Queue Modeling. - Robert J. Hall 001 (ASE, 2008)

A method and tools for large scale scenarios. - Robert J. Hall 001 (Autom. Softw. Eng., 2008)

A Quantum Algorithm for Software Engineering Search. - Robert J. Hall 001 (ASE, 2009)

Forensic System Verification. - Robert J. Hall 001 (RE, 2009)

A first editorial. - Robert J. Hall 001 (Autom. Softw. Eng., 2009)

Cheating attacks and resistance techniques in GeoGame design. - Robert J. Hall 001 (Future Play, 2010)

Editorial: ASE 2009 conference trip report. - Robert J. Hall 001 (Autom. Softw. Eng., 2010)

Editorial: software defect detection. - Robert J. Hall 001 (Autom. Softw. Eng., 2010)

Editorial: data mining in software engineering. - Robert J. Hall 001 (Autom. Softw. Eng., 2010)

A point-and-shoot weapon design for outdoor multi-player smartphone games. - Robert J. Hall 001 (FDG, 2011)

The iTron Family of geocast games (extended abstract). - Robert J. Hall 001 (IGIC, 2011)

Geocast for wireless sensor networks. - Rajesh Krishna Panta; Robert J. Hall 001; Josh Auzins; Maria Fernandez (ICNP, 2011)

The Capture Calculus Toolset. - Robert J. Hall 001 (ASE, 2011)

Scalable geocast for vehicular networks (poster). - Rajesh Krishna Panta; Rittwik Jana; Robert J. Hall 001; Josh Auzins; Vaneet Aggarwal (VNC, 2011)

Editorial: ASE 2010 Conference trip report. - Robert J. Hall 001 (Autom. Softw. Eng., 2011)

Editorial: Controlling change. - Robert J. Hall 001 (Autom. Softw. Eng., 2011)

An Improved Geocast for Mobile Ad Hoc Networks. - Robert J. Hall 001 (IEEE Trans. Mob. Comput., 2011)

A geocast-based algorithm for a field common operating picture. - Robert J. Hall 001 (MILCOM, 2012)

Editorial: ASE 2011 conference trip report. - Robert J. Hall 001 (Autom. Softw. Eng., 2012)

Editorial: analysis in software engineering. - Robert J. Hall 001 (Autom. Softw. Eng., 2012)

Editorial: selected topics in ASE. - Robert J. Hall 001 (Autom. Softw. Eng., 2012)

The itron family of geocast games. - Robert J. Hall 001 (IEEE Trans. Consumer Electron., 2012)

A Geocast Based File Transfer Protocol. - Robert J. Hall 001 (MILCOM, 2013)

Scaling Up a Geographic Addressing System. - Robert J. Hall 001; Josh Auzins; John Chapin; Barry Fell (MILCOM, 2013)

Editorial: ASE 2012 conference trip report. - Robert J. Hall 001 (Autom. Softw. Eng., 2013)

An efficient protocol for geographically addressed streaming. - Robert J. Hall 001 (MILCOM, 2014)

Editorial: ASE 2013 Conference Trip Report. - Robert J. Hall 001 (Autom. Softw. Eng., 2014)

FocusStack: Orchestrating Edge Clouds Using Location-Based Focus of Attention. - Brian Amento; Bharath Balasubramanian; Robert J. Hall 001; Kaustubh R. Joshi; Gueyoung Jung; K. Hal Purdy (SEC, 2016)

Editorial introduction. - Robert J. Hall 001 (Autom. Softw. Eng., 2016)

An Internet of Drones. - Robert J. Hall 001 (IEEE Internet Comput., 2016)

Tools for Predicting the Reliability of Large-Scale Storage Systems. - Robert J. Hall 001 (ACM Trans. Storage, 2016)

FocusStack: Orchestrating Edge Clouds Using Focus of Attention. - Brian Amento; Robert J. Hall 001; Kaustubh Joshi 001; K. Hal Purdy (IEEE Internet Comput., 2017)