dblp.uni-trier.dewww.uni-trier.de

Jan Carlson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
14EESéverine Sentilles, Petr Stepan, Jan Carlson, Ivica Crnkovic: Integration of Extra-Functional Properties in Component Models. CBSE 2009: 173-190
13EERikard Land, Jan Carlson, Stig Larsson, Ivica Crnkovic: Towards Guidelines for a Development Process for Component-Based Embedded Systems. ICCSA (2) 2009: 43-58
2008
12EEJohn Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257
11EEDaniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl: Structural Testing of Component-Based Systems. CBSE 2008: 180-195
10EESéverine Sentilles, Aneta Vulgarakis, Tomás Bures, Jan Carlson, Ivica Crnkovic: A Component Model for Control-Intensive Distributed Embedded Systems. CBSE 2008: 310-317
9EEMarkus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin: Bounding Shared-Stack Usage in Systems with Offsets and Precedences. ECRTS 2008: 276-285
8EETomás Bures, Jan Carlson, Séverine Sentilles, Aneta Vulgarakis: A Component Model Family for Vehicular Embedded Systems. ICSEA 2008: 437-444
2007
7EEMikael Å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. Journal of Systems and Software 80(5): 655-667 (2007)
2006
6EEKaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin: Determining Maximum Stack Usage in Preemptive Shared Stack Systems. RTSS 2006: 445-453
5EEJan Carlson, John Håkansson, Paul Pettersson: SaveCCM: An Analysable Component Model for Real-Time Systems. Electr. Notes Theor. Comput. Sci. 160: 127-140 (2006)
2005
4EEJan Carlson, Mikael Åkerholm: An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. Electr. Notes Theor. Comput. Sci. 141(3): 107-121 (2005)
2004
3EEJan Carlson, Björn Lisper: An event detection algebra for reactive systems. EMSOFT 2004: 147-154
2003
2EEJan Carlson, Björn Lisper: An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133
1EEJan Carlson, Tomas Lennvall, Gerhard Fohler: Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration. ISORC 2003: 121-130

Coauthor Index

1Mikael Åkerholm [4] [7]
2Markus Bohlin [6] [9]
3Tomás Bures [8] [10]
4Ivica Crnkovic [10] [13] [14]
5Andreas Ermedahl [11]
6Gerhard Fohler [1]
7Johan Fredriksson [7]
8John Håkansson [5] [7] [12]
9Kaj Hänninen [6] [9]
10Hans Hansson [7]
11Rikard Land [13]
12Stig Larsson [13]
13Tomas Lennvall [1]
14Björn Lisper [2] [3]
15Jukka Mäki-Turja [6] [9]
16Anders Möller [7]
17Aurelien Monot [12]
18Mikael Nolin [6] [9]
19Paul Pettersson [5] [7] [12]
20Sasikumar Punnekkat [11]
21Séverine Sentilles [8] [10] [14]
22Davor Slutej [12]
23Petr Stepan [14]
24Daniel Sundmark [11]
25Massimo Tivoli [7]
26Aneta Vulgarakis [8] [10]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)