Robert J. Hall

Affiliations:
  • AT&T Labs Research, Florham Park, NJ, USA
  • Massachusetts Institute of Technology (MIT), AI Lab, Cambridge, MA, USA


According to our database1, Robert J. Hall authored at least 76 papers between 1986 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
FocusStack: Orchestrating Edge Clouds Using Focus of Attention.
IEEE Internet Comput., 2017

2016
Tools for Predicting the Reliability of Large-Scale Storage Systems.
ACM Trans. Storage, 2016

An Internet of Drones.
IEEE Internet Comput., 2016

Editorial introduction.
Autom. Softw. Eng., 2016

FocusStack: Orchestrating Edge Clouds Using Location-Based Focus of Attention.
Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016

2014
Editorial: ASE 2013 Conference Trip Report.
Autom. Softw. Eng., 2014

An efficient protocol for geographically addressed streaming.
Proceedings of the 2014 IEEE Military Communications Conference, 2014

2013
Editorial: ASE 2012 conference trip report.
Autom. Softw. Eng., 2013

Scaling Up a Geographic Addressing System.
Proceedings of the 32th IEEE Military Communications Conference, 2013

A Geocast Based File Transfer Protocol.
Proceedings of the 32th IEEE Military Communications Conference, 2013

2012
The itron family of geocast games.
IEEE Trans. Consumer Electron., 2012

Editorial: selected topics in ASE.
Autom. Softw. Eng., 2012

Editorial: analysis in software engineering.
Autom. Softw. Eng., 2012

Editorial: ASE 2011 conference trip report.
Autom. Softw. Eng., 2012

A geocast-based algorithm for a field common operating picture.
Proceedings of the 31st IEEE Military Communications Conference, 2012

2011
An Improved Geocast for Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2011

Editorial: Controlling change.
Autom. Softw. Eng., 2011

Editorial: ASE 2010 Conference trip report.
Autom. Softw. Eng., 2011

Scalable geocast for vehicular networks (poster).
Proceedings of the 2011 IEEE Vehicular Networking Conference, 2011

The Capture Calculus Toolset.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Geocast for wireless sensor networks.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

The iTron Family of geocast games (extended abstract).
Proceedings of the 2011 IEEE International Games Innovation Conference, 2011

A point-and-shoot weapon design for outdoor multi-player smartphone games.
Proceedings of the Foundations of Digital Games, 2011

2010
Editorial: data mining in software engineering.
Autom. Softw. Eng., 2010

Editorial: software defect detection.
Autom. Softw. Eng., 2010

Editorial: ASE 2009 conference trip report.
Autom. Softw. Eng., 2010

Cheating attacks and resistance techniques in GeoGame design.
Proceedings of the International Academic Conference on the Future of Game Design and Technology, Vancouver, BC, Canada, May 06, 2010

2009
A first editorial.
Autom. Softw. Eng., 2009

Forensic System Verification.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

A Quantum Algorithm for Software Engineering Search.
Proceedings of the ASE 2009, 2009

2008
A method and tools for large scale scenarios.
Autom. Softw. Eng., 2008

Validating Real Time Specifications using Real Time Event Queue Modeling.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007
Rteq: modeling and validating infinite-state hard-real-time systems.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).
ACM SIGSOFT Softw. Eng. Notes, 2006

LSS: A Tool for Large Scale Scenarios.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

International workshop on service oriented software engineering (IW-SOSE'06).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.
Autom. Softw. Eng., 2005

Fundamental Nonmodularity in Electronic Mail.
Autom. Softw. Eng., 2005

2004
Model interchange and integration for web services.
ACM SIGSOFT Softw. Eng. Notes, 2004

Introduction.
Autom. Softw. Eng., 2004

OMML: A Behavioural Model Interchange Format.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Validating Personal Requirements by Assisted Symbolic Behavior Browsing .
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Behavioral models as service descriptions.
Proceedings of the Service-Oriented Computing, 2004

2003
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.
Autom. Softw. Eng., 2003

Some Reading for ASE Island.
Autom. Softw. Eng., 2003

Overview of OpenModel-based Validation with Partial Information.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.
Autom. Softw. Eng., 2002

Self-healing open systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges.
Proceedings of the Static Analysis, 9th International Symposium, 2002

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001
Guest Editorial.
Autom. Softw. Eng., 2001

Specification Modeling and Validation Applied to Network Security Gateways.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Specification Modeling and Validation Applied to a Family of Network Security Products.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Feature combination and interaction detection via foreground/background models.
Comput. Networks, 2000

Explanation-Based Scenario Generation for Reactive System Models.
Autom. Softw. Eng., 2000

Upgrading Legacy Instances of Reactive Systems.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Feature Interactions in Electronic Mail.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1998
How to Avoid Unwanted Email.
Commun. ACM, 1998

1997
Reactive System Validation using Automated Reasoning over a Fragment Library.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996
Trusting your assistant.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Channels: Avoiding unwanted electronic mail.
Proceedings of the Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996, 1996

Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists.
Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

1995
Call Path Refinement Profiles.
IEEE Trans. Software Eng., 1995

Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.
Autom. Softw. Eng., 1995

Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing.
Autom. Softw. Eng., 1995

1994
Systematic Incremental Validation of Rule-Based Reactive Systems.
Proceedings of the Proceedings KBSE'94, 1994

1993
Call Path Profiling of Monotonic Program Resources in UNIX.
Proceedings of the Summer 1993 USENIX Conference, Cincinnati, OH, USA, June 21-25, 1993, 1993

Validation of rule-based reactive systems by sound scenario generalization.
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Generalized Behavior-Based Retrieval.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study.
J. Autom. Reason., 1992

Call Path Profiling.
Proceedings of the 14th International Conference on Software Engineering, 1992

1988
Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains.
Mach. Learn., 1988

Advances in Functional Abstraction from Structure.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987
Functional Abstraction from Structure in VLSI Simulation Models.
Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Learning by Failing to Explain.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986


  Loading...