A picture of Raimund Kirner

Publications of Raimund Kirner

Compiler Technology and Computer Architecture Group
Department of Computer Science
University of Hertfordshire
Hatfield, United Kingdom
Homepage: homepages.herts.ac.uk/~rk10aah/
Email: r.kirner (@) herts.ac.uk
Phone: +44-1707-28-4125 (office)

[ Books ] [ Journals ] [ Proceedings ] [ Theses ] [ Reports ] [ # ]

Editorships

Lynn Choi, Raimund Kirner, Michael Zolda (Eds.):
" Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013) ".
(held in conjunction with the 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)), 147 pages, Paderborn, Germany, Jun. 2013.

Hans Kaiser, Raimund Kirner (Eds.):
"Proceedings of the Junior Scientist Conference 2010 ".
Vienna University of Technology, Vienna, Austria, ISBN: 978-3-200-01797-9, Apr. 2010.

Hans Kaiser, Raimund Kirner (Eds.):
" Proceedings of the Junior Scientist Conference 2008 ".
365 pages, Vienna University of Technology, Vienna, Austria, ISBN: 979-3-200-01612-5, Nov. 2008.

Raimund Kirner (Ed.):
" Proceedings of the 8th Workshop on Worst-Case Execution Time".
(held in conjunction with the 20th Euromicro Conference on Real-Time Systems (ECRTS 2008)), Prague, Czech Republic,
published by the Austrian Computer Society (OCG), no. 237, 177 pages, Oct. 2008, (the proceedings can be ordered in printed form at books@ocg, individual papers are available online).

Raimund Kirner, Eduardo Tovar (Eds.):
" Proceedings of the 3rd Workshop on Dependable Embedded Systems ".
(held in conjunction with the 25th Symposium on Reliable Distributed Systems (SRDS 2006)), 80 pages, Leeds, UK, Oct. 2006.

Books and Book Chapters

Raimund Kirner, Sven Bünte, Michael Zolda:
"Measurement-Based Timing Analysis for Reconfigurable Embedded Systems".
In Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, Feb. 2011, ISBN: 9781609600860.

Astrit Ademaj and Raimund Kirner
"Embedded Real-Time Systems".
In Embedded Systems Engineering, edited by W.Elmenreich, pages 191-218, TU Vienna, Austria, Jan. 2009, ISBN 978-3-902463-08-1.

Raimund Kirner
"Compiler Support for Timing Analysis of Optimized Code: Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code".
VDM Verlag, 2008.

Raimund Kirner, Ingomar Wenzel, Bernhard Rieder, Peter Puschner
"Using Measurements as a Complement to Static Worst-Case Execution Time Analysis".
In Intelligent Systems at the Service of Mankind, vol.2, pages 205-226, UBooks Verlag, Augsburg, Deutschland, Jan. 2006, ISBN 3-86608-052-2.

Kirsten Berkenkötter, Raimund Kirner:
" Real-Time and Hybrid Systems Testing ".
In Model-based Testing of Reactive Systems, LNCS 3472, pages 355-387, July 2005, (c) Springer.

Wilfried Elmenreich, Raimund Kirner:
" A Robust Certainty Grid Algorithm for Robotic Vision ".
In Intelligent Systems at the Service of Mankind, pages 67-78, UBooks Verlag, Augsburg, Deutschland, Nov. 2003, ISBN 3-935798-25-3.

Publications in Scientific Journals

Nilesh Karavadara, Michael Zolda, Vu Thien Nga Nguyen, Jens Knoop, Raimund Kirner:
"Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture".
In SPRINGER EURASIP Journal on Embedded Systems, Volume 2016, Number 1, pages 1--17, 2016.

Michael Zolda, Raimund Kirner:
"Calculating WCET Estimates from Timed Traces".
In SPRINGER Journal of Real-Time Systems, Volume 52, Number 1, pages 38-87, Jan. 2016.

Vu Thien Nga Nguyen and Raimund Kirner:
"Throughput-driven Partitioning of Stream Programs on Heterogeneous Distributed Systems".
In IEEE Transactions on Parallel and Distributed Systems, Volume 27, Number 3, pages 913--926, March 2016.

Raimund Kirner and Lynn Choi:
"Introduction to the Special Issue on Software Technologies for Embedded & Ubiquitous Systems".
In Springer Computing Journal, pages 203-204, March 2015.

Raimund Kirner and Walter Haas:
"Optimizing Compilation with Preservation of Structural Coce Coverage Metrics to Support Software Testing".
In John Wiley & Sons Journal of Software, Testing, Verification and Reliability, Volume 24, Issue 3, pages 184 - 218, May 2014.

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, K.H. (Kane) Kim, and Michael R. Lowry:
"Fast, interactive worst-case execution time analysis with back-annotation".
In IEEE Transactions on Industrial Informatics, Volume 8, Number 1, pages 366 - 377, Feb. 2012.

Albrecht Kadlec, Raimund Kirner, and Peter Puschner:
"Code Transformations to Prevent Timing Anomalies".
In International Journal of Computer Systems Science and Engineering (Special Issue of Real Time Systems), Volume 26, Number 6, CRL Publishing, Nov. 2011.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Albrecht Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis".
In SPRINGER Journal of Software and Systems Modeling, Volume 10, Number 3, pages 411 - 437, July 2011.

Raimund Kirner, Peter Puschner, Adrian Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis".
In SPRINGER Journal of Real-Time Systems, Volume 45, Number 1, pages 72 - 105, June 2010.

Raimund Kirner:
"Towards Preserving Model Coverage and Structural Code Coverage".
In EURASIP Journal on Embedded Systems, Volume 2009, doi:10.1155/2009/127945, 2009.

Raimund Kirner, Susanne Kandl:
"Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems".
In ERCIM News, Number 75, pages 40 - 41, Oct. 2008, (2-page short research summary).

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner:
"Code Analysis for Temporal Predictability".
In SPRINGER Journal of Real-Time Systems, Volume 32, Number 3, pages 253 - 277, Mar. 2006.

Conference and Workshop Publications

2015:
Hamza Hamza, Alan Hughes, Raimund Kirner:
" On the Design of a Java Virtual Machine for Mixed-criticality Systems ".
In Proc. 13th Int'l Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'15), Paris, France, Oct. 2015.

Simon Maurer, Raimund Kirner:
" Coordination with Structured Composition for Cyber-physical Systems ".
In Proc. Int'l Conference on Parallel Computing (ParCo'15), Edinburgh, United Kingdom, Sep. 2015.

Simon Maurer, Raimund Kirner:
" Cross-criticality Interfaces for Cyber-physical Systems ".
In Proc. 1st IEEE Int'l Conference on Event-based Control, Communication, and Signal Processing (EBCCSP'15), Krakow, Poland, June 2015.

Raimund Kirner, Saverio Iacovelli, Michael Zolda:
" Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults ".
In Proc. 11th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'15), Auckland, New Zealand, April 2015.

2014:
Raimund Kirner:
" Ingredients for the Specification of Mixed-Criticality Real-Time Systems ".
In Proc. 10th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'14), Reno, Nevada, USA, June 2014.

Raimund Kirner:
" A Uniform Model for Tolerance-Based Real-Time Computing ".
In Proc. 17th IEEE Int'l Symposium on Object/Component/Service-oriented Real-Time Distributed Computing (ISORC'14), Reno, Nevada, USA, June 2014.

Vicent Sanz Marco, Michael Zolda, Raimund Kirner:
" Efficient Leader Election for Synchronous Shared-Memory Systems ".
In Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14), Dresden, Germany, March 2014.

Nilesh Karavadara, Simon Folie, Michael Zolda, Nga Nguyen, Raimund Kirner:
" A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip ".
In Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14), Dresden, Germany, March 2014.

2013:
Vu Thien Nga Nguyen, Raimund Kirner:
" Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms ".
In Proc. 13th International Conference on Algorithms and Architectures for Parallel Processing, Sorrento Peninsula, Italy, Dec. 2013.

Vu Thien Nga Nguyen, Raimund Kirner:
" Heuristic Strategy for Performance Optimisation of Stream Programs (Extended Abstract) ".
In Proc. 19th Int'l IEEE Conference on Parallel and Distributed Systems, Seoul, Korea, Dec. 2013.

Raimund Kirner, Vicent Sanz Marco, Michael Zolda, Frank Penczek:
" Fault-tolerant Coordination of S-Net Stream-processing Networks ".
In Proc. 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Berlin, Germany, Jan. 2013.

Vu Thien Nga Nguyen, Raimund Kirner:
" Influences on Throughput and Latency in Stream Programs ".
In Proc. 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Berlin, Germany, Jan. 2013.

Kenneth MacKenzie, Philip Hölzenspies, Kevin Hammond, Raimund Kirner, Nga Nguyen Vu Thien, Rene Te Boekhorst, Clemens Grelck, Raphael Poss, Merijn Verstraaten:
" Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net ".
In Proc. 2nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Berlin, Germany, Jan. 2013.

2012:
Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko:
" An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation ".
In Proc. 4th Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML'12), Innsbruck, Austria}, Oct. 2012.

Frank Penczek, Wei Cheng, Clemens Grelck, Raimund Kirner, Bernd Scheuermann, Alex Shafarenko:
" A Data-Flow Based Coordination Approach to Concurrent Software Engineering ".
In Proc. Int. Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM'12), Minneapolis, USA, Sep. 2012.

Vu Thien Nga Nguyen, Raimund Kirner, Frank Penkzek:
" A Multi-level Monitoring Framework for Stream-based Coordination Programs ".
In Proc. 12th International Conference on Algorithms and Architectures for Parallel Processing, Fukuoka, Japan, Sep. 2012.

Peter Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch:
" Compiling for Time Predictability ".
In Proc. Safecomp 2012 Workshop: ERCIM/EWICS/Cyberphysical Systems, Magdeburg, Germany, Sep. 2012.

Raimund Kirner:
" The WCET Analysis Tool CalcWcet167 ".
In Proc. 5th Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'12), Amirandes, Crete, Oct. 2012.

Raimund Kirner, Frank Penczek, Alex Shafarenko:
" Compilers must speak properties, not just code - CAL: constraint aggregation language for declarative component-coordination ".
In Proc. ACM Workshop on Declarative Aspects and Applications of Multicore Programming, Philadelphia, PA, USA, Jan. 2012.

Volkmar Wieser, Philip K.F. Hölzenspies, Raimund Kirner, and Michael Roßbory:
" Statistical performance analysis with dynamic workload using S-NET ".
In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Paris, France, Jan. 2012.

Wei Cheng, Frank Penczek, Clemens Grelck, Raimund Kirner, Bernd Scheuermann, and Alex Shafarenko:
" Modeling streams-based variants of ant colony optimisation for parallel systems ".
In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Paris, France, Jan. 2012.

Vu Thien Nga Nguyen, Raimund Kirner, and Frank Penczek:
" Monitoring framework for stream-processing networks ".
In Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, Paris, France, Jan. 2012.

2011:
Alex Shafarenko, Raimund Kirner:
" CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks".
In Technical Report, University of Hertfordshire, Hatfield, UK, Jan. 2011.

Sven Bünte, Michael Zolda, Raimund Kirner:
" Let's Get Less Optimistic in Measurement-Based Timing Analysis ".
In Proc. 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Mälardalen, Sweden, June 2011.

Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner:
" Improving the Confidence in Measurement-Based Timing Analysis ".
In Proc. 14th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'11), Newport Beach, CA, USA, Mar. 2011.

Michael Zolda, Sven Bünte, Raimund Kirner:
" Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation ".
In Proc. 17th IEEE Int'l Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan, Aug. 2011.

Raimund Kirner, Michael Zolda:
" Compiler Support for Measurement-based Timing Analysis ".
In Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET'11), Porto, Portugal, July 2011.

Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Casse, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda, Jakob Zwirchmayr:
" WCET Tool Challenge 2011: Report ".
In Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET'11), Porto, Portugal, July 2011.

Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip Hölzenspies, Chris Jesshope, Raimund Kirner, Bernd Scheuermann, Alex Shafarenko, Iraneus Te Boekhorst, Volkmar Wieser:
" Engineering Concurrent Software Guided by Statistical Performance Analysis ".
In Proc. International Conference on Parallel Computing (ParCo'11), Ghent, Belgium, August/September 2011.

2010:
Raimund Kirner, Sven-Bodo Scholz, Frank Penczek, Alex Shafarenko:
" PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments ".
In Proc. 1st Int'l Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPTOOL'10), Lisbon, Portugal, Nov. 2010.

Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz:
" Compiler-Support for Robust Multi-Core Computing ".
In Proc. 4th Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), Amirandes, Crete, Oct. 2010.

Michael Zolda, Sven Bünte, Raimund Kirner:
" Context-Sensitivity in IPET for Measurement-Based Timing Analysis ".
In Proc. 4th Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), Amirandes, Crete, Oct. 2010.

Albrecht Kadlec, Raimund Kirner, Peter Puschner:
" Avoiding Timing Anomalies using Code Transformations ".
In Proc. 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), Carmona, Spain, May 2010.

Susanne Kandl, Raimund Kirner:
" Error Detection Rate of MC/DC for a Case Study from the Automotive Domain ".
In Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'10), Waidhofen/Ybbs, Austria, Oct. 2010.

Raimund Kirner, Peter Puschner:
" Time-Predictable Computing ".
In Proc. 8th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'10), Waidhofen/Ybbs, Austria, Oct. 2010.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan:
"Towards an Orchestrated Approach for Annotation Verification ".
In Proc. 27th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte", Physikzentrum Bad Honnef, Germany, May 2010.

2009:
Raimund Kirner, Wolf Zimmermann, Dirk Richter:
" On Undecidability Results of Real Programming Languages ".
In 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09, not reviewed), Maria Taferl, Austria, Oct. 2009.

Raimund Kirner, Walter Haas:
" Automatic Calculation of Coverage Profiles for Coverage-based Testings ".
In 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09, not reviewed), Maria Taferl, Austria, Oct. 2009.

Martin Schöberl, Peter Puschner, Raimund Kirner:
" Single-Path Programming on a Chip-Multiprocessor System ".
In Proc. Workshop on Reconciling Performance with Predictability (RePP), Grenoble, France, Oct. 2009.

Martin Schöberl, Peter Puschner, Raimund Kirner:
" A Single-Path Chip-Multiprocessor System ".
In Proc. 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Newport Beach, USA, Nov. 2009.

Michael Zolda, Sven Bünte, Raimund Kirner:
" Towards Adaptable Control Flow Segmentation for Measurement-Based Execution Time Analysisi ".
In Proc. 17th International Conference on Real-Time and Network Systems (RNTS), Paris, France, Oct. 2009.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
" From Trusted Annotations to Verified Knowledge ".
In Proc. 9th International Workshop on Worst-Case Execution Time Analysis, Dublin, Ireland, June 2009.

Raimund Kirner, Albrecht Kadlec, Peter Puschner:
" Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies ".
In Proc. 21st IEEE Euromicro Conference on Real-Time Systems, Dublin, Ireland, July 2009.

Peter Puschner, Raimund Kirner:
" Model-Driven Design and Organic Computing -- Combinable Strategies? ".
In Proc. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Tokyo, Japan, Mar. 2009.

Peter Puschner, Raimund Kirner, Rob Petit:
" Towards Composable Timing for Real-Time Software ".
In Proc. 1st International Workshop on Software Technologies for Future Dependable Distributed Systems, Tokyo, Japan, Mar. 2009.

2008:
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner:
" Measurement-Based Timing Analysis ".
In Proc. 3rd Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Porto Sani, Greece, Oct. 2008.

Niklas Holsti, Jan Gustafsson, Guillem Bernat (eds.), Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan:
" WCET 2008 -- Report from the Tool Challenge 2008 ".
In Proc. 8th International Workshop on Worst-Case Execution Time Analysis, Prague, Czech Republic, July 2008.

Raimund Kirner, Albrecht Kadlec, Peter Puschner, Adrian Prantl, Markus Schordan:
" Towards a Common WCET Annotation Language: Essential Ingredients ".
In Proc. 8th International Workshop on Worst-Case Execution Time Analysis, Prague, Czech Republic, July 2008.

Raimund Kirner, Peter Puschner:
" Obstacles in Worst-Cases Execution Time Analysis ".
In Proc. 11th IEEE International Symposium on Object-oriented Real-time distributed Computing, Orlando, Florida, USA, May 2008.

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad:
" Toward Libraries for Real-time Java ".
In Proc. 11th IEEE International Symposium on Object-oriented Real-time distributed Computing, Orlando, Florida, USA, May 2008.

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad:
" A Modular Worst-case Execution Time Analysis Tool for Java Processors ".
In 14th IEEE Real-Time Technology and Applications Symposium, St. Louis, MO, USA, April 2008.

2007:
Raimund Kirner:
" On the Halting Problem of Finite-State Programs ".
In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07, not reviewed), Timmendorfer Strand, Germany, Oct. 2007.

Albrecht Kadlec, Raimund Kirner:
" On the Difficulty of Building a Precise Timing Model for Real-Time Programming ".
In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07, not reviewed), Timmendorfer Strand, Germany, Oct. 2007.

Raimund Kirner:
" SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code ".
In Proc. ACM Int. Conference on Compilers, Architecture and Synthesis for Embedded Systems, Salzburg, Austria, July 2007.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel:
" WCET Analysis: The Annotation Language Challenge ".
In Proc. 7th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy, July 2007.

Raimund Kirner, Martin Schöberl:
" Modeling the Function Cache for Worst-Case Execution Time Analysis ".
In Proc. 44th ACM Design Automation Conference, San Diego, California, June 2007.

Raimund Kirner, Peter Puschner:
" Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache ".
In Proc. 10th IEEE International Symposium on Object-oriented Real-time distributed Computing, Santorini Island, Greece, May 2007.

Susanne Kandl, Raimund Kirner, Peter Puschner:
" Automated Formal Verification and Testing of C Programs for Embedded Systems ".
In Proc. 19th IEEE International Symposium on Object-oriented Real-time distributed Computing, Santorini Island, Greece, May 2007.

Ingomar Wenzel, Raimund Kirner, Bernhard Rider, Peter Puschner:
" Cross-Platform Verification Framework for Embedded Systems ".
In Proc. 5th IEEE Workshop on Future Embedded and Ubiquitious Systems, Santorini Island, Greece, May 2007.

2006:
Peter Puschner, Raimund Kirner:
" From Time-Triggered to Time-Deterministic Real-Time Systems ".
In Proc. 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, pages 115-124, Braga, Portugal, Oct. 2006.

Susanne Kandl, Raimund Kirner, Gordon Fraser:
" Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems ".
In Proc. 3rd International Workshop on Dependable Embedded Systems, pages 21-25, Leeds, UK, Oct. 2006.

Susanne Kandl, Raimund Kirner, Peter Puschner:
" Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems ".
In Proc. 4th Workshop on Intelligent Solutions in Embedded Systems, pages 65-77, Vienna, Austria, June 2006.

Raimund Kirner, Markus Grössing, Peter Puschner:
" Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup ".
In Proc. 6th International Workshop on Worst-Case Execution Time Analysis, Dresden, Germany, July 2006.

Raimund Kirner, Peter Puschner, Ingomar Wenzel, Bernhard Rieder:
" Portable Data Exchange for Remote-Testing Frameworks ".
In Proc. 9th IEEE International Symposium on Object-oriented Real-time distributed Computing, Gyeongju, Korea, Apr. 2006.

2005:
Raimund Kirner, Peter Puschner:
" Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis ".
In Proc. 5th International Workshop on Worst-Case Execution Time Analysis, Palma, Spain, July 2005.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner:
" Measurement-Based Worst-Case Execution Time Analysis ".
In Proc. 3rd IEEE Workshop on Future Embedded and Ubiquitious Systems, pages 7-10, Seattle, WA, May 2005.

Raimund Kirner, Peter Puschner:
" Classification of WCET Analysis Techniques ".
In Proc. 8th IEEE International Symposium on Object-oriented Real-time distributed Computing, pages 190-199, Seattle, WA, May 2005.

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking ".
In Proc. Design, Automation and Test in Europe, Mar. 2005.

Ingomar Wenzel, Raimund Kirner, Peter Puschner, Bernhard Rieder:
" Principles of Timing Anomalies in Superscalar Processors ".
In Proc. 5th International Conference of Quality Software, Sep. 2005.

Ingomar Wenzel, Raimund Kirner, Martin Schlager, Bernhard Rieder, Bernhard Huber:
" Impact of Dependable Software Development Guidelines on Timing Analysis ".
In Proc. International Conference on Computer as a Tool, Nov. 2005.

2004:
Raimund Kirner, Peter Puschner, Ingomar Wenzel:
" Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation ".
In Proc. 4th Euromicro International Workshop on WCET Analysis, June 2004.

2003:
Janosch Fauster, Raimund Kirner, Peter Puschner:
" Intelligent Editor for Writing WCET-Oriented Programs ".
In Proc. 3rd International Conference on Embedded Software (EMSOFT'03), LNCS 2855, Oct. 2003, (c) Springer.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner:
" Input-Dependency Analysis for Hard Real-Time Software ".
In Proc. 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Oct. 2003.

Raimund Kirner, Peter Puschner:
" Transformation of Meta-Information by Abstract Co-Interpretation ".
In Proc. 7th International Workshop on Software and Compilers for Embedded Systems, LNCS 2826, pages 298-312, Sep. 2003, (c) Springer.

Raimund Kirner, Peter Puschner:
" Discussion of Misconceptions about Worst-Case Execution-Time Analysis ".
In Proc. 3rd Euromicro International Workshop on WCET Analysis, July 2003.

Raimund Kirner, Peter Puschner:
" A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development ".
In Proc. Workshop on Intelligent Solutions in Embedded Systems, June 2003.

Peter Puschner, Raimund Kirner:
" Avoiding Timing Problems in Real-Time Software ".
In Proc. IEEE Computer Society's Workshop on Software Technologies for Future Embedded Systems, May 2003.

Raimund Kirner, Peter Puschner:
" Timing Analysis of Optimised Code ".
In Proc. 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, January 2003.

2002:
Raimund Kirner:
" Enforcing Composability for Ubiquitous Computing Systems ".
In Proc. 7th Cabernet Radicals Workshop, Bertinoro, Italy, Oct. 2002.

Raimund Kirner, Roland Lang, Gerald Freiberger, Peter Puschner:
" Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models ".
In Proc. 14th IEEE Euromicro Conference on Real-Time Systems, pages 31-40, Vienna, Austria, Jun. 2002. Vienna University of Technology.

Wilfried Elmenreich, Lukas Schneider, Raimund Kirner:
" A Robust Certainty Grid Algorithm for Robotic Vision".
In Proc. 6th IEEE International Conference on Intelligent Engineering Systems (INES'02), Opatija, Croatia, May 2002.

C. Scheidler, S. Boutin, U. Virnich, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos:
" Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell ".
In VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg 2002, pages 663-676, Mannheim, Germany, Apr. 2002.

2001:
Pavel Atanassov, Raimund Kirner, Peter Puschner:
" Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis ".
In International Workshop on Real-Time Embedded Systems RTES (in conjunction with 22nd IEEE RTSS 2001), London, UK, Dec. 2001.

Raimund Kirner, Roland Lang, Peter Puschner:
" WCET Analysis for Systems Modelled in Matlab/Simulink".
In Proc. 22nd IEEE Real-Time Systems Symposium, Work in Progress Session, pages 33-36, London, UK, Dec. 2001. University of York, Department of Computer Science, Report YCS 337 (2001).

Raimund Kirner, Peter Puschner:
" Transformation of Path Information for WCET Analysis during Compilation ".
In Proc. 13th IEEE Euromicro Conference on Real-Time Systems, pages 29-36, Delft, The Netherlands, June 2001. Technical University of Delft.

2000:
Raimund Kirner, Peter Puschner:
"Integrating WCET Analysis into a Matlab/Simulink Simulation Model".
In Proc. 16th IFAC Workshop on Distributed Computer Control Systems, pages 79-84, Sydney, Australia, Nov. 2000. School of Computer Science and Engineering, UNSW.

Raimund Kirner, Peter Puschner:
"Consideration of Optimizing Compilers in the Context of WCET Analysis".
In Informatiktage 2000, Fachwissenschaftlicher Informatik-Kongress, pages 123-126, Bad Schussenried, Germany, Oct. 2000. GI Gesellschaft für Informatik e.V.

Raimund Kirner, Peter Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation".
Deutschsprachige WCET-Tagung, Paderborn, Germany; Oct. 2000.

Theses:

Raimund Kirner:
"
Development and Analysis of Time-Predictable Real-Time Systems";
Habilitation Thesis; Institut für Technische Informatik, Vienna University of Technology; Feb. 2010.

Raimund Kirner:
"Extending Optimising Compilation to Support Worst-Case Execution Time Analysis";
Doctor's Thesis; Reviewers: P. Puschner, A. Krall; Institut für Technische Informatik, Vienna University of Technology; May 2003.

Raimund Kirner:
"Integration of Static Runtime Analysis and Program Compilation";
Master's Thesis; Advisor: P. Puschner; Institut für Technische Informatik, Vienna University of Technology; March 2000.

Research Reports

Raimund Kirner, Albrecht Kadlec, Peter Puschner:
" Worst-Case Execution Time Analysis for Processors showing Timing Anomalies ".
Technical Report 01/2009, Vienna University of Technology, Institute of Computer Engineering, Vienna, Austria, 2009.

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop:
" Essential Ingredients for a WCET Annotation Language ".
Technical Report 10/2008, Vienna University of Technology, Institute of Computer Engineering, Vienna, Austria, 2008.

Stefan Katzenbeisser, Raimund Kirner, Christoph Überhuber:
"MATLAB-Numerik".
Vienna University of Technology, Institut für Angewandte und Numerische Mathematik, Course Notes, 1998 (in German).



Copyright notice: These materials are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


[ Top ] [ Back to Homepage ] [ CTCA Group ]
This page was last updated on April 7th 2010 by r.kirner (@) herts.ac.uk