Jens Knoop Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)