Jens Knoop

	2009
58		Dietmar Schreiner, Markus Schordan, Jens Knoop: Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. ISORC 2009: 288-292
57		Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan: From Trusted Annotations to Verified Knowledge. WCET 2009
56		Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska: Constraint solving for high-level WCET analysis CoRR abs/0903.2251: (2009)
	2008
55		Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop: Towards a Common WCET Annotation Language: Essential Ingredients. WCET 2008
54		Adrian Prantl, Markus Schordan, Jens Knoop: TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET 2008
53		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
	2007
52		Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel: WCET Analysis: The Annotation Language Challenge. WCET 2007
51		Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007)
50		Sabine Glesner, Jens Knoop, Rolf Drechsler: Preface. Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007)
	2006
49		Jingling Xue, Jens Knoop: A Fresh Look at PRE as a Maximum Flow Problem. CC 2006: 139-154
	2005
48		Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop: Scheduling for Parallel Architectures: Theory, Applications, Challenges Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
47		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
46		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
45		Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005)
44		Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005)
	2004
43		Bernhard Scholz, R. Nigel Horspool, Jens Knoop: Optimizing for space and time usage with speculative partial redundancy elimination. LCTES 2004: 221-230
	2003
42		Jens Knoop, Oliver Rüthing: Constant Propagation on Predicated Code. J. UCS 9(8): 829-872 (2003)
	2002
41		Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
40		Jens Knoop, Eduard Mehofer: Distribution Assignment Placement: Effective Optimization of Redistribution Costs. IEEE Trans. Parallel Distrib. Syst. 13(6): 628-647 (2002)
	2001
39		Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle: Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206
	2000
38		Jens Knoop, Oliver Rüthing: Constant Propagation on the Value Graph: Simple Constants and Beyond. CC 2000: 94-109
37		Samuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop: Compilers for High Performance. Euro-Par 2000: 329-330
36		Oliver Rüthing, Jens Knoop, Bernhard Steffen: Sparse Code Motion. POPL 2000: 170-183
35		Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju: Partial Redundancy Elimination on Predicated Code. SAS 2000: 260-279
	1999
34		Jens Knoop: Demand-Driven Model Checking for Context-Free Processes. ASIAN 1999: 201-213
33		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106
32		Jens Knoop, Oliver Rüthing: Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design 1999: 288-315
31		Jens Knoop: Parallel Data-Flow Analysis of Explicitly Parallel Programs. Euro-Par 1999: 391-400
30		Javier Esparza, Jens Knoop: An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS 1999: 14-30
29		Jens Knoop, Bernhard Steffen: Code Motion for Explicitly Parallel Programs. PPOPP 1999: 13-24
28		Oliver Rüthing, Jens Knoop, Bernhard Steffen: Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247
27		Jens Knoop: From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. TACAS 1999: 360-374
	1998
26		Jens Knoop: Optimal Interprocedural Program Optimization, A New Framework and Its Application Springer 1998
25		Volker Braun, Jens Knoop, Dirk Koschützki: Cool: A Control-Flow Generator for System Analysis. CC 1998: 306-309
24		Jens Knoop, Dirk Koschützki, Bernhard Steffen: Basic-Block Graphs: Living Dinosaurs? CC 1998: 65-79
23		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169
22		Jens Knoop: Parallel Constant Propagation. Euro-Par 1998: 445-455
21		Jens Knoop: Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. ICCL 1998: 252-261
20		Jens Knoop: Eliminating Partially Dead Code in Explicitly Parallel Programs. Theor. Comput. Sci. 196(1-2): 365-393 (1998)
	1997
19		Jens Knoop, Eduard Mehofer: Optimal Distribution Assignment Placement. Euro-Par 1997: 364-373
18		Jens Knoop, Eduard Mehofer: Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques. IEEE PACT 1997: 26-
	1996
17		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
16		Jens Knoop: Partial Dead Code Elimination for Parallel Programs. Euro-Par, Vol. I 1996: 441-450
15		Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426
14		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)
13		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)
	1995
12		Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
11		Jens Knoop, Oliver Rüthing, Bernhard Steffen: The Power of Assignment Motion. PLDI 1995: 233-245
10		Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995: 264-289
	1994
9		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Partial Dead Code Elimination. PLDI 1994: 147-158
8		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994)
	1992
7		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy code motion (with retrospective) Best of PLDI 1992: 460-472
6		Jens Knoop, Bernhard Steffen: The Interprocedural Coincidence Theorem. CC 1992: 125-140
5		Jens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy Code Motion. PLDI 1992: 224-234
	1991
4		Bernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415
3		Bernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. 80(2): 303-318 (1991)
	1990
2		Bernhard Steffen, Jens Knoop, Oliver Rüthing: The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405
	1989
1		Bernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS 1989: 481-491

Coauthor Index

1	Erik R. Altman	[46] [47] [48]
2	Clément Ballabriga	[53]
3	Guillem Bernat	[53]
4	Armelle Bonenfant	[53]
5	Roman Bourgade	[53]
6	Volker Braun	[25]
7	Hugues Cassé	[53]
8	Barbara M. Chapman	[37]
9	Andreas Claßen	[12]
10	Jean-Francois Collard	[35] [37]
11	Daniel Cordes	[53]
12	James C. Dehnert	[46] [47] [48]
13	Rolf Drechsler	[50]
14	Javier Esparza	[30]
15	Alfons Geser	[17]
16	Sabine Glesner	[50]
17	Manish Gupta	[39]
18	Jan Gustafsson	[53]
19	Niklas Holsti	[53]
20	R. Nigel Horspool	[43]
21	Roy Dz-Ching Ju (Roy Ju, Dz-Ching Ju)	[35]
22	Albrecht Kadlec	[53] [55] [57]
23	Christoph W. Keßler (Christoph W. Kessler)	[46] [47] [48]
24	Raimund Kirner	[52] [53] [55] [57]
25	Marion Klein	[12] [15]
26	Dirk Koschützki	[15] [24] [25]
27	Paul Lokuciejewski	[53]
28	Gerald Lüttgen	[17]
29	Tiziana Margaria (Tiziana Margaria-Steffen)	[12]
30	Eduard Mehofer	[18] [19] [40]
31	Nicholas Merriam	[53]
32	Marianne De Michiel	[53]
33	Samuel P. Midkiff	[37]
34	George C. Necula	[44] [45] [51]
35	Michael F. P. O'Boyle	[39]
36	Keshav Pingali	[39]
37	Adrian Prantl	[52] [53] [54] [55] [56] [57]
38	Bernhard Rieder	[53]
39	Christine Rochange	[53]
40	Oliver Rüthing	[2] [4] [5] [7] [8] [9] [11] [13] [17] [23] [28] [32] [33] [36] [38] [42]
41	Pascal Sainrat	[53]
42	Bernhard Scholz	[43]
43	Markus Schordan	[52] [53] [54] [55] [56] [57] [58]
44	Dietmar Schreiner	[58]
45	Bernhard Steffen	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [23] [24] [28] [29] [33] [36]
46	Markus Triska	[56]
47	Jürgen Vollmer	[10] [14]
48	Ingomar Wenzel	[52]
49	Jingling Xue	[49]
50	Wolf Zimmermann	[41] [44] [45] [51]

Colors in the list of coauthors