The Mälardalen WCET benchmarks: Past, present and future J Gustafsson, A Betts, A Ermedahl, B Lisper 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), 2010 | 749 | 2010 |
Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution J Gustafsson, A Ermedahl, C Sandberg, B Lisper 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 57-66, 2006 | 267 | 2006 |
Worst-case execution-time analysis for embedded real-time systems J Engblom, A Ermedahl, M Sjödin, J Gustafsson, H Hansson International Journal on Software Tools for Technology Transfer 4, 437-455, 2003 | 228 | 2003 |
Deriving annotations for tight calculation of execution time A Ermedahl, J Gustafsson Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997 | 170 | 1997 |
Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis A Ermedahl, C Sandberg, J Gustafsson, S Bygde, B Lisper 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)(2007), 2007 | 122 | 2007 |
Analyzing execution-time of object-oriented programs using abstract interpretation J Gustafsson | 114 | 2000 |
Hydrogeochemical study on the contamination of water resources in a part of Tarkwa mining area, Western Ghana P Bhattacharya, O Sracek, B Eldvall, R Asklund, G Barmen, G Jacks, ... Journal of African Earth Sciences 66, 72-84, 2012 | 92 | 2012 |
Applying static WCET analysis to automotive communication software S Byhlin, A Ermedahl, J Gustafsson, B Lisper 17th Euromicro Conference on Real-Time Systems (ECRTS'05), 249-258, 2005 | 87 | 2005 |
Towards a flow analysis for embedded system C programs J Gustafsson, A Ermedahl, B Lisper 10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005 | 72 | 2005 |
Static timing analysis of real-time operating system code D Sandell, A Ermedahl, J Gustafsson, B Lisper Leveraging Applications of Formal Methods: First International Symposium …, 2006 | 71 | 2006 |
Automatic derivation of path and loop annotations in object-oriented real-time programs J Gustafsson, A Ermedahl Proceedings of 5th International Workshop on Parallel and Distributed Real …, 1997 | 64 | 1997 |
ALF-a language for WCET flow analysis J Gustafsson, A Ermedahl, B Lisper, C Sandberg, L Källberg 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), 2009 | 56 | 2009 |
When are partnerships a viable tool for development? Institutions and partnerships for water and sanitation service in Latin America P Phumpiu, JE Gustafsson Water resources management 23, 19-38, 2009 | 53 | 2009 |
Faster WCET flow analysis by program slicing C Sandberg, A Ermedahl, J Gustafsson, B Lisper ACM SIGPLAN Notices 41 (7), 103-112, 2006 | 52 | 2006 |
Static WCET analysis of real-time task-oriented code in vehicle control systems D Sehlberg, A Ermedahl, J Gustafsson, B Lisper, S Wiegratz Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 51 | 2006 |
Experiences from applying WCET analysis in industrial settings J Gustafsson, A Ermedahl 10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007 | 50 | 2007 |
Algorithms for infeasible path calculation J Gustaffson, A Ermedahl, B Lisper 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)(2006), 2006 | 49 | 2006 |
A tool for automatic flow analysis of C-programs for WCET calculation J Gustafsson, B Lisper, C Sandberg, N Bermudo Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003 | 48 | 2003 |
Hagers Handbuch der Pharmazeutischen Praxis: Stoffe AD F Bruchhausen, S Ebel, AW Frahm, E Hackenthal, M Albinus, HF Ali, ... Springer Berlin Heidelberg, 1993 | 48 | 1993 |
State of environmental health: Report of the Greater Accra metropolitan area 2001 J Songsore, JS Nabila, Y Yangyouro, E Amuah, EK Bosque-Hamilton, ... University of Ghana Press, 2005 | 41 | 2005 |