2019W

• Bachelor Thesis for Computer Science and Business Informatics / PR / 182.715
• Operating Systems / UE / 182.709
• Operating Systems / VO / 182.711
• Operating Systems (for Electrical Engineering) / VO / 182.737
• Practical Project in Computer Engineering / PR / 182.716
• Project Computer Engineering / PR / 182.762
• Scientific Project Computer Engineering / PR / 182.761
• Seminar for PhD students / SE / 182.008

• Multicores Partitioning for Trusted Embedded Systems
  2011 – 2014 / European Commission
• Time-predictable Multi-Core Architecture for Embedded Systems
  2011 – 2014 / European Commission
• Formales Zeitanalyseframework für Echtzeitsysteme
  2007 – 2009 / Austrian Science Fund (FWF)
• Compiler-Support for Timing Analysis
  2006 – 2009 / Austrian Science Fund (FWF)

2017

• Best Practice for Caching of Single-Path Code / M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner / Talk: 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; 2017-06-27; in: "Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)", Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6; 1 - 12
• Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy / B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner / Talk: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 2017-05-16 - 2017-05-18; in: "Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017)", IEEE, (2017), ISBN: 978-1-5386-1574-4; 76 - 83

2016

• Semi-formal Representation of Requirements for Automotive Solutions Using SysML / L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner / in: "Languages, Design Methods, and Tools for Electronic System Design", Lecture Notes in Electrical Engineering 361; issued by: Frank Oppenheimer, Julio Luis Medina Pasaje; Springer International Publishing, 2016, ISBN: 978-3-319-24457-0, 57 - 81
• Composable Component Interfaces for Time-Triggered Systems / P. Puschner, B. Frömel / Talk: 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK; 2016-05-19; in: "Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops", (2016)
• Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control / P. Puschner, B. Cilku, D. Prokesch / Talk: IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; 2016-09-21 - 2016-09-23; in: "Proceedings IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip", 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems on Chip; ISBN 978-1-5090-3530-4, (2016), ISBN: 978-1-5090-3530-4; 321 - 328

2015

• T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi / Journal of Systems Architecture, Volume 61 (2015), Issue 9; 449 - 471
• The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015)
• A Strategy for Generating Time-Predictable Code / D. Prokesch, P. Puschner / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015)
• A Generator for Time-Predictable Code / D. Prokesch, S Hepp, P. Puschner / Talk: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; 2015-04-13 - 2015-04-17; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)", IEEE, (2015), ISBN: 978-1-4799-8781-8; 27 - 34
• A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking / B. Cilku, D. Prokesch, P. Puschner / Talk: 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; 2015-04-13; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015) Workshops", IEEE, (2015), ISBN: 978-1-4673-7709-6; 74 - 79
• A TDMA-Based arbitration scheme for mixed-criticality multicore platforms / B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador / Talk: The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; 2015-06-17 - 2015-06-19; in: "Event-based Control, Communication, and Signal Processing (EBCCSP), 2015", IEEE, (2015), 1 - 6
• Requirement Semi-formalization Methodology for SoC Design (Best Paper Award) / L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz / Talk: 12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; 2015-11-02 - 2015-11-05; in: "Proceedings of the 12th International SoC Design Conference (IEEE)", (2015)

2014

• Formal Verification at System Level / S. Kandl, M. Elshuber, P. Puschner / Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 - 2014-01-22
• Towards Automated Generation of Time-Predictable Code / D. Prokesch, B. Huber, P. Puschner / Talk: 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; 2014-07-08; in: "14th International Workshop on Worst-Case Execution Time Analysis", Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9; 103 - 112
• Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC)", IEEE, (2014), ISSN: 1555-0885; 180 - 187
• Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC / I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner / Talk: The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2014-06-15 - 2014-06-19; in: "Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2014), ISBN: 978-1-4799-4827-7; 77 - 80
• Security Application of Failure Mode and Effect Analysis (FMEA) / C. Schmittner, T. Gruber, P. Puschner, E. Schoitsch / Talk: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 2014-09-10 - 2014-09-12; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; 310 - 325
• A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 2014-09-10 - 2014-09-12; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; 1 - 16
• A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: Forum on specification & Design Languages (FDL), Munich, Germany; 2014-10-14 - 2014-10-16; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014)
• A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms / B. Cilku, P. Puschner et al. / Talk: 2 nd International Workshop on Mixed Criticality Systems (WMC14), Rome, Italy; 2014-12-02; in: "Proceedings of the 2 nd International Workshop on Mixed Criticality Systems", (2014), 27 - 32
• Designing a Time-Predictable Memory Hierarchy for Single-Path Code / B. Cilku, P. Puschner / Talk: 7 th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS14), Rome, Italy; 2014-12-02; in: "Designing a Time-Predictable Memory Hierarchy for Single-Path Code", (2014), 9 - 14
• A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors / B. Cilku, B. Frömel, P. Puschner / Talk: 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; 2014-07-27 - 2014-07-30; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISBN: 978-1-4799-4906-9; 147 - 151
• Semi-formal Representation of Requirements for Automotive Solutions using SysML / L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner / Talk: Forum on specification & Design Languages (FDL), Munich, Germany; 2014-10-14 - 2014-10-16; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014)

2013

• The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris (invited); 2013-07-08 - 2013-07-09
• Embedded Systems for Safety-Critical and Mixed-Criticality Applications / P. Puschner / Keynote Lecture: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (invited); 2013-06-15 - 2013-06-20; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; 15
• Constructing Time-Critical Embedded Systems: Decide Before Runtime / P. Puschner / Keynote Lecture: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (invited); 2013-06-15 - 2013-06-20; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; 3
• Improving System-Level Verification of SystemC Models with SPIN / M. Elshuber, S. Kandl, P. Puschner / Talk: 1st French Singaporean Workshop on Formal Methods and Applications, Singapore; 2013-07-15 - 2013-07-16; in: "1st French Singaporean Workshop on Formal Methods and Applications", (2013), ISBN: 978-3-939897-56-9; 6 pages
• Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors / B. Cilku, P. Puschner / Talk: 1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; 2013-08-21; in: "Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 1st workshop on Real-Time Mixed Criticality Systems", (2013)
• Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses / B. Cilku, R. Kammerer, P. Puschner / Talk: 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada; 2013-12-03 - 2013-12-06; in: "Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems", (2013)
• Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach / C. Geyer, B. Huber, D. Prokesch, P. Puschner / Talk: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; 2013-06-19 - 2013-06-21; in: "Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013)", (2013)
• The T-CREST Approach of Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland (invited); 2013-06-17 - 2013-06-18; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems", (2013)
• Combined WCET analysis of bitcode and machine code using control-flow relation graphs / B. Huber, D. Prokesch, P. Puschner / Talk: Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; 2013-06-20 - 2013-06-21; in: "Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems", The Association for Computing Machinery, (2013), ISBN: 978-1-4503-2085-6; 163 - 172

2012

• Compiling for Time Predictability / P. Puschner, R. Kirner, D. Prokesch, B. Huber / Talk: ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany; 2012-09-25 - 2012-09-28; in: "Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops", Lecture Notes in Computer Science / Springer, 7613 (2012), ISBN: 978-3-642-33674-4; 382 - 391
• A Formal Framework for Precise Parametric WCET Formulas / B. Huber, D. Prokesch, P. Puschner / Talk: 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; 2012-07-10; in: "12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Oasics / 23 (2012), ISBN: 978-3-939897-41-5; 91 - 102

2011

• Using a Local Prefetch Strategy to Obtain Temporal Time Predictability / B. Cilku, P. Puschner / Talk: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Newport Beach, California, USA; 2011-03-28 - 2011-03-31; in: "Proc. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)", IEEE, (2011), ISBN: 978-1-4577-0303-4; 227 - 234
• Towards an open timing analysis platform / B. Huber, W. Puffitsch, P. Puschner / Talk: 11th International Workshop on Worst-Case Execution Time Analysis, Porto; 2011-07-05; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), 6 - 15

2010

• Transforming Flow Information during Code Optimization for Timing Analysis / R. Kirner, P. Puschner, A. Prantl / Real-Time Systems, 45 (2010), 1-2; 72 - 105
• Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored / B. Cilku, P. Puschner / Talk: Proc. 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010), Carmona, Sevilla, Spain; 2010-05-04 - 2010-05-07; in: "Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored", (2010), 219 - 225
• Avoiding Timing Anomalies Using Code Transformations / A. Kadlec, R. Kirner, P. Puschner / Talk: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; 2010-05-05 - 2010-05-06; in: "Avoiding Timing Anomalies Using Code Transformations", IEEE, (2010), ISBN: 978-1-4244-7083-9; 123 - 132
• Time-Predictable Computing / R. Kirner, P. Puschner / Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Time-Predictable Computing", (2010), 23 - 34
• A Code Policy Guaranteeing Fully Automated Path Analysis / B. Huber, P. Puschner / Talk: 10th International Workshop on Worst-Case Execution-Time Analysis, Brussels, Belgium; 2010-07-07 - 2010-07-09; in: "A Code Policy Guaranteeing Fully Automated Path Analysis", Austrian Computer Society, (2010), ISBN: 978-3-85403-268-7; 80 - 90

2009

• A Single-Path Chip-Multiprocessor System / M. Schoeberl, P. Puschner, R. Kirner / Talk: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 2009-11-16 - 2009-11-18; in: "Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009", Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6; 47 - 57
• Is Chip-Multiprocessing the End of Real-Time Scheduling? / M. Schoeberl, P. Puschner / Talk: 9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; 2009-06-30; in: "Worst-Case Execution Time (WCET) Analsysis", Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6; 96 - 106
• Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies / R. Kirner, A. Kadlec, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; 2009-07-01 - 2009-07-03; in: "Proceedings of The 21th Euromicro Conference on Real-Time Systems", IEEE computer society, CPS, (2009), ISBN: 978-0-7695-3724-5; 119 - 128
• Model-Driven Design and Organic Computing -- Combinable Strategies? / P. Puschner, R. Kirner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 101
• Towards Composable Timing for Real-Time Software / P. Puschner, R. Kirner, R. Pettit / Talk: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 2009-03-17 - 2009-03-18; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; 1 - 5

2008

• Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls / B. Rieder, P. Puschner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 101 - 102
• Towards a Common WCET Annotation Language: Essential Ingredients / A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 pages
• Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis / B. Rieder, P. Puschner, I. Wenzel / Talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; 2008-07-10 - 2008-07-11; in: "Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems", IEEE Computer Society, (2008), ISBN: 978-3-00-024989-1; 3 - 9
• Measurement-Based Timing Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; 430 - 444
• An Operating System for a Time-Predictable Computing Node / G. Khyo, P. Puschner, M. Delvai / Talk: The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri, Italien; 2008-10-01 - 2008-10-03; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science / Springer Verlag, 5287 (2008), ISBN: 978-3-540-87784-4; 150 - 161
• On Composable System Timing, Task Timing, and WCET Analysis / P. Puschner, M. Schoeberl / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 91 - 101
• Obstacles in Worst-Case Execution Time Analysis / R. Kirner, P. Puschner / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 333 - 339
• Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65

2007

• Software Technologies for Embedded Systems and Ubiquitous Systems / R. Obermaisser, Y. Nah, P. Puschner, F. Rammig / Springer LNCS 4761, 2007, ISBN: 978-3-540-75663-7; 563 pages
• Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Lecture Notes in Computer Science, 4761 (2007), 137 - 148
• Using a Runtime Measurement Device with Measurement-Based WCET Analysis / B. Rieder, I. Wenzel, K. Steinhammer, P. Puschner / Poster: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 2007-05-30 - 2007-06-01; in: "Embedded System Design: Topics, Techniques and Trends", Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; 15 - 26
• Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p2A-2, 12 pages
• Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache / R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)", IEEE, (2007), ISBN: 0-7695-2765-5; 87 - 92
• Automated Formal Verification and Testing of C Programs for Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)", IEEE, (2007), ISBN: 0-7695-2765-5; 373 - 381

2006

• Architecture Support for Temporal Predictability and Composability in Real-Time Computing / P. Puschner / Keynote Lecture: 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland (invited); 2006-08-01 - 2006-08-05; in: "4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Proceedings", (2006), #1
• Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup / R. Kirner, M. Grössing, P. Puschner / Poster: Euromicro International Workshop on WCET Analysis, Dresden, Germany; 2006-07-04; in: "6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the", (2006), 11 - 16
• From Time-Triggered to Time-Deterministic Real-Time Systems / P. Puschner, R. Kirner / Talk: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (invited); 2006-10-11 - 2006-10-13; in: "5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings", Springer, (2006), ISBN: 0-387-39361-7; 115 - 124
• Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the", (2006)
• Portable Data Exchange for Remote-Testing Frameworks / R. Kirner, P. Puschner, I. Wenzel, B. Rieder / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; in: "Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing", IEEE, (2006), ISBN: 0-7695-2561-x

2005

• Timing Analysis for Embedded Systems and Time-Predictable Computing / P. Puschner, R. Kirner / Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25
• DECOS-TADE Collaboration / K. Kim, W. Recker, W. T. Tsai, H. Kopetz, P. Puschner / Talk: Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; 2005-10-20; in: "IST-NSF Workshop on Transatlantic Research Agenda on Future Challenges in Embedded Systems Design", Information Society Technologies/National Science Foundation, (2005), 7 pages
• Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number / P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; 2005-02-02 - 2005-02-04; in: "Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005", (2005), ISBN: 0-7695-2347-1; 205 - 210
• Principles of Timing Anomalies in Superscalar Processors / I. Wenzel, R. Kirner, P. Puschner, B. Rieder / Talk: International Conference on Quality Software (QSIC), Melbourne, Australia; 2005-09-19 - 2005-09-20; in: "Proceedings of the Fifth International Conference on Quality Software", PR2472 (2005), ISBN: 0-7695-2472-9; 295 - 303
• Classification of WCET Analysis Techniques / R. Kirner, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 2005-05-18 - 2005-05-20; in: "Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC'05)", IEEE Computer Society, (2005), ISBN: 0-7695-2356-0; 190 - 199
• Measurement-Based Worst-Case Execution Time Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; 2005-05-16 - 2005-05-17; in: "Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)", IEEE, (2005), ISBN: 0-7695-2357-9; 7 - 10
• Automatic Timing Model Generation by CFG Partitioning and Model Checking / I. Wenzel, B. Rieder, R. Kirner, P. Puschner / Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2005-03-07 - 2005-03-11; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; 606 - 611
• Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall / 2005

2004

• Proceedings of the 16th Euromicro Conference on Real-Time Systems / P. Puschner / IEEE Computer Society Press, Piscataway, NJ, USA, 2004, ISBN: 0-7695-2176-2; 282 pages
• Function Test Environment for Embedded Driver Components / S. Pitzek, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; 2004-05-12 - 2004-05-14; in: "Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004)", IEEE, (2004), ISBN: 0-7695-2124-x; 237 - 244
• Monitoring Data Types in Distributed Real -Time Systems / I. Smaili, P. Puschner / Talk: IEEE International Conference on Computational Cybernetics, Vienna, Austria; 2004-08-30 - 2004-09-01; in: "Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004)", (2004), ISBN: 3-902463-01-5; 163 - 168
• Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation / R. Kirner, P. Puschner, I. Wenzel / Talk: Euromicro International Workshop on WCET Analysis, Catania, Italy; 2004-07-29; in: "Proceedings of the", (2004), ISSN: 1166-8687; 1 - 4
• The Time-Triggered Architecture: Short Summary of Recent Work and Future Trends / H. Kopetz, G. Bauer, R. Obermaisser, P. Peti, P. Puschner / 2004
• Worst-Case Execution-Time Analysis: Short Summary of Recent Work and Future Trends / P. Puschner / 2004

2003

• Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing / P. Puschner, T. Nakajima, A. Ghafoor / IEEE Computer Society Press, Piscataway, NJ, USA, 2003, ISBN: 0-7695-1928-8; 302 pages
• Discussion of Misconceptions about Worst-Case Execution-Time Analysis / R. Kirner, P. Puschner / Talk: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 2003-07-01; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), 61 - 64
• The Single-Path Approach Towards WCET-Analysable Software / P. Puschner / Talk: IEEE International Conference on Industrial Technology, Maribor, Slovenia; 2003-12-10 - 2003-12-12; in: "Proceedings of IEEE International Conference on Industrial Technology", (2003), 699 - 704
• Processor Support for Temporal Predictability - The SPEAR Design Example / M. Delvai, W. Huber, P. Puschner, A. Steininger / Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15 Euromicro International Conference on Real-Time Systems", (2003), 169 - 176
• Avoiding Timing Problems in Real-Time Software / P. Puschner, R. Kirner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 2003-05-15 - 2003-05-16; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), 75 - 78
• Hard Real-Time Programming is Different / P. Puschner / Talk: 17th International Parallel and Distributed Processing Symposium, Nice, France; 2003-04-22 - 2003-04-26; in: "Proceedings of the 17th IEEE Int'l Parallel and Distributed Processing Symposium, 11th Int'l workshop on Parallel and Distributed Real-Time Systems 2003", (2003), 117 - 118
• Timing Analysis of Optimised Code / R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 100 - 105
• A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development / R. Kirner, P. Puschner / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 15 - 24
• Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications / S. Pitzek, P. Puschner / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 85 - 96
• Transformation of Meta-Information by Abstract Co-Interpretation / R. Kirner, P. Puschner / Talk: 7th International Workshop, SCOPES, Vienna, Austria; 2003-09-24 - 2003-09-26; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), 298 - 312
• Input-Dependency Analysis for Hard Real-Time Software / J. Gustafsson, B. Lisper, R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), 1 - 8
• Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs / J. Fauster, R. Kirner, P. Puschner / Talk: International Conference on Embedded Software, Philadelphia, PA, USA; 2003-10-13 - 2003-10-15; in: "Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003)", (2003), 190 - 205
• Algorithms for Dependable Hard Real-Time Systems / P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 26 - 31
• Projektbericht Technische Informatik: Seamless Campus / J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer / Report for Technical Report 183/1-135, Department of Automation, Technische Universität Wien; 2003

2002

• Making Java Hard Real-Time / P. Puschner, G. Bernat, A. Wellings / in: "The Annals of the Marie Curie Fellowship Association (MCFA) Volume II", N. Brambilla, O. Sparagano, L. Deneire (ed.); Marie Curie Fellowship Association, 2002
• Transforming Execution-Time Boundable Code into Temporally Predictable Code / P. Puschner / in: "Design and Analysis of Distributed Embedded Systems", B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (ed.); Kluwer Academic Publishers, 2002, 163 - 172
• Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures / P. Puschner / Talk: Euromicro International Workshop on WCET Analysis, Vienna, Austria; 2002-06-18; in: "Proceedings of the 2nd Euromicro International Workshop on WCET Analysis", (2002)
• Java Virtual-Machine Support for Portable Worst-Case Execution-time Analysis / I. Bate, G. Bernat, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Washington, DC, USA; 2002-04-29 - 2002-05-01; in: "Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing", (2002), 83 - 90
• Writing Temporally Predictable Code / P. Puschner, A. Burns / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), San Diego, USA; 2002-01-07 - 2002-01-09; in: "Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2002), 85 - 91
• Making Real-Time Tasks Temporally Predictable / P. Puschner / Talk: ARTES Real-Time Graduate Student Conference, Uppsala, Sweden; 2002-04-18 - 2002-04-19; in: "Proceedings of the ARTES Real-Time Graduate Student Conference ", (2002), 7
• Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; 2002-06-01; in: "Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02)", (2002), 31 - 40
• Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures / P. Puschner / 2002
• Making Real-Time Tasks Temporally Predictable / P. Puschner / 2002
• International Workshop on SCET Analysis - Summary / R. Kirner, P. Puschner / 2002
• Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / 2002
• Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis / I. Bate, G. Bernat, P. Puschner / 2002
• Transforming Execution-time Boundable Code into Temporally Predictable Code / P. Puschner / 2002
• Non-Interfering Multi-Cluster Clock Synchronization / M. Paulitsch, P. Puschner / 2002

2001

• A Profile for High-Integrity Real-Time Java Programs / P. Puschner, A. Wellings / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Magdeburg, Germany; 2001-05-02 - 2001-05-04; in: "Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)", (2001), 15 - 22
• WCET Analysis of Reusable Portable Code / P. Puschner, G. Bernat / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 2001-11-01; in: "Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS)", (2001), 45 - 52
• Transformation of Path Information for WCET Analysis during Compilation / R. Kirner, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 2001-06-01; in: "Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001)", (2001), 29 - 36
• WCET Analysis for Systems Modelled in Matlab/Simulink / R. Kirner, R. Lang, P. Puschner / Talk: IEEE Real-Time Systems Symposium, London, United Kingdom; 2001-12-01; in: "Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings", (2001), 33 - 36
• Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling / R Dobrin, G. Fohler, P. Puschner / Talk: IEEE Real-Time Systems Symposium, London, United Kingdom; 2001-12-04 - 2001-12-06; in: "Proceedings of the 22nd IEEE Real-Time Systems Symposium", (2001), 225 - 234
• Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis / P. Atanassov, P. Puschner, R. Kirner / Talk: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 2001-12-03; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)", (2001)
• Impact of DRAM Refresh on the Execution Time of Real-Time Tasks / P. Atanassov, P. Puschner / Talk: International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001), Seoul, Korea; 2001-12-01; in: "Proceedings of the International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001)", (2001), 29 - 34
• Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture / G. Bauer, H. Kopetz, P. Puschner / Talk: IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France; 2001-10-15 - 2001-10-18; in: "Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation", (2001), 333 - 341

2000

• A Review of Worst-Case Execution-Time Analysis / P. Puschner, A. Burns / Real-Time Systems, 18 (2000), 2/3; 115 - 128
• Systems Engineering of Time-Triggered Architectures - The SETTA Approach / C. Scheidler, P. Puschner, S. Boutin, E. Fuchs, G. Grünsteidl, Y. Papadopoulos, J. Rennhack, U. Virnich / Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 55 - 60
• Supporting Control-Flow-Dependent Execution Times on WCET Calculation / R. Kirner, P. Puschner / Talk: Deutschsprachige WCET-Tagung, Paderborn, Germany; 2000-10-20; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), #
• Consideration of Optimizing Compilers in the Context of WCET Analysis / R. Kirner, P. Puschner / Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), 123 - 126
• Integrating WCET Analysis into a Matlab/Simulink Simulation Model / R. Kirner, R. Lang, P. Puschner, C. Temple / Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 79 - 84
• Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework / I. Bate, G. Bernat, G. Murphy, P. Puschner / Talk: International Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea; 2000-12-12 - 2000-12-14; in: "Proceedings of the 7th International conference on Real-Time Computing Systems and Applications", (2000), 39 - 48

• A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems / PhD Thesis by S. Kandl / Supervisor, Reviewer: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17
• Measurement-Based Timing Analysis of Applications written in ANSI-C / PhD Thesis by B. Rieder / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26
• Measurement-Based Timing Analysis of Superscalar Processors / PhD Thesis by I. Wenzel / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
• A unit-test platform for design tools for fault-tolerant real-time systems / Master Thesis by B. Krizan / Supervisor: P. Puschner, R. Kirner; E188-1, 2007
• Requirement Classification of Dependable Real-Time Systems / Master Thesis by J. Trojer / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007
• Automatic Loop Bound Analysis of Programs written in C / Master Thesis by M. Kirner / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; final examination: 2006
• JOP: A Java Optimized Processor for Embedded Real-Time Systems / PhD Thesis by M. Schöberl / Supervisor, Reviewer: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005
• Real-Time Monitoring for the Time-Triggered Architecture / PhD Thesis by I. Smaili / Supervisor, Reviewer: P. Puschner, U. Egly; Institut für Technische Informatik, 2004
• Principles of Timing Anomalies in Superscalar Processors / Master Thesis by I. Wenzel / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003
• Performance Demonstrator / Master Thesis by L Müller / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002
• JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes / Master Thesis by M. Weiskirchner / Supervisor: P. Puschner; Institut für Technische Informatik, 2001
• Integration of Worst-Case Execution Time Analysis and C Code Synthesis / Master Thesis by G. Freiberger / Supervisor: P. Puschner, R. Lang; Institut für Technische Informatik, 2001
• Integration of Static Runtime Analysis and Program Compilation / Master Thesis by R. Kirner / Supervisor: P. Puschner; Institut für Technische Informatik, 2000

• Gründungsmitglied der IFIP 10.2 WG on Embedded Systems / IFIP / 2006
• Marie-Curie Fellowship / EC Europäische Komission - Marie Curie / 1999

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Peter Puschner’s research profile in TISS .