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

2024W

2025S

 

2024

  • The Platin Multi-Target Worst-Case Analysis Tool / Maroun, E. J., Dengler, E., Dietrich, C., Hepp, S., Herzog, H., Huber, B. L., 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

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

  • 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
  • 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
  • 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

  • Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis / 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
  • Interpreter Instruction Scheduling / 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
    Project: Spyculative (2011–2014)
  • iRIS - Towards a Robotic Immune System / 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
  • Austrian-Kangaroos 2011 Team Qualification Document (TQD) / 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
  • Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / 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
  • Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox / 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
  • Compiler Construction / Knoop, J. (Ed.). (2011). Compiler Construction. Springer. https://doi.org/10.1007/978-3-642-19861-8
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation) / 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
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract) / 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
  • Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis / 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
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds / 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

2010

2009

  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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 undBernhard 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 .