Knoop, Jens

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Inf. Dr.rer.nat.
 
Full name Familienname, Vorname
Knoop, Jens
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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 Towards Targeted and Transparent Worst-Case Execution Time OptimizationPräsentation Presentation2015
4Knoop, Jens Towards Transparent Worst-Case Execution Time OptimizationPräsentation Presentation2015
5Knoop, Jens Verifying the Timing Behaviour of Real-Time SystemsPrä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 Article2015
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 ; Knoop, Jens ; Ertl, Martin Anton Exchange between the German and French Compiler CommunitiesKonferenzbeitrag Inproceedings2015
9Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Five P's of Inferring Proven Precise Worst-Case Execution Time BoundsPräsentation Presentation2014
10Knoop, 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
11Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinausPräsentation Presentation2014
12Hamböck, Thomas ; Hofmann, Alexander ; Knoop, Jens ; Schreiner, Dietmar Austrian-Kangaroos 2014 Team Qualification Document (TQD)Bericht Report2014
13Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob ; Maiza, Claire The Auspicious Couple: Symbolic Execution and WCET AnalysisKonferenzbeitrag Inproceedings 2013
14Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-boundsKonferenzbeitrag Inproceedings 2013
15Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob SmacC: A Retargetable Symbolic Execution EngineKonferenzbeitrag Inproceedings 2013
16Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic ExecutionPräsentation Presentation2013
17Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing by On-demand Feasibility RefinementPräsentation Presentation2013
18Knoop, Jens Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective'Präsentation Presentation2013
19Puschner, 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
20Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens Comparison of type-based and alias-based component recognition for embedded systems softwareArtikel Article2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 37 (Search time: 0.01 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Knoop, Jens ; Schordan, Markus ; Johnson, Teresa ; O´Boyle, Michael F.P. Proceedings of the 2018 International Symposium on Code Generation and OptimizationKonferenzband Proceedings2018
2Koltraka Ardian - 2017 - Reasoning capabilities for a cognitive-assistive...pdf.jpgKoltraka, Ardian Reasoning capabilities for a cognitive-assistive assembly systemThesis Hochschulschrift 2017
3Knoop, Jens ; Karl, Wolfgang ; Schulz, Martin ; Inoue, Koji ; Pionteck, Thilo Architecture of Computing Systems - ARCS 2017Buch Book2017
4Knoop, Jens ; Zdun, Uwe Software Engineering 2016, Fachtagung des GI-Fachbereichs SoftwaretechnikBuch Book2016
5Eizinger 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
6Pucher Michael - 2015 - Ein Hidden-Markov-Modell HMM basiertes...pdf.jpgPucher, Michael Ein Hidden-Markov-Modell (HMM) basiertes Operngesangssynthesesystem für DeutschThesis Hochschulschrift 2015
7Schröder, Michael Durability and contention in software transactional memoryThesis Hochschulschrift2015
8Knoop, Jens ; Ertl, Martin Anton 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015)Buch Book2015
9Brandner, Florian ; Knoop, Jens ; Knoop, Jens ; Ertl, Martin Anton Exchange between the German and French Compiler CommunitiesKonferenzbeitrag Inproceedings2015
10Hollenstein Jakob Johannes - 2013 - Visual control of acoustic speech synthesis.pdf.jpgHollenstein, Jakob Johannes Visual control of acoustic speech synthesisThesis Hochschulschrift 2013
11Zwirchmayr Jakob - 2013 - Symbolic methods for the timing analysis of programs.pdf.jpgZwirchmayr, Jakob Symbolic methods for the timing analysis of programsThesis Hochschulschrift 2013
12Brunthaler, Stefan ; Knoop, Jens Interpreter Instruction SchedulingKonferenzbeitrag Inproceedings 2011
13Punzengruber, Clemens Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform LeagueThesis Hochschulschrift2011
14Knoop, Jens Compiler ConstructionKonferenzband Proceedings2011
15Schreiner, Dietmar ; Schreiner, Dietmar ; Knoop, Jens A Software Design Methodology for Mobile Autonomous RobotsKonferenzbeitrag Inproceedings2010
16Salapura, Valentina ; Gschwind, Michael ; Knoop, Jens Proceedings of the 19th International Conference on Parallel Architectures and Compilation TechniquesKonferenzband Proceedings 2010
17Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus ; Knoop, Jens ; Prantl, Adrian From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
18Knoop, Jens ; Knoop, Jens ; Prantl, Adrian From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
19Barany, Gergö ; Prantl, Adrian ; Knoop, Jens SATIrE within ALL-TIMES: Improving Timing Technology with Source Code AnalysisKonferenzbeitrag Inproceedings2009
20Kirner, Raimund ; Haas, Walter ; Knoop, Jens ; Prantl, Adrian Automatic Calculation of Coverage Profiles for Coverage-based TestingKonferenzbeitrag Inproceedings2009

Projects Projekte


Results 1-2 of 2 (Search time: 0.0 seconds).

TitleP-Investigator
ALL-TIMES: Integrating European Timing Analysis TechnologyKnoop, Jens
E.V.A. - Electronic Visual AnalysisKnoop, Jens