Segui
Jan Gustafsson
Jan Gustafsson
Associate Professor (docent) in Computer Science, MRTC/Mälardalen University, Västerås, Sweden
Email verificata su mdh.se - Home page
Titolo
Citata da
Citata da
Anno
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
7492010
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
2672006
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
2282003
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), 2007
1222007
Analyzing execution-time of object-oriented programs using abstract interpretation
J Gustafsson
1142000
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
922012
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
872005
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
722005
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
712006
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
562009
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
532009
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
522006
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
512006
Experiences from applying WCET analysis in industrial settings
J Gustafsson, A Ermedahl
10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007
502007
Algorithms for infeasible path calculation
J Gustaffson, A Ermedahl, B Lisper
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)(2006), 2006
492006
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
482003
Hagers Handbuch der Pharmazeutischen Praxis: Stoffe AD
F Bruchhausen, S Ebel, AW Frahm, E Hackenthal, M Albinus, HF Ali, ...
Springer Berlin Heidelberg, 1993
481993
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
412005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20