John J. Kenney
I am a research associate in Prof. David Luckham's Program Analysis and
Verification Group working on project
Rapide.
My interests include formal methods, transaction processing, and secure
systems. I have also cofounded a high technology startup company
called Rapide Software Technologies.
Recent Work
Work Information
My office is Gates 447, and my office mailing address is:
Gates Bldg.
mailcode 9045
Stanford University
Stanford, CA 94305
phone: (650) 723-4962
fax: (650) 723-6027
Recent Publications
-
Specification and Analysis of System
Architecture Using Rapide
, David C. Luckham, John J. Kenney, Larry
M. Augustin, James Vera, Doug Bryan, and Walter Mann. IEEE Transactions
on Software Engineering, Special Issue on Software Architecture, 21(4):336-355,
April 1995.
-
Executable Formal Models
of Distributed Transaction Systems based on Event Processing
,
John J. Kenney, Doctoral Dissertation, Stanford University, Feb. 1996
Personal Information
I am also getting married to Dr. Monica Roy. Please visit our
world
wide web page describing the events.
My home address is:
946 Florence Lane #3
Menlo Park, CA 94025
voice phone: (650) 566-0273