 | 2012 |
| 29 |  | Josip Maras,
Jan Carlson,
Ivica Crnkovic:
Extracting client-side web application code.
WWW 2012: 819-828 |
| 2011 |
| 28 |  | Josip Maras,
Jan Carlson,
Ivica Crnkovic:
Client-side web application slicing.
ASE 2011: 504-507 |
| 27 |  | Etienne Borde,
Jan Carlson:
Towards verified synthesis of ProCom, a component model for real-time embedded systems.
CBSE 2011: 129-138 |
| 26 |  | Etienne Borde,
Jan Carlson:
Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization.
COMPSAC Workshops 2011: 224-229 |
| 25 |  | Saad 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 |
| 24 |  | Thomas Leveque,
Jan Carlson,
Séverine Sentilles,
Etienne Borde:
Flexible Semantic-Preserving Flattening of Hierarchical Component Models.
EUROMICRO-SEAA 2011: 31-38 |
| 23 |  | Josip Maras,
Maja Stula,
Jan Carlson:
Reusing Web Application User-Interface Controls.
ICWE 2011: 228-242 |
| 22 |  | Thomas Leveque,
Etienne Borde,
Amine Marref,
Jan Carlson:
Hierarchical Composition of Parametric WCET in a Component Based Approach.
ISORC 2011: 261-268 |
| 2010 |
| 21 |  | Rikard 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 |
| 20 |  | Aneta Vulgarakis,
Séverine Sentilles,
Jan Carlson,
Cristina Cerschi Seceleanu:
Integrating Behavioral Descriptions into a Component Model for Embedded Systems.
EUROMICRO-SEAA 2010: 113-118 |
| 19 |  | Jan 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 |
| 18 |  | Josip Maras,
Maja Stula,
Jan Carlson:
Extracting Client-Side Web User Interface Controls.
ICWE 2010: 502-505 |
| 17 |  | Jan Carlson,
Björn Lisper:
A resource-efficient event algebra.
Sci. Comput. Program. 75(12): 1215-1234 (2010) |
| 2009 |
| 16 |  | Séverine Sentilles,
Petr Stepan,
Jan Carlson,
Ivica Crnkovic:
Integration of Extra-Functional Properties in Component Models.
CBSE 2009: 173-190 |
| 15 |  | Juraj Feljan,
Jan Carlson,
Mario Zagar:
Using JavaBeans to Realize a Domain-Specific Component Model.
EUROMICRO-SEAA 2009: 474-477 |
| 14 |  | Aneta Vulgarakis,
Jagadish Suryadevara,
Jan Carlson,
Cristina Cerschi Seceleanu,
Paul Pettersson:
Formal Semantics of the ProCom Real-Time Component Model.
EUROMICRO-SEAA 2009: 478-485 |
| 13 |  | Rikard Land,
Jan Carlson,
Stig Larsson,
Ivica Crnkovic:
Towards Guidelines for a Development Process for Component-Based Embedded Systems.
ICCSA (2) 2009: 43-58 |
| 2008 |
| 12 |  | John 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 |
| 11 |  | Daniel Sundmark,
Jan Carlson,
Sasikumar Punnekkat,
Andreas Ermedahl:
Structural Testing of Component-Based Systems.
CBSE 2008: 180-195 |
| 10 |  | Séverine Sentilles,
Aneta Vulgarakis,
Tomás Bures,
Jan Carlson,
Ivica Crnkovic:
A Component Model for Control-Intensive Distributed Embedded Systems.
CBSE 2008: 310-317 |
| 9 |  | Markus 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 |
| 8 |  | Tomás Bures,
Jan Carlson,
Séverine Sentilles,
Aneta Vulgarakis:
A Component Model Family for Vehicular Embedded Systems.
ICSEA 2008: 437-444 |
| 2007 |
| 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.
Journal of Systems and Software 80(5): 655-667 (2007) |
| 2006 |
| 6 |  | Kaj 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 |
| 5 |  | Jan 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 |
| 4 |  | Jan 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 |
| 3 |  | Jan Carlson,
Björn Lisper:
An event detection algebra for reactive systems.
EMSOFT 2004: 147-154 |
| 2003 |
| 2 |  | Jan Carlson,
Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection.
FORMATS 2003: 121-133 |
| 1 |  | Jan Carlson,
Tomas Lennvall,
Gerhard Fohler:
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration.
ISORC 2003: 121-130 |