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
1892008
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
1562007
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
96*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
792009
SaveCCM: An analysable component model for real-time systems
J Carlson, J Håkansson, P Pettersson
Electronic Notes in Theoretical Computer Science 160 (1), 127-140, 2006
672006
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
572004
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
412008
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
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
372008
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
342009
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
312012
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
30*2007
Identifying Code of Individual Features in Client-side Web Applications
J Maras, M Stula, J Carlson, I Crnkovic
IEEE Transactions on Software Engineering, 2013
282013
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
252014
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
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
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
232013
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
212011
An interval-based algebra for restricted event detection
J Carlson, B Lisper
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
212003
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