Daniel M. Zimmerman
Daniel M. Zimmerman
Principal Researcher, Galois, Inc.
Bestätigte E-Mail-Adresse bei acm.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A hands-on look at Java mobile agents
J Kiniry, D Zimmerman
IEEE Internet Computing 1 (4), 21-30, 1997
3411997
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
338*2008
Infospheres distributed object system
KM Chandy, J Kiniry, A Rifkin, D Zimmerman, W Tanaka, L Weisman
US Patent 6,898,791, 2005
1052005
JMLUnit: The next generation
DM Zimmerman, R Nagmoti
International Conference on Formal Verification of Object-Oriented Software …, 2010
422010
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
371997
Secret ninja formal methods
JR Kiniry, DM Zimmerman
International Symposium on Formal Methods, 214-228, 2008
312008
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
232014
Event-driven architectures for distributed crisis management
KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman
Computer Science 256, 80, 2003
232003
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
191997
Automatic web services generation
E Cho, S Chung, D Zimmerman
2009 42nd Hawaii International Conference on System Sciences, 1-8, 2009
162009
Event webs for crisis management
KM Chandy, BE Aydemir, EM Karpilovsky, DM Zimmerman
Computer Science 256, 80, 2003
162003
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
132014
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
122015
A verification-centric software development process for Java
DM Zimmerman, JR Kiniry
Quality Software, 2009. QSIC'09. 9th International Conference on, 76-85, 2009
112009
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
A parallel algorithm for correlating event streams
DM Zimmerman, KM Chandy
19th IEEE International Parallel and Distributed Processing Symposium, 10 pp., 2005
102005
E-Prime as a revision strategy
D Zimmerman
ETC: A Review of General Semantics 58 (3), 340-347, 2001
102001
Toward instant gradeification
DM Zimmerman, JR Kiniry, F Fairmichael
2011 24th IEEE-CS Conference on Software Engineering Education and Training …, 2011
92011
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20