![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Robert J. Hall 0001
Person information
- affiliation: AT&T Labs Research, Florham Park, NJ, USA
- affiliation: Massachusetts Institute of Technology (MIT), AI Lab, Cambridge, MA, USA
Other persons with the same name
- Rob Hall 0001
(aka: Robert J. Hall 0002) — Etsy Inc., Brooklyn, NY, USA (and 2 more)
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j40]Brian Amento, Robert J. Hall, Kaustubh Joshi, K. Hal Purdy:
FocusStack: Orchestrating Edge Clouds Using Focus of Attention. IEEE Internet Comput. 21(1): 56-61 (2017) - 2016
- [j39]Robert J. Hall:
Editorial introduction. Autom. Softw. Eng. 23(1): 1-2 (2016) - [j38]Robert J. Hall:
Editorial Introduction. Autom. Softw. Eng. 23(2): 145-146 (2016) - [j37]Robert J. Hall:
Editorial introduction. Autom. Softw. Eng. 23(3): 303-304 (2016) - [j36]Robert J. Hall:
Editorial introduction. Autom. Softw. Eng. 23(4): 533-534 (2016) - [j35]Robert J. Hall:
An Internet of Drones. IEEE Internet Comput. 20(3): 68-73 (2016) - [j34]Robert J. Hall:
Tools for Predicting the Reliability of Large-Scale Storage Systems. ACM Trans. Storage 12(4): 24:1-24:30 (2016) - [c44]Brian Amento, Bharath Balasubramanian, Robert J. Hall, Kaustubh R. Joshi, Gueyoung Jung, K. Hal Purdy:
FocusStack: Orchestrating Edge Clouds Using Location-Based Focus of Attention. SEC 2016: 179-191 - 2014
- [j33]Robert J. Hall:
Editorial: ASE 2013 Conference Trip Report. Autom. Softw. Eng. 21(1): 1-2 (2014) - [j32]Robert J. Hall:
Editorial introduction. Autom. Softw. Eng. 21(2): 145-146 (2014) - [c43]Robert J. Hall:
An efficient protocol for geographically addressed streaming. MILCOM 2014: 1085-1092 - 2013
- [j31]Robert J. Hall:
Editorial: ASE 2012 conference trip report. Autom. Softw. Eng. 20(1): 1-4 (2013) - [j30]Robert J. Hall:
Editorial introduction. Autom. Softw. Eng. 20(4): 497-498 (2013) - [c42]Robert J. Hall, Josh Auzins, John Chapin, Barry Fell:
Scaling Up a Geographic Addressing System. MILCOM 2013: 143-149 - [c41]Robert J. Hall:
A Geocast Based File Transfer Protocol. MILCOM 2013: 150-156 - 2012
- [j29]Robert J. Hall:
Editorial: ASE 2011 conference trip report. Autom. Softw. Eng. 19(1): 1-3 (2012) - [j28]Robert J. Hall:
Editorial: analysis in software engineering. Autom. Softw. Eng. 19(3): 231-232 (2012) - [j27]Robert J. Hall:
Editorial: selected topics in ASE. Autom. Softw. Eng. 19(4): 379-380 (2012) - [j26]Robert J. Hall:
The itron family of geocast games. IEEE Trans. Consumer Electron. 58(2): 171-177 (2012) - [c40]Robert J. Hall:
A geocast-based algorithm for a field common operating picture. MILCOM 2012: 1-6 - 2011
- [j25]Robert J. Hall:
Editorial: ASE 2010 Conference trip report. Autom. Softw. Eng. 18(1): 1-3 (2011) - [j24]Robert J. Hall:
Editorial: Controlling change. Autom. Softw. Eng. 18(2): 115-116 (2011) - [j23]Robert J. Hall:
An Improved Geocast for Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. 10(2): 254-266 (2011) - [c39]Robert J. Hall:
A point-and-shoot weapon design for outdoor multi-player smartphone games. FDG 2011: 53-60 - [c38]Robert J. Hall:
The iTron Family of geocast games (extended abstract). IGIC 2011: 1-4 - [c37]Rajesh Krishna Panta, Robert J. Hall, Josh Auzins, Maria Fernandez:
Geocast for wireless sensor networks. ICNP 2011: 109-118 - [c36]Robert J. Hall:
The Capture Calculus Toolset. ASE 2011: 628-632 - [c35]Rajesh Krishna Panta, Rittwik Jana, Robert J. Hall, Josh Auzins, Vaneet Aggarwal
:
Scalable geocast for vehicular networks (poster). VNC 2011: 276-283 - 2010
- [j22]Robert J. Hall:
Editorial: ASE 2009 conference trip report. Autom. Softw. Eng. 17(1): 1-4 (2010) - [j21]Robert J. Hall:
Editorial: software defect detection. Autom. Softw. Eng. 17(3): 213-215 (2010) - [j20]Robert J. Hall:
Editorial: data mining in software engineering. Autom. Softw. Eng. 17(4): 373-374 (2010) - [c34]Robert J. Hall:
Cheating attacks and resistance techniques in GeoGame design. Future Play 2010: 82-89
2000 – 2009
- 2009
- [j19]Robert J. Hall:
A first editorial. Autom. Softw. Eng. 16(3-4): 383-385 (2009) - [c33]Robert J. Hall:
A Quantum Algorithm for Software Engineering Search. ASE 2009: 40-51 - [c32]Robert J. Hall:
Forensic System Verification. RE 2009: 111-120 - 2008
- [j18]Robert J. Hall:
A method and tools for large scale scenarios. Autom. Softw. Eng. 15(2): 113-148 (2008) - [c31]Robert J. Hall:
Validating Real Time Specifications using Real Time Event Queue Modeling. ASE 2008: 79-88 - 2007
- [c30]Robert J. Hall:
Rteq: modeling and validating infinite-state hard-real-time systems. ASE 2007: 481-484 - 2006
- [j17]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 Softw. Eng. Notes 31(5): 36-38 (2006) - [c29]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 - [c28]Robert J. Hall:
LSS: A Tool for Large Scale Scenarios. ASE 2006: 349-350 - [e1]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, ISBN 0-7695-2726-4 [contents] - 2005
- [j16]Robert J. Hall:
Fundamental Nonmodularity in Electronic Mail. Autom. Softw. Eng. 12(1): 41-79 (2005) - [j15]Robert J. Hall:
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Autom. Softw. Eng. 12(4): 415-446 (2005) - 2004
- [j14]Ramesh Bharadwaj, Robert J. Hall:
Introduction. Autom. Softw. Eng. 11(2): 99 (2004) - [j13]Robert J. Hall, Andrea Zisman:
Model interchange and integration for web services. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-11 (2004) - [c27]Robert J. Hall, Andrea Zisman:
Behavioral models as service descriptions. ICSOC 2004: 163-172 - [c26]Robert J. Hall, Andrea Zisman:
Validating Personal Requirements by Assisted Symbolic Behavior Browsing . ASE 2004: 56-66 - [c25]Robert J. Hall, Andrea Zisman:
OMML: A Behavioural Model Interchange Format. RE 2004: 272-282 - 2003
- [j12]Robert J. Hall:
Some Reading for ASE Island. Autom. Softw. Eng. 10(1): 103-109 (2003) - [j11]Robert J. Hall:
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. Autom. Softw. Eng. 10(2): 121-155 (2003) - [c24]Robert J. Hall, Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information. ASE 2003: 347-351 - 2002
- [j10]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) - [c23]Robert J. Hall:
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. ASE 2002: 107-116 - [c22]Robert J. Hall:
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. SAS 2002: 2 - [c21]Stephen Fickas, Robert J. Hall:
Self-healing open systems. WOSS 2002: 99-101 - 2001
- [j9]Robert J. Hall, Enn Tyugu:
Guest Editorial. Autom. Softw. Eng. 8(1): 5-6 (2001) - [c20]Robert J. Hall:
Specification Modeling and Validation Applied to a Family of Network Security Products. ASE 2001: 71-80 - [c19]Robert J. Hall:
Specification Modeling and Validation Applied to Network Security Gateways. RE 2001: 289-291 - 2000
- [j8]Robert J. Hall:
Explanation-Based Scenario Generation for Reactive System Models. Autom. Softw. Eng. 7(2): 157-177 (2000) - [j7]Robert J. Hall:
Feature combination and interaction detection via foreground/background models. Comput. Networks 32(4): 449-469 (2000) - [c18]Robert J. Hall:
Feature Interactions in Electronic Mail. FIW 2000: 67-82 - [c17]Robert J. Hall:
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. FMSP 2000: 13-23 - [c16]Robert J. Hall:
Upgrading Legacy Instances of Reactive Systems. ASE 2000: 63-72
1990 – 1999
- 1998
- [j6]Robert J. Hall:
How to Avoid Unwanted Email. Commun. ACM 41(3): 88-95 (1998) - [c15]Robert J. Hall:
Feature Combination and Interaction Detection via Foreground/Background Models. FIW 1998: 232-246 - [c14]Robert J. Hall:
Explanation-based Scenario Generation for Reactive System Models. ASE 1998: 115-124 - 1997
- [c13]Robert J. Hall:
Reactive System Validation using Automated Reasoning over a Fragment Library. ASE 1997: 299-300 - 1996
- [c12]Robert J. Hall:
Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. CIKM 1996: 107-114 - [c11]Robert J. Hall:
Channels: Avoiding unwanted electronic mail. Network Threats 1996: 85-101 - [c10]Robert J. Hall:
Trusting your assistant. KBSE 1996: 42-51 - 1995
- [j5]Robert J. Hall:
Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing. Autom. Softw. Eng. 2(1): 33-53 (1995) - [j4]Robert J. Hall:
Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. Autom. Softw. Eng. 2(2): 131-166 (1995) - [j3]Robert J. Hall:
Call Path Refinement Profiles. IEEE Trans. Software Eng. 21(6): 481-498 (1995) - 1994
- [c9]Robert J. Hall:
Systematic Incremental Validation of Rule-Based Reactive Systems. KBSE 1994: 69-78 - 1993
- [c8]Robert J. Hall:
Generalized Behavior-Based Retrieval. ICSE 1993: 371-380 - [c7]Robert J. Hall:
Validation of rule-based reactive systems by sound scenario generalization. KBSE 1993: 30-39 - [c6]Robert J. Hall, Aaron J. Goldberg:
Call Path Profiling of Monotonic Program Resources in UNIX. USENIX Summer 1993: 1-14 - 1992
- [j2]Robert J. Hall:
Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study. J. Autom. Reason. 8(3): 367-394 (1992) - [c5]Robert J. Hall:
Call Path Profiling. ICSE 1992: 296-306
1980 – 1989
- 1988
- [j1]Robert J. Hall:
Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains. Mach. Learn. 3: 45-77 (1988) - [c4]Richard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk:
Advances in Functional Abstraction from Structure. DAC 1988: 708-711 - 1987
- [c3]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 - [c2]Richard H. Lathrop, Robert J. Hall, Robert S. Kirk:
Functional Abstraction from Structure in VLSI Simulation Models. DAC 1987: 822-828 - 1986
- [c1]Robert J. Hall:
Learning by Failing to Explain. AAAI 1986: 568-573
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint