Follow
Jan Carlson
Title
Cited by
Cited by
Year
A component model for control-intensive distributed embedded systems
S Sentilles, A Vulgarakis, T Bureš, J Carlson, I Crnković
International Symposium on Component-Based Software Engineering, 310-317, 2008
2012008
The SAVE approach to component-based development of vehicular systems
M Åkerholm, J Carlson, J Fredriksson, H Hansson, J Håkansson, A Möller, ...
Journal of Systems and Software 80 (5), 655-667, 2007
1682007
ProCom–the Progress Component Model Reference Manual, version 1.0
T Bureš, J Carlson, I Crnković, S Sentilles, A Vulgarakis
Västerås, MRTC report ISSN, 1404-3041, 2008
101*2008
Integration of extra-functional properties in component models
S Sentilles, P Štěpán, J Carlson, I Crnković
International Symposium on Component-Based Software Engineering, 173-190, 2009
862009
SaveCCM: An analysable component model for real-time systems
J Carlson, J Håkansson, P Pettersson
Electronic Notes in Theoretical Computer Science 160, 127-140, 2006
692006
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
602004
Component-based design and analysis of embedded systems with UPPAAL PORT
J Håkansson, J Carlson, A Monot, P Pettersson, D Slutej
International Symposium on Automated Technology for Verification and …, 2008
442008
A component model family for vehicular embedded systems
T Bureš, J Carlson, S Sentilles, A Vulgarakis
2008 The Third International Conference on Software Engineering Advances …, 2008
392008
Extracting client-side web application code
J Maras, J Carlson, I Crnkovic
Proceedings of the 21st international conference on World Wide Web, 819-828, 2012
382012
Deployment modelling and synthesis in a component model for distributed embedded systems
J Carlson, J Feljan, J Mäki-Turja, M Sjödin
36th EUROMICRO Conference on Software Engineering and Advanced Applications …, 2010
382010
Identifying Code of Individual Features in Client-side Web Applications
J Maras, M Stula, J Carlson, I Crnkovic
IEEE Transactions on Software Engineering, 2013
362013
Formal semantics of the ProCom real-time component model
A Vulgarakis, J Suryadevara, J Carlson, C Seceleanu, P Pettersson
35th Euromicro Conference on Software Engineering and Advanced Applications …, 2009
352009
Generation of Safety Case Argument-Fragments from Safety Contracts
I Sljivo, B Gallina, J Carlson, H Hansson
33rd International Conference on Computer Safety, Reliability and Security …, 2014
312014
Strong and Weak Contract Formalism for Third-Party Component Reuse
I Sljivo, B Gallina, J Carlson, H Hansson
3rd International Workshop on Software Certification, 359-364, 2013
312013
The SaveCCM language reference manual
J Håkansson, M Åkerholm, J Carlson, J Fredriksson, H Hansson, M Nolin, ...
Technical report, Dept. of Information Technology, 2007
31*2007
Model level worst-case execution time analysis for IEC 61499
L Lednicki, J Carlson, K Sandström
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
282013
A method to generate reusable safety case argument-fragments from compositional safety analysis
I Šljivo, B Gallina, J Carlson, H Hansson, S Puri
Journal of Systems and Software 131, 570-590, 2017
262017
Analyzable modeling of legacy communication in component-based distributed embedded systems
S Mubeen, J Mäki-Turja, M Sjödin, J Carlson
37th EUROMICRO Conference on Software Engineering and Advanced Applications …, 2011
262011
Determining maximum stack usage in preemptive shared stack systems
K Hänninen, J Mäki-Turja, M Bohlin, J Carlson, M Nolin
27th IEEE International Real-Time Systems Symposium (RTSS'06), 445-453, 2006
242006
Towards verified synthesis of ProCom, a component model for real-time embedded systems
E Borde, J Carlson
Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011
222011
The system can't perform the operation now. Try again later.
Articles 1–20