Daniel M. Zimmerman

20 papers A 2B 2Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2020 — conf
Formal Verification of Flow Equivalence in Desynchronized Designs.
ASYNC
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2020 J jnl
Formal Verification of Flow Equivalence in Desynchronized Designs.
CoRR
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2014 — conf
AspectJML: modular specification and runtime checking for crosscutting contracts.
MODULARITY
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 — conf
Modularizing crosscutting contracts with AspectJML.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2012 — conf
Testing Library Specifications by Verifying Conformance Tests.
TAP@TOOLS
Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
2011 — conf
Toward instant gradeification.
CSEE&T
Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael
2010 — conf
JMLUnit: The Next Generation.
FoVeOOS
Daniel M. Zimmerman, Rinkesh Nagmoti
2009 — conf
A Verification-Centric Software Development Process for Java.
QSIC
Daniel M. Zimmerman, Joseph R. Kiniry
2008 B conf
Secret Ninja Formal Methods.
FM
Joseph R. Kiniry, Daniel M. Zimmerman
2006 B conf
Enterprise Computing Systems as Information Factories.
EDOC
K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
2006 — conf
Snapshot Processing in Streaming Environments.
GRID
Daniel M. Zimmerman, K. Mani Chandy
2005 A conf
A Parallel Algorithm for Correlating Event Streams.
IPDPS
Daniel M. Zimmerman, K. Mani Chandy
2003 A conf
A UNITY-Based Formalism for Dynamic Distributed Systems.
IPDPS
Daniel M. Zimmerman
2003 — conf
Rewriting UNITY.
RTA
Adam Granicz, Daniel M. Zimmerman, Jason Hickey
2002 — —
Dynamic UNITY.
Daniel M. Zimmerman
1999 — conf
Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments.
ECOOP Workshops
Erich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman
1999 — conf
Multi-user Object-Oriented Environments.
ECOOP Workshops
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
1998 J jnl
A Framework for Structured Distributed Object Computing.
Parallel Comput.
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
1997 J jnl
A Hands-On Look at Java Mobile Agents.
IEEE Internet Comput.
Joseph Kiniry, Daniel M. Zimmerman
1997 J jnl
Webs of Archived Distributed Computations for Asynchronous Collaboration.
J. Supercomput.
K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman