Jan Carlson
Título
Citado por
Citado por
Año
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
1972008
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
1662007
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
99*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
832009
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
682006
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
582004
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
432008
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
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
372010
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
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
332012
Identifying Code of Individual Features in Client-side Web Applications
J Maras, M Stula, J Carlson, I Crnkovic
IEEE Transactions on Software Engineering, 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
302013
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
292014
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
252006
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
242011
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
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
202013
Timing analysis of component-based embedded systems
J Carlson
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012
202012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20