University of Hertfordshire

Dr Raimund Kirner

Reader

Raimund Kirner

Dr Raimund Kirner

Reader

Postal address:
University of Hertfordshire, Hatfield, Hertfordshire
United Kingdom

Publications

  1. 2016
  2. Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture

    Karavadara, N., Zolda, M., Nguyen, V. T. N., Knoop, J. & Kirner, R. 13 Jun 2016 In : Eurasip Journal on Embedded Systems. 14

    Research output: Contribution to journalArticle

  3. Throughput-driven Partitioning of Stream Programs on Heterogeneous Distributed Systems

    Nguyen, V. T. N. & Kirner, R. 12 Feb 2016 In : IEEE Transactions on Parallel and Distributed Systems. 27, 3, p. 913-926 14 p.

    Research output: Contribution to journalArticle

  4. 2015
  5. On the Design of a Java Virtual Machine for Mixed-criticality Systems

    Hamza, H., Hughes, A. & Kirner, R. Oct 2015 13th Int'l Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'15). 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Calculating WCET Estimates from Timed Traces

    Zolda, M. & Kirner, R. 1 Sep 2015 In : Real-Time systems. 52, 1, p. 38-87 50 p.

    Research output: Contribution to journalArticle

  7. Coordination with Structured Composition for Cyber-physical Systems

    Maurer, S. & Kirner, R. 1 Sep 2015 Int'l Conference on Parallel Computing (ParCo'15). IOS Press, p. 615-624 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Cross-criticality Interfaces for Cyber-physical Systems

    Maurer, S. & Kirner, R. Jun 2015 IEEE Int'l Conference on Event-based Control, Communication, and Signal Processing (EBCCSP'15). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults

    Kirner, R., Iacovelli, S. & Zolda, M. Apr 2015 IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'15). 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Introduction to the Special Issue on Software Technologies for Embedded & Ubiquitous Systems

    Choi, L. & Kirner, R. Mar 2015 In : Computing. 97, 3, p. 203-204 2 p.

    Research output: Contribution to journalSpecial issue

  11. 2014
  12. A Uniform Model for Tolerance-Based Real-Time Computing

    Kirner, R. 15 Sep 2014 Proceedings - IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014. Institute of Electrical and Electronics Engineers Inc., p. 9-16 8 p. 6899125

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Ingredients for the specification of mixed-criticality real-time systems

    Kirner, R. 15 Sep 2014 Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014. Institute of Electrical and Electronics Engineers Inc., p. 269-275 7 p. 6899159

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip

    Karavadara, N., Folie, S., Zolda, M., Nguyen, V. T. N. & Kirner, R. 1 Mar 2014 Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Efficient Leader Election for Synchronous Shared-Memory Systems

    Sanz Marco, V., Zolda, M. & Kirner, R. Mar 2014 Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). Dresden, Germany: Electronic Chips and Systems Design Initiative ECSI, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. 2013
  17. Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms

    Nguyen, V. T. N. & Kirner, R. 1 Dec 2013 Algorithms and Architectures for Parallel Processing. Springer, p. 357-369 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8285 LNCS, no. PART 1)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Influences on Throughput and Latency in Stream Programs

    Nguyen, V. T. N. & Kirner, R. 1 Jan 2013 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET

    MacKenzie, K., Hölzenspies, P. K. F., Hammond, K., Kirner, R., Nguyen, V. T. N., te Boekhorst, I., Grelck, C., Poss, R. & Verstraaten, M. 1 Jan 2013 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Fault-tolerant Coordination of S-Net Stream-processing Networks

    Kirner, R., Sanz Marco, V., Zolda, M. & Penczek, F. Jan 2013 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. HiPEAC, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. A data-flow based coordination approach to concurrent software engineering

    Penczek, F., Cheng, W., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A. 2013 Proceedings - 2012 2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing, DFM 2012. IEEE Computer Society, p. 36-43 8 p. 6612858

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. A heuristic strategy for performance optimisation of stream programs

    Nguyen, V. T. N. & Kirner, R. 2013 Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS. IEEE Computer Society, p. 430-431 2 p. 6808207

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. 2012
  24. Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

    Harmon, T., Schoeberl, M., Kirner, R., Klefstad, R., Kim, K. H. . K. & Lowry, M. R. Feb 2012 In : IEEE Transactions on Industrial Informatics. 8, 2, p. 366 - 377 12 p.

    Research output: Contribution to journalArticle

  25. Monitoring framework for stream-processing networks

    Nguyen, V. T. N., Kirner, R. & Penczek, F. 1 Jan 2012 Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA 2012). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Statistical performance analysis with dynamic workload using S-NET

    Wieser, V., Hölzenspies, P. K. F., Roßbory, M. & Kirner, R. 1 Jan 2012 Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems

    Cheng, W., Penczek, F., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A. Jan 2012 Proceedings: 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. Grelck, C., Hammond, K. & Scholz, S. B. (eds.). HiPEAC, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. A multi-level monitoring framework for stream-based coordination programs

    Nguyen, V. T. N., Kirner, R. & Penczek, F. 2012 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 7439 LNCS, p. 83-98 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7439 LNCS, no. PART 1)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. An infrastructure for multi-level optimisation through property annotation and aggregation

    Penczek, F., Kirner, R., Poss, R., Grelck, C. & Shafarenko, A. 2012 4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012. ACM Digital Library, p. 48-62 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 Next