Jens Knoop - RankMe

98 papers A* 5A 6B 18C 5Misc 2Journal 16Unranked 34

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	The Platin Multi-Target Worst-Case Analysis Tool. WCET 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
2018	A	`ed.`	Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018 CGO Jens Knoop, Markus Schordan, Teresa Johnson, Michael F. P. O'Boyle
2017	—	`ed.`	Architecture of Computing Systems - ARCS 2017 - 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings ARCS Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck
2017	J	`jnl`	Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. J. Symb. Comput. Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2016	C	`ed.`	Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich Software Engineering Jens Knoop, Uwe Zdun
2015	J	`jnl`	T-CREST: Time-predictable multi-core architecture for embedded systems. J. Syst. Archit. 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
2014	—	`conf`	Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) Uwe Aßmann, Jens Knoop, Wolf Zimmermann
2014	—	`ed.`	Proceedings of the First Workshop on Cryptography and Security in Computing Systems, CS2@HiPEAC 2014, Vienna, Austria, January 20, 2014 CS2@HiPEAC Jens Knoop, Valentina Salapura, Israel Koren, Gerardo Pelosi
2013	C	`conf`	6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering Jens Knoop, Janis Voigtländer
2013	J	`jnl`	Comparison of type-based and alias-based component recognition for embedded systems software. Int. J. Softw. Tools Technol. Transf. Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop
2013	J	`jnl`	Practical experiences of applying source-level WCET flow analysis to industrial code. Int. J. Softw. Tools Technol. Transf. Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
2013	B	`conf`	SmacC: A Retargetable Symbolic Execution Engine. ATVA Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2013	—	`conf`	The Auspicious Couple: Symbolic Execution and WCET Analysis. WCET Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2013	C	`conf`	The T-CREST approach of compiler and WCET-analysis integration. ISORC Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
2013	C	`conf`	Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (Workshops) Jens Knoop, Janis Voigtländer
2013	Misc	`conf`	WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. RTNS Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2012	Misc	`conf`	FFX: a portable WCET annotation language. RTNS Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2012	J	`jnl`	Guest Editorial: Parallel Systems and Compilers. Int. J. Parallel Program. Valentina Salapura, Michael Gschwind, Jens Knoop
2012	—	`ed.`	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 Papers ISoLA Workshops Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
2012	—	`conf`	Software Aspects of Robotic Systems. ISoLA (2) Jens Knoop, Dietmar Schreiner
2012	B	`conf`	r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2011	J	`jnl`	Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
2011	B	`ed.`	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. Proceedings CC Jens Knoop
2011	—	`conf`	Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2010	B	`ed.`	19th International Conference on Parallel Architectures and Compilation Techniques, PACT 2010, Vienna, Austria, September 11-15, 2010 PACT Valentina Salapura, Michael Gschwind, Jens Knoop
2010	—	`conf`	On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) Jens Knoop, Wolf Zimmermann
2010	—	`conf`	Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. ISoLA (2) Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa
2010	J	`jnl`	Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. ACM Trans. Embed. Comput. Syst. Lian Li, Jingling Xue, Jens Knoop
2009	C	`conf`	Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. ISORC Dietmar Schreiner, Markus Schordan, Jens Knoop
2009	J	`jnl`	Constraint solving for high-level WCET analysis CoRR Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
2009	—	`conf`	From Trusted Annotations to Verified Knowledge. WCET Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
2008	—	`conf`	08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation 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
2008	—	`conf`	Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. Scalable Program Analysis Jens Knoop
2008	—	`conf`	Towards a Common WCET Annotation Language: Essential Ingredients. WCET Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
2008	—	`conf`	TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. WCET Adrian Prantl, Markus Schordan, Jens Knoop
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 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
2007	—	`conf`	Preface. COCV Sabine Glesner, Jens Knoop, Rolf Drechsler
2007	—	`ed.`	Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006 COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2007	—	`ed.`	Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007 COCV Sabine Glesner, Jens Knoop, Rolf Drechsler
2007	—	`conf`	WCET Analysis: The Annotation Language Challenge. WCET Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
2006	B	`conf`	A Fresh Look at PRE as a Maximum Flow Problem. CC Jingling Xue, Jens Knoop
2006	J	`jnl`	A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem. Softwaretechnik-Trends Jingling Xue, Jens Knoop
2006	—	`conf`	Preface. COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2005	—	`conf`	05101 Abstracts Collection - Scheduling for Parallel Architectures: Theory, Applications, Challenges. Scheduling for Parallel Architectures Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop
2005	—	`conf`	05101 Executive Summary - Scheduling for Parallel Architectures: Theory, Applications, Challenges. Scheduling for Parallel Architectures Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop
2005	—	`conf`	Preface. COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2005	—	`ed.`	Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004 COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2005	—	`ed.`	Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005 COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2005	—	`ed.`	Scheduling for Parallel Architectures: Theory, Applications, Challenges Scheduling for Parallel Architectures Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop
2004	—	`ed.`	Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003 COCV Jens Knoop, Wolf Zimmermann
2004	B	`conf`	Optimizing for space and time usage with speculative partial redundancy elimination. LCTES Bernhard Scholz, R. Nigel Horspool, Jens Knoop
2004	—	`conf`	Preface. COCV Jens Knoop, George C. Necula, Wolf Zimmermann
2003	J	`jnl`	Constant Propagation on Predicated Code. J. Univers. Comput. Sci. Jens Knoop, Oliver Rüthing
2003	—	`conf`	Preface. COCV Jens Knoop, Wolf Zimmermann
2002	—	`ed.`	Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 COCV Jens Knoop, Wolf Zimmermann
2002	J	`jnl`	Distribution Assignment Placement: Effective Optimization of Redistribution Costs. IEEE Trans. Parallel Distributed Syst. Jens Knoop, Eduard Mehofer
2002	—	`conf`	Preface. COCV Jens Knoop, Wolf Zimmermann
2002	A*	`ed.`	Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002 PLDI Jens Knoop, Laurie J. Hendren
2001	—	`conf`	Topic 04: Compilers for High Performance. Euro-Par Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle
2000	—	`conf`	Compilers for High Performance. Euro-Par Samuel P. Midkiff, Barbara M. Chapman, Jean-Francois Collard, Jens Knoop
2000	B	`conf`	Constant Propagation on the Value Graph: Simple Constants and Beyond. CC Jens Knoop, Oliver Rüthing
2000	B	`conf`	Partial Redundancy Elimination on Predicated Code. SAS Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju
2000	A*	`conf`	Sparse Code Motion. POPL Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999	B	`conf`	An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. FoSSaCS Javier Esparza, Jens Knoop
1999	B	`conf`	Code Motion for Explicitly Parallel Programs. PPoPP Jens Knoop, Bernhard Steffen
1999	—	`conf`	Demand-Driven Model Checking for Context-Free Processes. ASIAN Jens Knoop
1999	B	`conf`	Detecting Equalities of Variables: Combining Efficiency with Precision. SAS Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999	B	`conf`	Expansion-Based Removal of Semantic Partial Redundancies. CC Jens Knoop, Oliver Rüthing, Bernhard Steffen
1999	A	`conf`	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. TACAS Jens Knoop
1999	—	`conf`	Optimization Under the Perspective of Soundness, Completeness, and Reusability. Correct System Design Jens Knoop, Oliver Rüthing
1999	—	`conf`	Parallel Data-Flow Analysis of Explicitly Parallel Programs. Euro-Par Jens Knoop
1998	B	`conf`	Basic-Block Graphs: Living Dinosaurs? CC Jens Knoop, Dirk Koschützki, Bernhard Steffen
1998	A	`conf`	Code Motion and Code Placement: Just Synonyms? ESOP Jens Knoop, Oliver Rüthing, Bernhard Steffen
1998	B	`conf`	Cool: A Control-Flow Generator for System Analysis. CC Volker Braun, Jens Knoop, Dirk Koschützki
1998	J	`jnl`	Eliminating Partially Dead Code in Explicitly Parallel Programs. Theor. Comput. Sci. Jens Knoop
1998	—	`conf`	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. ICCL Jens Knoop
1998	—	`book`	Optimal Interprocedural Program Optimization, A New Framework and Its Application Jens Knoop
1998	—	`conf`	Parallel Constant Propagation. Euro-Par Jens Knoop
1997	—	`conf`	Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques. IEEE PACT Jens Knoop, Eduard Mehofer
1997	—	`conf`	Optimal Distribution Assignment Placement. Euro-Par Jens Knoop, Eduard Mehofer
1996	A	`conf`	DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen
1996	B	`conf`	Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
1996	J	`jnl`	Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. Jens Knoop, Bernhard Steffen, Jürgen Vollmer
1996	—	`conf`	Partial Dead Code Elimination for Parallel Programs. Euro-Par, Vol. I Jens Knoop
1996	J	`jnl`	Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Program. Lang. Jens Knoop, Oliver Rüthing, Bernhard Steffen
1995	A	`conf`	Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS Jens Knoop, Bernhard Steffen, Jürgen Vollmer
1995	B	`conf`	The Fixpoint-Analysis Machine. CONCUR Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
1995	A*	`conf`	The Power of Assignment Motion. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994	J	`jnl`	Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994	A*	`conf`	Partial Dead Code Elimination. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992	A*	`conf`	Lazy Code Motion. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992	—	`conf`	Lazy code motion (with retrospective) Best of PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992	B	`conf`	The Interprocedural Coincidence Theorem. CC Jens Knoop, Bernhard Steffen
1991	—	`conf`	Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 Bernhard Steffen, Jens Knoop, Oliver Rüthing
1991	J	`jnl`	Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. Bernhard Steffen, Jens Knoop
1990	A	`conf`	The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP Bernhard Steffen, Jens Knoop, Oliver Rüthing
1989	B	`conf`	Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS Bernhard Steffen, Jens Knoop
1986	—	`—`	Online-Kostenrechnung für die CIM-Planung: prozessorientierte Kostenrechnung zur Ablaufplanung flexibler Fertigungssysteme. Jens Knoop