Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. - AnnMarie Ericsson; Mikael Berndtsson (SCW, 2006)

REX, the rule and event eXplorer. - AnnMarie Ericsson; Mikael Berndtsson (DEBS, 2007)

Seamless formal verification of complex event processing applications. - AnnMarie Ericsson; Paul Pettersson; Mikael Berndtsson; Marco Seiriö (DEBS, 2007)

Enabling Tool Support for Formal Analysis of ECA Rules. - AnnMarie Ericsson (2009)

Active Database Rulebase. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems, 2009)

Composite Event. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems, 2009)

Event in Active Databases. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems, 2009)

Active Database Rulebase. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems (2nd ed.), 2018)

Composite Event. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems (2nd ed.), 2018)

Event in Active Databases. - AnnMarie Ericsson; Mikael Berndtsson; Jonas Mellin (Encyclopedia of Database Systems (2nd ed.), 2018)

Scaling Up Data-Driven Pilot Projects. - Mikael Berndtsson; AnnMarie Ericsson; Thomas Svahn (AI Mag., 2020)