Daniel M. Zimmerman

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Process Execution

Aspect Oriented Programming

Top Venues

MODULARITY (Companion)

Publications

Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
Formal Verification of Flow Equivalence in Desynchronized Designs. ASYNC (2020)
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
Formal Verification of Flow Equivalence in Desynchronized Designs. CoRR (2020)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) (2014)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY (2014)
Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
Testing Library Specifications by Verifying Conformance Tests. TAP@TOOLS (2012)
Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael
Toward instant gradeification. CSEE&T (2011)
Daniel M. Zimmerman, Rinkesh Nagmoti
JMLUnit: The Next Generation. FoVeOOS (2010)
Daniel M. Zimmerman, Joseph R. Kiniry
A Verification-Centric Software Development Process for Java. QSIC (2009)
Joseph R. Kiniry, Daniel M. Zimmerman
Secret Ninja Formal Methods. FM (2008)
Daniel M. Zimmerman, K. Mani Chandy
Snapshot Processing in Streaming Environments. GRID (2006)
K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
Enterprise Computing Systems as Information Factories. EDOC (2006)
Daniel M. Zimmerman, K. Mani Chandy
A Parallel Algorithm for Correlating Event Streams. IPDPS (2005)
Adam Granicz, Daniel M. Zimmerman, Jason Hickey
Rewriting UNITY. RTA (2003)
Daniel M. Zimmerman
A UNITY-Based Formalism for Dynamic Distributed Systems. IPDPS (2003)
Ivan Tomek, Alicia Díaz, Ronald Melster, António Rito Silva, Miguel Antunes, Vinny Cahill, Zièd Choukair, Alejandro Fernández, Mads Haahr, Eric Jul, Atsushi Ohnishi, Luís E. T. Rodrigues, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman
Multi-user Object-Oriented Environments. ECOOP Workshops (1999)
Erich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman
Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments. ECOOP Workshops (1999)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
A Framework for Structured Distributed Object Computing. Parallel Comput. 24 (12-13) (1998)
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11 (2) (1997)
Joseph Kiniry, Daniel M. Zimmerman
A Hands-On Look at Java Mobile Agents. IEEE Internet Comput. 1 (4) (1997)