Daniel M. Zimmerman

According to our database, Daniel M. Zimmerman authored at least 19 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Formal Verification of Flow Equivalence in Desynchronized Designs.

Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2014

AspectJML: modular specification and runtime checking for crosscutting contracts.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

2012

Testing Library Specifications by Verifying Conformance Tests.

Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Toward instant gradeification.

Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

JMLUnit: The Next Generation.

Daniel M. Zimmerman, Rinkesh Nagmoti

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009

A Verification-Centric Software Development Process for Java.

Daniel M. Zimmerman, Joseph R. Kiniry

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Secret Ninja Formal Methods.

Joseph R. Kiniry, Daniel M. Zimmerman

Proceedings of the FM 2008: Formal Methods, 2008

2006

Snapshot Processing in Streaming Environments.

Daniel M. Zimmerman, K. Mani Chandy

Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Enterprise Computing Systems as Information Factories.

K. Mani Chandy, Lu Tian, Daniel M. Zimmerman

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005

A Parallel Algorithm for Correlating Event Streams.

Daniel M. Zimmerman, K. Mani Chandy

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2003

Rewriting UNITY.

Adam Granicz, Daniel M. Zimmerman, Jason Hickey

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

A UNITY-Based Formalism for Dynamic Distributed Systems.

Daniel M. Zimmerman

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Dynamic UNITY.

Daniel M. Zimmerman

PhD thesis, 2002

1999

Multi-user Object-Oriented Environments.

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

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments.

Erich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

A Framework for Structured Distributed Object Computing.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

Parallel Comput., 1998

1997

Webs of Archived Distributed Computations for Asynchronous Collaboration.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

J. Supercomput., 1997

A Hands-On Look at Java Mobile Agents.

Joseph Kiniry, Daniel M. Zimmerman

IEEE Internet Comput., 1997