Publications

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is distributed systems  [Clear All Filters]
2009
Ackermann C, Lindvall M, Cleaveland R.  2009.  Recovering Views of Inter-System Interaction Behaviors. Reverse Engineering, Working Conference on. :53-61.
2008
Ray A, Cleaveland R.  2008.  Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
2007
Balazinska M, Deshpande A, Franklin MJ, Gibbons PB, Gray J, Hansen M, Liebhold M, Nath S, Szalay A, Tao V.  2007.  Data Management in the Worldwide Sensor Web. IEEE Pervasive Computing. 6(2):30-40.
2004
Ray A, Cleaveland R.  2004.  Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
2002
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.