Schreiner, D., Barany, G., Schordan, M., & Knoop, J. (2013). Comparison of type-based and alias-based component recognition for embedded systems software. International Journal on Software Tools for Technology Transfer, 15(1), 41–52. https://doi.org/10.1007/s10009-012-0251-0 ( reposiTUm)

Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., & Gliwa, P. (2013). Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code. International Journal on Software Tools for Technology Transfer, 15(1), 53–63. https://doi.org/10.1007/s10009-012-0255-9 ( reposiTUm)

Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Kadlec, A. (2011). Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis. Software and Systems Modeling, 10(3), 411–437. https://doi.org/10.1007/s10270-010-0161-0 ( reposiTUm)

Barany, G., & Prantl, A. (2010). Source-Level Support for Timing Analysis. In Leveraging Applications of Formal Methods, Verification and Validation. 4th International Symposium on Leveraging Applications, ISoLA 2010 (pp. 434–448). Springer. https://doi.org/10.1007/978-3-642-16561-0_40 ( reposiTUm)

Altman, E., Childers, B. R., Cohn, R., Davidson, J., Brosschere, K. D., Sutter, B. D., Ertl, M. A., Franz, M., Gu, Y., Hauswirth, M., Heinz, T., Hsu, W.-C., Knoop, J., Krall, A., Kumar, N., Maebe, J., Muth, R., Rival, X., Rohou, E., … Vick, C. (2009). 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation. In Emerging Uses and Paradigms for Dynamic Binary Translation (No. 08441). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/DagSemProc.08441.2 ( reposiTUm)

Knoop, J. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen (p. 13). Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3. http://hdl.handle.net/20.500.12708/52782 ( reposiTUm)

Barany, G. (2009). SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis. In A. Prantl & J. Knoop (Eds.), Programmiersprachen und Grundlagen der Programmierung (pp. 27–37). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52789 ( reposiTUm)

Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 155–166). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52781 ( reposiTUm)

Schreiner, D., Schordan, M., Barany, G., & Göschka, K. M. (2008). Source Code Based Component Recognition in Software Stacks for Embedded Systems. In 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications. 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Beijing, China, Non-EU. IEEE. https://doi.org/10.1109/mesa.2008.4735666 ( reposiTUm)

Barany, G. (2008). Value Flow Graph Analysis with SATIrE. In Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis (p. 6). Leibniz-Zentrum für Informatik. http://hdl.handle.net/20.500.12708/52518 ( reposiTUm)

Knoop, J. (2008). Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis. In F. Martin, H. R. Nielson, C. Riva, & M. Schordan (Eds.), Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis (pp. 1–14). Schloss Dagstuhl, Leibniz-Zentrum für Informatik. http://hdl.handle.net/20.500.12708/52460 ( reposiTUm)

Knoop, J. (2008). Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field. In Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation (p. 6). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52461 ( reposiTUm)

Knoop, J. (2010). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 50th IFIP WG 2.4 Meeting on Software Implementation Technology, Lutherstadt Wittenberg, Deutschland, EU. http://hdl.handle.net/20.500.12708/85088 ( reposiTUm)

Knoop, J. (2010). Behaviour-Carrying Code. 49th IFIP WG 2.4 Meeting on Software Implementation Technology, Berg en Terblijt near Maastricht, The Netherlands, EU. http://hdl.handle.net/20.500.12708/84981 ( reposiTUm)

Knoop, J. (2009). From Trusted Annotations to Verified Knowledge. 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Port Townsend, WA, USA, Non-EU. http://hdl.handle.net/20.500.12708/84872 ( reposiTUm)

Knoop, J. (2009). Timing Properties: Beyond Verifying Functional Program Properties. 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK, EU. http://hdl.handle.net/20.500.12708/84877 ( reposiTUm)