Daniel M. Zimmerman
Daniel M. Zimmerman
Principal Researcher, Galois, Inc.
Verified email at acm.org - Homepage
TitleCited byYear
A hands-on look at Java mobile agents
J Kiniry, D Zimmerman
IEEE Internet Computing 1 (4), 21-30, 1997
3371997
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
Department of Computer Science, Iowa State University 226, 2008
319*2008
Infospheres distributed object system
KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman
US Patent 6,898,791, 2005
1082005
JMLUnit: The next generation
DM Zimmerman, R Nagmoti
International Conference on Formal Verification of Object-oriented Software …, 2010
402010
A framework for structured distributed object computing
KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman
CALIFORNIA INST OF TECH PASADENA DEPT OF COMPUTER SCIENCE, 1997
361997
Secret ninja formal methods
JR Kiniry, DM Zimmerman
International Symposium on Formal Methods, 214-228, 2008
292008
Event-driven architectures for distributed crisis management
KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman
Computer Science 256, 80, 2003
232003
AspectJML: Modular specification and runtime checking for crosscutting contracts
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the 13th international conference on Modularity, 157-168, 2014
202014
Webs of archived distributed computations for asynchronous collaboration
KM Chandy, J Kiniry, A Rifkin, D Zimmerman
The Journal of Supercomputing 11 (2), 101-118, 1997
181997
Automatic web services generation
E Cho, S Chung, D Zimmerman
2009 42nd Hawaii International Conference on System Sciences, 1-8, 2009
152009
Event webs for crisis management
KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman
Computer Science 256, 80, 2003
152003
Modularizing crosscutting contracts with AspectJML
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the companion publication of the 13th international …, 2014
122014
JML Reference Manual, May 2006
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
Draft revision 1, 0
11
The future of voting: end-to-end verifiable internet voting-specification and feasibility study
S Dzieduszycka-Suinat, J Murray, J Kiniry, D Zimmerman, D Wagner, ...
US Vote Foundation, 30-38, 2015
102015
A verification-centric software development process for Java
DM Zimmerman, JR Kiniry
Quality Software, 2009. QSIC'09. 9th International Conference on, 76-85, 2009
102009
Toward instant gradeification
DM Zimmerman, JR Kiniry, F Fairmichael
2011 24th IEEE-CS Conference on Software Engineering Education and Training …, 2011
92011
A parallel algorithm for correlating event streams
DM Zimmerman, KM Chandy
19th IEEE International Parallel and Distributed Processing Symposium, 10 pp., 2005
92005
E-Prime as a revision strategy
D Zimmerman
et Cetera 58 (3), 340-347, 2001
92001
A preliminary investigation into dynamic distributed workflow
DM Zimmerman
California Institute of Technology, 1998
71998
II: The Infospheres Infrastructure User Guide
KM Chandy, J Kiniry, A Rifkin, D Zimmerman
Computer Science 256, 80, 1998
61998
The system can't perform the operation now. Try again later.
Articles 1–20