| |
| 2007 | ||
|---|---|---|
| 2 | EE | AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61 |
| 2005 | ||
| 1 | EE | Marco Seiriö, Mikael Berndtsson: Design and Implementation of an ECA Rule Markup Language. RuleML 2005: 98-112 |
| 1 | Mikael Berndtsson | [1] [2] |
| 2 | AnnMarie Ericsson | [2] |
| 3 | Paul Pettersson | [2] |