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

Jan Carlson Coauthor index pubzone.org

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

DBLP keys2012
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosip Maras, Jan Carlson, Ivica Crnkovic: Extracting client-side web application code. WWW 2012: 819-828
2011
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosip Maras, Jan Carlson, Ivica Crnkovic: Client-side web application slicing. ASE 2011: 504-507
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne Borde, Jan Carlson: Towards verified synthesis of ProCom, a component model for real-time embedded systems. CBSE 2011: 129-138
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne Borde, Jan Carlson: Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization. COMPSAC Workshops 2011: 224-229
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, Jan Carlson: Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems. EUROMICRO-SEAA 2011: 229-238
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde: Flexible Semantic-Preserving Flattening of Hierarchical Component Models. EUROMICRO-SEAA 2011: 31-38
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosip Maras, Maja Stula, Jan Carlson: Reusing Web Application User-Interface Controls. ICWE 2011: 228-242
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Leveque, Etienne Borde, Amine Marref, Jan Carlson: Hierarchical Composition of Parametric WCET in a Component Based Approach. ISORC 2011: 261-268
2010
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRikard Land, Jan Carlson, Stig Larsson, Ivica Crnkovic: Project Monitoring and Control in Model-driven and Component-based Development of Embedded Systems - The CARMA Principle and Preliminary Results. ENASE 2010: 253-258
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Cerschi Seceleanu: Integrating Behavioral Descriptions into a Component Model for Embedded Systems. EUROMICRO-SEAA 2010: 113-118
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Carlson, Juraj Feljan, Jukka Mäki-Turja, Mikael Sjödin: Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems. EUROMICRO-SEAA 2010: 74-82
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosip Maras, Maja Stula, Jan Carlson: Extracting Client-Side Web User Interface Controls. ICWE 2010: 502-505
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Carlson, Björn Lisper: A resource-efficient event algebra. Sci. Comput. Program. 75(12): 1215-1234 (2010)
2009
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSéverine Sentilles, Petr Stepan, Jan Carlson, Ivica Crnkovic: Integration of Extra-Functional Properties in Component Models. CBSE 2009: 173-190
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Feljan, Jan Carlson, Mario Zagar: Using JavaBeans to Realize a Domain-Specific Component Model. EUROMICRO-SEAA 2009: 474-477
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson: Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA 2009: 478-485
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRikard Land, Jan Carlson, Stig Larsson, Ivica Crnkovic: Towards Guidelines for a Development Process for Component-Based Embedded Systems. ICCSA (2) 2009: 43-58
2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl: Structural Testing of Component-Based Systems. CBSE 2008: 180-195
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSéverine Sentilles, Aneta Vulgarakis, Tomás Bures, Jan Carlson, Ivica Crnkovic: A Component Model for Control-Intensive Distributed Embedded Systems. CBSE 2008: 310-317
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Bures, Jan Carlson, Séverine Sentilles, Aneta Vulgarakis: A Component Model Family for Vehicular Embedded Systems. ICSEA 2008: 437-444
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Å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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaj 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Carlson, Björn Lisper: An event detection algebra for reactive systems. EMSOFT 2004: 147-154
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Carlson, Björn Lisper: An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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]
3Etienne Borde [22] [24] [26] [27]
4Tomás Bures [8] [10]
5Ivica Crnkovic [10] [13] [16] [21] [28] [29]
6Andreas Ermedahl [11]
7Juraj Feljan [15] [19]
8Gerhard Fohler [1]
9Johan Fredriksson [7]
10John Håkansson [5] [7] [12]
11Kaj Hänninen [6] [9]
12Hans Hansson [7]
13Rikard Land [13] [21]
14Stig Larsson [13] [21]
15Tomas Lennvall [1]
16Thomas Leveque [22] [24]
17Björn Lisper [2] [3] [17]
18Jukka Mäki-Turja [6] [9] [19] [25]
19Josip Maras [18] [23] [28] [29]
20Amine Marref [22]
21Anders Möller [7]
22Aurelien Monot [12]
23Saad Mubeen [25]
24Mikael Nolin [6] [9]
25Paul Pettersson [5] [7] [12] [14]
26Sasikumar Punnekkat [11]
27Cristina Cerschi Seceleanu [14] [20]
28Séverine Sentilles [8] [10] [16] [20] [24]
29Mikael Sjödin [19] [25]
30Davor Slutej [12]
31Petr Stepan [16]
32Maja Stula [18] [23]
33Daniel Sundmark [11]
34Jagadish Suryadevara [14]
35Massimo Tivoli [7]
36Aneta Vulgarakis [8] [10] [14] [20]
37Mario Zagar [15]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page