Jens Knoop - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jens Knoop' as author, editor, or advisor:

From Trusted Annotations to Verified KnowledgeAdrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan. wcet 2009: [doi]
Towards a tool kit for the automatic generation of interprocedural data flow analysesJens Knoop, Oliver Rüthing, Bernhard Steffen. jpl, 4(4):211-246, 1996. [doi]
Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018Jens Knoop, Markus Schordan, Teresa Johnson, Michael F. P. O'Boyle, editors, ACM, 2018. [doi]
Optimal Distribution Assignment PlacementJens Knoop, Eduard Mehofer. europar 1997: 364-373
The Fixpoint-Analysis MachineBernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria. concur 1995: 72-87
PrefaceJens Knoop, George C. Necula, Wolf Zimmermann. ENTCS, 132(1):1-3, 2005. [doi]
The Power of Assignment MotionJens Knoop, Oliver Rüthing, Bernhard Steffen. PLDI 1995: 233-245
The Interprocedural Coincidence TheoremJens Knoop, Bernhard Steffen. cc 1992: 125-140
FFX: a portable WCET annotation languageArmelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. rtns 2012: 91-100 [doi]
Parallel Data-Flow Analysis of Explicitly Parallel ProgramsJens Knoop. europar 1999: 391-400 [doi]
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Jens Knoop, Laura Kovács, Jakob Zwirchmayr. lpar 2012: 435-444 [doi]
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected PapersReiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, editors, Volume 336 of Communications in Computer and Information Science, Springer, 2012. [doi]
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial CodeBjörn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa. ISoLA 2010: 449-463 [doi]
A Fresh Look at Partial Redundancy Elimination as a Maximum Flow ProblemJingling Xue, Jens Knoop. stt, 26(2), 2006. [doi]
Demand-Driven Model Checking for Context-Free ProcessesJens Knoop. asian 1999: 201-213 [doi]
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. ProceedingsJens Knoop, editor, Volume 6601 of Lecture Notes in Computer Science, Springer, 2011. [doi]
Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing TechniquesJens Knoop, Eduard Mehofer. IEEEpact 1997: 26 [doi]
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) AnalysisNiklas 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: [doi]
Compiler Optimization Meets Compiler Verification, COCV 2003, Warsaw, Poland, April 12, 2003Jens Knoop, Wolf Zimmermann, editors, Volume 82 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004. [doi]
On the Role of Non-functional Properties in Compiler VerificationJens Knoop, Wolf Zimmermann. ISoLA 2010: 491-495 [doi]
Partial Redundancy Elimination on Predicated CodeJens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju. SAS 2000: 260-279
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005Jens Knoop, George C. Necula, Wolf Zimmermann, editors, Volume 141 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
PrefaceJens Knoop, George C. Necula, Wolf Zimmermann. ENTCS, 176(3):1-2, 2007. [doi]
Proceedings of the First Workshop on Cryptography and Security in Computing Systems, Vienna, Austria, January 20, 2014Jens Knoop, Valentina Salapura, Israel Koren, Gerardo Pelosi, editors, ACM, 2014. [doi]
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and OptimazationMarion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen. TACAS 1996: 422-426
Architecture of Computing Systems - ARCS 2017 - 30th International Conference, Vienna, Austria, April 3-6, 2017, ProceedingsJens Knoop, Wolfgang Karl, Martin Schulz 0001, Koji Inoue, Thilo Pionteck, editors, Volume 10172 of Lecture Notes in Computer Science, Springer, 2017. [doi]
Sparse Code MotionOliver Rüthing, Jens Knoop, Bernhard Steffen. POPL 2000: 170-183 [doi]
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV 2004, Barcelona, Spain, April 3, 2004Jens Knoop, George C. Necula, Wolf Zimmermann, editors, Volume 132 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
PrefaceSabine Glesner, Jens Knoop, Rolf Drechsler. ENTCS, 190(4):1-2, 2007. [doi]
Towards a Common WCET Annotation Language: Essential IngredientsRaimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop. wcet 2008: [doi]
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow AnalysisJens Knoop. Dagstuhl 2008: [doi]
Cool: A Control-Flow Generator for System AnalysisVolker Braun, Jens Knoop, Dirk Koschützki. CC 1998: 306-309
Constant Propagation on the Value Graph: Simple Constants and BeyondJens Knoop, Oliver Rüthing. cc 2000: 94-109 [doi]
Scheduling for Parallel Architectures: Theory, Applications, ChallengesErik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop, editors, Volume 05101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
Partial Dead Code EliminationJens Knoop, Oliver Rüthing, Bernhard Steffen. PLDI 1994: 147-158
Partial Dead Code Elimination for Parallel ProgramsJens Knoop. europar 1996: 441-450
Guest Editorial: Parallel Systems and CompilersValentina Salapura, Michael Gschwind, Jens Knoop. ijpp, 40(1):1-3, 2012. [doi]
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm ApproachJens Knoop. TACAS 1999: 360-374 [doi]
Parallelism for Free: Bitvector Analyses -> No State Explosion!Jens Knoop, Bernhard Steffen, Jürgen Vollmer. TACAS 1995: 264-289
TuBound - A Conceptually New Tool for Worst-Case Execution Time AnalysisAdrian Prantl, Markus Schordan, Jens Knoop. wcet 2008: [doi]
Non-monotone Fixpoint Iterations to Resolve Second Order EffectsAlfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen. cc 1996: 106-120
SmacC: A Retargetable Symbolic Execution EngineArmin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. ATVA 2013: 482-486 [doi]
A Fresh Look at PRE as a Maximum Flow ProblemJingling Xue, Jens Knoop. CC (empty year): 139-154 [doi]
Eliminating Partially Dead Code in Explicitly Parallel ProgramsJens Knoop. TCS, 196(1-2):365-393, 1998. [doi]
Optimal Code Motion: Theory and PracticeJens Knoop, Oliver Rüthing, Bernhard Steffen. TOPLAS, 16(4):1117-1155, 1994. [doi]
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006Jens Knoop, George C. Necula, Wolf Zimmermann, editors, Volume 176 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Optimal Interprocedural Program Optimization, A New Framework and Its ApplicationJens Knoop. Volume 1428 of Lecture Notes in Computer Science, Springer, 1998.
PrefaceJens Knoop, Wolf Zimmermann. ENTCS, 65(2):115-116, 2002. [doi]
Lazy Code MotionJens Knoop, Oliver Rüthing, Bernhard Steffen. PLDI 1992: 224-234
WCET Analysis: The Annotation Language ChallengeRaimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel. wcet 2007: [doi]
Practical experiences of applying source-level WCET flow analysis to industrial codeBjörn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa. STTT, 15(1):53-63, 2013. [doi]
Code Motion for Explicitly Parallel ProgramsJens Knoop, Bernhard Steffen. ppopp 1999: 13-24 [doi]
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007Sabine Glesner, Jens Knoop, Rolf Drechsler, editors, Volume 190 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, ÖsterreichJens Knoop, Uwe Zdun, editors, Volume 252 of LNI, GI, 2016. [doi]
The T-CREST approach of compiler and WCET-analysis integrationPeter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard. isorc 2013: 1-8 [doi]
Optimization Under the Perspective of Soundness, Completeness, and ReusabilityJens Knoop, Oliver Rüthing. BIRTHDAY 1999: 288-315 [doi]
Optimizing for space and time usage with speculative partial redundancy eliminationBernhard Scholz, R. Nigel Horspool, Jens Knoop. lctrts 2004: 221-230 [doi]
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow AnalysisJens Knoop. iccl 1998: 252-261 [doi]
Finite Constants: Characterizations of a New Decidable Set of ConstantsBernhard Steffen, Jens Knoop. mfcs 1989: 481-491
The Value Flow Graph: A Program Representation for Optimal Program TransformationsBernhard Steffen, Jens Knoop, Oliver Rüthing. ESOP 1990: 389-405
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002Jens Knoop, Wolf Zimmermann, editors, Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Distribution Assignment Placement: Effective Optimization of Redistribution CostsJens Knoop, Eduard Mehofer. tpds, 13(6):628-647, 2002. [doi]
Compilers for High PerformanceSamuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop. europar 2000: 329-330 [doi]
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic executionJens Knoop, Laura Kovács, Jakob Zwirchmayr. JSC, 80:101-124, 2017. [doi]
05101 Executive Summary - Scheduling for Parallel Architectures: Theory, Applications, ChallengesErik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop. Dagstuhl 2005: [doi]
T-CREST: Time-predictable multi-core architecture for embedded systemsMartin 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. jsa, 61(9):449-471, 2015. [doi]
Expansion-Based Removal of Semantic Partial RedundanciesJens Knoop, Oliver Rüthing, Bernhard Steffen. cc 1999: 91-106
Code Motion and Code Placement: Just Synonyms?Jens Knoop, Oliver Rüthing, Bernhard Steffen. ESOP 1998: 154-169 [doi]
WCET squeezing: on-demand feasibility refinement for proven precise WCET-boundsJens Knoop, Laura Kovács, Jakob Zwirchmayr. rtns 2013: 161-170 [doi]
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel ProgramsJens Knoop, Bernhard Steffen, Jürgen Vollmer. TOPLAS, 18(3):268-299, 1996. [doi]
Comparison of type-based and alias-based component recognition for embedded systems softwareDietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop. STTT, 15(1):41-52, 2013. [doi]
Online-Kostenrechnung für die CIM-Planung: prozessorientierte Kostenrechnung zur Ablaufplanung flexibler FertigungssystemeJens Knoop. PhD thesis, Technical University of Berlin, Germany, 1986. [doi]
Topic 04: Compilers for High PerformanceJens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O Boyle. europar 2001: 204-206 [doi]
The Auspicious Couple: Symbolic Execution and WCET AnalysisArmin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. wcet 2013: 53-63 [doi]
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary TranslationErik 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 0002, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick. Dagstuhl 2008: [doi]
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphsLian Li 0002, Jingling Xue, Jens Knoop. tecs, 10(2):28, 2010. [doi]
19th International Conference on Parallel Architecture and Compilation Techniques (PACT 2010), Vienna, Austria, September 11-15, 2010Valentina Salapura, Michael Gschwind, Jens Knoop, editors, ACM, 2010.
Detecting Equalities of Variables: Combining Efficiency with PrecisionOliver Rüthing, Jens Knoop, Bernhard Steffen. SAS 1999: 232-247 [doi]
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002Jens Knoop, Laurie J. Hendren, editors, ACM, 2002. [doi]
Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based ApproachDietmar Schreiner, Markus Schordan, Jens Knoop. isorc 2009: 288-292 [doi]
PrefaceJens Knoop, George C. Necula, Wolf Zimmermann. ENTCS, 141(2):1-3, 2005. [doi]
Lazy code motion (with retrospective)Jens Knoop, Oliver Rüthing, Bernhard Steffen. PLDI 2004: 460-472 [doi]
Efficient Code Motion and an Adaption to Strength ReductionBernhard Steffen, Jens Knoop, Oliver Rüthing. tapsoft 1991: 394-415
Software Aspects of Robotic SystemsJens Knoop, Dietmar Schreiner. ISoLA 2012: 323 [doi]
Parallel Constant PropagationJens Knoop. europar 1998: 445-455 [doi]
Model-Based Code-Generators and Compilers - Track IntroductionUwe Aßmann, Jens Knoop, Wolf Zimmermann. ISoLA 2014: 386-390 [doi]
Finite Constants: Characterizations of a New Decidable Set of ConstantsBernhard Steffen, Jens Knoop. TCS, 80(2):303-318, 1991.
Beyond loop bounds: comparing annotation languages for worst-case execution time analysisRaimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec. SoSyM, 10(3):411-437, 2011. [doi]
Constant Propagation on Predicated CodeJens Knoop, Oliver Rüthing. jucs, 9(8):829-872, 2003. [doi]
An Automata-Theoretic Approach to Interprocedural Data-Flow AnalysisJavier Esparza, Jens Knoop. fossacs 1999: 14-30
PrefaceJens Knoop, Wolf Zimmermann. ENTCS, 82(2):343-344, 2003. [doi]
05101 Abstracts Collection - Scheduling for Parallel Architectures: Theory, Applications, ChallengesErik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop. Dagstuhl 2005: [doi]
Symbolic Loop Bound Computation for WCET AnalysisJens Knoop, Laura Kovács, Jakob Zwirchmayr. ershov 2012: 227-242 [doi]

runs on WebDSL