TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der TU Wien erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für
Peter Puschner
als Autorin / Autor bzw. wesentlich beteiligte Person

144 Datensätze (2000 - 2021)

Die Publikationen der TU Wien sind erst ab dem Jahr 2002 vollzählig in der Publikationsdatenbank enthalten. Publikationen aus den Jahren vor 2002 können, müssen aber nicht in der Datenbank vorhanden sein.


Bücher und Buch-Herausgaben


R. Obermaisser, Y. Nah, P. Puschner, F. Rammig (Hrg.):
"Software Technologies for Embedded Systems and Ubiquitous Systems";
Springer LNCS 4761, 2007, ISBN: 978-3-540-75663-7; 563 S.

P. Puschner (Hrg.):
"Proceedings of the 16th Euromicro Conference on Real-Time Systems";
IEEE Computer Society Press, Piscataway, NJ, USA, 2004, ISBN: 0-7695-2176-2; 282 S.

P. Puschner, T. Nakajima, A. Ghafoor (Hrg.):
"Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing";
IEEE Computer Society Press, Piscataway, NJ, USA, 2003, ISBN: 0-7695-1928-8; 302 S.


Zeitschriftenartikel


R. Kirner, P. Puschner, A. Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis";
Real-Time Systems, 45 (2010), 1-2; S. 72 - 105.

Zusätzliche Informationen

P. Puschner, A. Burns:
"A Review of Worst-Case Execution-Time Analysis";
Real-Time Systems, 18 (2000), 2/3; S. 115 - 128.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"Asynchronous vs. synchronous interfacing to time-triggered communication systems";
Journal of Systems Architecture, 103 (2020).

Zusätzliche Informationen

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:
"T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems";
Journal of Systems Architecture, Volume 61 (2015), Issue 9; S. 449 - 471.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
Lecture Notes in Computer Science, 4761 (2007), S. 137 - 148.

Zusätzliche Informationen


Buchbeiträge


L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions Using SysML";
in: "Languages, Design Methods, and Tools for Electronic System Design", Lecture Notes in Electrical Engineering 361; herausgegeben von: Frank Oppenheimer, Julio Luis Medina Pasaje; Springer International Publishing, 2016, ISBN: 978-3-319-24457-0, S. 57 - 81.

Zusätzliche Informationen

P. Puschner:
"Transforming Execution-Time Boundable Code into Temporally Predictable Code";
in: "Design and Analysis of Distributed Embedded Systems", B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (Hrg.); Kluwer Academic Publishers, 2002, S. 163 - 172.

Zusätzliche Informationen

P. Puschner, G. Bernat, A. Wellings:
"Making Java Hard Real-Time";
in: "The Annals of the Marie Curie Fellowship Association (MCFA) Volume II", N. Brambilla, O. Sparagano, L. Deneire (Hrg.); Marie Curie Fellowship Association, 2002.

Zusätzliche Informationen


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


P. Atanassov, P. Puschner:
"Impact of DRAM Refresh on the Execution Time of Real-Time Tasks";
Vortrag: International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001), Seoul, Korea; 01.12.2001; in: "Proceedings of the International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001)", (2001), S. 29 - 34.

Zusätzliche Informationen

P. Atanassov, P. Puschner, R. Kirner:
"Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis";
Vortrag: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 03.12.2001; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)", (2001).

Zusätzliche Informationen

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner:
"A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems";
Vortrag: Forum on specification & Design Languages (FDL), Munich, Germany; 14.10.2014 - 16.10.2014; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014).

Zusätzliche Informationen

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner:
"A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems";
Vortrag: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 10.09.2014 - 12.09.2014; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; S. 1 - 16.

Zusätzliche Informationen

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner:
"Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems";
Vortrag: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 08.06.2014 - 12.06.2014; in: "Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC)", IEEE, (2014), ISSN: 1555-0885; S. 180 - 187.

Zusätzliche Informationen

I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner:
"Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC";
Vortrag: The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 15.06.2014 - 19.06.2014; in: "Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2014), ISBN: 978-1-4799-4827-7; S. 77 - 80.

Zusätzliche Informationen

I. Bate, G. Bernat, G. Murphy, P. Puschner:
"Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework";
Vortrag: International Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea; 12.12.2000 - 14.12.2000; in: "Proceedings of the 7th International conference on Real-Time Computing Systems and Applications", (2000), S. 39 - 48.

Zusätzliche Informationen

I. Bate, G. Bernat, P. Puschner:
"Java Virtual-Machine Support for Portable Worst-Case Execution-time Analysis";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Washington, DC, USA; 29.04.2002 - 01.05.2002; in: "Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing", (2002), S. 83 - 90.

Zusätzliche Informationen

G. Bauer, H. Kopetz, P. Puschner:
"Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture";
Vortrag: IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France; 15.10.2001 - 18.10.2001; in: "Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation", (2001), S. 333 - 341.

Zusätzliche Informationen

B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador:
"A TDMA-Based arbitration scheme for mixed-criticality multicore platforms";
Vortrag: The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; 17.06.2015 - 19.06.2015; in: "Event-based Control, Communication, and Signal Processing (EBCCSP), 2015", IEEE, (2015), S. 1 - 6.

Zusätzliche Informationen

B. Cilku, B. Frömel, P. Puschner:
"A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors";
Vortrag: 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; 27.07.2014 - 30.07.2014; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISBN: 978-1-4799-4906-9; S. 147 - 151.

Zusätzliche Informationen

B. Cilku, R. Kammerer, P. Puschner:
"Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses";
Vortrag: 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada; 03.12.2013 - 06.12.2013; in: "Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems", (2013).

Zusätzliche Informationen

B. Cilku, D. Prokesch, P. Puschner:
"A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking";
Vortrag: 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; 13.04.2015; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015) Workshops", IEEE, (2015), ISBN: 978-1-4673-7709-6; S. 74 - 79.

Zusätzliche Informationen

B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner:
"Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy";
Vortrag: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 16.05.2017 - 18.05.2017; in: "Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017)", IEEE, (2017), ISBN: 978-1-5386-1574-4; S. 76 - 83.

Zusätzliche Informationen

B. Cilku, P. Puschner:
"Designing a Time-Predictable Memory Hierarchy for Single-Path Code";
Vortrag: 7 th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS14), Rome, Italy; 02.12.2014; in: "Designing a Time-Predictable Memory Hierarchy for Single-Path Code", (2014), S. 9 - 14.

Zusätzliche Informationen

B. Cilku, P. Puschner:
"Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored";
Vortrag: Proc. 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010), Carmona, Sevilla, Spain; 04.05.2010 - 07.05.2010; in: "Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored", (2010), S. 219 - 225.

Zusätzliche Informationen

B. Cilku, P. Puschner:
"Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors";
Vortrag: 1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; 21.08.2013; 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).

Zusätzliche Informationen

B. Cilku, P. Puschner:
"Using a Local Prefetch Strategy to Obtain Temporal Time Predictability";
Vortrag: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Newport Beach, California, USA; 28.03.2011 - 31.03.2011; 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; S. 227 - 234.

Zusätzliche Informationen

B. Cilku, P. Puschner et al.:
"A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms";
Vortrag: 2 nd International Workshop on Mixed Criticality Systems (WMC14), Rome, Italy; 02.12.2014; in: "Proceedings of the 2 nd International Workshop on Mixed Criticality Systems", (2014), S. 27 - 32.

Zusätzliche Informationen

M. Delvai, W. Huber, P. Puschner, A. Steininger:
"Processor Support for Temporal Predictability - The SPEAR Design Example";
Vortrag: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 02.07.2003 - 04.07.2003; in: "Proceedings of the 15 Euromicro International Conference on Real-Time Systems", (2003), S. 169 - 176.

Zusätzliche Informationen

R Dobrin, G. Fohler, P. Puschner:
"Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling";
Vortrag: IEEE Real-Time Systems Symposium, London, United Kingdom; 04.12.2001 - 06.12.2001; in: "Proceedings of the 22nd IEEE Real-Time Systems Symposium", (2001), S. 225 - 234.

Zusätzliche Informationen

M. Elshuber, S. Kandl, P. Puschner:
"Improving System-Level Verification of SystemC Models with SPIN";
Vortrag: 1st French Singaporean Workshop on Formal Methods and Applications, Singapore; 15.07.2013 - 16.07.2013; in: "1st French Singaporean Workshop on Formal Methods and Applications", (2013), ISBN: 978-3-939897-56-9; 6 S.

Zusätzliche Informationen

J. Fauster, R. Kirner, P. Puschner:
"Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs";
Vortrag: International Conference on Embedded Software, Philadelphia, PA, USA; 13.10.2003 - 15.10.2003; in: "Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003)", (2003), S. 190 - 205.

Zusätzliche Informationen

C. Geyer, B. Huber, D. Prokesch, P. Puschner:
"Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach";
Vortrag: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; 19.06.2013 - 21.06.2013; in: "Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013)", (2013).

J. Gustafsson, B. Lisper, R. Kirner, P. Puschner:
"Input-Dependency Analysis for Hard Real-Time Software";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 01.10.2003 - 03.10.2003; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), S. 1 - 8.

Zusätzliche Informationen

S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner:
"The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration";
Vortrag: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 04.10.2015 - 07.10.2015; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015).

Zusätzliche Informationen

B. Huber, D. Prokesch, P. Puschner:
"A Formal Framework for Precise Parametric WCET Formulas";
Vortrag: 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; 10.07.2012; 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; S. 91 - 102.

Zusätzliche Informationen

B. Huber, D. Prokesch, P. Puschner:
"Combined WCET analysis of bitcode and machine code using control-flow relation graphs";
Vortrag: Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; 20.06.2013 - 21.06.2013; 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; S. 163 - 172.

Zusätzliche Informationen

B. Huber, W. Puffitsch, P. Puschner:
"Towards an open timing analysis platform";
Vortrag: 11th International Workshop on Worst-Case Execution Time Analysis, Porto; 05.07.2011; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), S. 6 - 15.

Zusätzliche Informationen

B. Huber, P. Puschner:
"A Code Policy Guaranteeing Fully Automated Path Analysis";
Vortrag: 10th International Workshop on Worst-Case Execution-Time Analysis, Brussels, Belgium; 07.07.2010 - 09.07.2010; in: "A Code Policy Guaranteeing Fully Automated Path Analysis", Austrian Computer Society, (2010), ISBN: 978-3-85403-268-7; S. 80 - 90.

Zusätzliche Informationen

A. Kadlec, R. Kirner, P. Puschner:
"Avoiding Timing Anomalies Using Code Transformations";
Vortrag: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; 05.05.2010 - 06.05.2010; in: "Avoiding Timing Anomalies Using Code Transformations", IEEE, (2010), ISBN: 978-1-4244-7083-9; S. 123 - 132.

Zusätzliche Informationen

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Language: Essential Ingredients";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 05.05.2008 - 07.05.2008; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 S.

Zusätzliche Informationen

S. Kandl, R. Kirner, P. Puschner:
"Automated Formal Verification and Testing of C Programs for Embedded Systems";
Vortrag: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 07.05.2007 - 09.05.2007; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)", IEEE, (2007), ISBN: 0-7695-2765-5; S. 373 - 381.

Zusätzliche Informationen

S. Kandl, R. Kirner, P. Puschner:
"Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems";
Vortrag: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 30.06.2006; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the", (2006).

Zusätzliche Informationen

G. Khyo, P. Puschner, M. Delvai:
"An Operating System for a Time-Predictable Computing Node";
Vortrag: The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri, Italien; 01.10.2008 - 03.10.2008; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science / Springer Verlag, 5287 (2008), ISBN: 978-3-540-87784-4; S. 150 - 161.

Zusätzliche Informationen

K. Kim, W. Recker, W. T. Tsai, H. Kopetz, P. Puschner:
"DECOS-TADE Collaboration";
Vortrag: Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; 20.10.2005; in: "IST-NSF Workshop on Transatlantic Research Agenda on Future Challenges in Embedded Systems Design", Information Society Technologies/National Science Foundation, (2005), 7 S.

R. Kirner, M. Grössing, P. Puschner:
"Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup";
Poster: Euromicro International Workshop on WCET Analysis, Dresden, Germany; 04.07.2006; in: "6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the", (2006), S. 11 - 16.

Zusätzliche Informationen

R. Kirner, A. Kadlec, P. Puschner:
"Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; 01.07.2009 - 03.07.2009; in: "Proceedings of The 21th Euromicro Conference on Real-Time Systems", IEEE computer society, CPS, (2009), ISBN: 978-0-7695-3724-5; S. 119 - 128.

Zusätzliche Informationen

R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Languge: Essential Ingredients";
Vortrag: WCET 2008, Prague, Czech Republic; 01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; S. 53 - 65.

Zusätzliche Informationen

R. Kirner, R. Lang, G. Freiberger, P. Puschner:
"Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; 01.06.2002; in: "Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02)", (2002), S. 31 - 40.

Zusätzliche Informationen

R. Kirner, R. Lang, P. Puschner:
"WCET Analysis for Systems Modelled in Matlab/Simulink";
Vortrag: IEEE Real-Time Systems Symposium, London, United Kingdom; 01.12.2001; in: "Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings", (2001), S. 33 - 36.

Zusätzliche Informationen

R. Kirner, R. Lang, P. Puschner, C. Temple:
"Integrating WCET Analysis into a Matlab/Simulink Simulation Model";
Vortrag: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 29.11.2000 - 01.12.2000; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), S. 79 - 84.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development";
Vortrag: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 27.06.2003; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (Hrg.); (2003), S. 15 - 24.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Classification of WCET Analysis Techniques";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 18.05.2005 - 20.05.2005; 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; S. 190 - 199.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Consideration of Optimizing Compilers in the Context of WCET Analysis";
Vortrag: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 27.10.2000 - 28.10.2000; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), S. 123 - 126.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Discussion of Misconceptions about Worst-Case Execution-Time Analysis";
Vortrag: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 01.07.2003; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), S. 61 - 64.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Obstacles in Worst-Case Execution Time Analysis";
Vortrag: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 05.05.2008 - 07.05.2008; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; S. 333 - 339.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation";
Vortrag: Deutschsprachige WCET-Tagung, Paderborn, Germany; 20.10.2000; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), S. #.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Time-Predictable Computing";
Vortrag: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 13.10.2010 - 15.10.2010; in: "Time-Predictable Computing", (2010), S. 23 - 34.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache";
Vortrag: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 07.05.2007 - 09.05.2007; in: "10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)", IEEE, (2007), ISBN: 0-7695-2765-5; S. 87 - 92.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Timing Analysis of Optimised Code";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 15.01.2003 - 17.01.2003; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), S. 100 - 105.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Transformation of Meta-Information by Abstract Co-Interpretation";
Vortrag: 7th International Workshop, SCOPES, Vienna, Austria; 24.09.2003 - 26.09.2003; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), S. 298 - 312.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"Transformation of Path Information for WCET Analysis during Compilation";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 01.06.2001; in: "Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001)", (2001), S. 29 - 36.

Zusätzliche Informationen

R. Kirner, P. Puschner, I. Wenzel:
"Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation";
Vortrag: Euromicro International Workshop on WCET Analysis, Catania, Italy; 29.07.2004; in: "Proceedings of the", (2004), ISSN: 1166-8687; S. 1 - 4.

Zusätzliche Informationen

R. Kirner, P. Puschner, I. Wenzel, B. Rieder:
"Portable Data Exchange for Remote-Testing Frameworks";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 24.04.2006 - 26.04.2006; in: "Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing", IEEE, (2006), ISBN: 0-7695-2561-x.

Zusätzliche Informationen

E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl:
"Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress";
Vortrag: 2020 International Conference on Embedded Software (EMSOFT), Singapur; 20.11.2020 - 25.11.2020; in: "2020 International Conference on Embedded Software (EMSOFT)", ACM, (2020), ISBN: 978-1-7281-9196-6; S. 15 - 17.

Zusätzliche Informationen

E. J. Maroun, M. Schöberl, P. Puschner:
"Towards Dual-Issue Single-Path Code";
Vortrag: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 19.05.2020 - 21.05.2020; in: "Proceedings ISORC 2020", (2020), S. 176 - 183.

Zusätzliche Informationen

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions using SysML";
Vortrag: Forum on specification & Design Languages (FDL), Munich, Germany; 14.10.2014 - 16.10.2014; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014).

Zusätzliche Informationen

L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz:
"Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)";
Vortrag: 12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; 02.11.2015 - 05.11.2015; in: "Proceedings of the 12th International SoC Design Conference (IEEE)", (2015).

Zusätzliche Informationen

S. Pitzek, P. Puschner:
" Function Test Environment for Embedded Driver Components";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; 12.05.2004 - 14.05.2004; in: "Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004)", IEEE, (2004), ISBN: 0-7695-2124-x; S. 237 - 244.

Zusätzliche Informationen

S. Pitzek, P. Puschner:
"Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications";
Vortrag: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 27.06.2003; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (Hrg.); (2003), S. 85 - 96.

Zusätzliche Informationen

M. Platzer, P. Puschner:
"A Processor Extension for Time-Predictable Code Execution";
Vortrag: 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), Daegu, South Korea; 01.06.2021 - 03.06.2021; in: "2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)", C. Ceballos (Hrg.); IEEE, IEEE (2021), ISSN: 2375-5261; S. 34 - 42.

Zusätzliche Informationen

M. Platzer, P. Puschner:
"A Real-Time Application with Fully Predictable Task Timing";
Vortrag: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 19.05.2020 - 21.05.2020; in: "2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)", (2020), S. 43 - 46.

Zusätzliche Informationen

M. Platzer, P. Puschner:
"An Instruction Filter for Time-Predictable Code Execution on Standard Processors";
Vortrag: International Conference on Computer Safety, Reliability, and Security, online; 15.09.2020 - 18.09.2020; in: "International Conference on Computer Safety, Reliability, and Security", Springer Verlag (Hrg.); Springer, LNCS, volume 12235 (2020), ISBN: 978-3-030-55583-2; S. 111 - 122.

Zusätzliche Informationen

M. Platzer, P. Puschner:
"Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation";
Vortrag: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Online; 05.07.2021 - 09.07.2021; in: "33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)", B. Brandenburg (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 196 (2021), ISSN: 1868-8969; S. 1 - 18.

Zusätzliche Informationen

D. Prokesch, S Hepp, P. Puschner:
"A Generator for Time-Predictable Code";
Vortrag: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; 13.04.2015 - 17.04.2015; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)", IEEE, (2015), ISBN: 978-1-4799-8781-8; S. 27 - 34.

Zusätzliche Informationen

D. Prokesch, B. Huber, P. Puschner:
"Towards Automated Generation of Time-Predictable Code";
Vortrag: 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; 08.07.2014; in: "14th International Workshop on Worst-Case Execution Time Analysis", Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9; S. 103 - 112.

Zusätzliche Informationen

D. Prokesch, P. Puschner:
"A Strategy for Generating Time-Predictable Code";
Vortrag: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 04.10.2015 - 07.10.2015; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015).

Zusätzliche Informationen

P. Puschner:
"Algorithms for Dependable Hard Real-Time Systems";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 15.01.2003 - 17.01.2003; in: "Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), S. 26 - 31.

Zusätzliche Informationen

P. Puschner:
"Architecture Support for Temporal Predictability and Composability in Real-Time Computing";
Hauptvortrag: 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland (eingeladen); 01.08.2006 - 05.08.2006; in: "4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Proceedings", (2006), S. #1.

Zusätzliche Informationen

P. Puschner:
"Constructing Time-Critical Embedded Systems: Decide Before Runtime";
Hauptvortrag: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (eingeladen); 15.06.2013 - 20.06.2013; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; S. 3.

Zusätzliche Informationen

P. Puschner:
"Embedded Systems for Safety-Critical and Mixed-Criticality Applications";
Hauptvortrag: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (eingeladen); 15.06.2013 - 20.06.2013; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; S. 15.

Zusätzliche Informationen

P. Puschner:
"Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number";
Vortrag: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; 02.02.2005 - 04.02.2005; in: "Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005", (2005), ISBN: 0-7695-2347-1; S. 205 - 210.

Zusätzliche Informationen

P. Puschner:
"Hard Real-Time Programming is Different";
Vortrag: 17th International Parallel and Distributed Processing Symposium, Nice, France; 22.04.2003 - 26.04.2003; 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), S. 117 - 118.

Zusätzliche Informationen

P. Puschner:
"Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures";
Vortrag: Euromicro International Workshop on WCET Analysis, Vienna, Austria; 18.06.2002; in: "Proceedings of the 2nd Euromicro International Workshop on WCET Analysis", (2002).

Zusätzliche Informationen

P. Puschner:
"Making Real-Time Tasks Temporally Predictable";
Vortrag: ARTES Real-Time Graduate Student Conference, Uppsala, Sweden; 18.04.2002 - 19.04.2002; in: "Proceedings of the ARTES Real-Time Graduate Student Conference ", (2002), S. 7.

Zusätzliche Informationen

P. Puschner:
"The Single-Path Approach Towards WCET-Analysable Software";
Vortrag: IEEE International Conference on Industrial Technology, Maribor, Slovenia; 10.12.2003 - 12.12.2003; in: "Proceedings of IEEE International Conference on Industrial Technology", (2003), S. 699 - 704.

Zusätzliche Informationen

P. Puschner, G. Bernat:
"WCET Analysis of Reusable Portable Code";
Vortrag: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 01.11.2001; in: "Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS)", (2001), S. 45 - 52.

Zusätzliche Informationen

P. Puschner, A. Burns:
"Writing Temporally Predictable Code";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), San Diego, USA; 07.01.2002 - 09.01.2002; in: "Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2002), S. 85 - 91.

Zusätzliche Informationen

P. Puschner, B. Cilku, D. Prokesch:
"Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control";
Vortrag: IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; 21.09.2016 - 23.09.2016; 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; S. 321 - 328.

Zusätzliche Informationen

P. Puschner, B. Frömel:
"Composable Component Interfaces for Time-Triggered Systems";
Vortrag: 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK; 19.05.2016; in: "Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops", (2016).

Zusätzliche Informationen

P. Puschner, B. Frömel:
"Composable Component Interfaces for Time-Triggered Systems";
Vortrag: 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 10.06.2019 - 14.06.2019; in: "8th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2019), 4 S.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"Avoiding Timing Problems in Real-Time Software";
Vortrag: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 15.05.2003 - 16.05.2003; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), S. 75 - 78.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"From Time-Triggered to Time-Deterministic Real-Time Systems";
Vortrag: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (eingeladen); 11.10.2006 - 13.10.2006; in: "5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings", Springer, (2006), ISBN: 0-387-39361-7; S. 115 - 124.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"Interfacing to Time-Triggered Communication Systems";
Vortrag: IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; 07.05.2019 - 09.05.2019; in: "Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)", IEEE, (2019), ISSN: 2375-5261; 8 S.

Zusätzliche Informationen

P. Puschner, R. Kirner:
"Model-Driven Design and Organic Computing -- Combinable Strategies?";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 17.03.2009 - 20.03.2009; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), S. 101.

P. Puschner, R. Kirner, R. Pettit:
"Towards Composable Timing for Real-Time Software";
Vortrag: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 17.03.2009 - 18.03.2009; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; S. 1 - 5.

Zusätzliche Informationen

P. Puschner, R. Kirner, D. Prokesch, B. Huber:
"Compiling for Time Predictability";
Vortrag: ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany; 25.09.2012 - 28.09.2012; in: "Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops", Lecture Notes in Computer Science / Springer, 7613 (2012), ISBN: 978-3-642-33674-4; S. 382 - 391.

Zusätzliche Informationen

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The T-CREST Approach of Compiler and WCET-Analysis Integration";
Vortrag: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland (eingeladen); 17.06.2013 - 18.06.2013; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems", (2013).

P. Puschner, M. Schoeberl:
"On Composable System Timing, Task Timing, and WCET Analysis";
Vortrag: WCET 2008, Prague, Czech Republic; 01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; S. 91 - 101.

Zusätzliche Informationen

P. Puschner, A. Wellings:
"A Profile for High-Integrity Real-Time Java Programs";
Vortrag: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Magdeburg, Germany; 02.05.2001 - 04.05.2001; in: "Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)", (2001), S. 15 - 22.

Zusätzliche Informationen

B. Rieder, P. Puschner:
"Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls";
Poster: Junior Scientist Conference 2008, Wien; 16.11.2008 - 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; S. 101 - 102.

B. Rieder, P. Puschner, I. Wenzel:
"Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis";
Vortrag: Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; 10.07.2008 - 11.07.2008; in: "Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems", IEEE Computer Society, (2008), ISBN: 978-3-00-024989-1; S. 3 - 9.

Zusätzliche Informationen

B. Rieder, I. Wenzel, K. Steinhammer, P. Puschner:
"Using a Runtime Measurement Device with Measurement-Based WCET Analysis";
Poster: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 30.05.2007 - 01.06.2007; in: "Embedded System Design: Topics, Techniques and Trends", Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; S. 15 - 26.

Zusätzliche Informationen

C. Scheidler, P. Puschner, S. Boutin, E. Fuchs, G. Grünsteidl, Y. Papadopoulos, J. Rennhack, U. Virnich:
"Systems Engineering of Time-Triggered Architectures - The SETTA Approach";
Vortrag: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 29.11.2000 - 01.12.2000; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), S. 55 - 60.

Zusätzliche Informationen

C. Schmittner, T. Gruber, P. Puschner, E. Schoitsch:
"Security Application of Failure Mode and Effect Analysis (FMEA)";
Vortrag: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 10.09.2014 - 12.09.2014; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; S. 310 - 325.

Zusätzliche Informationen

M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner:
"Best Practice for Caching of Single-Path Code";
Vortrag: 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; 27.06.2017; in: "Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)", Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6; S. 1 - 12.

Zusätzliche Informationen

M. Schoeberl, P. Puschner:
"Is Chip-Multiprocessing the End of Real-Time Scheduling?";
Vortrag: 9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; 30.06.2009; in: "Worst-Case Execution Time (WCET) Analsysis", Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6; S. 96 - 106.

Zusätzliche Informationen

M. Schoeberl, P. Puschner, R. Kirner:
"A Single-Path Chip-Multiprocessor System";
Vortrag: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 16.11.2009 - 18.11.2009; 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; S. 47 - 57.

Zusätzliche Informationen

I. Smaili, P. Puschner:
" Monitoring Data Types in Distributed Real -Time Systems";
Vortrag: IEEE International Conference on Computational Cybernetics, Vienna, Austria; 30.08.2004 - 01.09.2004; in: "Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004)", (2004), ISBN: 3-902463-01-5; S. 163 - 168.

Zusätzliche Informationen

D. Steiner, P. Puschner:
"Error detection based on execution-time monitoring";
Vortrag: 6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro; 11.06.2017 - 15.06.2017; in: "Proceedings 6th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2017), ISBN: 978-1-5090-6742-8; 5 S.

Zusätzliche Informationen

I. Wenzel, R. Kirner, P. Puschner, B. Rieder:
"Principles of Timing Anomalies in Superscalar Processors";
Vortrag: International Conference on Quality Software (QSIC), Melbourne, Australia; 19.09.2005 - 20.09.2005; in: "Proceedings of the Fifth International Conference on Quality Software", PR2472 (2005), ISBN: 0-7695-2472-9; S. 295 - 303.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
Vortrag: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 07.05.2007 - 08.05.2007; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper-Nr. p2A-2, 12 S.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Timing Analysis";
Vortrag: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 13.10.2008 - 15.10.2008; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; S. 430 - 444.

Zusätzliche Informationen

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Worst-Case Execution Time Analysis";
Vortrag: IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; 16.05.2005 - 17.05.2005; in: "Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)", IEEE, (2005), ISBN: 0-7695-2357-9; S. 7 - 10.

Zusätzliche Informationen

I. Wenzel, B. Rieder, R. Kirner, P. Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking";
Vortrag: Conference on Design, Automation and Test in Europe, Munich, Germany; 07.03.2005 - 11.03.2005; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; S. 606 - 611.

Zusätzliche Informationen


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


S. Kandl, M. Elshuber, P. Puschner:
"Formal Verification at System Level";
Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 20.01.2014 - 22.01.2014.

P. Puschner, R. Kirner:
"Timing Analysis for Embedded Systems and Time-Predictable Computing";
Poster: Siemens PSE Technology Day, Vienna, Austria; 25.11.2005.

Zusätzliche Informationen

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration";
Vortrag: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris (eingeladen); 08.07.2013 - 09.07.2013.


Dissertationen (eigene und begutachtete)


S. Kandl:
"A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, R. Kirner; 182, 2010; Rigorosum: 17.11.2010.

Zusätzliche Informationen

B. Rieder:
"Measurement-Based Timing Analysis of Applications written in ANSI-C";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; Rigorosum: 26.06.2009.

M. Schöberl:
"JOP: A Java Optimized Processor for Embedded Real-Time Systems";
Betreuer/in(nen), Begutachter/in(nen): A. Steininger, P. Puschner; Technische Informatik, E182, 2005; Rigorosum: 2005.

Zusätzliche Informationen

I. Smaili:
"Real-Time Monitoring for the Time-Triggered Architecture";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, U. Egly; Institut für Technische Informatik, 2004.

Zusätzliche Informationen

I. Wenzel:
"Measurement-Based Timing Analysis of Superscalar Processors";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; Rigorosum: 16.01.2007.


Diplom- und Master-Arbeiten (eigene und betreute)


G. Freiberger:
"Integration of Worst-Case Execution Time Analysis and C Code Synthesis";
Betreuer/in(nen): P. Puschner, R. Lang; Institut für Technische Informatik, 2001.

Zusätzliche Informationen

M. Kirner:
"Automatic Loop Bound Analysis of Programs written in C";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; Abschlussprüfung: 2006.

Zusätzliche Informationen

R. Kirner:
"Integration of Static Runtime Analysis and Program Compilation";
Betreuer/in(nen): P. Puschner; Institut für Technische Informatik, 2000.

Zusätzliche Informationen

B. Krizan:
"A unit-test platform for design tools for fault-tolerant real-time systems";
Betreuer/in(nen): P. Puschner, R. Kirner; E188-1, 2007.

Zusätzliche Informationen

L Müller:
"Performance Demonstrator";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2002.

Zusätzliche Informationen

J. Trojer:
"Requirement Classification of Dependable Real-Time Systems";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2007.

Zusätzliche Informationen

M. Weiskirchner:
"JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes";
Betreuer/in(nen): P. Puschner; Institut für Technische Informatik, 2001.

Zusätzliche Informationen

I. Wenzel:
"Principles of Timing Anomalies in Superscalar Processors";
Betreuer/in(nen): P. Puschner, R. Kirner; Institut für Technische Informatik, 2003.

Zusätzliche Informationen


Wissenschaftliche Berichte


I. Bate, G. Bernat, P. Puschner:
"Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis";
2002.

Zusätzliche Informationen

R. Kirner, R. Lang, G. Freiberger, P. Puschner:
"Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models";
2002.

Zusätzliche Informationen

R. Kirner, P. Puschner:
"International Workshop on SCET Analysis - Summary";
2002.

Zusätzliche Informationen

H. Kopetz, G. Bauer, R. Obermaisser, P. Peti, P. Puschner:
"The Time-Triggered Architecture: Short Summary of Recent Work and Future Trends";
2004.

M. Paulitsch, P. Puschner:
"Non-Interfering Multi-Cluster Clock Synchronization";
2002.

Zusätzliche Informationen

P. Puschner:
"Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures";
2002.

Zusätzliche Informationen

P. Puschner:
"Making Real-Time Tasks Temporally Predictable";
2002.

Zusätzliche Informationen

P. Puschner:
"Transforming Execution-time Boundable Code into Temporally Predictable Code";
2002.

Zusätzliche Informationen

P. Puschner:
"Worst-Case Execution-Time Analysis: Short Summary of Recent Work and Future Trends";
2004.

U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall:
"Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster";
2005.

J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer:
"Projektbericht Technische Informatik: Seamless Campus";
Bericht für Technical Report 183/1-135, Department of Automation, Technische Universität Wien; 2003.