Robert J. Hall

85 papers A* 19A 5B 2C 1Misc 1Journal 40Unranked 16

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	FocusStack: Orchestrating Edge Clouds Using Focus of Attention. IEEE Internet Comput. Brian Amento, Robert J. Hall, Kaustubh Joshi, K. Hal Purdy
2016	J	`jnl`	An Internet of Drones. IEEE Internet Comput. Robert J. Hall
2016	J	`jnl`	Editorial Introduction. Autom. Softw. Eng. Robert J. Hall
2016	J	`jnl`	Editorial introduction. Autom. Softw. Eng. Robert J. Hall
2016	J	`jnl`	Editorial introduction. Autom. Softw. Eng. Robert J. Hall
2016	J	`jnl`	Editorial introduction. Autom. Softw. Eng. Robert J. Hall
2016	Misc	`conf`	FocusStack: Orchestrating Edge Clouds Using Location-Based Focus of Attention. SEC Brian Amento, Bharath Balasubramanian, Robert J. Hall, Kaustubh R. Joshi, Gueyoung Jung, K. Hal Purdy
2016	J	`jnl`	Tools for Predicting the Reliability of Large-Scale Storage Systems. ACM Trans. Storage Robert J. Hall
2014	—	`conf`	An efficient protocol for geographically addressed streaming. MILCOM Robert J. Hall
2014	J	`jnl`	Editorial introduction. Autom. Softw. Eng. Robert J. Hall
2014	J	`jnl`	Editorial: ASE 2013 Conference Trip Report. Autom. Softw. Eng. Robert J. Hall
2013	—	`conf`	A Geocast Based File Transfer Protocol. MILCOM Robert J. Hall
2013	J	`jnl`	Editorial introduction. Autom. Softw. Eng. Robert J. Hall
2013	J	`jnl`	Editorial: ASE 2012 conference trip report. Autom. Softw. Eng. Robert J. Hall
2013	—	`conf`	Scaling Up a Geographic Addressing System. MILCOM Robert J. Hall, Josh Auzins, John Chapin, Barry Fell
2012	—	`conf`	A geocast-based algorithm for a field common operating picture. MILCOM Robert J. Hall
2012	J	`jnl`	Editorial: ASE 2011 conference trip report. Autom. Softw. Eng. Robert J. Hall
2012	J	`jnl`	Editorial: analysis in software engineering. Autom. Softw. Eng. Robert J. Hall
2012	J	`jnl`	Editorial: selected topics in ASE. Autom. Softw. Eng. Robert J. Hall
2012	J	`jnl`	The itron family of geocast games. IEEE Trans. Consumer Electron. Robert J. Hall
2011	C	`conf`	A point-and-shoot weapon design for outdoor multi-player smartphone games. FDG Robert J. Hall
2011	J	`jnl`	An Improved Geocast for Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Robert J. Hall
2011	J	`jnl`	Editorial: ASE 2010 Conference trip report. Autom. Softw. Eng. Robert J. Hall
2011	J	`jnl`	Editorial: Controlling change. Autom. Softw. Eng. Robert J. Hall
2011	B	`conf`	Geocast for wireless sensor networks. ICNP Rajesh Krishna Panta, Robert J. Hall, Josh Auzins, Maria Fernandez
2011	—	`conf`	Scalable geocast for vehicular networks (poster). VNC Rajesh Krishna Panta, Rittwik Jana, Robert J. Hall, Josh Auzins, Vaneet Aggarwal
2011	A*	`conf`	The Capture Calculus Toolset. ASE Robert J. Hall
2011	—	`conf`	The iTron Family of geocast games (extended abstract). IGIC Robert J. Hall
2010	—	`conf`	Cheating attacks and resistance techniques in GeoGame design. Future Play Robert J. Hall
2010	J	`jnl`	Editorial: ASE 2009 conference trip report. Autom. Softw. Eng. Robert J. Hall
2010	J	`jnl`	Editorial: data mining in software engineering. Autom. Softw. Eng. Robert J. Hall
2010	J	`jnl`	Editorial: software defect detection. Autom. Softw. Eng. Robert J. Hall
2009	A*	`conf`	A Quantum Algorithm for Software Engineering Search. ASE Robert J. Hall
2009	J	`jnl`	A first editorial. Autom. Softw. Eng. Robert J. Hall
2009	A	`conf`	Forensic System Verification. RE Robert J. Hall
2008	J	`jnl`	A method and tools for large scale scenarios. Autom. Softw. Eng. Robert J. Hall
2008	A*	`conf`	Validating Real Time Specifications using Real Time Event Queue Modeling. ASE Robert J. Hall
2007	A*	`conf`	Rteq: modeling and validating infinite-state hard-real-time systems. ASE Robert J. Hall
2006	A*	`conf`	International workshop on service oriented software engineering (IW-SOSE'06). ICSE Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman
2006	A*	`conf`	LSS: A Tool for Large Scale Scenarios. ASE Robert J. Hall
2006	J	`jnl`	Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06). ACM SIGSOFT Softw. Eng. Notes Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman
2006	—	`ed.`	The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006 SOSE Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman
2005	J	`jnl`	Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Autom. Softw. Eng. Robert J. Hall
2005	J	`jnl`	Fundamental Nonmodularity in Electronic Mail. Autom. Softw. Eng. Robert J. Hall
2004	A	`conf`	Behavioral models as service descriptions. ICSOC Robert J. Hall, Andrea Zisman
2004	J	`jnl`	Introduction. Autom. Softw. Eng. Ramesh Bharadwaj, Robert J. Hall
2004	J	`jnl`	Model interchange and integration for web services. ACM SIGSOFT Softw. Eng. Notes Robert J. Hall, Andrea Zisman
2004	A	`conf`	OMML: A Behavioural Model Interchange Format. RE Robert J. Hall, Andrea Zisman
2004	A*	`conf`	Validating Personal Requirements by Assisted Symbolic Behavior Browsing . ASE Robert J. Hall, Andrea Zisman
2003	J	`jnl`	A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. Autom. Softw. Eng. Robert J. Hall
2003	A*	`conf`	Overview of OpenModel-based Validation with Partial Information. ASE Robert J. Hall, Andrea Zisman
2003	J	`jnl`	Some Reading for ASE Island. Autom. Softw. Eng. Robert J. Hall
2002	A*	`conf`	CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. ASE Robert J. Hall
2002	B	`conf`	Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. SAS Robert J. Hall
2002	—	`conf`	Self-healing open systems. WOSS Stephen Fickas, Robert J. Hall
2002	J	`jnl`	Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design. Autom. Softw. Eng. Robert J. Hall
2001	J	`jnl`	Guest Editorial. Autom. Softw. Eng. Robert J. Hall, Enn Tyugu
2001	A	`conf`	Specification Modeling and Validation Applied to Network Security Gateways. RE Robert J. Hall
2001	A*	`conf`	Specification Modeling and Validation Applied to a Family of Network Security Products. ASE Robert J. Hall
2000	J	`jnl`	Explanation-Based Scenario Generation for Reactive System Models. Autom. Softw. Eng. Robert J. Hall
2000	—	`conf`	Feature Interactions in Electronic Mail. FIW Robert J. Hall
2000	J	`jnl`	Feature combination and interaction detection via foreground/background models. Comput. Networks Robert J. Hall
2000	—	`conf`	Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. FMSP Robert J. Hall
2000	A*	`conf`	Upgrading Legacy Instances of Reactive Systems. ASE Robert J. Hall
1998	A*	`conf`	Explanation-based Scenario Generation for Reactive System Models. ASE Robert J. Hall
1998	—	`conf`	Feature Combination and Interaction Detection via Foreground/Background Models. FIW Robert J. Hall
1998	J	`jnl`	How to Avoid Unwanted Email. Commun. ACM Robert J. Hall
1997	A*	`conf`	Reactive System Validation using Automated Reasoning over a Fragment Library. ASE Robert J. Hall
1996	—	`conf`	Channels: Avoiding unwanted electronic mail. Network Threats Robert J. Hall
1996	A	`conf`	Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. CIKM Robert J. Hall
1996	—	`conf`	Trusting your assistant. KBSE Robert J. Hall
1995	J	`jnl`	Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. Autom. Softw. Eng. Robert J. Hall
1995	J	`jnl`	Call Path Refinement Profiles. IEEE Trans. Software Eng. Robert J. Hall
1995	J	`jnl`	Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. Autom. Softw. Eng. Robert J. Hall
1994	—	`conf`	Systematic Incremental Validation of Rule-Based Reactive Systems. KBSE Robert J. Hall
1993	—	`conf`	Call Path Profiling of Monotonic Program Resources in UNIX. USENIX Summer Robert J. Hall, Aaron J. Goldberg
1993	A*	`conf`	Generalized Behavior-Based Retrieval. ICSE Robert J. Hall
1993	—	`conf`	Validation of rule-based reactive systems by sound scenario generalization. KBSE Robert J. Hall
1992	A*	`conf`	Call Path Profiling. ICSE Robert J. Hall
1992	J	`jnl`	Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. J. Autom. Reason. Robert J. Hall
1988	A*	`conf`	Advances in Functional Abstraction from Structure. DAC Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk
1988	J	`jnl`	Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains. Mach. Learn. Robert J. Hall
1987	A*	`conf`	A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. AAAI Robert J. Hall, Richard H. Lathrop, Robert S. Kirk
1987	A*	`conf`	Functional Abstraction from Structure in VLSI Simulation Models. DAC Richard H. Lathrop, Robert J. Hall, Robert S. Kirk
1986	A*	`conf`	Learning by Failing to Explain. AAAI Robert J. Hall