Event Pattern Detection for Embedded Systems (Jun 2007) Jan Carlson
An Intuitive and Resource-Efficient Event Detection Algebra (Jun 2004) Jan Carlson
Event Pattern Detection for Embedded Systems - A Resource-efficient Event Algebra (Jan 2009) Jan Carlson
A resource-efficient event algebra (Dec 2010) Jan Carlson, Björn Lisper Science of Computer Programming
Event-Pattern Triggered Real-Time Tasks (Oct 2008) Jan Carlson, Jukka Mäki-Turja, Mikael Sjödin 16th International Conference on Real-Time and Network Systems (RTNS)
An event algebra extension of the triggering mechanism in a component model for embedded systems (Apr 2005) Jan Carlson, Mikael Åkerholm Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA)
An Event Detection Algebra for Reactive Systems (Sep 2004) Jan Carlson, Björn Lisper Fourth ACM International Conference on Embedded Software (EMSOFT04)
An interval-based algebra for restricted event detection (Sep 2003) Jan Carlson, Björn Lisper First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 03)
An event detection algebra for reactive systems (Mar 2004) Jan Carlson, Björn Lisper
An improved algebra for restricted event detection (Feb 2004) Jan Carlson, Björn Lisper
A Constant-memory Event Algebra with Intuitive Algebraic Properties (Dec 2005) Jan Carlson
Thesis proposal: A resource-efficient event detection algebra (Feb 2004) Jan Carlson
Licentiate thesis proposal: A resource-efficient event detection algebra (Nov 2003) Jan Carlson
Languages and methods for specifying real-time systems (Aug 2002) Jan Carlson