| 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 | 204 | 2008 |
| 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 | 170 | 2007 |
| 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 | 85 | 2009 |
| 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 | 72 | 2006 |
| An event detection algebra for reactive systems J Carlson, B Lisper Proceedings of the 4th ACM international conference on Embedded software …, 2004 | 61 | 2004 |
| 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 | 43 | 2008 |
| 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 | 41 | 2012 |
| 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 | 40 | 2010 |
| 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 | 40 | 2008 |
| 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 | 37 | 2014 |
| 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 | 37 | 2013 |
| Identifying Code of Individual Features in Client-side Web Applications J Maras, M Stula, J Carlson, I Crnkovic IEEE Transactions on Software Engineering, 2013 | 36 | 2013 |
| 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 | 36 | 2009 |
| 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 | 33 | 2017 |
| 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 | 29 | 2013 |
| 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 | 28 | 2006 |
| 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 | 25 | 2011 |
| Towards a model-based approach for allocating tasks to multicore processors J Feljan, J Carlson, T Seceleanu 2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012 | 23 | 2012 |
Séverine SentillesResearcher, Mälardalen Universitymdh.se의 이메일 확인됨