| 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 | 199 | 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 | 166 | 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 | 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 | 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 | 66 | 2006 |
| An event detection algebra for reactive systems J Carlson, B Lisper Proceedings of the 4th ACM international conference on Embedded software …, 2004 | 59 | 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 | 44 | 2008 |
| 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 | 39 | 2008 |
| 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 | 37 | 2010 |
| 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 | 35 | 2012 |
| 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 | 35 | 2009 |
| Identifying Code of Individual Features in Client-side Web Applications J Maras, M Stula, J Carlson, I Crnkovic IEEE Transactions on Software Engineering, 2013 | 32 | 2013 |
| 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 |
| 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 | 28 | 2014 |
| 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 | 28 | 2013 |
| 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 | 24 | 2011 |
| 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 | 24 | 2006 |
| 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 | 22 | 2013 |
| 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 | 22 | 2011 |
| 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 | 20 | 2017 |
Séverine SentillesResearcher, Mälardalen UniversityVerified email at mdh.se
