Knoop, J., Kovács, L., & Zwirchmayr, J. (2017). Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution. Journal of Symbolic Computation, 80, 101–124. https://doi.org/10.1016/j.jsc.2016.07.023 ( reposiTUm)

Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., … Tocchi, A. (2015). T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture, 61(9), 449–471. https://doi.org/10.1016/j.sysarc.2015.04.002 ( reposiTUm)

Knoop, J., & Schreiner, D. (2013). Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international. OCG Journal, 38(1), 4–6. http://hdl.handle.net/20.500.12708/154902 ( reposiTUm)

Schreiner, D., Barany, G., Schordan, M., & Knoop, J. (2013). Comparison of type-based and alias-based component recognition for embedded systems software. International Journal on Software Tools for Technology Transfer, 15(1), 41–52. https://doi.org/10.1007/s10009-012-0251-0 ( reposiTUm)

Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., & Gliwa, P. (2013). Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code. International Journal on Software Tools for Technology Transfer, 15(1), 53–63. https://doi.org/10.1007/s10009-012-0255-9 ( reposiTUm)

Salapura, V., Gschwind, M., & Knoop, J. (2012). Guest Editorial: Parallel Systems and Compilers. International Journal of Parallel Programming, 40, 1–3. https://doi.org/10.1007/s10766-011-0188-z ( reposiTUm)

Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Kadlec, A. (2011). Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis. Software and Systems Modeling, 10(3), 411–437. https://doi.org/10.1007/s10270-010-0161-0 ( reposiTUm)

Li, L., Xue, J., & Knoop, J. (2010). Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs. ACM Transactions on Embedded Computing Systems, 10(2), 1–42. https://doi.org/10.1145/1880050.1880064 ( reposiTUm)

Knoop, J., Necula, G., & Zimmermann, W. (2007). Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface. Electronic Notes in Theoretical Computer Science, 176(3). https://doi.org/10.1016/j.entcs.2007.06.002 ( reposiTUm)

Knoop, J. (2006). Reports of Members of the Extended Boards. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 39–40. http://hdl.handle.net/20.500.12708/173428 ( reposiTUm)

Knoop, J. (2006). The Software Analysis and Verification Column. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 10–13. http://hdl.handle.net/20.500.12708/173429 ( reposiTUm)

Knoop, J. (2006). Report on ETAPS 2006. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 42–47. http://hdl.handle.net/20.500.12708/173427 ( reposiTUm)

Knoop, J. (2005). The “Software Analysis and Verification” Column. European Association of Software Science and Technology (EASST) Newsletters, 10(1), 2. http://hdl.handle.net/20.500.12708/173364 ( reposiTUm)

Maroun, E. J., Dengler, E., Dietrich, C., Hepp, S., Herzog, H., Huber, B., Knoop, J., Wiltsche-Prokesch, D., Puschner, P., Raffeck, P., Schoeberl, M., Schuster, S., & Wägemann, P. (2024). The Platin Multi-Target Worst-Case Analysis Tool. In T. Carle (Ed.), 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) (pp. 2:1-2:14). Schloss Dagstuhl. https://doi.org/10.4230/OASIcs.WCET.2024.2 ( reposiTUm)

Hepp, S., Huber, B., Knoop, J., Prokesch, D., & Puschner, P. (2015). The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee, Austria. http://hdl.handle.net/20.500.12708/56394 ( reposiTUm)

Brandner, F., & Knoop, J. (2015). Exchange between the German and French Compiler Communities. In J. Knoop & M. A. Ertl (Eds.), Programmiersprachen und Grundlagen der Programmierung (pp. 83–84). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56433 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds. In 21st International Conference on Real-Time Networks and Systems. Acm Dl. http://hdl.handle.net/20.500.12708/54743 ( reposiTUm)

Biere, A., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). SmacC: A Retargetable Symbolic Execution Engine. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013. Dang Van Hung and Mizuhito Ogawa, Austria. Springer LNCS 8172. http://hdl.handle.net/20.500.12708/54744 ( reposiTUm)

Biere, A., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). The Auspicious Couple: Symbolic Execution and WCET Analysis. In C. Maiza (Ed.), Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) (pp. 51–60). http://hdl.handle.net/20.500.12708/54652 ( reposiTUm)

Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The T-CREST Approach of Compiler and WCET-Analysis Integration. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland, EU. http://hdl.handle.net/20.500.12708/55037 ( reposiTUm)

Zwirchmayr, J., Kovacs, L., Knoop, J., Bonenfant, A., Cassé, H., & Rochange, C. (2012). FFX: A Portable WCET Annotation Language. In 20th International Conference on Real-Time and Network Systems (pp. 91–100). ACM. http://hdl.handle.net/20.500.12708/54270 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Symbolic Loop Bound Computation for WCET Analysis. In Ershov Informatic Conference, PSI Series, 8th Edition (pp. 224–239). Springer-Verlag, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/53669 ( reposiTUm)

Zwirchmayr, J., Knoop, J., & Kovacs, L. (2012). r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). In N. Bjørner & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 435–444). Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-642-28717-6_34 ( reposiTUm)

Schreiner, D., & Knoop, J. (2011). iRIS - Towards a Robotic Immune System. In M. Hofbaur & M. Husty (Eds.), Proceedings of the Austrian Robotics Workshop 2011 (pp. 22–34). UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, UMIT. http://hdl.handle.net/20.500.12708/54032 ( reposiTUm)

Brunthaler, S. (2011). Interpreter Instruction Scheduling. In J. Knoop (Ed.), Compiler Construction : 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings (pp. 164–178). Springer. https://doi.org/10.1007/978-3-642-19861-8_10 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation). In Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’11) (p. 200). Westfälische Wilhelms-Universität Münster. http://hdl.handle.net/20.500.12708/54044 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract). In MEMICS Proceedings (p. 119). http://hdl.handle.net/20.500.12708/54021 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis. In 28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte. 28. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte,” Bad Honnef, EU. Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/53670 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds. In C. Healy (Ed.), Proc. 11’th International Workshop on Worst-Case Execution Time Analysis (pp. 93–103). Österreichische Computer Gesellschaft - OCG. http://hdl.handle.net/20.500.12708/53668 ( reposiTUm)

Schreiner, D. (2010). A Software Design Methodology for Mobile Autonomous Robots. In D. Schreiner & J. Knoop (Eds.), Proceedings of the 5th Austrian RoboCup Workshop (p. 6). http://hdl.handle.net/20.500.12708/53576 ( reposiTUm)

Brunthaler, S., & Knoop, J. (2010). Elimination of Reference Count Operations in Bytecode Interpreters. In Proceedings Junior Scientist Conference 2010 (JSC 2010) (pp. 39–40). Vienna University of Technology. http://hdl.handle.net/20.500.12708/53590 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2010). Towards an Orchestrated Approach for Annotation Verification. In M. Hanus & F. Reck (Eds.), 27. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte” (pp. 71–85). Christian-Albrechts-Universität Kiel, Deutschland. http://hdl.handle.net/20.500.12708/53587 ( reposiTUm)

Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., & Gliwa, P. (2010). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II (pp. 449–463). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_41 ( reposiTUm)

Knoop, J., & Zimmermann, W. (2010). On the Role of Non-Functional Properties in Compiler Verification. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II (pp. 491–495). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_46 ( reposiTUm)

Altman, E., Childers, B. R., Cohn, R., Davidson, J., Brosschere, K. D., Sutter, B. D., Ertl, M. A., Franz, M., Gu, Y., Hauswirth, M., Heinz, T., Hsu, W.-C., Knoop, J., Krall, A., Kumar, N., Maebe, J., Muth, R., Rival, X., Rohou, E., … Vick, C. (2009). 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation. In Emerging Uses and Paradigms for Dynamic Binary Translation (No. 08441). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/DagSemProc.08441.2 ( reposiTUm)

Knoop, J. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen (p. 13). Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3. http://hdl.handle.net/20.500.12708/52782 ( reposiTUm)

Barany, G. (2009). SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis. In A. Prantl & J. Knoop (Eds.), Programmiersprachen und Grundlagen der Programmierung (pp. 27–37). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52789 ( reposiTUm)

Kirner, R., Zimmermann, W., & Richter, D. (2009). On Undecidability Results of Real Programming Languages. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 141–154). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52915 ( reposiTUm)

Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband (pp. 7–21). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53094 ( reposiTUm)

Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (p. 67). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53093 ( reposiTUm)

Schreiner, D., Schordan, M., & Knoop, J. (2009). Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2009.46 ( reposiTUm)

Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen (p. 8). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53095 ( reposiTUm)

Puntigam, F. (2009). How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 231–242). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52879 ( reposiTUm)

Prantl, A., Knoop, J., & Schordan, M. (2009). Persistent Analysis Results. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/53001 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 155–166). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52781 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Schordan, M., & Kadlec, A. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009) (pp. 35–45). http://hdl.handle.net/20.500.12708/52710 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (pp. 39–49). Verlag Oesterreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52855 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (p. 11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52856 ( reposiTUm)

Kirner, R., & Haas, W. (2009). Automatic Calculation of Coverage Profiles for Coverage-based Testing. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 126–140). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52914 ( reposiTUm)

Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 141–148). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52406 ( reposiTUm)

Holsti, N., Gustafsson, J., Bernat, G., Ballabriga, C., Bonenfant, A., Bourgade, R., Cassé, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokuciejewski, P., Merriam, N., de Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., & Schordan, M. (2008). WCET Tool Challenge 2008: Report. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 149–171). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52407 ( reposiTUm)

Prantl, A., & Knoop, J. (2008). An integrated source-to-source approach to WCET analysis. In Proceedings of the Junior Scientist Conference 2008 (pp. 45–46). http://hdl.handle.net/20.500.12708/52409 ( reposiTUm)

Brunthaler, S., & Knoop, J. (2008). Optimizing the Python interpreter: Identifying performance bottlenecks. In Proceedings of the Junior Scientist Conference 2008 (pp. 41–42). http://hdl.handle.net/20.500.12708/52437 ( reposiTUm)

Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Tool for Worst-Case Execution Time Analysis. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52350 ( reposiTUm)

Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Languge: Essential Ingredients. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 53–65). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52349 ( reposiTUm)

Schreiner, D., Göschka, K. M., & Knoop, J. (2008). Component Based Communication Middleware for AUTOSAR. In Proceedings of Junior Scientist Conference 2008 (pp. 113–114). http://hdl.handle.net/20.500.12708/52554 ( reposiTUm)

Kadlec, A., Kirner, R., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Language: Essential Ingredients. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52531 ( reposiTUm)

Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Dagstuhl Seminar Proceedings 08003 (p. 8). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52455 ( reposiTUm)

Knoop, J. (2008). Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis. In F. Martin, H. R. Nielson, C. Riva, & M. Schordan (Eds.), Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis (pp. 1–14). Schloss Dagstuhl, Leibniz-Zentrum für Informatik. http://hdl.handle.net/20.500.12708/52460 ( reposiTUm)

Knoop, J. (2008). Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field. In Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation (p. 6). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52461 ( reposiTUm)

Kadlec, A., Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2008). WCET Annotation Languages Reconsidered: The Annotation Language Challenge. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52530 ( reposiTUm)

Prantl, A., Knoop, J., Schordan, M., & Triska, M. (2008). Constraint solving for high-level WCET analysis. In The 18th Workshop on Logic-based methods in Programming Environments (pp. 77–89). http://hdl.handle.net/20.500.12708/52410 ( reposiTUm)

Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (pp. 83–99). http://hdl.handle.net/20.500.12708/51989 ( reposiTUm)

Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07) (pp. 77–92). http://hdl.handle.net/20.500.12708/52007 ( reposiTUm)

Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. In Proceedings of the 14. Kolloquium Programmiersprachen (pp. 124–131). Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck. http://hdl.handle.net/20.500.12708/52008 ( reposiTUm)

Xue, J., & Knoop, J. (2006). A fresh look at partial redundancy elimination as a maximum flow problem. In Proceedings of the 15th International Conference on Compiler Construction (pp. 139–154). Lecture Notes in Computer Science, Springer Verlag. http://hdl.handle.net/20.500.12708/51631 ( reposiTUm)

Xue, J., & Knoop, J. (2006). A fresh look at partial redundancy elimination as a maximum flow problem. In Softwaretechnik-Trends. 23rd Annual Workshop of the GI-FG 2.1.4 “Programmiersprachen und Rechenkonzepte,” Physikzentrum Bad Honnef, Germany, EU. Softwaretechnik-Trends. http://hdl.handle.net/20.500.12708/51632 ( reposiTUm)

Altman, E., Dehnert, J., Kessler, C., & Knoop, J. (2005). Executive Summary on the Dagstuhl-Seminar 05101. In Dagstuhl-Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges. Dagstuhl Research. http://hdl.handle.net/20.500.12708/51228 ( reposiTUm)

Architecture of Computing Systems - ARCS 2017. (2017). In J. Knoop, W. Karl, M. Schulz, K. Inoue, & T. Pionteck (Eds.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-54999-6 ( reposiTUm)

Knoop, J., & Zdun, U. (Eds.). (2016). Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik. Köllen Druck+Verlag GmbH. http://hdl.handle.net/20.500.12708/24113 ( reposiTUm)

Knoop, J., & Ertl, M. A. (Eds.). (2015). 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015). Institut für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/24103 ( reposiTUm)

Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2. http://hdl.handle.net/20.500.12708/22946 ( reposiTUm)

Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3. http://hdl.handle.net/20.500.12708/22947 ( reposiTUm)

Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1. http://hdl.handle.net/20.500.12708/22945 ( reposiTUm)

Knoop, J., & Skala, V. (Eds.). (2006). Journal of .NET Technolgies. UNION Agency. http://hdl.handle.net/20.500.12708/22326 ( reposiTUm)

Knoop, J., Schordan, M., Johnson, T., & O´Boyle, M. F. P. (Eds.). (2018). Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM. https://doi.org/10.1145/3179541 ( reposiTUm)

Knoop, J. (Ed.). (2011). Compiler Construction. Springer. https://doi.org/10.1007/978-3-642-19861-8 ( reposiTUm)

Salapura, V., Gschwind, M., & Knoop, J. (Eds.). (2010). Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques. ACM Press. http://hdl.handle.net/20.500.12708/23270 ( reposiTUm)

Drechsler, R., Glesner, S., Knoop, J., & Zimmermann, W. (Eds.). (2008). Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008). Budapest University of Technology and Economics. http://hdl.handle.net/20.500.12708/22852 ( reposiTUm)

Glesner, S., Knoop, J., & Zimmermann, W. (Eds.). (2007). Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007). Elsevier. http://hdl.handle.net/20.500.12708/22354 ( reposiTUm)

Knoop, J., Necula, G., & Zimmermann, W. (Eds.). (2006). Fifth International Workshop on Compiler Optimization Meets Compiler Verification. TU Wien, EAPLS, EASST und EATCS. http://hdl.handle.net/20.500.12708/22325 ( reposiTUm)

Knoop, J., & Skala, V. (Eds.). (2006). Short Communication Papers Proceedings of the .NET Technologies 2006. UNION Agency. http://hdl.handle.net/20.500.12708/22328 ( reposiTUm)

Knoop, J., & Skala, V. (Eds.). (2006). Full Paper Proceedings of the 4th .NET Technologies 2006. UNION Agency. http://hdl.handle.net/20.500.12708/22327 ( reposiTUm)

Knoop, J., Necula, G., & Zimmermann, W. (Eds.). (2005). Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2. Elsevier. http://hdl.handle.net/20.500.12708/22289 ( reposiTUm)

Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002). (2003). In J. Knoop & W. Zimmermann (Eds.), Journal of Universal Computer Science. Springer. http://hdl.handle.net/20.500.12708/22274 ( reposiTUm)

Knoop, J., & Schreiner, D. (2016). Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment. 57th IFIP WG 2.4 Meeting “Software Implementation Technology,” Victoria, BC, Canada. http://hdl.handle.net/20.500.12708/86275 ( reposiTUm)

Knoop, J. (2015). Verifying the Timing Behaviour of Real-Time Systems. Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog, Oldenburg, Germany. http://hdl.handle.net/20.500.12708/86254 ( reposiTUm)

Knoop, J. (2015). Towards Targeted and Transparent Worst-Case Execution Time Optimization. 56th Meeting of the IFIP WG 2.4 Software Implementation Technology, Boppard, Germany. http://hdl.handle.net/20.500.12708/86250 ( reposiTUm)

Knoop, J. (2015). Towards Transparent Worst-Case Execution Time Optimization. 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany. http://hdl.handle.net/20.500.12708/86251 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution. 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe), Vienna, Austria. http://hdl.handle.net/20.500.12708/85811 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). The Five P’s of Inferring Proven Precise Worst-Case Execution Time Bounds. 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Stellenbosch, Non-EU. http://hdl.handle.net/20.500.12708/86020 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus. Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack, Kiel, Germany. http://hdl.handle.net/20.500.12708/85806 ( reposiTUm)

Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration. July’13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris, EU. http://hdl.handle.net/20.500.12708/85575 ( reposiTUm)

Knoop, J. (2013). Panel on “Challenges and Opportunities for WCET Analysis Tools: A Tool Developer’s Perspective.” July’13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris, EU. http://hdl.handle.net/20.500.12708/85574 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). WCET Squeezing by On-demand Feasibility Refinement. 53rd Meeting of the IFIP Working Group 2.4 “Software Implementation Technology,” Mysore, Non-EU. http://hdl.handle.net/20.500.12708/85551 ( reposiTUm)

Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution. 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Peking, Non-EU. http://hdl.handle.net/20.500.12708/85808 ( reposiTUm)

Knoop, J. (2012). Panel zu “Dissertationen in der Software-Technik.” Doktoranden-Symposium der Software Engineering 2012 (DS-SE 2012), Berlin, Germany, EU. http://hdl.handle.net/20.500.12708/85330 ( reposiTUm)

Bonenfant, A., Cassé, H., de Michiel, M., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Portable Worst-Case Execution Time Analysis. 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Vadstena, Schweden, EU. http://hdl.handle.net/20.500.12708/85538 ( reposiTUm)

Bonenfant, A., Cassé, H., de Michiel, M., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Portable Worst-Case Execution Time Analysis via Flow Facts in XML. 29th Annual Workshop of the GI-Fachgruppe “Programmiersprachen und Rechenkonzepte,” Bad Honnef, Deutschland, EU. http://hdl.handle.net/20.500.12708/85537 ( reposiTUm)

Knoop, J. (2011). Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox. 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Cape May, NJ, Non-EU. http://hdl.handle.net/20.500.12708/85261 ( reposiTUm)

Knoop, J. (2011). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 28th Annual Workshop of the GI-FG 2.1.4 “Programmiersprachen und Rechenkonzepte,” Physikzentrum Bad Honnef, Deutschland, EU. http://hdl.handle.net/20.500.12708/85262 ( reposiTUm)

Knoop, J. (2010). Future of European Scientific Societies in Informatics (panel discussion). 6th Annual European Computer Science Summit (ECSS 2010), Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/85089 ( reposiTUm)

Knoop, J. (2010). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 50th IFIP WG 2.4 Meeting on Software Implementation Technology, Lutherstadt Wittenberg, Deutschland, EU. http://hdl.handle.net/20.500.12708/85088 ( reposiTUm)

Knoop, J. (2010). Behaviour-Carrying Code. 49th IFIP WG 2.4 Meeting on Software Implementation Technology, Berg en Terblijt near Maastricht, The Netherlands, EU. http://hdl.handle.net/20.500.12708/84981 ( reposiTUm)

Knoop, J. (2010). ’Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion). Celebration of 10 Years of EASST at ETAPS 2010, Paphos (Cyprus), EU. http://hdl.handle.net/20.500.12708/84990 ( reposiTUm)

Knoop, J. (2009). Constant Propagation w/ SSA- and Predicated SSA Form. Static Single-Assignment Form Seminar, Autrans, Frankreich, EU. http://hdl.handle.net/20.500.12708/84869 ( reposiTUm)

Knoop, J. (2009). From Trusted Annotations to Verified Knowledge. 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Port Townsend, WA, USA, Non-EU. http://hdl.handle.net/20.500.12708/84872 ( reposiTUm)

Knoop, J. (2009). Current Research at the CompLang Group: Robots and More! Austrian Robotics Summit, Graz, Austria. http://hdl.handle.net/20.500.12708/84876 ( reposiTUm)

Knoop, J. (2009). From Trust to Proof - Beyond Verifying Functional Program Properties. Informatik-Kolloquium, FernUniversität Hagen, Fakultät für Mathematik und Informatik, EU. http://hdl.handle.net/20.500.12708/84889 ( reposiTUm)

Knoop, J. (2009). Timing Properties: Beyond Verifying Functional Program Properties. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK, EU. http://hdl.handle.net/20.500.12708/84877 ( reposiTUm)

Knoop, J. (2009). From Trust to Proof - Beyond Verifying Functional Program Properties. Informatik-Kolloquium, FernUniversität Hagen, Fakultät für Mathematik und Informatik, EU. http://hdl.handle.net/20.500.12708/84897 ( reposiTUm)

Knoop, J. (2008). Essential Ingredients for a WCET Annotation Language. 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Bormio, EU. http://hdl.handle.net/20.500.12708/84823 ( reposiTUm)

Knoop, J. (2008). Current Research at the Complang Group: Timing Analyses and More. Forschungskolloquium des Research Institute for Symbolic Computation RISC, Johannes-Kepler-Universität Linz, Hagenberg bei Linz, Austria. http://hdl.handle.net/20.500.12708/84803 ( reposiTUm)

Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84646 ( reposiTUm)

Knoop, J. (2007). Worst-Case Execution Time Analysis: The Annotation Language Challenge. 46th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Lake Arrowhead, California, USA, Non-EU. http://hdl.handle.net/20.500.12708/84647 ( reposiTUm)

Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84645 ( reposiTUm)

Knoop, J. (2006). Non-Standard Techniques for Program Analysis and Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84545 ( reposiTUm)

Knoop, J. (2006). Worst-Case Execution Time Analysis: The CoSTA-Approach. 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Glasgow, Scotland, UK, EU. http://hdl.handle.net/20.500.12708/84544 ( reposiTUm)

Knoop, J. (2006). From Mozart and Freud to .Net Technologies. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Plzen, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84546 ( reposiTUm)

Knoop, J. (2005). A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report. 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Jackson’s Mill, Weston, West Virginia, USA, Non-EU. http://hdl.handle.net/20.500.12708/84482 ( reposiTUm)

Knoop, J., Bruntink, M., & McMinn, P. (2005). Slicing -- 10 Years from Now! Dagstuhl Seminar 05451: Beyond Program Slicing, Schloss Dagstuhl, EU. http://hdl.handle.net/20.500.12708/84483 ( reposiTUm)

Knoop, J. (2005). Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau. Kolloquium Universität Karlsruhe, Karlsruhe, Deutschland, EU. http://hdl.handle.net/20.500.12708/84481 ( reposiTUm)

Knoop, J. (2004). Code Motion: A Non-Refinining Optimizing Transformation. 11th International Workshop on Abstract State Machines (ASM 2004), Wittenberg, Germany, EU. http://hdl.handle.net/20.500.12708/84350 ( reposiTUm)

Knoop, J. (2004). Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara, Romania, Austria. http://hdl.handle.net/20.500.12708/84349 ( reposiTUm)

Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau. Colloquium Universität Halle-Wittenberg, Halle-Wittenberg, Germany, Austria. http://hdl.handle.net/20.500.12708/84352 ( reposiTUm)

Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau. Colloquium Universität Potsdam, Potsdam, Germany, Austria. http://hdl.handle.net/20.500.12708/84351 ( reposiTUm)

Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung. Colloquium Rheinisch-Westfälische Technische Hochschule Aachen, Aachen, Germany, Austria. http://hdl.handle.net/20.500.12708/84354 ( reposiTUm)

Knoop, J. (2004). Parallelism -- Somtimes it is for Free. 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Brisbane, Australia, Austria. http://hdl.handle.net/20.500.12708/84353 ( reposiTUm)

Knoop, J. (2003). Constant Propagation on the Value Graph: Simple Constants and Beyond. 20th Annual Workshop of the Fachgruppe 2.1.4 “Programmiersprachen und Rechenkonzepte” der Gesellschaft für Informatik, Physikzentrum Bad Honnef, Germany, Austria. http://hdl.handle.net/20.500.12708/84250 ( reposiTUm)

Knoop, J. (2003). Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation. IFIP Working Group 2.4 on Software Implementation Technology, Santa Cruz, CA, USA, Austria. http://hdl.handle.net/20.500.12708/84247 ( reposiTUm)

Knoop, J. (2003). Code Size vs. Execution-Time Optimization - Towards Getting Both. Dagstuhl Seminar 03071, Schloss Dagstuhl, Wandern,Germany, Austria. http://hdl.handle.net/20.500.12708/84249 ( reposiTUm)

Knoop, J. (2003). Code Size vs. Run-Time Optimization: Towards Getting Both. Kolloquium FernUniversität Hagen, Hagen, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84248 ( reposiTUm)

Hamböck, T., Hofmann, A., Knoop, J., & Schreiner, D. (2014). Austrian-Kangaroos 2014 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/38065 ( reposiTUm)

Bader, M., Hofmann, A., Knoop, J., Schreiner, D., & Vincze, M. (2012). Austrian-Kangaroos 2012 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/37233 ( reposiTUm)

Schreiner, D., Hofmann, A., Knoop, J., Miller, B., Bader, M., & Vincze, M. (2011). Austrian-Kangaroos 2011 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/37232 ( reposiTUm)