Arne Hamann
Title
Cited by
Cited by
Year
System level performance analysis–the SymTA/S approach
R Henia, A Hamann, M Jersak, R Racu, K Richter, R Ernst
IEE Proceedings-Computers and Digital Techniques 152 (2), 148-166, 2005
5962005
Real world automotive benchmarks for free
S Kramer, D Ziegenbein, A Hamann
6th International Workshop on Analysis Tools and Methodologies for Embedded …, 2015
1502015
Influence of different system abstractions on the performance analysis of distributed real-time systems
S Perathoner, E Wandeler, L Thiele, A Hamann, S Schliecker, R Henia, ...
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
732007
A framework for modular analysis and exploration of heterogeneous embedded systems
A Hamann, M Jersak, K Richter, R Ernst
Real-Time Systems 33 (1-3), 101-137, 2006
732006
Formal analysis of timing effects on closed-loop properties of control software
G Frehse, A Hamann, S Quinton, M Woehrle
2014 IEEE Real-Time Systems Symposium, 53-62, 2014
722014
Design space exploration and system optimization with symta/s-symbolic timing analysis for systems
A Hamann, M Jersak, K Richter, R Ernst
25th IEEE International Real-Time Systems Symposium, 469-478, 2004
662004
Influence of different abstractions on the performance analysis of distributed hard real-time systems
S Perathoner, E Wandeler, L Thiele, A Hamann, S Schliecker, R Henia, ...
Design Automation for Embedded Systems 13 (1), 27-49, 2009
632009
Symta/s-symbolic timing analysis for systems
A Hamann, R Henia, R Racu, M Jersak, K Richter, R Ernst
WIP Proc. Euromicro Conference on Real-Time Systems 2004 (ECRTS'04), 17-20, 2004
472004
Extracting, specifying and predicting software system properties in component based real-time embedded software development
JE Kim, O Rogalla, S Kramer, A Hamann
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
452009
TDMA time slot and turn optimization with evolutionary search techniques
A Hamann, R Ernst
Design, Automation and Test in Europe, 312-317, 2005
442005
A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems
R Racu, A Hamann, R Ernst
18th Euromicro Conference on Real-Time Systems (ECRTS'06), 10 pp.-12, 2006
432006
Communication centric design in complex automotive embedded systems
A Hamann, D Dasari, S Kramer, M Pressler, F Wurst
29th Euromicro Conference on Real-Time Systems (ECRTS 2017), 2017
422017
Combined approach to system level performance analysis of embedded systems
S Künzli, A Hamann, R Ernst, L Thiele
Proceedings of the 5th IEEE/ACM international conference on Hardware …, 2007
412007
Multi-dimensional robustness optimization in heterogeneous distributed embedded systems
A Hamann, R Racu, R Ernst
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS …, 2007
332007
A formal approach to robustness maximization of complex heterogeneous embedded systems
A Hamann, R Racu, R Ernst
Proceedings of the 4th international conference on Hardware/software …, 2006
332006
Improved response time analysis of tasks scheduled under preemptive round-robin
R Racu, L Li, R Henia, A Hamann, R Ernst
Proceedings of the 5th IEEE/ACM international conference on Hardware …, 2007
312007
Sensitivity analysis of complex embedded real-time systems
R Racu, A Hamann, R Ernst
Real-Time Systems 39 (1-3), 31, 2008
302008
Waters industrial challenge 2017
A Hamann, D Dasari, S Kramer, M Pressler, F Wurst, D Ziegenbein
International Workshop on Analysis Tools and Methodologies for Embedded and …, 2017
272017
Automotive software integration
R Racu, A Hamann, R Ernst, K Richter
Proceedings of the 44th annual Design Automation Conference, 545-550, 2007
252007
Real-time property verification in organic computing systems
S Stein, A Hamann, R Ernst
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
232006
The system can't perform the operation now. Try again later.
Articles 1–20