Jens Knoop

Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop: Comparison of type-based and alias-based component recognition for embedded systems software. STTT 15(1): 41-52 (2013)

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa: Practical experiences of applying source-level WCET flow analysis to industrial code. STTT 15(1): 53-63 (2013)

Valentina Salapura, Michael Gschwind, Jens Knoop: Guest Editorial: Parallel Systems and Compilers. International Journal of Parallel Programming 40(1): 1-3 (2012)

Jens Knoop, Dietmar Schreiner: Software Aspects of Robotic Systems. ISoLA (2) 2012: 323

Jens Knoop, Laura Kovács, Jakob Zwirchmayr: r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR 2012: 435-444

Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr: FFX: a portable WCET annotation language. RTNS 2012: 91-100

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec: Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Software and System Modeling 10(3): 411-437 (2011)

Jens Knoop, Laura Kovács, Jakob Zwirchmayr: Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference 2011: 227-242

Jens Knoop (Ed.): Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6601, Springer 2011, isbn 978-3-642-19860-1

Lian Li, Jingling Xue, Jens Knoop: Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. ACM Trans. Embedded Comput. Syst. 10(2): 28 (2010)

Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa: Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. ISoLA (2) 2010: 449-463

Jens Knoop, Wolf Zimmermann: On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) 2010: 491-495

Valentina Salapura, Michael Gschwind, Jens Knoop (Eds.): 19th International Conference on Parallel Architecture and Compilation Techniques (PACT 2010), Vienna, Austria, September 11-15, 2010. ACM 2010, isbn 978-1-4503-0178-7

Dietmar Schreiner, Markus Schordan, Jens Knoop: Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. ISORC 2009: 288-292

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan: From Trusted Annotations to Verified Knowledge. WCET 2009

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska: Constraint solving for high-level WCET analysis. CoRR abs/0903.2251 (2009)

Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan: WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop: Towards a Common WCET Annotation Language: Essential Ingredients. WCET 2008

Adrian Prantl, Markus Schordan, Jens Knoop: TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET 2008

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007)

Sabine Glesner, Jens Knoop, Rolf Drechsler: Preface. Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007)

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel: WCET Analysis: The Annotation Language Challenge. WCET 2007

Jingling Xue, Jens Knoop: A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem. Softwaretechnik-Trends 26(2) (2006)

Jingling Xue, Jens Knoop: A Fresh Look at PRE as a Maximum Flow Problem. CC 2006: 139-154

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005)

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005)

Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop: 05101 Executive Summary - Scheduling for Parallel Architectures: Theory, Applications, Challenges. Scheduling for Parallel Architectures 2005

Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop: 05101 Abstracts Collection - Scheduling for Parallel Architectures: Theory, Applications, Challenges. Scheduling for Parallel Architectures 2005

Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop (Eds.): Scheduling for Parallel Architectures: Theory, Applications, Challenges. Dagstuhl Seminar Proceedings 05101, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany 2005

Bernhard Scholz, R. Nigel Horspool, Jens Knoop: Optimizing for space and time usage with speculative partial redundancy elimination. LCTES 2004: 221-230

Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 82(2): 343-344 (2003)

Jens Knoop, Oliver Rüthing: Constant Propagation on Predicated Code. J. UCS 9(8): 829-872 (2003)

Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 65(2): 115-116 (2002)

Jens Knoop, Eduard Mehofer: Distribution Assignment Placement: Effective Optimization of Redistribution Costs. IEEE Trans. Parallel Distrib. Syst. 13(6): 628-647 (2002)

Jens Knoop, Laurie J. Hendren (Eds.): Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002. ACM 2002, isbn 1-58113-463-0

Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle: Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206

Jens Knoop, Oliver Rüthing: Constant Propagation on the Value Graph: Simple Constants and Beyond. CC 2000: 94-109

Samuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop: Compilers for High Performance. Euro-Par 2000: 329-330

Oliver Rüthing, Jens Knoop, Bernhard Steffen: Sparse Code Motion. POPL 2000: 170-183

Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju: Partial Redundancy Elimination on Predicated Code. SAS 2000: 260-279

Jens Knoop: Demand-Driven Model Checking for Context-Free Processes. ASIAN 1999: 201-213

Jens Knoop, Oliver Rüthing: Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design 1999: 288-315

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106

Jens Knoop: Parallel Data-Flow Analysis of Explicitly Parallel Programs. Euro-Par 1999: 391-400

Javier Esparza, Jens Knoop: An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS 1999: 14-30

Jens Knoop, Bernhard Steffen: Code Motion for Explicitly Parallel Programs. PPOPP 1999: 13-24

Oliver Rüthing, Jens Knoop, Bernhard Steffen: Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247

Jens Knoop: From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. TACAS 1999: 360-374

Jens Knoop: Optimal Interprocedural Program Optimization, A New Framework and Its Application. Lecture Notes in Computer Science 1428, Springer 1998, isbn 3-540-65123-3

Jens Knoop: Eliminating Partially Dead Code in Explicitly Parallel Programs. Theor. Comput. Sci. 196(1-2): 365-393 (1998)

Jens Knoop, Dirk Koschützki, Bernhard Steffen: Basic-Block Graphs: Living Dinosaurs? CC 1998: 65-79

Volker Braun, Jens Knoop, Dirk Koschützki: Cool: A Control-Flow Generator for System Analysis. CC 1998: 306-309

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169

Jens Knoop: Parallel Constant Propagation. Euro-Par 1998: 445-455

Jens Knoop: Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. ICCL 1998: 252-261

Jens Knoop, Eduard Mehofer: Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques. IEEE PACT 1997: 26-

Jens Knoop, Eduard Mehofer: Optimal Distribution Assignment Placement. Euro-Par 1997: 364-373

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Prog. Lang. 4(4): 211-246 (1996)

Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. 18(3): 268-299 (1996)

Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen: Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC 1996: 106-120

Jens Knoop: Partial Dead Code Elimination for Parallel Programs. Euro-Par, Vol. I 1996: 441-450

Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426

Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87

Jens Knoop, Oliver Rüthing, Bernhard Steffen: The Power of Assignment Motion. PLDI 1995: 233-245

Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995: 264-289

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994)

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Partial Dead Code Elimination. PLDI 1994: 147-158

Jens Knoop, Bernhard Steffen: The Interprocedural Coincidence Theorem. CC 1992: 125-140

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy Code Motion. PLDI 1992: 224-234

Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy code motion (with retrospective). Best of PLDI 1992: 460-472

Bernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. 80(2): 303-318 (1991)

Bernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415

Bernhard Steffen, Jens Knoop, Oliver Rüthing: The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405

Bernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS 1989: 481-491