Author of the publication

Semi-Automated Safety Analysis for Field Programmable Gate Arrays.

, and . ECBS, page 166-175. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems., and . IEEE Trans. Software Eng., 36 (5): 704-718 (2010)Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots., , and . ICARIS, volume 6825 of Lecture Notes in Computer Science, page 254-267. Springer, (2011)Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times., , and . Euro-Par, volume 8097 of Lecture Notes in Computer Science, page 126-137. Springer, (2013)Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time., , , , , and . IEEE Embed. Syst. Lett., 9 (3): 69-72 (2017)A survey of scheduling metrics and an improved ordering policy for list schedulers operating on workloads with dependencies and a wide variation in execution times., , and . Future Gener. Comput. Syst., 29 (8): 2009-2025 (2013)Sensornet Protocol Tuning Using Principled Engineering Methods., and . Comput. J., 53 (7): 991-1019 (2010)WCET analysis of modern processors using multi-criteria optimisation., and . Empirical Software Engineering, 16 (1): 5-28 (2011)Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity., and . RTNS, page 103-115. ACM, (2022)New Directions in Worst-Case Execution Time analysis., and . IEEE Congress on Evolutionary Computation, page 3545-3552. IEEE, (2008)Maintaining Stable Node Populations in Long-Lifetime Sensornets., and . ICECCS, page 159-168. IEEE Computer Society, (2010)