Name Card

Full name Familienname, Vorname
Knoop, Jens
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 109 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Knoop Jens - 2017 - Replacing Conjectures by Positive Knowledge Inferring Proven...pdf.jpgKnoop, Jens ; Kovács, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic ExecutionArticle Artikel 2017
2Knoop, Jens ; Schreiner, Dietmar Electronic Visual Analysis: High-Performance Computing in a Heterogeneous EnvironmentPräsentation Presentation2016
3Knoop, Jens Verifying the Timing Behaviour of Real-Time SystemsPräsentation Presentation2015
4Knoop, Jens Towards Targeted and Transparent Worst-Case Execution Time OptimizationPräsentation Presentation2015
5Knoop, Jens Towards Transparent Worst-Case Execution Time OptimizationPräsentation Presentation2015
6Schoeberl, Martin ; Abbaspour, Sahar ; Akesson, Benny ; Audsley, Neil ; Capasso, Raffaele ; Garside, Jamie ; Goossens, Kees ; Goossens, Sven ; Hansen, Scott ; Heckmann, Reinhold ; Hepp, Stefan ; Huber, Benedikt ; Jordan, Alexander ; Kasapaki, Evangelia ; Knoop, Jens ; Li, Yonghui ; Prokesch, Daniel ; Puffitsch, Wolfgang ; Puschner, Peter ; Rocha, André ; Silva, Cláudio ; Sparso, Jens ; Tocchi, Alessandro T-CREST: Time-Predictable Multi-Core Architecture for Embedded SystemsArtikel Article 2015
7Hepp, Stefan ; Huber, Benedikt ; Knoop, Jens ; Prokesch, Daniel ; Puschner, Peter The platin Tool Kit - The T-CREST Approach for Compiler and WCET IntegrationKonferenzbeitrag Inproceedings2015
8Brandner, Florian ; Knoop, Jens Exchange between the German and French Compiler CommunitiesKonferenzbeitrag Inproceedings2015
9Hamböck, Thomas ; Hofmann, Alexander ; Knoop, Jens ; Schreiner, Dietmar Austrian-Kangaroos 2014 Team Qualification Document (TQD)Bericht Report2014
10Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinausPräsentation Presentation2014
11Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Five P's of Inferring Proven Precise Worst-Case Execution Time BoundsPräsentation Presentation2014
12Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic ExecutionPräsentation Presentation2014
13Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-boundsKonferenzbeitrag Inproceedings 2013
14Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing by On-demand Feasibility RefinementPräsentation Presentation2013
15Knoop, Jens Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective'Präsentation Presentation2013
16Puschner, Peter ; Prokesch, Daniel ; Huber, Benedikt ; Knoop, Jens ; Hepp, Stefan ; Gebhard, Gernot The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis IntegrationPräsentation Presentation2013
17Puschner, Peter ; Prokesch, Daniel ; Huber, Benedikt ; Knoop, Jens ; Hepp, Stefan ; Gebhard, Gernot The T-CREST Approach of Compiler and WCET-Analysis IntegrationKonferenzbeitrag Inproceedings 2013
18Knoop, Jens ; Schreiner, Dietmar Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und internationalArtikel Article2013
19Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial CodeArtikel Article 2013
20Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens Comparison of type-based and alias-based component recognition for embedded systems softwareArtikel Article 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 44 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bernad Matthias - 2023 - Defending against counterfeit object-oriented...pdf.jpgBernad, Matthias Defending against counterfeit object-oriented programmingThesis Hochschulschrift 2023
2Siebenhandl Hannes - 2023 - Opt-in Protocol Types for Effect Systems in Haskell.pdf.jpgSiebenhandl, Hannes Opt-in Protocol Types for Effect Systems in HaskellThesis Hochschulschrift 2023
3Pilz Samuel - 2023 - Improving Rust Mutation Testing using Static and Dynamic...pdf.jpgPilz, Samuel Improving rust mutation testing using static and dynamic program analysisThesis Hochschulschrift 2023
4Knoop, Jens ; Schordan, Markus ; Johnson, Teresa ; O´Boyle, Michael F.P. Proceedings of the 2018 International Symposium on Code Generation and OptimizationKonferenzband Proceedings2018
5Knoop, Jens ; Karl, Wolfgang ; Schulz, Martin ; Inoue, Koji ; Pionteck, Thilo Architecture of Computing Systems - ARCS 2017Buch Book2017
6Koltraka Ardian - 2017 - Reasoning capabilities for a cognitive-assistive...pdf.jpgKoltraka, Ardian Reasoning capabilities for a cognitive-assistive assembly systemThesis Hochschulschrift 2017
7Knoop, Jens ; Zdun, Uwe Software Engineering 2016, Fachtagung des GI-Fachbereichs SoftwaretechnikBuch Book2016
8Knoop, Jens ; Ertl, Martin Anton 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015)Buch Book2015
9Schröder, Michael Durability and contention in software transactional memoryThesis Hochschulschrift2015
10Pucher Michael - 2015 - Ein Hidden-Markov-Modell HMM basiertes...pdf.jpgPucher, Michael Ein Hidden-Markov-Modell (HMM) basiertes Operngesangssynthesesystem für DeutschThesis Hochschulschrift 2015
11Brandner, Florian ; Knoop, Jens Exchange between the German and French Compiler CommunitiesKonferenzbeitrag Inproceedings2015
12Eizinger Benjamin - 2015 - On the impact of classical program optimization on...pdf.jpgEizinger, Benjamin On the impact of classical program optimization on the WCET-behaviourThesis Hochschulschrift 2015
13Hollenstein Jakob Johannes - 2013 - Visual control of acoustic speech synthesis.pdf.jpgHollenstein, Jakob Johannes Visual control of acoustic speech synthesisThesis Hochschulschrift 2013
14Zwirchmayr Jakob - 2013 - Symbolic methods for the timing analysis of programs.pdf.jpgZwirchmayr, Jakob Symbolic methods for the timing analysis of programsThesis Hochschulschrift 2013
15Brunthaler, Stefan Interpreter Instruction SchedulingKonferenzbeitrag Inproceedings 2011
16Punzengruber, Clemens Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform LeagueThesis Hochschulschrift2011
17Knoop, Jens Compiler ConstructionKonferenzband Proceedings2011
18Salapura, Valentina ; Gschwind, Michael ; Knoop, Jens Proceedings of the 19th International Conference on Parallel Architectures and Compilation TechniquesKonferenzband Proceedings 2010
19Schreiner, Dietmar A Software Design Methodology for Mobile Autonomous RobotsKonferenzbeitrag Inproceedings2010
20Barany, Gergö SATIrE within ALL-TIMES: Improving Timing Technology with Source Code AnalysisKonferenzbeitrag Inproceedings2009