| 2014 | ISoLA | Model-Based Code-Generators and Compilers - Track Introduction. | Uwe Amann, Jens Knoop, Wolf Zimmermann |
| 2013 | ATVA | SmacC: A Retargetable Symbolic Execution Engine. | Armin Biere, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2013 | ISORC | The T-CREST approach of compiler and WCET-analysis integration. | Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard |
| 2013 | RTNS | WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. | Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2012 | ISoLA | Software Aspects of Robotic Systems. | Jens Knoop, Dietmar Schreiner |
| 2012 | LPAR | r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). | Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2012 | RTNS | FFX: a portable WCET annotation language. | Armelle Bonenfant, Hugues Cass, Marianne De Michiel, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2010 | ISoLA | On the Role of Non-functional Properties in Compiler Verification. | Jens Knoop, Wolf Zimmermann |
| 2010 | ISoLA | Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. | Bjrn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa |
| 2009 | ISORC | Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. | Dietmar Schreiner, Markus Schordan, Jens Knoop |
| 2006 | CC | A Fresh Look at PRE as a Maximum Flow Problem. | Jingling Xue, Jens Knoop |
| 2001 | EuroPar | Topic 04: Compilers for High Performance. | Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle |
| 2000 | CC | Constant Propagation on the Value Graph: Simple Constants and Beyond. | Jens Knoop, Oliver Rthing |
| 2000 | EuroPar | Compilers for High Performance. | Samuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop |
| 2000 | POPL | Sparse Code Motion. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 2000 | SAS | Partial Redundancy Elimination on Predicated Code. | Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju |
| 1999 | CC | Expansion-Based Removal of Semantic Partial Redundancies. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1999 | EuroPar | Parallel Data-Flow Analysis of Explicitly Parallel Programs. | Jens Knoop |
| 1999 | FOSSACS | An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. | Javier Esparza, Jens Knoop |
| 1999 | PPoPP | Code Motion for Explicitly Parallel Programs. | Jens Knoop, Bernhard Steffen |
| 1999 | SAS | Detecting Equalities of Variables: Combining Efficiency with Precision. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1999 | TACAS | From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. | Jens Knoop |
| 1998 | CC | Cool: A Control-Flow Generator for System Analysis. | Volker Braun, Jens Knoop, Dirk Koschtzki |
| 1998 | CC | Basic-Block Graphs: Living Dinosaurs? | Jens Knoop, Dirk Koschtzki, Bernhard Steffen |
| 1998 | ESOP | Code Motion and Code Placement: Just Synonyms? | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1998 | EuroPar | Parallel Constant Propagation. | Jens Knoop |
| 1997 | EuroPar | Optimal Distribution Assignment Placement. | Jens Knoop, Eduard Mehofer |
| 1996 | CC | Non-monotone Fixpoint Iterations to Resolve Second Order Effects. | Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen |
| 1996 | EuroPar | Partial Dead Code Elimination for Parallel Programs. | Jens Knoop |
| 1996 | TACAS | DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. | Marion Klein, Jens Knoop, Dirk Koschtzki, Bernhard Steffen |
| 1995 | CONCUR | The Fixpoint-Analysis Machine. | Bernhard Steffen, Andreas Claen, Marion Klein, Jens Knoop, Tiziana Margaria |
| 1995 | PLDI | The Power of Assignment Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1995 | TACAS | Parallelism for Free: Bitvector Analyses -> No State Explosion! | Jens Knoop, Bernhard Steffen, Jrgen Vollmer |
| 1994 | PLDI | Partial Dead Code Elimination. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1992 | CC | The Interprocedural Coincidence Theorem. | Jens Knoop, Bernhard Steffen |
| 1992 | PLDI | Lazy Code Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1992 | PLDI | Lazy code motion (with retrospective) | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1990 | ESOP | The Value Flow Graph: A Program Representation for Optimal Program Transformations. | Bernhard Steffen, Jens Knoop, Oliver Rthing |
| 1989 | MFCS | Finite Constants: Characterizations of a New Decidable Set of Constants. | Bernhard Steffen, Jens Knoop |