|
|
My Patents |
 |
7525933
|
System and method for mobile ad hoc network, 04-28-2009 |
|
7487073
|
Using symbolic evaluation to validate models that have incomplete information, 02-03-2009 |
|
7131141
|
Method and apparatus for securely connecting a plurality of trust-group networks, a protected resource network and an untrusted network, 10-31-2006 |
|
6915334
|
System And Method For Counteracting Message Filtering, 07-05-2005 |
|
6643686
|
System and method for counteracting message filtering, 11-04-2003 |
|
6026396
|
Knowledge-based moderator for electronic mail help lists, 02-15-2000 |
|
5953393
|
Personal Telephone Agent, 09-14-1999 |
|
5930479
|
Communications Addressing System, 07-27-1999 |
|
5909679
|
A Knowledge-Based Moderator For Electronic Mail Help Lists, 06-01-1999 |
 |
Selected Publications |
|
Fundamental Nonmodularity in Electronic Mail.
Robert J. Hall, . Automated Software Engineering, 2005
|
|
Special Issue of ASE Journal Devoted To Automated Verification of Infinite State Systems, (Guest Editors).
Robert J. Hall, R. Bharadwaj. Automated Software Engineering, 2004
|
|
OMML: A Behavioural Model Interchange Format.
Robert J. Hall, A. Zisman. Proceedings of the 12th IEEE International Requirements Engineering Conference, IEEE Computer Society Press, 2004
|
|
Validating Personal Requirements by Assisted Symbolic Behavior Browsing.
Robert J. Hall, A. Zisman. Proceedings of the 19th IEEE International Conference on Automated Software Engineering, IEEE Computer Society Press, 2004
|
|
Behavioral Models as Service Descriptions.
Robert J. Hall, A. Zisman. Proceedings of the 2nd ACM International Conference on Service Oriented Computing, ACM SIGSOFT, July 7-15, 2004
|
|
Model Interchange and Integration for Web Services.
Robert J. Hall, A. Zisman. Proceedings of the 2004 Workshop on Testing, Analysis, and Verification of Web Services, held in conjunction with the ISSTA conference, 2004
|
|
Overview of Open Model-Based Validation with Partial Information.
Robert J. Hall, A. Zisman. Proceedings of the 18th IEEE International Conference on Automated Software Engineering, IEEE Computer Society Press, 2003
|
|
|
