Search the dblp DataBase

Publications of Author

1. Jan Carlson, Björn Lisper
   An event detection algebra for reactive systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2004, pp:147-154 [Conf]
   
2. Jan Carlson, Björn Lisper
   An Interval-Based Algebra for Restricted Event Detection. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:121-133 [Conf]
   
3. Jan Carlson, Tomas Lennvall, Gerhard Fohler
   Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration. [Citation Graph (0, 0)][DBLP]
   ISORC, 2003, pp:121-130 [Conf]
   
4. Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin
   Determining Maximum Stack Usage in Preemptive Shared Stack Systems. [Citation Graph (0, 0)][DBLP]
   RTSS, 2006, pp:445-453 [Conf]
   
5. Jan Carlson, Mikael Åkerholm
   An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:107-121 [Journal]
   
6. Jan Carlson, John Håkansson, Paul Pettersson
   SaveCCM: An Analysable Component Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:127-140 [Journal]
   
7. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
   The SAVE approach to component-based development of vehicular systems. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2007, v:80, n:5, pp:655-667 [Journal]
   
8. 
   Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. [Citation Graph (, )][DBLP]
   
   
9. 
   Structural Testing of Component-Based Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    A Component Model for Control-Intensive Distributed Embedded Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Integration of Extra-Functional Properties in Component Models. [Citation Graph (, )][DBLP]
    
    
12. 
    Bounding Shared-Stack Usage in Systems with Offsets and Precedences. [Citation Graph (, )][DBLP]
    
    
13. 
    Using JavaBeans to Realize a Domain-Specific Component Model. [Citation Graph (, )][DBLP]
    
    
14. 
    Formal Semantics of the ProCom Real-Time Component Model. [Citation Graph (, )][DBLP]
    
    
15. 
    Towards Guidelines for a Development Process for Component-Based Embedded Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Extracting Client-Side Web User Interface Controls. [Citation Graph (, )][DBLP]
    
    
17. 
    A Component Model Family for Vehicular Embedded Systems. [Citation Graph (, )][DBLP]