Jan Gustafsson
Jan Gustafsson
Associate Professor (docent) in Computer Science, MRTC/Mälardalen University, Västerås, Sweden
Dirección de correo verificada de mdh.se - Página principal
Título
Citado por
Citado por
Año
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
5492010
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
2272006
Deriving annotations for tight calculation of execution time
A Ermedahl, J Gustafsson
European Conference on Parallel Processing, 1298-1307, 1997
1671997
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 (4), 437-455, 2003
1572003
Analyzing execution-time of object-oriented programs using abstract interpretation
J Gustafsson
1042000
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
922007
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
692005
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
612005
Static timing analysis of real-time operating system code
D Sandell, A Ermedahl, J Gustafsson, B Lisper
International Symposium On Leveraging Applications of Formal Methods …, 2004
612004
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
531997
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
492009
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
462006
Algorithms for infeasible path calculation
J Gustaffson, A Ermedahl, B Lisper
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006
452006
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
432003
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
402006
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
392012
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 (1), 19-38, 2009
392009
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
362005
Experiences from applying WCET analysis in industrial settings
J Gustafsson, A Ermedahl
10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007
342007
Impact of economic globalisation on water resources: A source of technical, social and environmental challenges for the next decade
D Cesano, JE Gustafsson
Water Policy 2 (3), 213-227, 2000
332000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20