TU Wien Informatics

20 Years
Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Jens Knoop

Univ.Prof. Dipl.-Inf. Dr.rer.nat.

Research Focus

  • Computer Engineering: 30%
  • Information Systems Engineering: 20%
  • Logic and Computation: 50%

Research Areas

  • Optimizing Compilers, Program Analysis and Verification, Embedded Systems, Programming Languages, Programming Systems

About

1) Programming language theory, design and implementation; 2) Compilers, compiler verification; 3) Formal methods, tools and algorithms for static analysis, optimization and verification; 4) Compilation for high-performance and real-time computing, multi-core and embedded systems, resource analysis, worst-case execution time analysis;

Roles

Contact

2023W

2024S

 

2018

2017

2016

2015

  • Exchange between the German and French Compiler Communities / 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
  • The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / 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
  • T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / 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
  • Verifying the Timing Behaviour of Real-Time Systems / Knoop, J. (2015). Verifying the Timing Behaviour of Real-Time Systems. Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog, Oldenburg (Oldbg.), EU. http://hdl.handle.net/20.500.12708/86254
  • Towards Transparent Worst-Case Execution Time Optimization / Knoop, J. (2015). Towards Transparent Worst-Case Execution Time Optimization. 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, EU. http://hdl.handle.net/20.500.12708/86251
  • Towards Targeted and Transparent Worst-Case Execution Time Optimization / Knoop, J. (2015). Towards Targeted and Transparent Worst-Case Execution Time Optimization. 56th Meeting of the IFIP WG 2.4 Software Implementation Technology, Boppard, EU. http://hdl.handle.net/20.500.12708/86250
  • 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) / 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

2014

2013

2012

  • Austrian-Kangaroos 2012 Team Qualification Document (TQD) / 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
  • r-TuBound: Loop Bounds for WCET Analysis (Tool Paper) / 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
  • FFX: A Portable WCET Annotation Language / 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
  • Guest Editorial: Parallel Systems and Compilers / 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
  • Portable Worst-Case Execution Time Analysis / 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
  • Portable Worst-Case Execution Time Analysis via Flow Facts in XML / 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
  • Panel zu 'Dissertationen in der Software-Technik' / 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
  • Symbolic Loop Bound Computation for WCET Analysis / 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

2011

2010

2009

  • On Undecidability Results of Real Programming Languages / 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
  • Automatic Calculation of Coverage Profiles for Coverage-based Testing / 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
  • From Trusted Annotations to Verified Knowledge / 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
    Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
  • 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / 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
    Project: ALL-TIMES (2007–2010)
  • From Trust to Proof - Beyond Verifying Functional Program Properties / 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
  • From Trust to Proof - Beyond Verifying Functional Program Properties / 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
  • Timing Properties: Beyond Verifying Functional Program Properties / 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
    Project: ALL-TIMES (2007–2010)
  • Current Research at the CompLang Group: Robots and More! / 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
  • From Trusted Annotations to Verified Knowledge / 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
    Project: ALL-TIMES (2007–2010)
  • Constant Propagation w/ SSA- and Predicated SSA Form / 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
  • Inline Caching meets Quickening / 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
  • Inline Caching meets Quickening / 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
  • Persistent Analysis Results / 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
  • How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / 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
  • From Trusted Annotations to Verified Knowledge / 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
  • SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis / 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
    Project: ALL-TIMES (2007–2010)
  • From Trusted Annotations to Verified Knowledge / 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
    Project: ALL-TIMES (2007–2010)
  • From Trusted Annotations to Verified Knowledge / 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
  • Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach / 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
  • Inline Caching meets Quickening / 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
  • From Trusted Annotations to Verified Knowledge / 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
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen / 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
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband / 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
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung / 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

2008

  • Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) / 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
  • Constraint solving for high-level WCET analysis / 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
  • WCET Tool Challenge 2008: Report / 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
    Project: COSTA (2006–2009)
  • Essential Ingredients for a WCET Annotation Language / 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
  • Current Research at the Complang Group: Timing Analyses and More / 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
  • Component Based Communication Middleware for AUTOSAR / 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
  • Towards a Common WCET Annotation Language: Essential Ingredients / 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
  • WCET Annotation Languages Reconsidered: The Annotation Language Challenge / 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
  • Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field / 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
    Project: ALL-TIMES (2007–2010)
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / 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
  • Optimizing the Python interpreter: Identifying performance bottlenecks. / 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
  • An integrated source-to-source approach to WCET analysis / 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
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / 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
  • TuBound - A Tool for Worst-Case Execution Time Analysis / 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
  • Towards a Common WCET Annotation Languge: Essential Ingredients / 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
  • Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis / 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
    Project: ALL-TIMES (2007–2010)

2007

2006

2005

2004

2003

 

  • Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und Bernhard Steffen)
    2003 / USA

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 Jens Knoop’s research profile in TISS .