|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 101 | | Bouhoula, Adel ; Buchberger, Bruno ; Kovacs, Laura ; Kutsia, Temur | Special issue on symbolic computation in software science | Buch Book | 2015 |
| 102 | | Knoop, Jens ; Ertl, Martin Anton | 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) | Buch Book | 2015 |
| 103 | | Bouhoula, Adel ; Buchberger, Bruno ; Kovács, Laura ; Kutsia, Temur | Foreword to the Special Issue on Symbolic Computation in Software Science | Artikel Article  | 2015 |
| 104 | | Scheller, Thomas ; Kühn, Eva | Automated measurement of API usability: The API Concepts Framework | Artikel Article | 2015 |
| 105 | | Raab, Markus | Safe Management of Software Configuration | Konferenzbeitrag Inproceedings | 2015 |
| 106 | | Drenjanac, Domagoj ; Tomic, Slobodanka D.K. ; Kühn, Eva | A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets | Konferenzbeitrag Inproceedings | 2015 |
| 107 | | Ertl, Martin Anton | Forth 200xTreffen auf der EuroForth 2015 | Spezialbeitrag Special Contribution | 2015 |
| 108 | | Schoeberl, Martin ; Abbaspour, Sahar ; Akesson, Benny ; Audsley, Neil ; Capasso, Raffaele ; Garside, Jamie ; Goossens, Kees ; Goossens, Sven ; Hansen, Scott ; Heckmann, Reinhold ; Hepp, Stefan ; Huber, Benedikt ; Jordan, Alexander ; Kasapaki, Evangelia ; Knoop, Jens ; Li, Yonghui ; Prokesch, Daniel ; Puffitsch, Wolfgang ; Puschner, Peter ; Rocha, André ; Silva, Cláudio ; Sparso, Jens ; Tocchi, Alessandro | T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems | Artikel Article | 2015 |
| 109 | | Hepp, Stefan ; Huber, Benedikt ; Knoop, Jens ; Prokesch, Daniel ; Puschner, Peter | The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration | Konferenzbeitrag Inproceedings | 2015 |
| 110 | | Brandner, Florian ; Knoop, Jens | Exchange between the German and French Compiler Communities | Konferenzbeitrag Inproceedings | 2015 |
| 111 | | Hamböck, Thomas ; Hofmann, Alexander ; Knoop, Jens ; Schreiner, Dietmar | Austrian-Kangaroos 2014 Team Qualification Document (TQD) | Bericht Report | 2014 |
| 112 | | Hepp, Stefan ; Huber, Benedikt ; Prokesch, Daniel | platin - A Toolkit for Compiler and WCET-Analysis Integration | Präsentation Presentation | 2014 |
| 113 | | Krall, Andreas | Correct Compilers for Correct Processors | Präsentation Presentation | 2014 |
| 114 | | Ertl, Martin Anton | Forth in "Grundlagen der Programmkonstruktion" | Präsentation Presentation | 2014 |
| 115 | | Barany, Gergö | Python Interpreter Performance Deconstructed | Präsentation Presentation | 2014 |
| 116 | | Barany, Gergö | Balancing Global Code Motion and Register Allocation | Präsentation Presentation | 2014 |
| 117 | | Barany, Gergö | Balancing Global Code Motion and Register Allocation | Präsentation Presentation | 2014 |
| 118 | | Ertl, Martin Anton | How to get rid of C | Präsentation Presentation | 2014 |
| 119 | | Dragan, Ioan | SAT solving experiments in Vampire | Präsentation Presentation | 2014 |
| 120 | | Dragan, Ioan | Lingva: Generating and Proving Program Properties using Symbol Elimination | Präsentation Presentation | 2014 |
