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.
