[Kestrel circling]

Home : Publications
 

Selected Publications
Home

About Kestrel

Research Staff

Current Projects

Project Archive

Publications

Technology Transfer

Career Opportunities

Contact Kestrel

- 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 -
- 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1990 - 1983 -

2006

  • An Examination of Criticality-Sensitive Approaches to Coordination. Szekely, P., Neches, R., Maheswaran, R., Rogers, C., Sanchez, R., Becker, M., Fitzpatrick, S., Gati, G., Hanak, D., Karsai, G., and Van Buskirk, C. The Twenty-First National Conference on Artificial Intelligence (AAAI 2006), July 16-20, 2006, Boston, MA (To appear)
  • CSC: Criticality-Sensitive Coordination. Szekely, P., Becker, M., Fitzpatrick, S., Gati, G., Hanak, D., Jin, J., Karsai, G., Maheswaran, R., Neches, R., Rogers, C., Sanchez, R., and Van Buskirk, C. Demonstration at Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), May 8-12, 2006, Hakodate, Japan.
  • Aspects as Invariants. Douglas R. Smith. In Automatic Program Development: a Tribute to Robert Paige, Eds. O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi, Springer-Verlag, 2006.
  • Composition by Colimit and Formal Software Development. Douglas R. Smith. In Algebra, Meaning, and Computation: A Festschrift in Honor of Prof. Joseph Goguen, Eds. Futatsugi, Jouannaud, and Meseguer, Springer-Verlag LNCS 4060, pp. 317-332, 2006.
  • Deriving Secure Network Protocols for Enterprise Services Architectures. M. Anlauff, D. Pavlovic, and A. Suenbuel. ICC06, June 2006. (To appear)

2005

  • Accord Language Manual. Version 4.1.4. James McDonald and Douglas R. Smith. Kestrel Institute Technical Report KES.U.05.06, December 2005.
  • Accord Tutorial. Matthias Anlauff, James McDonald, and Douglas R. Smith. Kestrel Institute Technical Report KES U.05.05, December 2005.
  • FORGES: Formal Synthesis of Generators for Embedded Systems. Lindsay Errington. Kestrel Institute Technical Report KES.U.05.04, May 2005.
  • Comprehension by Derivation. Douglas R. Smith. Invited paper. Proceedings of the 13th International Workshop on Program Comprehension, IEEE Computer Society Press, Los Alamitos, CA, May 2005, pp. 3-9.
  • Plan Execution and Coordination. Pedro Szekely, Robert Neches, Marcel Becker, Stephen Fitzpatrick, Chris van Buskirk, Doug Fisher, and Gabor Karsai. Plan Execution: A Reality Check, Worshop at the Fifteenth International Conference on Automated Planning & Scheduling (ICAPS 2005), 5-10 June 2005, Monterey, CA.
  • Checking Access to Protected Members in the Java Virtual Machine. Alessandro Coglio. Journal of Object Technology. October 2005. Supersedes Kestrel Institute Technical Report KES.U.04.03 of February 2004.
  • Formal Techniques for Java-Like Programs (FTfJP. Alessandro Coglio with Marieke Huisman, Joseph Kiniry, Peter Muller, and Erik Poll. Object-Oriented Technology. ECOOP 2004 Workshop Reader, number 3344 in Lecture Notes in Computer Science (LNCS), pages 76-83, Springer-Verlag. January 2005.
  • Testing Semantics of State Machines and Process Logics. Dusko Pavlovic. Kestrel Institute Technical Report KES.U.05.03, October 2005.
  • A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. Alessandro Coglio and Cordell Green. IFIP Working Conference on Verified Software: Tools, Techniques, and Experiments, October 2005.
  • The Dimension of the Vector Space Spanned by Sets of Radio-Interferometric Measurements. Lambert Meertens. Kestrel Institute Technical Report KES.U.05.02, July 2005.
  • An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols. Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic. In, Proceedings of CSFW 2005, June 2005, Aix-en-Provence, France, Joshua Guttman (Ed.)
  • Deriving Secrecy (Encapsulating Authenticity) in Key Establishment Protocols. Dusko Pavlovic. Kestrel Institute Technical Report KES.U.05.01, May 2005.
  • Designing Constraint Maintainers for User Interaction. Lambert Meertens. Invited talk. In, Proc. Third Workshop on Programmable Structured Documents. Yokohama, Japan, January 26-28, 2005. PSD Laboratory, University of Tokyo, 2005.

2004

  • A Generative Approach to Aspect-Oriented Programming. Douglas R. Smith. Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 04), Vancouver, October 2004, 39-54.
  • Deploying Localization Services in Wireless Sensor Networks. M. Anlauff and A. Suenbuel. International Workshop on Wireless AdHoc Networking, to be held in conjunction with The 24th IEEE International Conference on Distributed Computing Systems (ICDCS-2004), Tokyo, Japan, March 2004
  • Calculating the Sieve of Eratosthenes. Lambert Meertens. Journal of Functional Programming, 14(6):759-763, 2004
  • A Semantical Approach to Equilibria, Adaptation and Evolution. Dusko Pavlovic. Kestrel Institute Technical Report KES.U.04.06, December 2004.
  • Simple Verification Technique for Complex Java Bytecode Subroutines. Alessandro Coglio. Concurrency and Computation: Practice and Experience16(7):647-670, June 2004. Kestrel Institute Technical Report KES.U.04.05, June 2004. This paper supersedes Kestrel Institute Technical Report KES.U.02.04 of December 2001, revised May 2002. Short version, appeared in 4th ECOOP Workshop on Formal Techniques for Java-like Programs, June 2002.
  • The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from Inter-Node Distances. Lambert Meertens and Stephen Fitzpatrick. Kestrel Institute Technical Report KES.U.04.04, March 2004.
  • Checking Access to Protected Members in the Java Virtual Machine. Alessandro Coglio. Kestrel Institute Technical Report KES.U.04.03, February 2004.
  • Deriving, Attacking and Defending the GDOI Protocol. Cathy Meadows and Dusko Pavlovic. Kestrel Institute Technical Report KES.U.04.02, January 2004.
  • Deriving Authenticity and Integrity as Order of Actions. Dusko Pavlovic and Cathy Meadows. Kestrel Institute Technical Report KES.U.04.01, January 2004.

2003

  • Deriving Evolutionary Software Systems for Distributed, Realtime Embedded Networks. M. Anlauff and A. Suenbuel. Integrated Design and Process Technology IDPT 2003, Austin, TX. December 2003.
  • Evolving Specifications: Deriving Component Based Applications. M. Anlauff and A. Suenbuel. 29th Euromicro Conference (EUROMICTRO 2003), Antalya, Turkey, IEEE Computer Society, September 2003.
  • Distributed Coordination through Anarchic Optimization. Abstract. Stephen Fitzpatrick and Lambert Meertens. In, Distributed Sensor Networks: A Multiagent Perspective, pp. 257-295; Victor Lesser, Charles L. Ortiz, Jr., & Milind Tambe (Eds.); Kluwer Academic Publishers, 2003; ISBN: 1-4020-7499-9. 
  • Component Based Software Engineering. Asuman Sunbul. In, Euromicro 2003 - Proceedings of the 29th Euromicro Conference. Belek-Antalya, Turkey, September 1-6, 2003. IEEE Computer Society, 2003.
  • Correct by Construction Components, Or: Would Nasreddin Use Components. Asuman Sunbul. In, Euromicro 2003 - Proceedings of the 29th Euromicro Conference. Belek-Antalya, Turkey, September 1-6, 2003. IEEE Computer Society, 2003. 
  • Colimits for Concurrent Collectors. Dusko Pavlovic, Peter Pepper, Douglas R. Smith. Festschrift for Zohar Manna, Springer-Verlag, LNCS, 2003. 
  • Toward Automatic Generation of Provably Correct Java Card Applets. Alessandro Coglio. 5th ECOOP Workshop on Formal Techniques for Java-like Programs,  July 2003.
  • Derivation of Glue Code for Agent Interoperation. M. Burstein, D. McDermott, D.R. Smith, and S.J. Westfold. Invited paper in, Journal of Autonomous Agents and Multi-Agent Systems, 6, 2003, pp. 265-286.
  • Evolving Specifications. Dusko Pavlovic and Douglas R. Smith. In preparation, 2003.
  • Colimits for Concurrent Collectors. Dusko Pavlovic, Peter Pepper, and Douglas R. Smith. Submitted for publication. Kestrel Institute Technical Report KES.U.03.05, 2003.
  • Software Development by Refinement. Dusko Pavlovic and Douglas R. Smith. To appear in, UNU/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer-Verlag, 2003.
  • Planware II: Synthesis of Schedulers for Complex Resource Systems. Marcel Becker, Limei Gilham, and Douglas R. Smith. Submitted for publication. Kestrel Institute Technical Report KES.U.03.04, May 2003.
  • Testing and Continuous State Systems.  Dusko Pavlovic. Kestrel Institute Technical Report KES.U.03.03, May 2003.
  • Code Generation for High-Assurance Java Card Applets. Alessandro Coglio. 3rd NSA Conference on High Confidence Software and Systems, pp. 85-93, April 2003.
  • Improving the Official Specification of Java Bytecode Verification. Alessandro Coglio. Concurrency and Computation: Practice and Experience, 15(2):155-179, February 2003. Preliminary version appeared in, 3rd ECOOP Workshop on Formal Techniques for Java Programs, June 2001. 

2002

  • On Specification Carrying Software, Its Refinement and Composition. M. Anlauff and A. Suenbuel. Integrated Process and Design Technology IDPT 2002, Pasadena, CA, June 2002.
  • Experiments on Dense Graphs with a Stochastic, Peer-to-Peer Colorer. Stephen Fitzpatrick and Lambert Meertens. In, Probabilistic Approaches in Search. Workshop at Eighteenth National Conference on Artificial Intelligence (AAAI 2002), 28 July 2002, Edmonton, Alberta, Canada. Carla Gomes & Toby Walsh (Ed.), AAAI Press, Technical Report WS-02-14, ISBN 1-57735-167-3, pp. 24-28 
  • Asynchronous Execution and Communication Latency in Distributed Constraint Optimization. Lambert Meertens and Stephen Fitzpatrick. In, Proceedings of The Third International Workshop on Distributed Constraint Reasoning, First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), 16 July 2002, Bologna, Italy, Makoto Yokoo (Ed.), pp. 80-85. 
  • Scalable, Anytime Constraint Optimization through Iterated, Peer-to-Peer Interaction in Sparsely-Connected Networks. Stephen Fitzpatrick and Lambert Meertens. In,  Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002), 23-28 June 2002, Pasadena, California, U.S.A. H. Ehrig, B.J. Kramer & A. Ertas (Ed.), Society for Design and Process Science, ISSN No. 1090-9389
  • Towards the Formal Development of Embedded Systems. Douglas R. Smith. Kestrel Institute Technical Report KES.U.02.05, September 2002.
  • Composition and Refinement of Evolving Specifications. Matthias Anlauff, Dusko Pavlovic, and Douglas R. Smith. Invited paper, in Proceedings of Workshop on Evolutionary Formal Software Development, July 2002, Copenhagen, Denmark.
  • Derivation of the JFK Protocol. Anupam Datta, John Mitchell, and Dusko Pavlovic. Kestrel Institute Technical Report KES.U.02.03, July 2002.
  • Authentication for Mobile IPv6. A. Datta, J.C. Mitchell, F. Muller, and D. Pavlovic. Kestrel Institute Technical Report KES.U.02.02, March 2002.
  • An Approach to the Generation of High-Assurance Java Card Applets. Alessandro Coglio. 2nd NSA Conference on High Confidence Software and Systems, pp. 69-77, March 2002.
  • The Roles of Witness-Finding in Software Synthesis. Douglas R. Smith. Working Notes of the 2002 AAAI Symposium on Logic-Based Program Synthesis, AAAI Press, Menlo Park, March 2002.
  • Architectural Design of Evolutionary Software Systems. Asuman Sünbül. In, Theory and Application of Abstract State Machines, A. Blass , E. Börger, Y. Gurevich, Eds. Dagstuhl Seminar, March 2002
  • Specifying Third Generation Middleware Techniques for NEST Applications. Asuman Sünbül. To appear in, Special Issue of the Journal of Design & Process Science on Component-Based System Development. 
  • Towards Component Based Systems: Refining Connectors. M. Anlauff and A. Sünbül. In, REFINE 02: The BCS FACS Refinement Workshop - Electronic Notes in Theoretical Computer Science, 70(3), John Derrick et al., Eds., Elsevier, July 2002.
  • Specifying Components for NEST Applications. Asuman Sünbül. In, Integrated Design & Process Science, Herbert Weber and Hartmut Ehrig, Eds. June, Pasadena, 2002.
  • Guarded Transitions in Evolving Specifications. Dusko Pavlovic and Douglas R. Smith. In, Proceedings of 9th International Conference on Algebraic Methodology And Software Technology (AMAST 2002). Eds. H. Kirchner and C. Ringeissen, Springer-Verlag LNCS 2422, 2002, 411-425. Kestrel Institute Technical Report KES.U.02.01, February 2002. 

2001

2000

  • A Formal Specification of Java Class Loading. Z. Qian, A. Goldberg, and A. Coglio. Proc. 15th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00). ACM SIGPLAN Notices, v. 35(10), October 2000, pp. 325-336. Long version appeared as Kestrel Institute Technical Report KES.U.00.10, April 2000, revised July 2000.
  • Standard Fixpoint Iteration for Java Bytecode Verification. Zhenyu Qian. ACM Transactions on Programming Languages and Systems, Vol. 22(4), July 2000, pp. 638-672. 
  • Derivation of Glue Code for Agent Interoperation. M. Burstein, D. McDermott, D. R. Smith, and S.J. Westfold. Journal of Autonomous Agents and Multi-Agent Systems, 2000, (earlier version in Proceedings of the Agents 2000 Conference, Barcelona, Spain, May 2000). Kestrel Institute Technical Report KES.U.00.5, May 2000.
  • Formal Derivation of Agent Interoperation Code. M. Burstein, D. McDermott, D.R. Smith, and S.J. Westfold. Proceedings of the Formal Approaches to Agent-Based Systems Workshop, NASA Goddard Space Flight Center, MD, April 2000. Kestrel Institute Technical Report KES.U.00.4, April 2000.
  • Programming and Coalgebra of Processes. Sava Kristic, John Launchbury and Dusko Pavlovic. Kestrel Institute Technical Report KES.U.00.2, May 2000.
  • Protocol Composition and Correctness (Extended Abstract). Nancy Durgin, John Mitchell, and Dusko Pavlovic. Kestrel Institute Technical Report KES.U.00.1, January 2000.

1999

1998

1997

1996

1995

1994

1993

1991

1990

1983

Archival List of Technical Reports (pre-1994)

 

 

- Back to Top -


- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -