Publications
Number of publications matching the search criterion: 14
Doctoral Thesis (1)
Event Pattern Detection for Embedded Systems (Jun 2007) Jan Carlson
Licentiate Thesis (1)
An Intuitive and Resource-Efficient Event Detection Algebra (Jun 2004) Jan Carlson
Book (1)
Event Pattern Detection for Embedded Systems - A Resource-efficient Event Algebra (Jan 2009) Jan Carlson
Journal article (1)
A resource-efficient event algebra (Dec 2010) Jan Carlson, Björn Lisper Science of Computer Programming
Conference/Workshop Paper (4)
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)
Report - MRTC (2)
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
Report (4)
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
