AnnMarie Ericsson

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 1

Top Topics

Instance Selection

Open Source Projects

Top Venues

Publications

Mikael Berndtsson, AnnMarie Ericsson, Thomas Svahn
Scaling Up Data-Driven Pilot Projects. AI Mag. 41 (3) (2020)
AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö
Seamless formal verification of complex event processing applications. DEBS (2007)
AnnMarie Ericsson, Mikael Berndtsson
REX, the rule and event eXplorer. DEBS (2007)
AnnMarie Ericsson, Mikael Berndtsson
Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. SCW (2006)