Publikationsliste für
Jens Knoop
als Autorin / Autor bzw. wesentlich beteiligte Person
166 Datensätze (2003 - 2018)
Bücher und Buch-Herausgaben
E. Altman, B. Childers, R. Cohn, J. Davidson, K. Brosschere, B. Sutter, M.A. Ertl, M. Franz, Y. Gu, M. Hauswirth, T. Heinz, W. Hsu, J. Knoop, A. Krall, N. Kumar, J. Maebe, R. Muth, X. Rival, E. Rohou, R. Rosner, M. Soffa, J. Troeger, C. Vick (Hrg.):
"08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation";
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2009,
ISSN: 1862-4405;
11 S.
Zusätzliche Informationen
R. Drechsler, S. Glesner, J. Knoop, W. Zimmermann (Hrg.):
"Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)";
Budapest University of Technology and Economics,
Budapest,
2008,
85 S.
S. Glesner, J. Knoop, W. Zimmermann (Hrg.):
"Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)";
Elsevier,
2007,
ISSN: 1571-0661;
160 S.
R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen:
"Leveraging Applications of Formal Methods, Verification, and Validation: SARS 2011, MLSC 2011 (CICS 336)";
in Buchreihe "Communications in Computer and Information Science",
Buchreihen-Herausgeber: R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen;
Springer,
Heidelberg,
2012,
ISBN: 978-3-642-34780-1,
276 S.
J. Knoop:
"Compiler Construction - 20th International Conference, CC 2011, Proceedings";
in Buchreihe "Lecture Notes in Computer Science (LNCS)",
Buchreihen-Herausgeber: J. Knoop;
Springer,
Heidelberg,
2011,
ISBN: 978-3-642-19860-1,
307 S.
J. Knoop, M.A. Ertl:
"18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015)";
in Buchreihe "Schriftenreihe des Instituts für Computersprachen, Bericht 2015-IX-1",
Buchreihen-Herausgeber: J. Knoop, M.A. Ertl;
herausgegeben von: TU Wien;
Institut für Computersprachen, TU Wien,
Wien,
2015,
713 S.
J. Knoop, W. Karl, M. Schulz, K. Inoue, Th. Pionteck:
"Architecture of Computing Systems (ARCS 2017)";
in Buchreihe "Lecture Notes in Computer Science 10172",
Buchreihen-Herausgeber: G. Goos, J. Hartmanis, J. van Leeuwen;
Springer,
Heidelberg,
2017,
ISBN: 978-3-319-54998-9,
267 S.
J. Knoop, J. Lee, S. Midkiff, D. Padua (Hrg.):
"Hardware and Software Consistency Models: Programmability and Performance";
Internationales Begegnungs- und Forschungszentrum für Informatik,
Dagstuhl,
2003.
J. Knoop, G. Necula, W. Zimmermann (Hrg.):
"Fifth International Workshop on Compiler Optimization Meets Compiler Verification";
TU Wien, EAPLS, EASST und EATCS,
2006.
J. Knoop, G. Necula, W. Zimmermann (Hrg.):
"Perliminary Proceedings of the 3rd International Workshop on "Compiler Optimization meets Compiler Verification"";
University Barcelona,
Spain,
2004.
J. Knoop, G. Necula, W. Zimmermann (Hrg.):
"Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2";
Elsevier,
2005,
120 S.
J. Knoop, G. Necula, W. Zimmermann (Hrg.):
"Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)";
Elsevier,
2007,
ISSN: 1571-0661;
122 S.
J. Knoop, A. Prantl (Hrg.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1,
Wien, Österreich,
2009,
301 S.
J. Knoop, A. Prantl (Hrg.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2,
Wien, Österreich,
2009,
56 S.
J. Knoop, A. Prantl (Hrg.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
35 S.
J. Knoop, M Schordan, T. Johnson, M.F.P. O´Boyle:
"International Symposium on Code Generation and Optimization (CGO 2018)";
in Buchreihe "Proceedings of the 2018 International Symposium on Code Generation and Optimization",
Buchreihen-Herausgeber: ACM;
herausgegeben von: Association for Computing Machinery;
ACM,
New York,
2018,
ISBN: 978-1-4503-5617-6,
377 S.
J. Knoop, V. Skala (Hrg.):
"Full Paper Proceedings of the 4th .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-10-0.
J. Knoop, V. Skala (Hrg.):
"Journal of .NET Technolgies";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-13-5.
J. Knoop, V. Skala (Hrg.):
"Posters Papers Proceedings of the .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-12-7.
J. Knoop, V. Skala (Hrg.):
"Short Communication Papers Proceedings of the .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-11-9.
J. Knoop, U. Zdun:
"Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik";
in Buchreihe "GI-Edition, Lecture Notes in Informatics (LNI) - Proceedings",
Buchreihen-Herausgeber: H. Mayr et al.;
herausgegeben von: Gesellschaft für Informatik (GI) e.V., Bonn;
Köllen Druck+Verlag GmbH,
Bonn,
2016,
ISBN: 978-3-88579-646-6,
130 S.
J. Knoop, W. Zimmermann (Hrg.):
"COCV'03 - Compiler Optimisation meets Compiler Verification";
Elsevier Computer Science,
Electronic Notes in Theoretical Computer Science,
2003,
116 S.
J. Knoop, W. Zimmermann (Hrg.):
"Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002)";
Springer,
2003,
ISSN: 0948-6968;
108 S.
Zusätzliche Informationen
V. Salapura, M. Gschwind, J. Knoop:
"Parallel Systems and Compilers";
in Buchreihe "International Journal of Parallel Programming",
Buchreihen-Herausgeber: V. Salapura, M. Gschwind, J. Knoop;
Springer,
2012,
ISSN: 0885-7458,
140 S.
V. Salapura, M. Gschwind, J. Knoop (Hrg.):
"Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques";
ACM Press,
New York, USA,
2010,
ISBN: 978-1-4503-0178-7;
596 S.
Zeitschriftenartikel
R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis";
Software and Systems Modeling,
Volume 10
(2011),
No. 3;
S. 411
- 437.
R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis";
Journal of Software and Systems Modeling (online-edition),
oB
(2010).
Zusätzliche Informationen
J. Knoop:
"Report on ETAPS 2006";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
S. 42
- 47.
J. Knoop:
"Reports of Members of the Extended Boards";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
S. 39
- 40.
J. Knoop:
"The 'Software Analysis and Verification' Column";
European Association of Software Science and Technology (EASST) Newsletters (eingeladen),
Volume 10
(2005),
1;
2 S.
J. Knoop:
"The Software Analysis and Verification Column";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
S. 10
- 13.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution";
Journal of Symbolic Computation,
80
(2017),
S. 101
- 124.
J. Knoop, O. Rüthing:
"Constant Propagation on Predicated Code";
Journal of Universal Computer Science,
9, 8 ( S.829-850)
(2003).
J. Knoop, O. Rüthing, B. Steffen:
"Retrospective: Lazy Code Motion";
ACM SIGPLAN Notices,
39
(2004),
4, Best of PLDI;
S. 460
- 472.
J. Knoop, D. Schreiner:
"Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international";
OCG Journal (eingeladen),
38
(2013),
1;
S. 4
- 6.
L. Li, J. Xue, J. Knoop:
"Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs";
ACM Transactions on Embedded Computing Systems,
10
(2010),
2.
B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa:
"Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code";
International Journal on Software Tools for Technology Transfer,
15
(2013),
1;
S. 53
- 63.
Zusätzliche Informationen
M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi:
"T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems";
Journal of Systems Architecture,
Volume 61
(2015),
Issue 9;
S. 449
- 471.
Zusätzliche Informationen
D. Schreiner, G. Barany, M Schordan, J. Knoop:
"Comparison of type-based and alias-based component recognition for embedded systems software";
International Journal on Software Tools for Technology Transfer,
15
(2013),
1;
S. 41
- 52.
Zusätzliche Informationen
Beiträge in Tagungsbänden
E. Altman, J. C. Dehnert, C. Kessler, J. Knoop:
"Executive Summary on the Dagstuhl-Seminar 05101";
in: "Dagstuhl-Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges",
Dagstuhl Research,
2005.
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"SmacC: A Retargetable Symbolic Execution Engine";
in: "AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013",
herausgegeben von: Dang Van Hung and Mizuhito Ogawa;
Springer LNCS 8172,
2013.
Zusätzliche Informationen
S. Brunthaler, J. Knoop:
"Elimination of Reference Count Operations in Bytecode Interpreters";
in: "Proceedings Junior Scientist Conference 2010 (JSC 2010)",
herausgegeben von: Vienna University of Technology;
Vienna University of Technology,
Wien, Österreich,
2010,
ISBN: 978-3-200-01797-9,
S. 39
- 40.
N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2008,
ISBN: 978-3-939897-10-1,
23 S.
Zusätzliche Informationen
J. Knoop:
"From Trusted Annotations to Verified Knowledge";
in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen",
J. Knoop, A. Prantl (Hrg.);
herausgegeben von: Institut für Computersprachen, TU Wien;
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
S. 13.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds";
in: "21st International Conference on Real-Time Networks and Systems",
Acm Dl,
2013.
Zusätzliche Informationen
J. Knoop, W. Zimmermann:
"On the Role of Non-Functional Properties in Compiler Verification";
in: "4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)",
T. Margaria, B. Steffen (Hrg.);
herausgegeben von: Springer-Verlag, Heidelberg;
Springer-Verlag,
Heidelberg, LNCS 6416,
2010,
ISBN: 3-642-16560-5,
S. 491
- 495.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis",
N. Holsti (Hrg.);
herausgegeben von: Oesterreichische Computer Gesellschaft / Austrian Computer Society;
Verlag Oesterreichische Computer Gesellschaft,
Wien,
2009,
ISBN: 978-3-85403-252-6,
S. 39
- 49.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis",
N. Holsti (Hrg.);
herausgegeben von: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Deutschland,
2009,
ISBN: 978-3-939897-14-9,
Paper-Nr. 8,
11 S.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"Towards an Orchestrated Approach for Annotation Verification";
in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"",
M. Hanus, F. Reck (Hrg.);
Christian-Albrechts-Universität Kiel, Deutschland,
Kiel, Bericht Nr. 1010,
2010,
S. 71
- 85.
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis";
in: "Dagstuhl Seminar Proceedings 08003",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Germany,
2008,
ISBN: 978-3-939897-10-1,
8 S.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Auspicious Couple: Symbolic Execution and WCET Analysis";
Vortrag: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013),
Paris;
09.07.2013; in: "Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)",
C Maiza (Hrg.);
(2013),
ISBN: 978-3-939897-54-5;
S. 51
- 60.
F. Brandner, J. Knoop:
"Exchange between the German and French Compiler Communities";
Vortrag: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
04.10.2015
- 07.10.2015; in: "Programmiersprachen und Grundlagen der Programmierung",
J. Knoop, M.A. Ertl (Hrg.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
S. 83
- 84.
S. Brunthaler, J. Knoop:
"Optimizing the Python interpreter: Identifying performance bottlenecks.";
Poster: Junior Scientist Conference 2008,
Wien;
16.11.2008
- 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008",
(2008),
ISBN: 978-3-200-01612-5;
S. 41
- 42.
Zusätzliche Informationen
S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner:
"The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration";
Vortrag: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
04.10.2015
- 07.10.2015; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015",
(2015).
Zusätzliche Informationen
N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
Vortrag: WCET 2008,
Prague, Czech Republic;
01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Österreichische Computer Gesellschaft,
(2008),
ISBN: 978-3-85403-237-3;
S. 149
- 171.
Zusätzliche Informationen
A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Annotation Languages Reconsidered: The Annotation Language Challenge";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
05.05.2008
- 07.05.2008; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
10 S.
Zusätzliche Informationen
A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Language: Essential Ingredients";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
05.05.2008
- 07.05.2008; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
12 S.
Zusätzliche Informationen
R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Languge: Essential Ingredients";
Vortrag: WCET 2008,
Prague, Czech Republic;
01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Österreichische Computer Gesellschaft,
(2008),
ISBN: 978-3-85403-237-3;
S. 53
- 65.
Zusätzliche Informationen
R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Vortrag: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07),
Pisa, Italy;
03.07.2007; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis",
(2007),
S. 83
- 99.
Zusätzliche Informationen
R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Vortrag: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07),
Pisa;
14.12.2007; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)",
(2007),
S. 77
- 92.
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Vortrag: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)",
Timmendorfer Strand, Deutschland;
10.10.2007
- 14.10.2007; in: "Proceedings of the 14. Kolloquium Programmiersprachen",
Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck,
(2007),
S. 124
- 131.
J. Knoop:
"Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis";
Vortrag: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Dagstuhl, Wadern (eingeladen);
13.04.2008
- 18.04.2008; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis",
F. Martin, H. Nielson, C. Riva, M. Schordan (Hrg.);
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
S. 1
- 14.
Zusätzliche Informationen
J. Knoop:
"Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field";
Vortrag: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation,
Schloss Dagstuhl, Dagstuhl, Wadern (eingeladen);
26.10.2008
- 31.10.2008; in: "Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
08441
(2008),
ISSN: 1862-4405;
S. 6.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds";
Vortrag: 11th International Workshop on Worst-Case Execution-Time Analysis,
Porto, Portugal;
05.07.2011; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis",
C. Healy (Hrg.);
Österreichische Computer Gesellschaft - OCG,
(2011),
S. 93
- 103.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation)";
Vortrag: 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Schloss Raesfeld, Münsterland, Deutschland;
26.09.2011
- 28.09.2011; in: "Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)",
Westfälische Wilhelms-Universität Münster,
132
(2011),
S. 200.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)";
Vortrag: MEMICS 2011 (Mathematical and Engineering Methods in Computer Science),
My Hotel, Lednice, Czech Republic;
14.10.2011
- 16.10.2011; in: "MEMICS Proceedings",
(2011),
S. 119.
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis";
Vortrag: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
02.05.2011
- 04.05.2011; in: "28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
(2011).
Zusätzliche Informationen
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Symbolic Loop Bound Computation for WCET Analysis";
Vortrag: 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011),
Akademgorodok, Novosibirsk, Russland;
27.06.2011
- 01.07.2011; in: "Ershov Informatic Conference, PSI Series, 8th Edition",
Springer-Verlag, Lecture Notes in Computer Science,
7162
(2012),
S. 224
- 239.
Zusätzliche Informationen
J. Knoop, O. Rüthing:
"Constant Propagation on Predicated Code";
Vortrag: 7th Brazilian Symposium on Programming Languages,
Ouro Preto, Brazil;
28.05.2003
- 30.05.2003; in: "Proceedings of the 7th Brazilian Symposium on Programming Languages (SBLP 2003)",
(2003),
ISBN: 85-88442-45-0;
S. 135
- 148.
Zusätzliche Informationen
B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Vortrag: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010),
Heraklion, Griechenland;
18.10.2010
- 20.10.2010; in: "Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods",
T. Margaria, B. Steffen (Hrg.);
Lecture Notes in Computer Science,
6416
(2010),
S. 449
- 463.
A. Prantl, J. Knoop:
"An integrated source-to-source approach to WCET analysis";
Poster: Junior Scientist Conference 2008,
Wien;
16.11.2008
- 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008",
(2008),
ISBN: 978-3-200-01612-5;
S. 45
- 46.
Zusätzliche Informationen
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
12.10.2009
- 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
J. Knoop, A. Prantl (Hrg.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
S. 155
- 166.
Zusätzliche Informationen
A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009),
Dublin, Ireland;
30.06.2009; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)",
N. Holsti (Hrg.);
(2009),
S. 35
- 45.
A. Prantl, J. Knoop, M Schordan:
"Persistent Analysis Results";
Vortrag: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
04.05.2009
- 06.05.2009; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2009),
12 S.
Zusätzliche Informationen
A. Prantl, J. Knoop, M. Schordan, M. Triska:
"Constraint solving for high-level WCET analysis";
Vortrag: The 18th Workshop on Logic-based methods in Programming Environments,
Udine, Italy;
12.12.2008; in: "The 18th Workshop on Logic-based methods in Programming Environments",
(2008),
S. 77
- 89.
Zusätzliche Informationen
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis";
Vortrag: WCET 2008,
Prague, Czech Republic;
01.07.2008; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Österreichische Computer Gesellschaft,
(2008),
ISBN: 978-3-85403-237-3;
S. 141
- 148.
Zusätzliche Informationen
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Tool for Worst-Case Execution Time Analysis";
Vortrag: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
05.05.2008
- 07.05.2008; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
10 S.
Zusätzliche Informationen
P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The T-CREST Approach of Compiler and WCET-Analysis Integration";
Vortrag: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013),
Paderborn, Deutschland (eingeladen);
17.06.2013
- 18.06.2013; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems",
(2013).
B. Scholz, N. Horspool, J. Knoop:
"Optimizing for Space and Time Usage with Speculative Partial Redundancy Elimination";
Vortrag: Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004),
Washington DC, USA;
11.06.2004
- 13.06.2004; in: "Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES 2004) ",
ACM SIGPLAN Notices,
39 / 7
(2004),
S. 221
- 230.
D. Schreiner, K. Göschka, J. Knoop:
"Component Based Communication Middleware for AUTOSAR";
Poster: Junior Scientist Conference 2008,
Wien;
16.11.2008
- 18.11.2008; in: "Proceedings of Junior Scientist Conference 2008",
(2008),
ISBN: 978-3-200-01612-5;
S. 113
- 114.
Zusätzliche Informationen
D. Schreiner, J. Knoop:
"iRIS - Towards a Robotic Immune System";
Vortrag: Austrian Robotics Workshop 2011,
Hall in Tirol;
23.05.2011
- 24.05.2011; in: "Proceedings of the Austrian Robotics Workshop 2011",
M Hofbaur, M Husty (Hrg.);
UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, UMIT,
ARW-11
(2011),
ISBN: 978-3-9503191-0-1;
S. 22
- 34.
D. Schreiner, M. Schordan, J. Knoop:
"Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach";
Vortrag: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009,
Tokyo, Japan;
17.03.2009
- 20.03.2009; in: "Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)",
IEEE Computer Society,
(2009),
ISBN: 978-0-7695-3573-9;
S. 288
- 292.
J. Xue, J. Knoop:
"A fresh look at partial redundancy elimination as a maximum flow problem";
Vortrag: International Conference on Compiler Construction (CC 2006),
Vienna, Austria;
25.03.2006
- 02.04.2006; in: "Proceedings of the 15th International Conference on Compiler Construction",
Lecture Notes in Computer Science, Springer Verlag,
Vol. 3923
(2006),
ISSN: 0302-9743;
S. 139
- 154.
J. Xue, J. Knoop:
"A fresh look at partial redundancy elimination as a maximum flow problem";
Vortrag: 23rd Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte",
Physikzentrum Bad Honnef, Germany (eingeladen);
03.05.2006
- 05.05.2006; in: "Softwaretechnik-Trends",
Softwaretechnik-Trends,
Volume 26, Issue 2
(2006),
ISSN: 0720-8928.
J. Zwirchmayr, J. Knoop, L. Kovacs:
"r-TuBound: Loop Bounds for WCET Analysis";
Vortrag: Logic for Programming, Artificial Intelligence, and Reasoning 18 (LPAR-18),
Merida, Venezuela;
11.03.2012
- 15.03.2012; in: "Logic For Programming, Artificial Intelligence, and Reasoning",
N. Bjorner, A. Voronkov (Hrg.);
Lecture Notes in Computer Science, Springer,
LNCS / 7180 / Heidelberg
(2012),
ISBN: 978-3-642-28716-9;
S. 435
- 444.
J. Zwirchmayr, L. Kovacs, J. Knoop, A. Bonenfant, H. Cassé, C. Rochange:
"FFX: A Portable WCET Annotation Language";
Vortrag: International Conference on Real-Time and Network Systems (RTNS),
Abbaye des Premontres, Pont a Mousson, France;
08.11.2012
- 09.11.2012; in: "20th International Conference on Real-Time and Network Systems",
ACM,
New York
(2012),
ISBN: 978-1-4503-1409-1;
S. 91
- 100.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis";
Vortrag: 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Vadstena, Schweden (eingeladen);
20.05.2012
- 25.05.2012.
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis via Flow Facts in XML";
Vortrag: 29th Annual Workshop of the GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef, Deutschland;
02.05.2012
- 04.05.2012.
J. Knoop:
"A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report.";
Vortrag: 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Jackson's Mill, Weston, West Virginia, USA (eingeladen);
02.10.2005
- 07.10.2005.
J. Knoop:
"Behaviour-Carrying Code";
Vortrag: 49th IFIP WG 2.4 Meeting on Software Implementation Technology,
Berg en Terblijt near Maastricht, The Netherlands (eingeladen);
24.01.2010
- 29.01.2010.
Zusätzliche Informationen
J. Knoop:
"Code Motion: A Non-Refinining Optimizing Transformation";
Hauptvortrag: 11th International Workshop on Abstract State Machines (ASM 2004),
Wittenberg, Germany (eingeladen);
24.05.2004
- 28.05.2004.
J. Knoop:
"Code Size vs. Execution-Time Optimization - Towards Getting Both";
Vortrag: Dagstuhl Seminar 03071,
Schloss Dagstuhl, Wadern, Germany (eingeladen);
11.02.2003.
J. Knoop:
"Code Size vs. Run-Time Optimization: Towards Getting Both";
Vortrag: Kolloquium FernUniversität Hagen,
Hagen, Deutschland (eingeladen);
12.05.2003.
J. Knoop:
"Constant Propagation on the Value Graph: Simple Constants and Beyond";
Vortrag: 20th Annual Workshop of the Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik,
Physikzentrum Bad Honnef, Germany;
09.05.2003.
Zusätzliche Informationen
J. Knoop:
"Constant Propagation w/ SSA- and Predicated SSA Form";
Vortrag: Static Single-Assignment Form Seminar,
Autrans, Frankreich (eingeladen);
26.04.2009
- 30.04.2009.
Zusätzliche Informationen
J. Knoop:
"Current Research at the CompLang Group: Robots and More!";
Vortrag: Austrian Robotics Summit,
Graz (eingeladen);
03.07.2009.
J. Knoop:
"Current Research at the Complang Group: Timing Analyses and More";
Vortrag: Forschungskolloquium des Research Institute for Symbolic Computation RISC,
Johannes-Kepler-Universität Linz, Hagenberg bei Linz (eingeladen);
01.12.2008.
Zusätzliche Informationen
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Vortrag: Informatik Kolloquium,
Technische Universität Berlin, Berlin, Germany (eingeladen);
12.11.2007.
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Vortrag: Informatik Kolloquium,
Universität Paderborn, Paderborn, Germany (eingeladen);
23.10.2007.
J. Knoop:
"Essential Ingredients for a WCET Annotation Language";
Vortrag: 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Bormio (eingeladen);
06.04.2008
- 11.04.2008.
J. Knoop:
"From Mozart and Freud to .Net Technologies";
Hauptvortrag: 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006),
Plzen, Czech Republic (eingeladen);
29.05.2006
- 01.06.2006.
J. Knoop:
"From Trust to Proof - Beyond Verifying Functional Program Properties";
Vortrag: Informatik-Kolloquium,
Universität Siegen, Siegen, Deutschland (eingeladen);
26.10.2009.
J. Knoop:
"From Trust to Proof - Beyond Verifying Functional Program Properties";
Vortrag: Informatik-Kolloquium,
Technische Universität Darmstadt, Darmstadt, Deutschland (eingeladen);
30.11.2009.
J. Knoop:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Port Townsend, WA, USA (eingeladen);
10.05.2009
- 15.05.2009.
Zusätzliche Informationen
J. Knoop:
"Future of European Scientific Societies in Informatics (panel discussion)";
Vortrag: 6th Annual European Computer Science Summit (ECSS 2010),
Prague, Czech Republic (eingeladen);
11.10.2010
- 13.10.2010.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau";
Vortrag: Colloquium Universität Potsdam,
Potsdam, Germany (eingeladen);
10.05.2004.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau";
Vortrag: Colloquium Universität Halle-Wittenberg,
Halle-Wittenberg, Germany (eingeladen);
15.04.2004.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung";
Vortrag: Colloquium Rheinisch-Westfälische Technische Hochschule Aachen,
Aachen, Germany (eingeladen);
22.01.2004.
J. Knoop:
"Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau";
Vortrag: Kolloquium Universität Karlsruhe,
Karlsruhe, Deutschland (eingeladen);
15.10.2005.
J. Knoop:
"Non-Standard Techniques for Program Analysis and Optimization";
Vortrag: Informatik Kolloquium,
Technische Universität München, Germany (eingeladen);
22.06.2006.
J. Knoop:
"Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective'";
Vortrag: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)",
Paris (eingeladen);
08.07.2013
- 09.07.2013.
J. Knoop:
"Panel zu 'Dissertationen in der Software-Technik'";
Vortrag: Doktoranden-Symposium der Software Engineering 2012 (DS-SE 2012),
Berlin, Germany (eingeladen);
29.02.2012.
J. Knoop:
"Parallelism -- Somtimes it is for Free";
Vortrag: 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Brisbane, Australia (eingeladen);
14.03.2004
- 19.03.2004.
J. Knoop:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Vortrag: 50th IFIP WG 2.4 Meeting on Software Implementation Technology,
Lutherstadt Wittenberg, Deutschland (eingeladen);
03.10.2010
- 08.10.2010.
Zusätzliche Informationen
J. Knoop:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Vortrag: 28th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte",
Physikzentrum Bad Honnef, Deutschland;
02.05.2011
- 04.05.2011.
J. Knoop:
"Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation";
Vortrag: IFIP Working Group 2.4 on Software Implementation Technology,
Santa Cruz, CA, USA (eingeladen);
07.08.2003.
J. Knoop:
"Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox";
Vortrag: 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Cape May, NJ (eingeladen);
25.09.2011
- 30.09.2011.
J. Knoop:
"Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges";
Hauptvortrag: 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004),
Timisoara, Romania (eingeladen);
26.09.2004
- 30.09.2004.
J. Knoop:
"Timing Properties: Beyond Verifying Functional Program Properties";
Vortrag: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009),
York, UK (eingeladen);
22.03.2009.
Zusätzliche Informationen
J. Knoop:
"Towards Targeted and Transparent Worst-Case Execution Time Optimization";
Vortrag: 56th Meeting of the IFIP WG 2.4 Software Implementation Technology,
Boppard (eingeladen);
26.07.2015
- 31.07.2015.
J. Knoop:
"Towards Transparent Worst-Case Execution Time Optimization";
Vortrag: 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte,
Bad Honnef;
04.05.2015
- 06.05.2015.
J. Knoop:
"Verifying the Timing Behaviour of Real-Time Systems";
Vortrag: Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog,
Oldenburg (Oldbg.) (eingeladen);
08.09.2015
- 09.09.2015.
J. Knoop:
"Worst-Case Execution Time Analysis: The Annotation Language Challenge";
Vortrag: 46th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Lake Arrowhead, California, USA (eingeladen);
06.05.2007
- 11.05.2007.
J. Knoop:
"Worst-Case Execution Time Analysis: The CoSTA-Approach";
Vortrag: 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Glasgow, Scotland, UK (eingeladen);
16.07.2006
- 21.07.2006.
J. Knoop:
"`Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion)";
Vortrag: Celebration of 10 Years of EASST at ETAPS 2010,
Paphos (Cyprus) (eingeladen);
24.03.2010.
J. Knoop, M. Bruntink, P. McMinn:
"Slicing -- 10 Years from Now!";
Vortrag: Dagstuhl Seminar 05451: Beyond Program Slicing,
Schloss Dagstuhl, Germany (eingeladen);
06.11.2005
- 11.11.2005.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution";
Vortrag: 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe),
Vienna (eingeladen);
23.01.2014
- 24.01.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution";
Vortrag: 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013),
Peking (eingeladen);
23.10.2013
- 25.10.2013.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds";
Vortrag: 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Stellenbosch (eingeladen);
02.11.2014
- 07.11.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus";
Hauptvortrag: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack,
Christian-Albrechts-Universität zu Kiel, Deutschland (eingeladen);
09.05.2014.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing by On-demand Feasibility Refinement";
Vortrag: 53rd Meeting of the IFIP Working Group 2.4 'Software Implementation Technology',
Mysore (eingeladen);
17.03.2013
- 22.03.2013.
J. Knoop, D. Schreiner:
"Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment";
Vortrag: 57th IFIP WG 2.4 Meeting "Software Implementation Technology",
Victoria, BC, Canada (eingeladen);
03.04.2016
- 08.04.2016.
Zusätzliche Informationen
P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration";
Vortrag: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)",
Paris (eingeladen);
08.07.2013
- 09.07.2013.
Dissertationen (eigene und begutachtete)
S Agarwal:
"Analysis, Scheduling and Reasoning in Distributed Shared Memory Programming Languages";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, N. N.;
Tata Institute of Fundamental Research, Mumbai, Indien,
2009.
L Alvincz:
"A Framework for Intelligent Speculative Compiler Optimizations and its Application to Memory Access";
Betreuer/in(nen), Begutachter/in(nen): S. Glesner, J. Knoop;
Fakultät IV Elektrotechnik und Informatik, TU Berlin, Berlin, Deutschland,
2009;
Rigorosum: 17.07.2009.
S. Brunthaler:
"Purely Interpretative Optimizations";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, M. Franz;
Institut für Computersprachen,
2011;
Rigorosum: 28.02.2011.
Zusätzliche Informationen
Q. Cai:
"Profile-Guided Redundancy Elimination";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop;
The University of New South Wales, Sydney, Australia,
2006;
Rigorosum: 07/2006.
A. Hartmann:
"Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop;
Friedrich-Schiller-Universität Jena, Deutschland,
2006;
Rigorosum: 07/2006.
S. Jörges:
"Genesys: A Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators";
Betreuer/in(nen), Begutachter/in(nen): B. Steffen, J. Knoop;
TU Dortmund, Deutschland,
2011;
Rigorosum: 21.12.2011.
K Klohs:
"Validation of Data Flow Results for Program Modules";
Betreuer/in(nen), Begutachter/in(nen): U Kastens, J. Knoop;
Universität Paderborn, Deutschland,
2009;
Rigorosum: 03.04.2009.
L. Li:
"Scratchpad Memory Management for Static Data Aggregates";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, N. N.;
The University of New South Wales, Sydney, Australia,
2007.
S. Maurer:
"Analysis and Coordination of Mixed-Criticality Cyber-Physical Systems";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, D.B. Christianson;
University of Hertfordshire,
2018;
Rigorosum: 11.01.2018.
A. Prantl:
"High-level Compiler Support for Timing Analysis";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, B. Lisper;
Institut für Computersprachen,
2010;
Rigorosum: 09.06.2010.
D. Richter:
"Programmanalysen zur Verbesserung der Softwaremodellprüfung";
Betreuer/in(nen), Begutachter/in(nen): W. Zimmermann, J. Knoop;
Martin-Luther-Universität Halle-Wittenberg, Deutschland,
2012;
Rigorosum: 31.01.2012.
B. Rieder:
"Measurement-Based Timing Analysis of Applications written in ANSI-C";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, J. Knoop;
Institut für Technische Informatik,
2009;
Rigorosum: 26.06.2009.
N. Rinetzky:
"Interprocedural and Modular Local Heap Shape Analysis";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop, N. N.;
Tel-Aviv University, Tel Aviv, Israel,
2008.
U. Scheben:
"Simplifying and Unifying Composition for Industrial Component Models";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop;
FernUniversität in Hagen, Deutschland,
2006;
Rigorosum: 11/2006.
D. Tetzlaff:
"A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures";
Betreuer/in(nen), Begutachter/in(nen): S. Glesner, P. Marwedel, J. Knoop;
TU Berlin, Fakultät für Elektrotechnik und Informatik,
2014;
Rigorosum: 24.06.2014.
I. Wenzel:
"Measurement-Based Timing Analysis of Superscalar Processors";
Betreuer/in(nen), Begutachter/in(nen): P. Puschner, J. Knoop;
Institut für Technische Informatik,
2007;
Rigorosum: 16.01.2007.
D. Ye:
"Accelarating Dynamic Detection of Memory Errors for C Programs via Static Analysis";
Betreuer/in(nen), Begutachter/in(nen): J. Knoop;
The University of New South Wales, Sydney, Australia,
2015.
J. Zwirchmayr:
"Symbolic Methods for the Timing Analysis of Programs";
Betreuer/in(nen), Begutachter/in(nen): L. Kovacs, J. Knoop;
Institut für Computersprachen - E185-1,
2013;
Rigorosum: 04.10.2013.
Diplom- und Master-Arbeiten (eigene und betreute)
G. Barany:
"Semantics-Based Code Optimizations with SATIrE";
Betreuer/in(nen): J. Knoop;
Institut für Computersprachen,
2008;
Abschlussprüfung: 01.02.2008.
B. Eizinger:
"On the Impact of Classical Program Optimization on the WCET-Behaviour";
Betreuer/in(nen): J. Knoop, S Hepp;
Institut für Computersprachen,
2015;
Abschlussprüfung: 09.11.2015.
J. Hollenstein:
"Visual Control of Acoustic Speech Synthesis";
Betreuer/in(nen): J. Knoop, M Pucher;
Institut für Computersprachen,
2014;
Abschlussprüfung: 14.01.2014.
A. Koltraka:
"Reasoning Capabilities for a Cognitive-Assistive Assembly System";
Betreuer/in(nen): J. Knoop, D. Schreiner;
Institut für Computersprachen,
2017;
Abschlussprüfung: 04.10.2017.
V. Mihailevschi:
"Machine Translation Interlingua based on MultiNet";
Betreuer/in(nen): J. Knoop;
Institut für Computersprachen,
2008;
Abschlussprüfung: 01.04.2008.
A. Oberhauser:
"Entscheidungsfindung im Roboterfußball mittels Neuroevolution";
Betreuer/in(nen): J. Knoop, D. Schreiner;
Institut für Computersprachen,
2013;
Abschlussprüfung: 08.10.2013.
M Pucher:
"A Hidden-Markov-Model (HMM) based Opera Singing System for German";
Betreuer/in(nen): J. Knoop, G. Keller;
Institut für Computersprachen,
2015;
Abschlussprüfung: 15.06.2015.
C. Punzengruber:
"Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League";
Betreuer/in(nen): J. Knoop, D. Schreiner;
Institut für Computersprachen,
2011;
Abschlussprüfung: 02/2011.
D. Schabus:
"Interpolation of Austrian German and Viennese Dialect/Sociolect in HMM-based Speech Synthesis";
Betreuer/in(nen): J. Knoop, M. Kommenda, M Pucher;
Institut für Computersprachen,
2009;
Abschlussprüfung: 08.05.2009.
M. Schröder:
"Durability and Contention in Software Transactional Memory";
Betreuer/in(nen): J. Knoop;
Institut für Computersprachen,
2015;
Abschlussprüfung: 15.10.2015.
J. Thoma:
"A Register Allocation Framework for the GNU Compiler Collection (gcc)";
Betreuer/in(nen): J. Knoop, B. Scholz;
Institut für Computersprachen,
2004;
Abschlussprüfung: 15.03.2004.
M. Wieser:
"Fehlererkennung bei Robotern mithilfe eines künstlichen Immunsystems";
Betreuer/in(nen): J. Knoop, D. Schreiner;
Institut für Computersprachen,
2012;
Abschlussprüfung: 09.10.2012.
Wissenschaftliche Berichte
M. Bader, A. Hofmann, J. Knoop, D. Schreiner, M. Vincze:
"Austrian-Kangaroos 2012 Team Qualification Document (TQD)";
2012;
5 S.
Th. Hamböck, A. Hofmann, J. Knoop, D. Schreiner:
"Austrian-Kangaroos 2014 Team Qualification Document (TQD)";
2014;
5 S.
D. Schreiner, A. Hofmann, J. Knoop, B. Miller, M. Bader, M. Vincze:
"Austrian-Kangaroos 2011 Team Qualification Document (TQD)";
2011;
7 S.
