Jens Knoop

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 2

Top Venues

J. Syst. Archit.

WCET

ISoLA (1)

J. Symb. Comput.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter P. Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter Wägemann
The Platin Multi-Target Worst-Case Analysis Tool. WCET (2024)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. J. Symb. Comput. 80 (2017)
Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil C. Audsley, Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp, Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch, Peter P. Puschner, André Rocha, Cláudio Silva, Jens Sparsø, Alessandro Tocchi
T-CREST: Time-predictable multi-core architecture for embedded systems. J. Syst. Archit. 61 (9) (2015)
Uwe Aßmann, Jens Knoop, Wolf Zimmermann
Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) (2014)
Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop
Comparison of type-based and alias-based component recognition for embedded systems software. Int. J. Softw. Tools Technol. Transf. 15 (1) (2013)
Jens Knoop, Janis Voigtländer
6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (2013)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. RTNS (2013)
Jens Knoop, Janis Voigtländer
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (Workshops) (2013)
Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
Practical experiences of applying source-level WCET flow analysis to industrial code. Int. J. Softw. Tools Technol. Transf. 15 (1) (2013)
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
The Auspicious Couple: Symbolic Execution and WCET Analysis. WCET (2013)
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
SmacC: A Retargetable Symbolic Execution Engine. ATVA (2013)
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
The T-CREST approach of compiler and WCET-analysis integration. ISORC (2013)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR (2012)
Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
FFX: a portable WCET annotation language. RTNS (2012)
Jens Knoop, Dietmar Schreiner
Software Aspects of Robotic Systems. ISoLA (2) (2012)
Valentina Salapura, Michael Gschwind, Jens Knoop
Guest Editorial: Parallel Systems and Compilers. Int. J. Parallel Program. 40 (1) (2012)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. 10 (3) (2011)
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference (2011)
Lian Li, Jingling Xue, Jens Knoop
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)
Jens Knoop, Wolf Zimmermann
On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) (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)
Dietmar Schreiner, Markus Schordan, Jens Knoop
Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. ISORC (2009)
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 (2009)
Jens Knoop
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. Scalable Program Analysis (2008)
Adrian Prantl, Markus Schordan, Jens Knoop
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET (2008)
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)
Erik R. Altman, Bruce R. Childers, Robert S. Cohn, Jack W. Davidson, Koen De Bosschere, Bjorn De Sutter, M. Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
Towards a Common WCET Annotation Language: Essential Ingredients. WCET (2008)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
WCET Analysis: The Annotation Language Challenge. WCET (2007)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Sabine Glesner, Jens Knoop, Rolf Drechsler
Preface. Electron. Notes Theor. Comput. Sci. 190 (4) (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)
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)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Bernhard Scholz, R. Nigel Horspool, Jens Knoop
Optimizing for space and time usage with speculative partial redundancy elimination. LCTES (2004)
Jens Knoop, Oliver Rüthing
Constant Propagation on Predicated Code. J. Univers. Comput. Sci. 9 (8) (2003)
Jens Knoop, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Jens Knoop, Eduard Mehofer
Distribution Assignment Placement: Effective Optimization of Redistribution Costs. IEEE Trans. Parallel Distributed Syst. 13 (6) (2002)
Jens Knoop, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle
Topic 04: Compilers for High Performance. Euro-Par (2001)
Oliver Rüthing, Jens Knoop, Bernhard Steffen
Sparse Code Motion. POPL (2000)
Jens Knoop, Oliver Rüthing
Constant Propagation on the Value Graph: Simple Constants and Beyond. CC (2000)
Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju
Partial Redundancy Elimination on Predicated Code. SAS (2000)
Samuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop
Compilers for High Performance. Euro-Par (2000)
Jens Knoop
Parallel Data-Flow Analysis of Explicitly Parallel Programs. Euro-Par (1999)
Oliver Rüthing, Jens Knoop, Bernhard Steffen
Detecting Equalities of Variables: Combining Efficiency with Precision. SAS (1999)
Jens Knoop, Oliver Rüthing
Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design (1999)
Jens Knoop
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. TACAS (1999)
Javier Esparza, Jens Knoop
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS (1999)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Expansion-Based Removal of Semantic Partial Redundancies. CC (1999)
Jens Knoop
Demand-Driven Model Checking for Context-Free Processes. ASIAN (1999)
Jens Knoop, Bernhard Steffen
Code Motion for Explicitly Parallel Programs. PPOPP (1999)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Code Motion and Code Placement: Just Synonyms? ESOP (1998)
Jens Knoop
Eliminating Partially Dead Code in Explicitly Parallel Programs. Theor. Comput. Sci. 196 (1-2) (1998)
Jens Knoop
Parallel Constant Propagation. Euro-Par (1998)
Volker Braun, Jens Knoop, Dirk Koschützki
Cool: A Control-Flow Generator for System Analysis. CC (1998)
Jens Knoop
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. ICCL (1998)
Jens Knoop, Dirk Koschützki, Bernhard Steffen
Basic-Block Graphs: Living Dinosaurs? CC (1998)
Jens Knoop, Eduard Mehofer
Optimal Distribution Assignment Placement. Euro-Par (1997)
Jens Knoop, Eduard Mehofer
Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques. IEEE PACT (1997)
Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS (1996)
Jens Knoop
Partial Dead Code Elimination for Parallel Programs. Euro-Par, Vol. I (1996)
Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC (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) (1996)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Program. Lang. 4 (4) (1996)
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
The Fixpoint-Analysis Machine. CONCUR (1995)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
The Power of Assignment Motion. PLDI (1995)
Jens Knoop, Bernhard Steffen, Jürgen Vollmer
Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS (1995)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Partial Dead Code Elimination. PLDI (1994)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16 (4) (1994)
Jens Knoop, Bernhard Steffen
The Interprocedural Coincidence Theorem. CC (1992)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Lazy code motion (with retrospective) Best of PLDI (1992)
Jens Knoop, Oliver Rüthing, Bernhard Steffen
Lazy Code Motion. PLDI (1992)
Bernhard Steffen, Jens Knoop
Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. 80 (2) (1991)
Bernhard Steffen, Jens Knoop, Oliver Rüthing
Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 (1991)
Bernhard Steffen, Jens Knoop, Oliver Rüthing
The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP (1990)
Bernhard Steffen, Jens Knoop
Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS (1989)

Jens Knoop.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Knoop