| |
| 2007 | ||
|---|---|---|
| 3 | EE | AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61 |
| 2 | EE | AnnMarie Ericsson, Mikael Berndtsson: REX, the rule and event eXplorer. DEBS 2007: 71-74 |
| 2006 | ||
| 1 | EE | AnnMarie Ericsson, Mikael Berndtsson: Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. SCW 2006: 39-50 |
| 1 | Mikael Berndtsson | [1] [2] [3] |
| 2 | Paul Pettersson | [3] |
| 3 | Marco Seiriö | [3] |