Jan Carlson
TitelCiteras avÅr
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
1822008
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
1522007
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
89*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
762009
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
662006
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
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
382010
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
332009
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
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
282012
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
252011
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
An interval-based algebra for restricted event detection
J Carlson, B Lisper
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
212003
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
202013
Timing analysis of component-based embedded systems
J Carlson
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012
202012
Languages and methods for specifying real-time systems
J Carlson
MRTC report, Mälardalen Real-Time Research Centre, Mälardalen University, 2002
202002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20