Obserwuj
Jan Carlson
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2042008
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
1692007
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
102*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
842009
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
722006
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
612004
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
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
402010
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
402008
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
392012
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
372014
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
372013
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
362009
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
342017
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
32*2007
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
282006
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
272013
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
Impediments to introducing continuous integration for model-based development in industry
R Jongeling, J Carlson, A Cicchetti
2019 45th Euromicro Conference on Software Engineering and Advanced …, 2019
232019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20