A. Schröter, G. Mühl, S.
Kounev, H. Parzyjegla, and J. Richling
Stochastic performance
analysis and capacity planning of publish/subscribe
systems. In J. Bacon and P. Pietzuch,
editors, Proceedings of the Fourth ACM
International Conference on Distributed Event-Based
Systems 2010, pages 258‒269, New York, NY,
USA, 2010. ACM.
E. Rabinovich, O. Etzion,
S. Ruah, and S. Archushin
Analyzing the behavior of
event processing applications. In J. Bacon
and P. Pietzuch, editors, Proceedings of the
Fourth ACM International Conference on Distributed
Event-Based Systems 2010, pages 223‒234, New
York, NY, USA, 2010. ACM.
A. Ericsson, P. Pettersson,
M. Berndtsson, and M. Seiriö
Seamless Formal Verification
of Complex Event Processing Applications. In
H. A. Jacobsen, G. Mühl, and M. A. Jaeger, editors,
Proceedings of the Inaugural Conference on
Distributed Event-Based Systems, pages 50‒61,
New York, NY, USA, June 2007. ACM Press.
K. M. Chandy, M.
Charpentier, and A. Capponi
Towards a Theory of
Events. In H. A. Jacobsen, G. Mühl, and M.
A. Jaeger, editors, Proceedings of the
Inaugural Conference on Distributed Event-Based
Systems, pages 180‒187, New York, NY, USA,
June 2007. ACM Press. Invited talk.
S. Castelli, P. Costa, and
G. P. Picco
Modeling the Communication
Costs of Content-based Routing: The Case of
Subscription Forwarding. In H. A. Jacobsen,
G. Mühl, and M. A. Jaeger, editors, Proceedings
of the Inaugural Conference on Distributed
Event-Based Systems, pages 38‒49, New York,
NY, USA, June 2007. ACM Press.
D. Garlan
Formal Modeling and Analysis
of Software Architecture: Components, Connectors,
and Events. In M. Bernardo and P. Inverardi,
editors, Third International School on Formal
Methods for the Design of Computer, Communication
and Software Systems: Software Architectures (SFM
2003), volume 2804 of LNCS, pages
1‒24, Bertinoro, Italy, 2003.
