Robert J. Hall

Robert J. Hall: Editorial: ASE 2012 conference trip report. Autom. Softw. Eng. 20(1): 1-4 (2013)

Robert J. Hall: Editorial: ASE 2011 conference trip report. Autom. Softw. Eng. 19(1): 1-3 (2012)

Robert J. Hall: Editorial: analysis in software engineering. Autom. Softw. Eng. 19(3): 231-232 (2012)

Robert J. Hall: Editorial: selected topics in ASE. Autom. Softw. Eng. 19(4): 379-380 (2012)

Robert J. Hall: The itron family of geocast games. IEEE Trans. Consumer Electronics 58(2): 171-177 (2012)

Robert J. Hall: Editorial: ASE 2010 Conference trip report. Autom. Softw. Eng. 18(1): 1-3 (2011)

Robert J. Hall: Editorial: Controlling change. Autom. Softw. Eng. 18(2): 115-116 (2011)

Robert J. Hall: An Improved Geocast for Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. 10(2): 254-266 (2011)

Robert J. Hall: A point-and-shoot weapon design for outdoor multi-player smartphone games. FDG 2011: 53-60

Rajesh Krishna Panta, Robert J. Hall, Josh Auzins, Maria Fernandez: Geocast for wireless sensor networks. ICNP 2011: 109-118

Robert J. Hall: The Capture Calculus Toolset. ASE 2011: 628-632

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

Robert J. Hall: Editorial: ASE 2009 conference trip report. Autom. Softw. Eng. 17(1): 1-4 (2010)

Robert J. Hall: Editorial: software defect detection. Autom. Softw. Eng. 17(3): 213-215 (2010)

Robert J. Hall: Editorial: data mining in software engineering. Autom. Softw. Eng. 17(4): 373-374 (2010)

Robert J. Hall: A first editorial. Autom. Softw. Eng. 16(3-4): 383-385 (2009)

Robert J. Hall: A Quantum Algorithm for Software Engineering Search. ASE 2009: 40-51

Robert J. Hall: Forensic System Verification. RE 2009: 111-120

Robert J. Hall: A method and tools for large scale scenarios. Autom. Softw. Eng. 15(2): 113-148 (2008)

Robert J. Hall: Validating Real Time Specifications using Real Time Event Queue Modeling. ASE 2008: 79-88

Robert J. Hall: Rteq: modeling and validating infinite-state hard-real-time systems. ASE 2007: 481-484

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)

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

Robert J. Hall: LSS: A Tool for Large Scale Scenarios. ASE 2006: 349-350

Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman (Eds.): 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

Robert J. Hall: Fundamental Nonmodularity in Electronic Mail. Autom. Softw. Eng. 12(1): 41-79 (2005)

Robert J. Hall: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Autom. Softw. Eng. 12(4): 415-446 (2005)

Ramesh Bharadwaj, Robert J. Hall: Introduction. Autom. Softw. Eng. 11(2): 99 (2004)

Robert J. Hall, Andrea Zisman: Model interchange and integration for web services. ACM SIGSOFT Software Engineering Notes 29(5): 1-11 (2004)

Robert J. Hall, Andrea Zisman: Behavioral models as service descriptions. ICSOC 2004: 163-172

Robert J. Hall, Andrea Zisman: Validating Personal Requirements by Assisted Symbolic Behavior Browsing . ASE 2004: 56-66

Robert J. Hall, Andrea Zisman: OMML: A Behavioural Model Interchange Format. RE 2004: 272-282

Robert J. Hall: Some Reading for ASE Island. Autom. Softw. Eng. 10(1): 103-109 (2003)

Robert J. Hall: A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. Autom. Softw. Eng. 10(2): 121-155 (2003)

Robert J. Hall, Andrea Zisman: Overview of OpenModel-based Validation with Partial Information. ASE 2003: 347-351

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)

Robert J. Hall: CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. ASE 2002: 107-116

Robert J. Hall: Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. SAS 2002: 2

Stephen Fickas, Robert J. Hall: Self-healing open systems. WOSS 2002: 99-101

Robert J. Hall, Enn Tyugu: Guest Editorial. Autom. Softw. Eng. 8(1): 5-6 (2001)

Robert J. Hall: Specification Modeling and Validation Applied to a Family of Network Security Products. ASE 2001: 71-80

Robert J. Hall: Specification Modeling and Validation Applied to Network Security Gateways. RE 2001: 289-291

Robert J. Hall: Explanation-Based Scenario Generation for Reactive System Models. Autom. Softw. Eng. 7(2): 157-177 (2000)

Robert J. Hall: Feature combination and interaction detection via foreground/background models. Computer Networks 32(4): 449-469 (2000)

Robert J. Hall: Feature Interactions in Electronic Mail. FIW 2000: 67-82

Robert J. Hall: Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. FMSP 2000: 13-23

Robert J. Hall: Upgrading Legacy Instances of Reactive Systems. ASE 2000: 63-72

Robert J. Hall: How to Avoid Unwanted Email. Commun. ACM 41(3): 88-95 (1998)

Robert J. Hall: Feature Combination and Interaction Detection via Foreground/Background Models. FIW 1998: 232-246

Robert J. Hall: Explanation-based Scenario Generation for Reactive System Models. ASE 1998: 115-124

Robert J. Hall: Reactive System Validation using Automated Reasoning over a Fragment Library. ASE 1997: 299-300

Robert J. Hall: Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. CIKM 1996: 107-114

Robert J. Hall: Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. Autom. Softw. Eng. 2(1): 33-53 (1995)

Robert J. Hall: Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. Autom. Softw. Eng. 2(2): 131-166 (1995)

Robert J. Hall: Call Path Refinement Profiles. IEEE Trans. Software Eng. 21(6): 481-498 (1995)

Robert J. Hall: Systematic Incremental Validation of Rule-Based Reactive Systems. KBSE 1994: 69-78

Robert J. Hall: Generalized Behavior-Based Retrieval. ICSE 1993: 371-380

Robert J. Hall, Aaron J. Goldberg: Call Path Profiling of Monotonic Program Resources in UNIX. USENIX Summer 1993: 1-14

Robert J. Hall: Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. J. Autom. Reasoning 8(3): 367-394 (1992)

Robert J. Hall: Call Path Profiling. ICSE 1992: 296-306

Robert J. Hall: Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains. Machine Learning 3: 45-77 (1988)

Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk: Advances in Functional Abstraction from Structure. DAC 1988: 708-711

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

Richard H. Lathrop, Robert J. Hall, Robert S. Kirk: Functional Abstraction from Structure in VLSI Simulation Models. DAC 1987: 822-828

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