Követés
Jan Gustafsson
Jan Gustafsson
Associate Professor (docent) in Computer Science, MRTC/Mälardalen University, Västerås, Sweden
E-mail megerősítve itt: mdh.se - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
6992010
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
2522006
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
2142003
Deriving annotations for tight calculation of execution time
A Ermedahl, J Gustafsson
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997
1701997
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
1112007
Analyzing execution-time of object-oriented programs using abstract interpretation
J Gustafsson
1082000
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
812005
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
702005
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
682012
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
682006
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
641997
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
552009
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
512006
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
502009
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
482006
Hagers Handbuch der Pharmazeutischen Praxis: Stoffe AD
F Bruchhausen, S Ebel, AW Frahm, E Hackenthal, M Albinus, HF Ali, ...
Springer Berlin Heidelberg, 1993
481993
Experiences from applying WCET analysis in industrial settings
J Gustafsson, A Ermedahl
10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007
472007
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
472003
Algorithms for infeasible path calculation
J Gustaffson, A Ermedahl, B Lisper
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006
462006
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
422005
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20