TU Wien Informatics

20 Years

About

In research, teaching, innovation and technology transfer we deal with the theory and practice of the design and implementation of programming languages, principles of programming and their interactions with related fields such as software engineering and computer architectures.

The main focus is on the fundamentals, methods and tools for the design of compilers, interpreters, virtual machines and middle layer architectures, the analysis, verification and optimization of programs and program systems and applications in the field of embedded, cyber-physical and safety-critical real-time systems.

The research Unit Compilers and Languages is part of the Institute of Information Systems Engineering.

M. Anton Ertl
M. Anton Ertl M. Ertl

Associate Professor
Ao.Univ.Prof. DI Dr.

Jens Knoop
Jens Knoop J. Knoop

Head of Research Unit
Univ.Prof. Dipl.-Inf. Dr.

Andreas Krall
Andreas Krall A. Krall

Associate Professor
Ao.Univ.Prof. DI Dr.

Eva Kühn
Eva Kühn E. Kühn

Associate Professor
Ao.Univ.Prof. DI Dr.

Franz Puntigam
Franz Puntigam F. Puntigam

Associate Professor
Ao.Univ.Prof. DI Dr.

Nahla El-Araby
Nahla El-Araby N. El-Araby

PostDoc Researcher
PhD

Benedikt Lukas Huber
Benedikt Lukas Huber B. Huber

PreDoc Researcher
DI

Ulrich Neumerkel
Ulrich Neumerkel U. Neumerkel

PostDoc Researcher
Ass.Prof. DI Dr.

Dietmar Schreiner
Dietmar Schreiner D. Schreiner

Senior Lecturer
DI(FH) Dr.

2023W

2024S

 

  • Cacao
    1996 – 2025 / Cacao Virtual Machine

2024

  • The Vienna Architecture Description Language / Himmelbauer, S., Hochrainer, C., Huber, B. L., Mischkulnig, N., Paulweber, P., Schwarzinger, T., & Krall, A. (2024). The Vienna Architecture Description Language. arXiv. https://doi.org/10.34726/5619
    Download: PDF (1.01 MB)

2023

2022

  • The Peer-Model tool-chain / Kühn, E. (2022). The Peer-Model tool-chain. Science of Computer Programming, 223, Article 102876. https://doi.org/10.1016/j.scico.2022.102876
  • Kernspaltung : Zurück in die Zukunft? / Ertl, M. A. (2022, May 6). Kernspaltung : Zurück in die Zukunft? [Conference Presentation]. Forth-Tagung 2023, online, Germany. https://doi.org/10.34726/5458
    Download: Slides (1010 KB)
  • Kernfusion - Zurück in die Zukunft II? / Ertl, M. (2022, May). Kernfusion - Zurück in die Zukunft II? [Conference Presentation]. Forth-Tagung 2022, Germany. https://doi.org/10.34726/5457
    Download: Slides (69.8 KB)
  • Managed Forth / Ertl, M. A. (2022, May). Managed Forth [Conference Presentation]. Forth-Tagung 2022, online, Germany.
    Download: Slides (32.1 KB)
  • Instruction Code Selection / Ebner, D., Krall, A., & Scholz, B. (2022). Instruction Code Selection. In F. Rastello & F. Bouchez Tichadou (Eds.), SSA-based Compiler Design (pp. 257–268). Springer. https://doi.org/10.1007/978-3-030-80515-9_19
  • A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent Algorithms / Kühn, E., & Šešum-Čavić, V. (2022). A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent Algorithms. In A. E. Smith (Ed.), Women in Computational Intelligence (pp. 393–412). Springer. https://doi.org/10.1007/978-3-030-79092-9_18

2021

  • Induction with Recursive Definitions in Superposition / Hajdu, M., Hozzova, P., Kovacs, L., & Voronkov, A. (2021). Induction with Recursive Definitions in Superposition. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (Vol. 2, pp. 246–255). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
    Download: PDF (350 KB)
  • Practical Considerations in a Static Stack Checker / Ertl, M. A. (2021). Practical Considerations in a Static Stack Checker. In 37th EuroForth Conference. September 10-12, 2021 (pp. 5–12). https://doi.org/10.34726/3512
    Download: Practical Considerations in a Static Stack Checker (360 KB)
  • Copying Bytes / Ertl, M. (2021, September). Copying Bytes [Conference Presentation]. 37th EuroForth Conference, online, Unknown. https://doi.org/10.34726/3482
    Download: Copying Bytes (Handouts) (91.4 KB)
  • A Practical Tool-Chain for the Development of Coordination Scenarios / Kuehn, E. M. (2021). A Practical Tool-Chain for the Development of Coordination Scenarios. In F. Damian & O. Dardha (Eds.), Coordination Models and Languages, COORDINATION 2021 (pp. 239–254). Springer. https://doi.org/10.1007/978-3-030-78142-2_15
  • Warum ergibt 1 chars den Wert 1? / Ertl, M. A. (2021). Warum ergibt 1 chars den Wert 1? Vierte Dimension. Das Forth-Magazin, 37(1), 9–13. http://hdl.handle.net/20.500.12708/139070
  • The Essence of Closures---A language design perspective / Ertl, M. A. (2021). The Essence of Closures---A language design perspective. In Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 26–33). Kiel Computer Science Series / Self-Publishing of Department of Computer Science, Kiel. http://hdl.handle.net/20.500.12708/55693
  • Automated Termination Analysis of Polynomial Probabilistic Programs / Moosbrugger, M., Bartocci, E., Katoen, J.-P., & Kovács, L. (2021). Automated Termination Analysis of Polynomial Probabilistic Programs. In Programming Languages and Systems (pp. 491–518). Springer. https://doi.org/10.1007/978-3-030-72019-3_18

2020

2019

  • XVSM Micro-Room Process Modeler / Kühn, E., Craß, S., Binder, J., & Šešum-Čavić, V. (2019). XVSM Micro-Room Process Modeler. International Journal of Cooperative Information Systems, 28(02), 1950004. https://doi.org/10.1142/s0218843019500047
  • The new Gforth Header / Paysan, B., & Ertl, M. A. (2019). The new Gforth Header. In 35th EuroForth Conference (pp. 5–20). http://hdl.handle.net/20.500.12708/58138
  • Integer Division by Multiplying with the Double-Width Reciprocal / Ertl, M. A. (2019). Integer Division by Multiplying with the Double-Width Reciprocal. In 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019) (pp. 75–84). http://hdl.handle.net/20.500.12708/58139
  • Der neue Gforth-Header / Ertl, M. A., & Paysan, B. (2019). Der neue Gforth-Header. Forth-Tagung 2019, Worms, EU. http://hdl.handle.net/20.500.12708/87042
  • Interactive multiline #gtR R#gt in Gforth / Ertl, M. A. (2019). Interactive multiline #gtR R#gt in Gforth. 35th EuroForth Conference, Edinburgh, EU. http://hdl.handle.net/20.500.12708/87044
  • Forth-Quellcode im Flash / Ertl, M. A. (2019). Forth-Quellcode im Flash. Forth-Tagung 2019, Worms, EU. http://hdl.handle.net/20.500.12708/87043
  • A Distributed Ledger Technology Based on Shared Write-Once Objects / Kuehn, E. M. (2019). A Distributed Ledger Technology Based on Shared Write-Once Objects. In Models, Languages, and Tools for Concurrent and Distributed Programming (pp. 136–151). Springer. https://doi.org/10.1007/978-3-030-21485-2_9

2018

  • Reshaping a multimode laser beam into a constructed Gaussian beam for generating a thin light sheet / Saghafi, S., Haghi-Danaloo, N., Becker, K., Sabdyusheva, I., Foroughipour, M., Hahn, C., Pende, M., Wanis, M., Bergmann, M., Stift, J., Hegedus, B., Dome, B., & Dodt, H.-U. (2018). Reshaping a multimode laser beam into a constructed Gaussian beam for generating a thin light sheet. Journal of Biophotonics, 11(6), Article e201700213. https://doi.org/10.1002/jbio.201700213
  • Software Vector Chaining / Ertl, M. A. (2018). Software Vector Chaining. In 34th EuroForth Conference (pp. 54–55). http://hdl.handle.net/20.500.12708/57729
  • Closures - the Forth way / Ertl, M. A., & Paysan, B. (2018). Closures - the Forth way. In 34th EuroForth Conference (pp. 17–30). http://hdl.handle.net/20.500.12708/57728
  • Forth-200X-Treffen auf der EuroForth 2017 / Ertl, M. A. (2018). Forth-200X-Treffen auf der EuroForth 2017. Vierte Dimension. Das Forth-Magazin, 34(3), 5–6. http://hdl.handle.net/20.500.12708/145950
  • Distributed Coordination Runtime Assertions for the Peer Model / Kühn, eva, Radschek, S. T., & Elaraby, N. (2018). Distributed Coordination Runtime Assertions for the Peer Model. In Lecture Notes in Computer Science (pp. 200–219). Springer LNCS. https://doi.org/10.1007/978-3-319-92408-3_9
  • Proceedings of the 2018 International Symposium on Code Generation and Optimization / Knoop, J., Schordan, M., Johnson, T., & O´Boyle, M. F. P. (Eds.). (2018). Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM. https://doi.org/10.1145/3179541
  • Software vector chaining / Ertl, M. A. (2018). Software vector chaining. In Proceedings of the 15th International Conference on Managed Languages & Runtimes  - ManLang ’18. Manlang’18, Linz, Austria. ACM. https://doi.org/10.1145/3237009.3237021
  • Fast and flexible instruction selection with constraints / Thier, P., Ertl, M. A., & Krall, A. (2018). Fast and flexible instruction selection with constraints. In Proceedings of the 27th International Conference on Compiler Construction. Compiler Construction, Wien, Austria. ACM. https://doi.org/10.1145/3178372.3179501
  • Verallgemeinerung von locals / Ertl, M. A. (2018). Verallgemeinerung von locals. In Forth-Tagung 2018 im Linuxhotel Essen (p. 13). http://hdl.handle.net/20.500.12708/57726
  • Towards a Hybrid Verification Approach / Elaraby, N., Kühn, E., Messinger, A., & Radschek, S. T. (2018). Towards a Hybrid Verification Approach. In Software Technologies: Applications and Foundations (pp. 367–386). Springer LNCS. https://doi.org/10.1007/978-3-030-04771-9_27
  • Coordination Pattern-Based Approach for Auto-Scaling in Multi-clouds / Kühn, E., & Craß, S. (2018). Coordination Pattern-Based Approach for Auto-Scaling in Multi-clouds. In 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA). 32nd International Conference on Advanced Information Networking and Applications Workshops (IEEE WAINA 2018), CCPI, Krakau, EU. IEEE. https://doi.org/10.1109/waina.2018.00113
  • An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation / Kühn, E., & Radschek, S. T. (2018). An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. In Software Engineering and Formal Methods (pp. 574–590). Springer. https://doi.org/10.1007/978-3-319-74781-1_38

2017

  • Discussion: No S without Q ⇒ No E without Q? / Messinger, A., & Kühn, E. (2017). Discussion: No S without Q ⇒ No E without Q? In 2017 IEEE 15th International Conference on Industrial Informatics (INDIN). 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Deutschland, EU. IEEE. https://doi.org/10.1109/indin.2017.8104827
  • The Intended Meaning of Undefined Behaviour in C Programs / Ertl, M. A. (2017). The Intended Meaning of Undefined Behaviour in C Programs. In 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’17) (pp. 20–28). http://hdl.handle.net/20.500.12708/57724
  • Statische Typüberprüfung / Ertl, M. A. (2017). Statische Typüberprüfung. In Forth-Tagung 2017 in Kalkar (p. 17). https://wiki.forth-ev.de/doku.php/events:tagung-2017. http://hdl.handle.net/20.500.12708/57721
  • SIMD and Vectors / Ertl, M. A. (2017). SIMD and Vectors. In 33rd EuroForth Conference (pp. 25–36). http://hdl.handle.net/20.500.12708/57723
  • An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware / Craß, S., Kühn, E., Sesum-Cavic, V., & Watzke, H. (2017). An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware. In 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). 43rd Euromicro Conference onSoftware Engineering and Advanced Applications (SEAA 2017), Wien, Austria. IEEE. https://doi.org/10.1109/seaa.2017.69
  • Flexible Transactional Coordination in the Peer Model / Kühn, E. (2017). Flexible Transactional Coordination in the Peer Model. In Fundamentals of Software Engineering (pp. 116–131). Springer. https://doi.org/10.1007/978-3-319-68972-2_8
  • Introducing Context Awareness in Unmodified, Context-unaware Software / Raab, M., & Barany, G. (2017). Introducing Context Awareness in Unmodified, Context-unaware Software. In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering. ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, EU. ScitePress. https://doi.org/10.5220/0006326602180225
  • Challenges in Validating FLOSS Configuration / Raab, M., & Barany, G. (2017). Challenges in Validating FLOSS Configuration. In Springer Verlag (Ed.), Open Source Systems: Towards Robust Practices (pp. 101–114). Springer International Publishing. https://doi.org/10.1007/978-3-319-57735-7_11
  • Architecture of Computing Systems - ARCS 2017 / Architecture of Computing Systems - ARCS 2017. (2017). In J. Knoop, W. Karl, M. Schulz, K. Inoue, & T. Pionteck (Eds.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-54999-6

2016

  • Unanticipated Context Awareness for Software Configuration Access Using the getenv API / Raab, M. (2016). Unanticipated Context Awareness for Software Configuration Access Using the getenv API. In Computer and Information Science (pp. 41–57). Springer International Publishing. https://doi.org/10.1007/978-3-319-40171-3_4
  • A Hybrid Simulation Model for Data Grids / Barisits, M., Kühn, E., & Lassnig, M. (2016). A Hybrid Simulation Model for Data Grids. In 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), Cartagena de Indias, Kolumbien, Non-EU. IEEE. https://doi.org/10.1109/ccgrid.2016.36
  • Forth-2012: Der neue Standard / Ertl, M. A. (2016). Forth-2012: Der neue Standard. Vierte Dimension. Das Forth-Magazin, 32(3), 13–18. http://hdl.handle.net/20.500.12708/149971
  • Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik / Knoop, J., & Zdun, U. (Eds.). (2016). Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik. Köllen Druck+Verlag GmbH. http://hdl.handle.net/20.500.12708/24113
  • Elektra: universal framework to access configuration parameters / Raab, M. (2016). Elektra: universal framework to access configuration parameters. International Journal of Open Source Software and Processes, 1(8), 44. https://doi.org/10.21105/joss.00044
  • Bio-inspired search algorithms for unstructured P2P overlay networks / Šešum-Čavić, V., Kühn, E., & Kanev, D. (2016). Bio-inspired search algorithms for unstructured P2P overlay networks. Swarm and Evolutionary Computation, 29, 73–93. https://doi.org/10.1016/j.swevo.2016.03.002
  • Reusable Coordination Components: Reliable Development of Cooperative Information Systems / Kühn, E. (2016). Reusable Coordination Components: Reliable Development of Cooperative Information Systems. International Journal of Cooperative Information Systems, 25(04), 1740001. https://doi.org/10.1142/s0218843017400019
  • StatSpace: A Unified Platform for Statistical Data Exploration / Do, B. L., Wetz, P., Kiesling, E., Aryan, P. R., Trinh, T. D., & Tjoa, A. M. (2016). StatSpace: A Unified Platform for Statistical Data Exploration. In C. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kühn, D. O´Sullivan, & C. A. Ardagna (Eds.), On the Move to Meaningful Internet Systems: OTM 2016 Conferences (pp. 792–809). Sringer. https://doi.org/10.1007/978-3-319-48472-3_50
  • Gedanken zu SIMD und Vektorisierung / Ertl, M. A. (2016). Gedanken zu SIMD und Vektorisierung. Forth-Tagung 2016, Augsburg, EU. http://hdl.handle.net/20.500.12708/86443
  • Sicheres Forth / Ertl, M. A. (2016). Sicheres Forth. Forth-Tagung 2016, Augsburg, EU. http://hdl.handle.net/20.500.12708/86442
  • Security / Ertl, M. A. (2016). Security. EuroForth 2016, Insel Reichenau, EU. http://hdl.handle.net/20.500.12708/86441
  • Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment / Knoop, J., & Schreiner, D. (2016). Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment. 57th IFIP WG 2.4 Meeting “Software Implementation Technology,” Victoria, BC, Canada, Non-EU. http://hdl.handle.net/20.500.12708/86275
  • Software Engineering and Formal Methods / de Nicola, R., & Kühn, E. (Eds.). (2016). Software Engineering and Formal Methods. Springer International Publishing. https://doi.org/10.1007/978-3-319-41591-8
  • Persistent contextual values as inter-process layers / Raab, M. (2016). Persistent contextual values as inter-process layers. In Proceedings of the 1st International Workshop on Mobile Development. Mobile! 2016, Amsterdam, EU. ACM. https://doi.org/10.1145/3001854.3001855
  • Improving system integration using a modular configuration specification language / Raab, M. (2016). Improving system integration using a modular configuration specification language. In Companion Proceedings of the 15th International Conference on Modularity. MODULARITY Companion 2016, Malaga, EU. ACM. https://doi.org/10.1145/2892664.2892691
  • Recognizers: Arguments and Design Decisions / Ertl, M. A. (2016). Recognizers: Arguments and Design Decisions. In EuroForth 2016 Conference (pp. 58–63). Eigenverlag. http://hdl.handle.net/20.500.12708/56843
  • Sections / Ertl, M. A. (2016). Sections. In EuroForth 2016 Conference (pp. 55–57). Eigenverlag. http://hdl.handle.net/20.500.12708/56842
  • Vectorization in PyPy's Tracing Just-In-Time Compiler / Plangger, R., & Krall, A. (2016). Vectorization in PyPy’s Tracing Just-In-Time Compiler. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems. SCOPES 2016 - 19th International Workshop on Software and Compilers for Embedded Systems, St. Goar, EU. https://doi.org/10.1145/2906363.2906384
  • On the Move to Meaningful Internet Systems: OTM 2016 Conferences / On the Move to Meaningful Internet Systems: OTM 2016 Conferences. (2016). In C. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kühn, D. O´Sullivan, & C. Ardagna (Eds.), Lecture Notes in Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-319-48472-3

2015

  • Exchange between the German and French Compiler Communities / Brandner, F., & Knoop, J. (2015). Exchange between the German and French Compiler Communities. In J. Knoop & M. A. Ertl (Eds.), Programmiersprachen und Grundlagen der Programmierung (pp. 83–84). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56433
  • The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / Hepp, S., Huber, B., Knoop, J., Prokesch, D., & Puschner, P. (2015). The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee, Austria. http://hdl.handle.net/20.500.12708/56394
  • T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., … Tocchi, A. (2015). T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture, 61(9), 449–471. https://doi.org/10.1016/j.sysarc.2015.04.002
  • Forth 200x­Treffen auf der EuroForth 2015 / Ertl, M. A. (2015). Forth 200x­Treffen auf der EuroForth 2015. Vierte Dimension. Das Forth-Magazin, 31(3+4), 21. http://hdl.handle.net/20.500.12708/152002
  • A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets / Drenjanac, D., Tomic, S. D. K., & Kühn, E. (2015). A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets. In 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises. 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Larnaca, Zypern, EU. IEEE. https://doi.org/10.1109/wetice.2015.29
  • Safe Management of Software Configuration / Raab, M. (2015). Safe Management of Software Configuration. In P. Loucopoulos, S. Nurcan, & H. Weigand (Eds.), Proceedings of the CAiSE´2015 Doctoral Consortium (pp. 74–82). http://hdl.handle.net/20.500.12708/56086
  • Automated measurement of API usability: The API Concepts Framework / Scheller, T., & Kühn, E. (2015). Automated measurement of API usability: The API Concepts Framework. Information and Software Technology, 61, 145–162. https://doi.org/10.1016/j.infsof.2015.01.009
  • Foreword to the Special Issue on Symbolic Computation in Software Science / Bouhoula, A., Buchberger, B., Kovács, L., & Kutsia, T. (2015). Foreword to the Special Issue on Symbolic Computation in Software Science. Journal of Symbolic Computation, 69, 1–2. https://doi.org/10.1016/j.jsc.2014.09.027
  • Recognizers --- Why and How / Ertl, M. A. (2015). Recognizers --- Why and How. EuroForth 2015, Bath, England, EU. http://hdl.handle.net/20.500.12708/86266
  • Symbol Elimination for Program Analysis / Kovacs, L. (2015). Symbol Elimination for Program Analysis. Dagstuhl Seminar 15471 on “Symbolic Computation and Satisfiability Checking,” Dagstuhl, Germany, EU. http://hdl.handle.net/20.500.12708/86263
  • Symbol Elimination for Program Analysis / Kovacs, L. (2015). Symbol Elimination for Program Analysis. Theoretical Computer Science Seminar Series of the KTH Royal Institute of Technology, Stockholm, Sweden, EU. http://hdl.handle.net/20.500.12708/86262
  • Verifying the Timing Behaviour of Real-Time Systems / Knoop, J. (2015). Verifying the Timing Behaviour of Real-Time Systems. Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog, Oldenburg (Oldbg.), EU. http://hdl.handle.net/20.500.12708/86254
  • Towards Transparent Worst-Case Execution Time Optimization / Knoop, J. (2015). Towards Transparent Worst-Case Execution Time Optimization. 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, EU. http://hdl.handle.net/20.500.12708/86251
  • Towards Targeted and Transparent Worst-Case Execution Time Optimization / Knoop, J. (2015). Towards Targeted and Transparent Worst-Case Execution Time Optimization. 56th Meeting of the IFIP WG 2.4 Software Implementation Technology, Boppard, EU. http://hdl.handle.net/20.500.12708/86250
  • Reusable Coordination Components: A Silver Bullet for Reliable Development of Cooperative Information Systems? / Kühn, E. (2015). Reusable Coordination Components: A Silver Bullet for Reliable Development of Cooperative Information Systems? 23rd International Conference on Cooperative Information Systems (CoopIS 2015), Rhodos, Griechenland, EU. http://hdl.handle.net/20.500.12708/86189
  • From exit to set-does#gt --- A Story of Gforth Re-Implementation / Ertl, M. A., & Paysan, B. (2015). From exit to set-does#gt --- A Story of Gforth Re-Implementation. In 31st EuroForth Conference (p. 7). http://hdl.handle.net/20.500.12708/56449
  • vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification / Lezuo, R., Dragan, I., Barany, G., & Krall, A. (2015). vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. In L. Kovacs & D. Zaharie (Eds.), 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). https://doi.org/10.1109/synasc.2015.34
  • E.V.A. - Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment / Schreiner, D. (2015). E.V.A. - Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment. In Programmiersprachen und Grundlagen der Programmierung (p. 571). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56438
  • Sharing Software Con guration via Speci ed Links and Transformation Rules / Raab, M. (2015). Sharing Software Con guration via Speci ed Links and Transformation Rules. In Programmiersprachen und Grundlagen der Programmierung (pp. 502–514). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56437
  • PyPy's Number Crunching Optimization / Plangger, R., & Krall, A. (2015). PyPy’s Number Crunching Optimization. In Programmiersprachen und Grundlagen der Programmierung (pp. 448–462). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56436
  • Monotone bedingte Verzweigungen in Logikprogrammen / Neumerkel, U., & Kral, S. (2015). Monotone bedingte Verzweigungen in Logikprogrammen. In Programmiersprachen und Grundlagen der Programmierung (pp. 427–436). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56435
  • What Every Compiler Writer should know about Programmers / Ertl, M. A. (2015). What Every Compiler Writer should know about Programmers. In Programmiersprachen und Grundlagen der Programmierung (pp. 112–133). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56434
  • A Generator for Time-Predictable Code / Prokesch, D., Hepp, S., & Puschner, P. (2015). A Generator for Time-Predictable Code. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand, Non-EU. IEEE. https://doi.org/10.1109/isorc.2015.40
  • Global and Thread-Local Activation of Contextual Program Execution Environments / Raab, M. (2015). Global and Thread-Local Activation of Contextual Program Execution Environments. In 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand, Non-EU. IEEE. https://doi.org/10.1109/isorcw.2015.52
  • A Decentralized Access Control Model for Dynamic Collaboration of Autonomous Peers / Craß, S., Joskowicz, G., & Kühn, E. (2015). A Decentralized Access Control Model for Dynamic Collaboration of Autonomous Peers. In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (pp. 519–537). LNICST, Springer. https://doi.org/10.1007/978-3-319-28865-9_28
  • Extending a Peer-Based Coordination Model with Composable Design Patterns / Kühn, E., Craß, S., & Schermann, G. (2015). Extending a Peer-Based Coordination Model with Composable Design Patterns. In 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Turku, Finnland, EU. IEEE. https://doi.org/10.1109/pdp.2015.99
  • First-Order Theorem Proving and Program Analysis / Kovacs, L. (2015). First-Order Theorem Proving and Program Analysis. In J. Baras (Ed.), Proc. of the LCCC-ACCESS workshop on Model-Based Engineering (pp. 192–217). http://hdl.handle.net/20.500.12708/56444
  • A First Class Boolean Sort in First-Order Theorem Proving and TPTP / Kotelnikov, E., Kovacs, L., & Voronkov, A. (2015). A First Class Boolean Sort in First-Order Theorem Proving and TPTP. In M. Kerber (Ed.), Lecture Notes in Computer Science. LNCS. https://doi.org/10.1007/978-3-319-20615-8
  • Reasoning About Loops Using Vampire in KeY / Ahrendt, W., Kovacs, L., & Robillard, S. (2015). Reasoning About Loops Using Vampire in KeY. In M. Davis, A. Fehnker, A. McIver, & A. Voronkov (Eds.), Lecture Notes in Computer Science. LNCS. https://doi.org/10.1007/978-3-662-48899-7
  • Segment Abstraction for Worst-Case Execution Time Analysis / Cerny, P., Henzinger, T. A., Kovacs, L., Radhakrishna, A., & Zwirchmayr, J. (2015). Segment Abstraction for Worst-Case Execution Time Analysis. In J. Vitek (Ed.), Lecture Notes in Computer Science. LNCS. https://doi.org/10.1007/978-3-662-46669-8
  • Austrian Kangaroos Team Research Report 2014 / Hamböck, T., & Schreiner, D. (2015). Austrian Kangaroos Team Research Report 2014. http://hdl.handle.net/20.500.12708/38380
  • 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) / Knoop, J., & Ertl, M. A. (Eds.). (2015). 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015). Institut für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/24103
  • Special issue on symbolic computation in software science / Special issue on symbolic computation in software science. (2015). In A. Bouhoula, B. Buchberger, L. Kovacs, & T. Kutsia (Eds.), Journal of Symbolic Computation (p. 2). Elsevier. https://doi.org/10.1016/j.jsc.2014.09.027

2014

  • Splitting functions into single-entry regions / Hepp, S., & Brandner, F. (2014). Splitting functions into single-entry regions. In Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), New Delhi, India, Non-EU. https://doi.org/10.1145/2656106.2656128
  • Criticality: static profiling for real-time programs / Brandner, F., Hepp, S., & Jordan, A. (2014). Criticality: static profiling for real-time programs. Real-Time Systems, 50(3), 377–410. https://doi.org/10.1007/s11241-013-9196-y
  • Function Splitting for the Method Cache / Hepp, S., & Brandner, F. (2014). Function Splitting for the Method Cache. T-CREST/parMERASA/CERTAINTY Workshop, Madrid, EU. http://hdl.handle.net/20.500.12708/85993
  • Region-Based Memory Allocation in Forth / Ertl, M. A. (2014). Region-Based Memory Allocation in Forth. In 30th EuroForth Conference (pp. 45–49). http://hdl.handle.net/20.500.12708/55998
  • Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus. Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack, Christian-Albrechts-Universität zu Kiel, Deutschland, EU. http://hdl.handle.net/20.500.12708/85806
  • Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution. 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe), Vienna, Austria. http://hdl.handle.net/20.500.12708/85811
  • The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2014). The Five P’s of Inferring Proven Precise Worst-Case Execution Time Bounds. 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Stellenbosch, Non-EU. http://hdl.handle.net/20.500.12708/86020
  • Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleet / Drenjanac, D., Tomic, S. D. K., Klausner, L., & Kühn, E. (2014). Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleet. Information Processing in Agriculture, 1(1), 23–33. https://doi.org/10.1016/j.inpa.2014.03.001
  • Extensional Crisis and Proving Identity / Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional Crisis and Proving Identity. In F. Cassez & J.-F. Raskin (Eds.), Automated Technology for Verification and Analysis (pp. 185–200). Lecture Notes in Computer Science, Springer Verlag. https://doi.org/10.1007/978-3-319-11936-6_14
  • Experimenting with SAT Solvers in Vampire / Biere, A., Dragan, I., Kovács, L., & Voronkov, A. (2014). Experimenting with SAT Solvers in Vampire. In Lecture Notes in Computer Science (pp. 431–442). https://doi.org/10.1007/978-3-319-13647-9_39
  • Scope-based Method Cache Analysis / Huber, B., Hepp, S., & Schöberl, M. (2014). Scope-based Method Cache Analysis. In H. Falk (Ed.), 14th International Workshop on Worst-Case Execution Time Analysis (pp. 73–82). OpenAccess Series in Informatics (OASIcs). https://doi.org/10.4230/OASIcs.WCET.2014.73
  • Symbol Elimination for Automated Generation of Program Properties / Kovacs, L. (2014). Symbol Elimination for Automated Generation of Program Properties. ECEASST, ECEASST(70), 1–2. http://hdl.handle.net/20.500.12708/157934
  • A Method Cache for Patmos / Degasperi, P., Hepp, S., Puffitsch, W., & Schoeberl, M. (2014). A Method Cache for Patmos. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA, Non-EU. https://doi.org/10.1109/isorc.2014.47
  • How to get rid of C / Ertl, M. A. (2014). How to get rid of C. 30th EuroForth Conference, Palma de Mallorca, EU. http://hdl.handle.net/20.500.12708/86027
  • Forth in "Grundlagen der Programmkonstruktion" / Ertl, M. A. (2014). Forth in “Grundlagen der Programmkonstruktion.” Forth-Tagung 2014, Bad Voeslau, Austria. http://hdl.handle.net/20.500.12708/86026
  • platin -­ A Toolkit for Compiler and WCET-Analysis Integration / Hepp, S., Huber, B., & Prokesch, D. (2014). platin -­ A Toolkit for Compiler and WCET-Analysis Integration. TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark, EU. http://hdl.handle.net/20.500.12708/85992
  • Correct Compilers for Correct Processors / Krall, A. (2014). Correct Compilers for Correct Processors. HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna, Austria. http://hdl.handle.net/20.500.12708/86025
  • Experimenting with SAT Solvers in Vampire / Dragan, I. (2014). Experimenting with SAT Solvers in Vampire. RiSE/Puma meeting, Mondsee, Austria. http://hdl.handle.net/20.500.12708/86022
  • SAT solving experiments in Vampire / Dragan, I. (2014). SAT solving experiments in Vampire. Vienna Summer of Logic - Vampire Workshop, Vienna, Austria. http://hdl.handle.net/20.500.12708/86021
  • Lingva: Generating and Proving Program Properties using Symbol Elimination / Dragan, I. (2014). Lingva: Generating and Proving Program Properties using Symbol Elimination. Alpine Verification Meeting, IST Austria, Austria. http://hdl.handle.net/20.500.12708/86019
  • Balancing Global Code Motion and Register Allocation / Barany, G. (2014). Balancing Global Code Motion and Register Allocation. Gastvortrag DTU, Lyngby, Dänemark, EU. http://hdl.handle.net/20.500.12708/85929
  • Balancing Global Code Motion and Register Allocation / Barany, G. (2014). Balancing Global Code Motion and Register Allocation. Gastvortrag IBM Research, Yorktown Heights, NY, USA, Non-EU. http://hdl.handle.net/20.500.12708/85928
  • Python Interpreter Performance Deconstructed / Barany, G. (2014). Python Interpreter Performance Deconstructed. 31. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, Deutschland, EU. http://hdl.handle.net/20.500.12708/85789
  • Python Interpreter Performance Deconstructed / Barany, G. (2014). Python Interpreter Performance Deconstructed. In Proceedings of the Workshop on Dynamic Languages and Applications - Dyla’14. Dyla ’14: 8th Workshop on Dynamic Languages and Applications, Edinburgh, UK, EU. https://doi.org/10.1145/2617548.2617552
  • Program Execution Environments as Contextual Values / Raab, M., & Puntigam, F. (2014). Program Execution Environments as Contextual Values. In Proceedings of 6th International Workshop on Context-Oriented Programming - COP’14. 6th International Workshop on Context-Oriented Programming (COP’14), Uppsala, Schweden, EU. ACM New York, NY, USA ©2014. https://doi.org/10.1145/2637066.2637074
  • A generic load balancing framework for cooperative ITS applications / Craß, S., Kühn, E., Bessler, S., & Paulin, T. (2014). A generic load balancing framework for cooperative ITS applications. In 2014 International Conference on Connected Vehicles and Expo (ICCVE). The 3rd International Conference on Connected Vehicles and Expo (ICCVE), Wien, Austria. IEEE. https://doi.org/10.1109/iccve.2014.7297576
  • Modeling a Flexible Replication Framework for Space-Based Computing / Craß, S., Hirsch, J., Kühn, E., & Sesum-Cavic, V. (2014). Modeling a Flexible Replication Framework for Space-Based Computing. In Communications in Computer and Information Science 457: Software Technologies (ICSOFT 2013, Revised Selected Papers) (pp. 256–272). Springer. http://hdl.handle.net/20.500.12708/55823
  • Approaching Coordination in Distributed Embedded Applications with the Peer Model DSL / Kühn, E., Craß, S., & Hamböck, T. (2014). Approaching Coordination in Distributed Embedded Applications with the Peer Model DSL. In 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications. 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014), Verona, Italy, EU. IEEE. https://doi.org/10.1109/seaa.2014.72
  • Flexible modeling of policy-driven upstream notification strategies / Kühn, eva, Craß, S., Joskowicz, G., & Novak, M. (2014). Flexible modeling of policy-driven upstream notification strategies. In Proceedings of the 29th Annual ACM Symposium on Applied Computing. 29th Symposium on Applied Computing (SAC), Gyeongju, Republic of Korea, Non-EU. ACM. https://doi.org/10.1145/2554850.2555153
  • Dynamic Migration of Cloud Services / Kühn, E., Sesum-Cavic, V., & Schmid, T. (2014). Dynamic Migration of Cloud Services. In 2014 IEEE 3rd Symposium on Network Cloud Computing and Applications (ncca 2014). IEEE 3rd Symposium on Network Cloud Computing and Applications (NCCA), Rom, Italien, EU. IEEE. https://doi.org/10.1109/ncca.2014.23
  • pylibjit: A JIT Compiler Library for Python / Barany, G. (2014). pylibjit: A JIT Compiler Library for Python. In Software Engineering Workshops 2014 (pp. 213–224). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55110
  • CASM / Lezuo, R., Paulweber, P., & Krall, A. (2014). CASM. In Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES ’14. LCTES ’14: 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, Edinburgh, UK, EU. https://doi.org/10.1145/2597809.2597813
  • Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture / Kim, N., & Krall, A. (2014). Integrated modulo scheduling and cluster assignment for TI TMS320C64x+ architecture. In Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems - ODES ’14. ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems, Orlando, USA, Non-EU. https://doi.org/10.1145/2568326.2568327
  • Lingva: Generating and Proving Program Properties using Symbol Elimination / Dragan, I., & Kovacs, L. (2014). Lingva: Generating and Proving Program Properties using Symbol Elimination. In 9th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2014). Springer LNCS. http://hdl.handle.net/20.500.12708/55992
  • Supervisory Control of Discrete-Event Systems via IC3 / Shoaei, M. R., Kovács, L., & Lennartson, B. (2014). Supervisory Control of Discrete-Event Systems via IC3. In E. Yahav (Ed.), Hardware and Software: Verification and Testing (pp. 252–266). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-319-13338-6_19
  • Integrated Code Motion and Register Allocation / Barany, G. (2014). Integrated Code Motion and Register Allocation. In ISoLA ’14 Doctoral Symposium. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, EU. http://hdl.handle.net/20.500.12708/55771
  • Austrian-Kangaroos 2014 Team Qualification Document (TQD) / Hamböck, T., Hofmann, A., Knoop, J., & Schreiner, D. (2014). Austrian-Kangaroos 2014 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/38065

2013

2012

  • Foreword / Bjørner, N., & Kovacs, L. (2012). Foreword. Journal of Symbolic Computation, 47(12), 1413–1415. https://doi.org/10.1016/j.jsc.2011.12.047
  • Static profiling of the worst-case in real-time programs / Brandner, F., Hepp, S., & Jordan, A. (2012). Static profiling of the worst-case in real-time programs. In C. Rochange & J. Anderson (Eds.), Proceedings of the 20th International Conference on Real-Time and Network Systems - RTNS ’12. ACM. https://doi.org/10.1145/2392987.2393000
  • Austrian-Kangaroos 2012 Team Qualification Document (TQD) / Bader, M., Hofmann, A., Knoop, J., Schreiner, D., & Vincze, M. (2012). Austrian-Kangaroos 2012 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/37233
  • Disruption tolerance in vehicle to infrastructure communication: Making a Case for Intelligent Roadside Infrastructure / Bessler, S., Kühn, E., & Paulin, T. (2012). Disruption tolerance in vehicle to infrastructure communication: Making a Case for Intelligent Roadside Infrastructure. In 19th ITS World Congress (ITS World 2012) (p. 11). http://hdl.handle.net/20.500.12708/54365
  • Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops / Bjørner, N., & Kovacs, L. (Eds.). (2012). Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops (p. 1415). Springer. https://doi.org/10.1016/j.jsc.2011.12.047
  • r-TuBound: Loop Bounds for WCET Analysis (Tool Paper) / Zwirchmayr, J., Knoop, J., & Kovacs, L. (2012). r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). In N. Bjørner & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 435–444). Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-642-28717-6_34
  • Special issue on Automated Specification and Verification of Web Systems / Kovács, L., & Kutsia, T. (2012). Special issue on Automated Specification and Verification of Web Systems. Journal of Applied Logic, 10(1), 1. https://doi.org/10.1016/j.jal.2011.11.001
  • Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial) / Krall, A., & Barany, G. (2012). Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial). Concurrency and Computation: Practice and Experience, 24(5), 443–444. http://hdl.handle.net/20.500.12708/163461
  • FFX: A Portable WCET Annotation Language / Zwirchmayr, J., Kovacs, L., Knoop, J., Bonenfant, A., Cassé, H., & Rochange, C. (2012). FFX: A Portable WCET Annotation Language. In 20th International Conference on Real-Time and Network Systems (pp. 91–100). ACM. http://hdl.handle.net/20.500.12708/54270
  • Guest Editorial: Parallel Systems and Compilers / Salapura, V., Gschwind, M., & Knoop, J. (2012). Guest Editorial: Parallel Systems and Compilers. International Journal of Parallel Programming, 40, 1–3. https://doi.org/10.1007/s10766-011-0188-z
  • objects2.fs: Ein modernisiertes objektorientiertes Paket / Ertl, M. A. (2012). objects2.fs: Ein modernisiertes objektorientiertes Paket. Forth-Tagung 2012, Biezenmortel, NL, EU. http://hdl.handle.net/20.500.12708/85515
  • r-TuBound: Loop Bounds for WCET Analysis / Zwirchmayr, J. (2012). r-TuBound: Loop Bounds for WCET Analysis. Kollaboration mit der TRACES Gruppe / iRiT Frankreich, Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/85326
  • Portable Worst-Case Execution Time Analysis / Bonenfant, A., Cassé, H., de Michiel, M., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Portable Worst-Case Execution Time Analysis. 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Vadstena, Schweden, EU. http://hdl.handle.net/20.500.12708/85538
  • Portable Worst-Case Execution Time Analysis via Flow Facts in XML / Bonenfant, A., Cassé, H., de Michiel, M., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Portable Worst-Case Execution Time Analysis via Flow Facts in XML. 29th Annual Workshop of the GI-Fachgruppe “Programmiersprachen und Rechenkonzepte,” Bad Honnef, Deutschland, EU. http://hdl.handle.net/20.500.12708/85537
  • Playing in the Grey Area of Proofs / Kovacs, L. (2012). Playing in the Grey Area of Proofs. Rigorous System Engineering Seminar IST/TU Wien, Vienna, Austria. http://hdl.handle.net/20.500.12708/85493
  • Playing in the Grey Area of Proofs / Kovacs, L. (2012). Playing in the Grey Area of Proofs. Research Seminar at VERIMAG Grenoble, Grenoble, France, EU. http://hdl.handle.net/20.500.12708/85492
  • Playing in the Grey Area of Proofs / Kovacs, L. (2012). Playing in the Grey Area of Proofs. Research Seminar at Microsoft Research Cambridge, Cambridge, UK, EU. http://hdl.handle.net/20.500.12708/85490
  • Symbol Elimination in Program Analysis / Kovacs, L. (2012). Symbol Elimination in Program Analysis. International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS), Beijing, China, Non-EU. http://hdl.handle.net/20.500.12708/85489
  • Panel zu 'Dissertationen in der Software-Technik' / Knoop, J. (2012). Panel zu “Dissertationen in der Software-Technik.” Doktoranden-Symposium der Software Engineering 2012 (DS-SE 2012), Berlin, Germany, EU. http://hdl.handle.net/20.500.12708/85330
  • WCET-driven Optimization and the T-CREST Project / Hepp, S. (2012). WCET-driven Optimization and the T-CREST Project. Kollaboration mit der TRACES Gruppe / iRiT Frankreich, Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/85327
  • Automated Theorem Proving - An Introduction / Kovacs, L. (2012). Automated Theorem Proving - An Introduction. ARiSE/VCLA Winter School on Verification, Wien, Austria. http://hdl.handle.net/20.500.12708/85319
  • Automated Theorem Proving - with some Applications to Verification / Kovacs, L. (2012). Automated Theorem Proving - with some Applications to Verification. ARiSE/VCLA Winter School on Verification, Wien, Austria. http://hdl.handle.net/20.500.12708/85316
  • Using Semantic Relatedness and Locality for Requirements Elicitation Guidance / Farfeleder, S., Moser, T., & Krall, A. (2012). Using Semantic Relatedness and Locality for Requirements Elicitation Guidance. In Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE’2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012 (pp. 19–24). http://hdl.handle.net/20.500.12708/54550
  • Methods in objects2: Duck Typing and Performance / Ertl, M. A. (2012). Methods in objects2: Duck Typing and Performance. In 28th EuroForth Conference (pp. 96–103). EuroForth. http://hdl.handle.net/20.500.12708/54548
  • Optimizing Compilers for Safety-Critical Robotic Systems / Schreiner, D. (2012). Optimizing Compilers for Safety-Critical Robotic Systems. In G. Steinbauer & S. Uran (Eds.), Proceedings of the Austrian Robotics Workshop 2012. Verlag der TU Graz. http://hdl.handle.net/20.500.12708/54544
    Project: C3Pro (2010–2015)
  • Solving Robust Glucose-Insulin Control by Dixon Resultant Computations / Kovacs, L., Palancz, B., & Kovacs, L. (2012). Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. In Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012). 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012), Timisoara, Romania, EU. IEEE Proceedings. http://hdl.handle.net/20.500.12708/54508
  • The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro les / Kovacs, A., Kovacs, L., & Kovacs, L. (2012). The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro les. In Proceedings of 13th International Conference on Mathematics and its Applications. (pp. 241–248). Scientific Bulletin of Politehnica University Timisoara, Romania. http://hdl.handle.net/20.500.12708/54506
  • Examples of Symbol Elimination in Program Verification / Kovacs, L., & Kovacs, A. (2012). Examples of Symbol Elimination in Program Verification. In Proceedings of 13th International Conference on Mathematics and its Applications (pp. 145–150). Scientific Bulletin of Politehnica University Timisoara, Romania. http://hdl.handle.net/20.500.12708/54507
  • A Hodographic Approximation Method for Analyzing the Fluid Motion Through Network Pro files / Kovacs, A., & Kovacs, L. (2012). A Hodographic Approximation Method for Analyzing the Fluid Motion Through Network Pro files. In Annals of DAAAM for 2012 & Proceedings of the 23rd International DAAAM Symposium (p. 4). DAAAM International, Vienna, Austria. http://hdl.handle.net/20.500.12708/54505
  • A Coordination-Driven Authorization Framework for Space Containers / Craß, S., Dönz, T., Joskowicz, G., & Kühn, E. (2012). A Coordination-Driven Authorization Framework for Space Containers. In 2012 Seventh International Conference on Availability, Reliability and Security. Seventh International Conference on Availability, Reliability, and Security (ARES 2012), Prague, EU. IEEE. https://doi.org/10.1109/ares.2012.56
  • A coordination-based access control model for space-based computing / Craß, S., & Kühn, E. (2012). A coordination-based access control model for space-based computing. In Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC ’12. 27th Annual ACM Symposium on Applied Computing, SAC 2012, Riva del Garda (Trento), Italy, EU. ACM. https://doi.org/10.1145/2245276.2232026
  • A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents / Kühn, E., Marek, A., Scheller, T., Sesum-Cavic, V., Vögler, M., & Craß, S. (2012). A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents. In Lecture Notes in Computer Science (pp. 230–244). Springer. https://doi.org/10.1007/978-3-642-30829-1_16
  • Influencing Factors on the Usability of API Classes and Methods / Scheller, T., & Kühn, E. (2012). Influencing Factors on the Usability of API Classes and Methods. In 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems. 2012 IEEE 19th International Conference and Workshops on Engineering of Computer Based Systems (ECBS), Novi Sad, Serbien, Non-EU. https://doi.org/10.1109/ecbs.2012.27
  • Symbol Elimination in Program Analysis / Kovacs, L. (2012). Symbol Elimination in Program Analysis. In D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt, & D. Zaharie (Eds.), Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (pp. 12–13). IEEE Computer Society. http://hdl.handle.net/20.500.12708/54061
  • Building iRIS: A Robotic Immune System / Schreiner, D. (2012). Building iRIS: A Robotic Immune System. In Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems (pp. 150–155). Communications in Computer and Information Science, Springer Verlag. http://hdl.handle.net/20.500.12708/54051
  • Playing in the grey area of proofs / Hoder, K., Kovacs, L., & Voronkov, A. (2012). Playing in the grey area of proofs. In J. Field & M. Hicks (Eds.), Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’12. ACM. https://doi.org/10.1145/2103656.2103689
  • Symbolic Loop Bound Computation for WCET Analysis / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2012). Symbolic Loop Bound Computation for WCET Analysis. In Ershov Informatic Conference, PSI Series, 8th Edition (pp. 224–239). Springer-Verlag, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/53669
  • A Unified Processor Model for Compiler Verification and Simulation Using ASM / Lezuo, R., & Krall, A. (2012). A Unified Processor Model for Compiler Verification and Simulation Using ASM. In Abstract State Machines, Alloy, B, VDM, and Z (pp. 327–330). https://doi.org/10.1007/978-3-642-30885-7_24
    Project: C3Pro (2010–2015)
  • Vinter: A Vampire-Based Tool for Interpolation / Hoder, K., Holzer, A., Kovács, L., & Voronkov, A. (2012). Vinter: A Vampire-Based Tool for Interpolation. In Programming Languages and Systems (pp. 148–156). Springer / LNCS. https://doi.org/10.1007/978-3-642-35182-2_11
  • Worst-Case Execution Time Based Optimization of Real-Time Java Programs / Hepp, S., & Schoeberl, M. (2012). Worst-Case Execution Time Based Optimization of Real-Time Java Programs. In 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE. https://doi.org/10.1109/isorc.2012.17
  • Austrian-Kangaroos 2013 Team Qualification Document / Schreiner, D., Hofmann, A., & Bader, M. (2012). Austrian-Kangaroos 2013 Team Qualification Document. http://hdl.handle.net/20.500.12708/37653
  • Special Issue on Automated Speci cation and Veri cation of Web Systems / Kovacs, L., & Kutsia, T. (Eds.). (2012). Special Issue on Automated Speci cation and Veri cation of Web Systems. Elsevier B.V. http://hdl.handle.net/20.500.12708/23614

2011

  • Modeling Application-Specific Processors for the Use in Cyber-Physical Systems / Brandner, F., Pavlu, V., & Krall, A. (2011). Modeling Application-Specific Processors for the Use in Cyber-Physical Systems. In Informatik 2011. 41. Jahrestagung der Gesellschaft für Informatik, Berlin, Deutschland, EU. Gesellschaft für Informatik e.V. (GI). http://hdl.handle.net/20.500.12708/53970
    Project: EPICOpt (2009–2013)
  • Coordination Mechanisms in Complex Software Systems / Mordinyi, R., & Kühn, E. (2011). Coordination Mechanisms in Complex Software Systems. In N. Bessis & F. Xhafa (Eds.), Next Generation Data Technologies for Collective Computational Intelligence (pp. 3–30). Springer-Verlag, Heidelberg. https://doi.org/10.1007/978-3-642-20344-2_1
  • Chapter 8 Self-Organized Load Balancing through Swarm Intelligence / Šešum-Čavić, V., & Kühn, E. (2011). Chapter 8 Self-Organized Load Balancing through Swarm Intelligence. In N. Bessis & F. Xhafa (Eds.), Next Generation Data Technologies for Collective Computational Intelligence (pp. 195–224). Springer-Verlag. https://doi.org/10.1007/978-3-642-20344-2_8
  • Austrian-Kangaroos 2011 Team Qualification Document (TQD) / Schreiner, D., Hofmann, A., Knoop, J., Miller, B., Bader, M., & Vincze, M. (2011). Austrian-Kangaroos 2011 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/37232
  • Register Reuse Scheduling / Barany, G. (2011). Register Reuse Scheduling. In 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9) (p. 8). http://hdl.handle.net/20.500.12708/53627
    Project: EPICOpt (2009–2013)
  • SWIG & The Forth Net: Hands-On / Wodni, G., & Ertl, M. A. (2011). SWIG & The Forth Net: Hands-On. In M. A. Ertl (Ed.), 27th EuroForth Conference (pp. 32–35). http://hdl.handle.net/20.500.12708/54106
  • Ways to Reduce the Stack Depth / Ertl, M. A. (2011). Ways to Reduce the Stack Depth. In M. A. Ertl (Ed.), 27th EuroForth Conference (pp. 36–41). http://hdl.handle.net/20.500.12708/54105
  • Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis / 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
  • On Transfinite Knuth-Bendix Orders / Kovacs, L., Moser, G., & Voronkov, A. (2011). On Transfinite Knuth-Bendix Orders. In N. Bjørner & V. Sofronie-Stokkermans (Eds.), Proc. of the 23rd International Conference on Automated Deduction (CADE-23) (pp. 384–399). Springer. http://hdl.handle.net/20.500.12708/54018
  • Using Tuple-Spaces to manage the Storage and Dissemination of Spatial-temporal Content / Bessler, S., Fischer, A., Kühn, E., Mordinyi, R., & Tomic, S. (2011). Using Tuple-Spaces to manage the Storage and Dissemination of Spatial-temporal Content. Journal of Computer and System Sciences, 77(2), 322–331. https://doi.org/10.1016/j.jcss.2010.01.010
  • Ausgabe in Strings / Ertl, M. A. (2011). Ausgabe in Strings. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85323
  • Techniken für weniger Stack-Tiefe / Ertl, M. A. (2011). Techniken für weniger Stack-Tiefe. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85321
  • Multi-Threading und Multi-Tasking in Gforth / Ertl, M. A. (2011). Multi-Threading und Multi-Tasking in Gforth. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85322
  • SWIG-Erweiterung für Forth / Wodni, G., & Ertl, M. A. (2011). SWIG-Erweiterung für Forth. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85320
  • Implementing Enterprise Security via a Room Model / Craß, S., Joskowicz, G., Kühn, E., & Winkler, M. (2011). Implementing Enterprise Security via a Room Model. 16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011), Innsbruck, Austria, Austria. http://hdl.handle.net/20.500.12708/85235
  • Implementation of the BOLARE Programming Language / Pavlu, V. (2011). Implementation of the BOLARE Programming Language. 28. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte,” Bad Honnef, EU. http://hdl.handle.net/20.500.12708/85228
  • Register Reuse Scheduling / Barany, G. (2011). Register Reuse Scheduling. Gastvortrag ENS Lyon, Lyon, EU. http://hdl.handle.net/20.500.12708/85117
  • Parametrizing Motion Controllers of Humanoid Robots by Evolution / Schreiner, D., Punzengruber, C., & Krall, A. (2011). Parametrizing Motion Controllers of Humanoid Robots by Evolution. INFORMATIK 2011, Berlin, EU. http://hdl.handle.net/20.500.12708/85318
  • Optimal Code Generation for Explicitly Parallel Processors / Krall, A. (2011). Optimal Code Generation for Explicitly Parallel Processors. ETH Informatics Seminar, Zuerich, Non-EU. http://hdl.handle.net/20.500.12708/85317
  • Optimal Code Generation for Explicitly Parallel Processors / Krall, A. (2011). Optimal Code Generation for Explicitly Parallel Processors. Informatics Seminar, Lugano, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/85278
  • Efficient Instruction Set Simulation with Abstract State Machines / Krall, A. (2011). Efficient Instruction Set Simulation with Abstract State Machines. DIKU Seminar, Kopenhagen, Denmark, EU. http://hdl.handle.net/20.500.12708/85279
  • Efficient Instruction Set Simulation with Abstract State Machines / Krall, A. (2011). Efficient Instruction Set Simulation with Abstract State Machines. Seminar, Ecole Centrale Paris, EU. http://hdl.handle.net/20.500.12708/85277
  • First-order theorem proving and Vampire / Kovacs, L., & Voronkov, A. (2011). First-order theorem proving and Vampire. 10th Mexican International Conference on Artificial Intelligence (MICAI), Puebla, Mexico, Non-EU. http://hdl.handle.net/20.500.12708/85275
  • Optimal Code Generation for Explicitly Parallel Processors / Krall, A. (2011). Optimal Code Generation for Explicitly Parallel Processors. SasSeminar, Linkoping Schweden, EU. http://hdl.handle.net/20.500.12708/85276
  • First-order theorem proving and Vampire / Kovacs, L. (2011). First-order theorem proving and Vampire. RiSE-PUMA Workshop, Traunkirchen, Austria, EU. http://hdl.handle.net/20.500.12708/85274
  • Invariant Generation using Theorem Proving / Kovacs, L., & Voronkov, A. (2011). Invariant Generation using Theorem Proving. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, EU. http://hdl.handle.net/20.500.12708/85273
  • Program Assertion Synthesis using Symbolic Computation / Kovacs, L. (2011). Program Assertion Synthesis using Symbolic Computation. 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, EU. http://hdl.handle.net/20.500.12708/85272
  • Symbol Elimination in Program Analysis / Kovacs, L. (2011). Symbol Elimination in Program Analysis. Helsinki Institute for Information Technology (HIIT), Helsinki, Finnland, EU. http://hdl.handle.net/20.500.12708/85271
  • First-order theorem proving and Vampire / Hoder, K., Kovacs, L., & Voronkov, A. (2011). First-order theorem proving and Vampire. 23rd International Conference on Automated Deduction (CADE-23), Wroclaw, Poland, EU. http://hdl.handle.net/20.500.12708/85270
  • Interpolation and Symbol Elimination / Kovacs, L. (2011). Interpolation and Symbol Elimination. TU Graz, Austria. http://hdl.handle.net/20.500.12708/85269
  • RiSE: Rigorous Systems Engineering / Kovacs, L. (2011). RiSE: Rigorous Systems Engineering. Research Seminar for Master Students, West University of Timisoara, Timisoara, Romania, EU. http://hdl.handle.net/20.500.12708/85268
  • Experiments with Invariant Generation Using a Saturation Theorem Prover / Kovacs, L. (2011). Experiments with Invariant Generation Using a Saturation Theorem Prover. AdaCore Paris, Paris, France, EU. http://hdl.handle.net/20.500.12708/85267
  • Experiments with Invariant Generation Using a Saturation Theorem Prover / Kovacs, L. (2011). Experiments with Invariant Generation Using a Saturation Theorem Prover. “Deduction at Scale” Seminar, Ringberg Castle, Germany, EU. http://hdl.handle.net/20.500.12708/85266
  • Artificial Immune Systems for Artificial Creatures / Schreiner, D. (2011). Artificial Immune Systems for Artificial Creatures. Mediterranean Open Workshop on RoboCup Research, Rom, EU. http://hdl.handle.net/20.500.12708/85265
  • Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / Knoop, J. (2011). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 28th Annual Workshop of the GI-FG 2.1.4 “Programmiersprachen und Rechenkonzepte,” Physikzentrum Bad Honnef, Deutschland, EU. http://hdl.handle.net/20.500.12708/85262
  • Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox / Knoop, J. (2011). Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox. 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Cape May, NJ, Non-EU. http://hdl.handle.net/20.500.12708/85261
  • Compiler Construction / Knoop, J. (Ed.). (2011). Compiler Construction. Springer. https://doi.org/10.1007/978-3-642-19861-8
  • Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems / Kovacs, L., Pugliese, R., & Tiezzi, F. (Eds.). (2011). Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems. EPTCS Vol. 61. https://doi.org/10.48550/arXiv.1108.2085
  • Aligator: Experiments and Limitations / Kovacs, L., & Kovacs, A. (2011). Aligator: Experiments and Limitations. In Proc. of the 22nd International DAAAM Symposium: “Intelligent Manufactoring and Automation: Power of Knowledge and Creativity” (pp. 1145–1146). DAAAM International. http://hdl.handle.net/20.500.12708/54065
  • Analyzing the Fluid Motion Through Network Profiles Using the Boundary Element Method / Kovacs, A., & Kovacs, L. (2011). Analyzing the Fluid Motion Through Network Profiles Using the Boundary Element Method. In Proc. of the 22nd International DAAAM Symposium: “Intelligent Manufactoring and Automation: Power of Knowledge and Creativity” (pp. 1147–1148). DAAAM International, Volume 22, Nr. 1. http://hdl.handle.net/20.500.12708/54062
  • Case Studies on Invariant Generation Using a Saturation Theorem Prover / Hoder, K., Kovacs, L., & Voronkov, A. (2011). Case Studies on Invariant Generation Using a Saturation Theorem Prover. In I. Z. Batyrshin & G. Sidorov (Eds.), Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI) (pp. 1–15). Springer. http://hdl.handle.net/20.500.12708/54058
  • Parametrizing Motion Controllers of Humanoid Robots by Evolution / Schreiner, D., & Punzengruber, C. (2011). Parametrizing Motion Controllers of Humanoid Robots by Evolution. In INFORMATIK 2011. GI-Edition - Lecture Notes in Informatics (LNI), P-191. http://hdl.handle.net/20.500.12708/54056
  • Invariant Generation in Vampire / Hoder, K., Kovacs, L., & Voronkov, A. (2011). Invariant Generation in Vampire. In Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 60–64). Springer. http://hdl.handle.net/20.500.12708/54052
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation) / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation). In Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’11) (p. 200). Westfälische Wilhelms-Universität Münster. http://hdl.handle.net/20.500.12708/54044
  • Interpreter Instruction Scheduling / Brunthaler, S. (2011). Interpreter Instruction Scheduling. In J. Knoop (Ed.), Lecture Notes in Computer Science (pp. 164–178). Springer. https://doi.org/10.1007/978-3-642-19861-8_10
    Project: Spyculative (2011–2014)
  • iRIS - Towards a Robotic Immune System / Schreiner, D., & Knoop, J. (2011). iRIS - Towards a Robotic Immune System. In M. Hofbaur & M. Husty (Eds.), Proceedings of the Austrian Robotics Workshop 2011 (pp. 22–34). UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, UMIT. http://hdl.handle.net/20.500.12708/54032
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract) / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract). In MEMICS Proceedings (p. 119). http://hdl.handle.net/20.500.12708/54021
  • Measurable Concepts for the Usability of Software Components / Scheller, T., & Kühn, E. (2011). Measurable Concepts for the Usability of Software Components. In 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications. 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), Oulu, Finland, EU. https://doi.org/10.1109/seaa.2011.28
  • Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision / Pavlu, V., Schordan, M., & Krall, A. (2011). Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision. In Proceedings of the Eleventh IEEE International Workshop on Source Code Analysis and Manipulation (pp. 25–34). IEEE. http://hdl.handle.net/20.500.12708/53969
    Project: EPICOpt (2009–2013)
  • Ontology-Driven Guidance for Requirements Elicitation / Farfeleder, S., Moser, T., Krall, A., Stalhane, T., Omoronyia, I., & Zojer, H. (2011). Ontology-Driven Guidance for Requirements Elicitation. In Proceedings of 8th Extended Semantic Web Conference (ESWC 2011) (pp. 1–15). http://hdl.handle.net/20.500.12708/53801
  • DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded Systems Development / Farfeleder, S., Moser, T., Krall, A., Stalhane, T., Zojer, H., & Panis, C. (2011). DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded Systems Development. In Proceedings of 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011) (pp. 1–4). http://hdl.handle.net/20.500.12708/53800
  • Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis. In 28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte. 28. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte,” Bad Honnef, EU. Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/53670
  • An Evaluation of WCET Analysis using Symbolic Loop Bounds / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2011). An Evaluation of WCET Analysis using Symbolic Loop Bounds. In C. Healy (Ed.), Proc. 11’th International Workshop on Worst-Case Execution Time Analysis (pp. 93–103). Österreichische Computer Gesellschaft - OCG. http://hdl.handle.net/20.500.12708/53668

2010

2009

  • Peer-to-Peer Overlay Network Based on Swarm Intelligence / Sesum-Cavic, V., & Kühn, E. (2009). Peer-to-Peer Overlay Network Based on Swarm Intelligence. In 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009) (pp. 65–67). Springer. http://hdl.handle.net/20.500.12708/53051
  • A heuristics framework for semantic subscription processing / Murth, M., & Kühn, E. (2009). A heuristics framework for semantic subscription processing. In 6th European Semantic Web Conference (ESWC 2009) (pp. 96–110). Springer. http://hdl.handle.net/20.500.12708/53049
  • A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents / Kühn, E., & Sesum-Cavic, V. (2009). A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents. In 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009) (pp. 17–32). Springer. http://hdl.handle.net/20.500.12708/53050
  • On Undecidability Results of Real Programming Languages / Kirner, R., Zimmermann, W., & Richter, D. (2009). On Undecidability Results of Real Programming Languages. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 141–154). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52915
  • Automatic Calculation of Coverage Profiles for Coverage-based Testing / Kirner, R., & Haas, W. (2009). Automatic Calculation of Coverage Profiles for Coverage-based Testing. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 126–140). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52914
  • From Trusted Annotations to Verified Knowledge / 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
    Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
  • 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / 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
    Project: ALL-TIMES (2007–2010)
  • Semantic Event Correlation Using Ontologies / Moser, T., Roth, H., Rozsnyai, S., Mordinyi, R., & Biffl, S. (2009). Semantic Event Correlation Using Ontologies. In On the Move to Meaningful Internet Systems: OTM 2009 (pp. 1087–1094). Springer. https://doi.org/10.1007/978-3-642-05151-7_24
  • Progressive spill code placement / Ebner, D., Scholz, B., & Krall, A. (2009). Progressive spill code placement. In Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems - CASES ’09. International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria, Austria. https://doi.org/10.1145/1629395.1629408
  • Synchronization as a Special Case of Access Control / Puntigam, F. (2009). Synchronization as a Special Case of Access Control. Electronic Notes in Theoretical Computer Science, 241, 113–133. https://doi.org/10.1016/j.entcs.2009.06.007
  • Neuigkeiten seit Gforth 0.7.0 / Wodni, G., & Ertl, M. A. (2009). Neuigkeiten seit Gforth 0.7.0. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/85101
  • Neuigkeiten in Gforth 0.7.0 / Ertl, M. A. (2009). Neuigkeiten in Gforth 0.7.0. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/85100
  • Domination-Based Scoping and Static Single Assignment Languages / Ertl, M. A. (2009). Domination-Based Scoping and Static Single Assignment Languages. Static Single-Assignment Form Seminar, Autrans, Frankreich, EU. http://hdl.handle.net/20.500.12708/85102
  • From Trust to Proof - Beyond Verifying Functional Program Properties / Knoop, J. (2009). From Trust to Proof - Beyond Verifying Functional Program Properties. Informatik-Kolloquium, FernUniversität Hagen, Fakultät für Mathematik und Informatik, EU. http://hdl.handle.net/20.500.12708/84897
  • From Trust to Proof - Beyond Verifying Functional Program Properties / Knoop, J. (2009). From Trust to Proof - Beyond Verifying Functional Program Properties. Informatik-Kolloquium, FernUniversität Hagen, Fakultät für Mathematik und Informatik, EU. http://hdl.handle.net/20.500.12708/84889
  • Timing Properties: Beyond Verifying Functional Program Properties / 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
    Project: ALL-TIMES (2007–2010)
  • Current Research at the CompLang Group: Robots and More! / Knoop, J. (2009). Current Research at the CompLang Group: Robots and More! Austrian Robotics Summit, Graz, Austria. http://hdl.handle.net/20.500.12708/84876
  • From Trusted Annotations to Verified Knowledge / 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
    Project: ALL-TIMES (2007–2010)
  • Constant Propagation w/ SSA- and Predicated SSA Form / Knoop, J. (2009). Constant Propagation w/ SSA- and Predicated SSA Form. Static Single-Assignment Form Seminar, Autrans, Frankreich, EU. http://hdl.handle.net/20.500.12708/84869
  • A Look at Gforth Performance / Ertl, M. A. (2009). A Look at Gforth Performance. In M. A. Ertl (Ed.), EuroForth (pp. 23–31). EuroForth. http://hdl.handle.net/20.500.12708/53602
  • Fast and Accurate Simulation Using the LLVM Compiler Framework / Brandner, F., Fellnhofer, A., Krall, A., & Riegler, D. (2009). Fast and Accurate Simulation Using the LLVM Compiler Framework. In S. Niar, R. Leupers, & O. Temam (Eds.), 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (p. 6). http://hdl.handle.net/20.500.12708/53601
  • Component Based Middleware-Synthesis for AUTOSAR Basic Software / Schreiner, D., Schordan, M., & Göschka, K. M. (2009). Component Based Middleware-Synthesis for AUTOSAR Basic Software. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2009.47
  • Optimizing High Abstraction-Level Interpreters / Brunthaler, S. (2009). Optimizing High Abstraction-Level Interpreters. In M. Hanus & B. Braßel (Eds.), Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte” (pp. 100–110). Christian-Albrechts-Universität zu Kiel, Deutschland. http://hdl.handle.net/20.500.12708/53102
  • Inline Caching meets Quickening / Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen (p. 8). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53095
  • Inline Caching meets Quickening / Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband (pp. 7–21). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53094
  • Virtual-Machine Abstraction and Optimization Techniques / Brunthaler, S. (2009). Virtual-Machine Abstraction and Optimization Techniques. In E. Albert & S. Genaim (Eds.), Electronic Notes in Theoretical Computer Science (pp. 3–14). Elsevier. https://doi.org/10.1016/j.entcs.2009.11.011
  • Knowledge-based coordination with a reliable semantic subscription mechanism / Murth, M., & Kühn, E. (2009). Knowledge-based coordination with a reliable semantic subscription mechanism. In Proceedings of the 2009 ACM symposium on Applied Computing - SAC ’09. 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii, Non-EU. ACM. https://doi.org/10.1145/1529282.1529588
  • Algebraic foundation of a data model for an extensible space-based collaboration protocol / Craß, S., Kühn, E., & Salzer, G. (2009). Algebraic foundation of a data model for an extensible space-based collaboration protocol. In B. C. Desai, D. Saccà, & S. Greco (Eds.), Proceedings of the 2009 International Database Engineering & Applications Symposium on - IDEAS ’09. ACM. https://doi.org/10.1145/1620432.1620466
  • Virtual-Machine Abstraction and Optimization Techniques / Brunthaler, S. (2009). Virtual-Machine Abstraction and Optimization Techniques. In E. Albert & S. Genaim (Eds.), Preliminary Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009) (pp. 19–30). Univ. of York - Elsevier. http://hdl.handle.net/20.500.12708/53027
  • Persistent Analysis Results / Prantl, A., Knoop, J., & Schordan, M. (2009). Persistent Analysis Results. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/53001
  • How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / Puntigam, F. (2009). How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 231–242). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52879
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (p. 11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52856
  • Embedded JIT Compilation with CACAO on YARI / Brandner, F., Thorn, T., & Schoeberl, M. (2009). Embedded JIT Compilation with CACAO on YARI. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.20
  • Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems / Kühn, E., Mordinyi, R., Keszthelyi, L., & Schreiber, C. (2009). Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems. In 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture. 8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge, England, Non-EU. IEEE Computer Society. https://doi.org/10.1109/wicsa.2009.5290786
  • Towards Zero-Delay Recovery of Agents in Production Automation Systems / Kühn, E., Mordinyi, R., Lang, M., & Selimovic, A. (2009). Towards Zero-Delay Recovery of Agents in Production Automation Systems. In 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology. 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Mailand, Italien, EU. https://doi.org/10.1109/wi-iat.2009.170
  • A P2P Network of Space Containers for Efficient Management of Spatial-Temporal Data in Intelligent Transportation Scenarios / Kühn, E., Mordinyi, R., Goiss, H.-D., Bessler, S., & Tomic, S. (2009). A P2P Network of Space Containers for Efficient Management of Spatial-Temporal Data in Intelligent Transportation Scenarios. In 2009 Eighth International Symposium on Parallel and Distributed Computing. Eighth International Symposium on Parallel and Distributed Computing (ISPDC), Lissabon, Protugal, EU. https://doi.org/10.1109/ispdc.2009.27
  • Efficient System Integration Using Semantic Requirements and Capability Models - An Approach for Integrating Heterogeneous Business Services / Moser, T., Mordinyi, R., Biffl, S., & Mikula, A. (2009). Efficient System Integration Using Semantic Requirements and Capability Models - An Approach for Integrating Heterogeneous Business Services. In J. Cordeiro & J. Filipe (Eds.), Proceedings of the 11th International Conference on Enterprise Information Systems (pp. 56–63). Springer. http://hdl.handle.net/20.500.12708/52799
  • SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis / 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
    Project: ALL-TIMES (2007–2010)
  • From Trusted Annotations to Verified Knowledge / 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
    Project: ALL-TIMES (2007–2010)
  • Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraint / Moser, T., Mordinyi, R., Sunindyo, W. D., & Biffl, S. (2009). Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraint. In Proceedings The 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009) (pp. 222–227). http://hdl.handle.net/20.500.12708/52716
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Schordan, M., & Kadlec, A. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009) (pp. 35–45). http://hdl.handle.net/20.500.12708/52710
  • Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain / Mordinyi, R., Moser, T., Kühn, E., Biffl, S., & Mikula, A. (2009). Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain. In 2009 35th Euromicro Conference on Software Engineering and Advanced Applications. 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), Patras, Greece, EU. IEEE Computer Society. https://doi.org/10.1109/seaa.2009.19
  • Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems / Kühn, E., Mordinyi, R., Keszthelyi, L., Schreiber, C., Bessler, S., & Tomic, S. (2009). Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems. In On the Move to Meaningful Internet Systems: OTM 2009 (pp. 432–448). Springer. https://doi.org/10.1007/978-3-642-05148-7_34
  • Integration of Shareable Containers with Distributed Hash Tables for Storage of Structured and Dynamic Data / Kühn, E., Mordinyi, R., Goiss, H.-D., Moser, T., Bessler, S., & Tomic, S. (2009). Integration of Shareable Containers with Distributed Hash Tables for Storage of Structured and Dynamic Data. In 2009 International Conference on Complex, Intelligent and Software Intensive Systems. Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan, Non-EU. https://doi.org/10.1109/cisis.2009.53
  • Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain / Kühn, E., Mordinyi, R., Keszthelyi, L., & Schreiber, C. (2009). Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain. In International Conference on Autonomous Agents and Multiagent Systems (pp. 625–632). International Foundation for Autonomous Agents and Multiagent Systems. http://hdl.handle.net/20.500.12708/52513
  • SAMOA - A Semi-Automated Ontology Alignment Method for Systems Integration in Safety-Critical Environments / Moser, T., Schimper, K., Mordinyi, R., & Anjomshoaa, A. (2009). SAMOA - A Semi-Automated Ontology Alignment Method for Systems Integration in Safety-Critical Environments. In 2009 International Conference on Complex, Intelligent and Software Intensive Systems. 2nd IEEE Intl. Wsh. on Ontology, Fukuoka, Japan, Non-EU. https://doi.org/10.1109/cisis.2009.138
  • Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain / Moser, T., Mordinyi, R., Mikula, A., & Biffl, S. (2009). Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain. In 2009 International Conference on Complex, Intelligent and Software Intensive Systems. Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan, Non-EU. https://doi.org/10.1109/cisis.2009.90
  • Interfaces of active objects with internal concurrency / Puntigam, F. (2009). Interfaces of active objects with internal concurrency. In Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century - DO21 ’09. Distributed Objects for the 21st Century (DO21, ECOOP’09 Workshop), Genova, Italy, EU. ACM. https://doi.org/10.1145/1557876.1557877
  • Stack allocation of objects in the CACAO virtual machine / Molnar, P., Krall, A., & Brandner, F. (2009). Stack allocation of objects in the CACAO virtual machine. In B. Stephenson & C. W. Probst (Eds.), Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ ’09. https://doi.org/10.1145/1596655.1596680
  • Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach / Schreiner, D., Schordan, M., & Knoop, J. (2009). Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2009.46
  • Inline Caching meets Quickening / Brunthaler, S. (2009). Inline Caching meets Quickening. In J. Knoop & A. Prantl (Eds.), Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (p. 67). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/53093
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (pp. 39–49). Verlag Oesterreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52855
  • Austrian-Kangaroos 2009 Team Description Paper (TDP) / Bader, M., Hofmann, A., & Schreiner, D. (2009). Austrian-Kangaroos 2009 Team Description Paper (TDP). http://hdl.handle.net/20.500.12708/36509
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen / Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3. http://hdl.handle.net/20.500.12708/22947
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband / Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2. http://hdl.handle.net/20.500.12708/22946
  • 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung / Knoop, J., & Prantl, A. (Eds.). (2009). 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung. Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1. http://hdl.handle.net/20.500.12708/22945

2008

  • Optimizations for Object-Oriented Languages / Krall, A., & Horspool, N. (2008). Optimizations for Object-Oriented Languages. In Y. N. Srikant & P. Shankar (Eds.), The COMPILER DESIGN Handbook: Optimizations and Machine Code Generation (second edition) (pp. 13-1-13–29). CRC Press. http://hdl.handle.net/20.500.12708/26197
  • Cleaning up After Yourself / Ertl, M. A. (2008). Cleaning up After Yourself. In 24th EuroForth Conference (pp. 35–38). http://hdl.handle.net/20.500.12708/52510
  • A Declarative Approach to finding Timing Constraints in High-level Program Representations / Prantl, A. (2008). A Declarative Approach to finding Timing Constraints in High-level Program Representations. In Workshop on Resource Analysis (p. 2). http://hdl.handle.net/20.500.12708/52408
  • Constraint solving for high-level WCET analysis / Prantl, A., Knoop, J., Schordan, M., & Triska, M. (2008). Constraint solving for high-level WCET analysis. In The 18th Workshop on Logic-based methods in Programming Environments (pp. 77–89). http://hdl.handle.net/20.500.12708/52410
  • A Generalised Finite Domain Constraint Solver for SWI-Prolog / Triska, M., Neumerkel, U., & Wielemaker, J. (2008). A Generalised Finite Domain Constraint Solver for SWI-Prolog. In 22nd Workshop on (Constraint) Logic Programming (p. 89). Technical Report, University Halle-Wittenberg, Institute of Computer Science. http://hdl.handle.net/20.500.12708/52524
  • Generalized instruction selection using<i>SSA</i>-graphs / Ebner, D., Brandner, F., Scholz, B., Krall, A., Wiedermann, P., & Kadlec, A. (2008). Generalized instruction selection usingSSA-graphs. In Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES ’08. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Ottawa, Canada, Non-EU. ACM - Association for Computing Machinery. https://doi.org/10.1145/1375657.1375663
  • Virtual machine showdown: Stack versus registers / Shi, Y., Casey, K., Ertl, M. A., & Gregg, D. (2008). Virtual machine showdown: Stack versus registers. ACM Transactions on Architecture and Code Optimization, 4(4), 1–36. https://doi.org/10.1145/1328195.1328197
  • Systematisches Testen eines Constraint-Systems / Neumerkel, U. (2008). Systematisches Testen eines Constraint-Systems. ZIDline, 19(19), 30–31. http://hdl.handle.net/20.500.12708/170919
  • WCET Tool Challenge 2008: Report / Holsti, N., Gustafsson, J., Bernat, G., Ballabriga, C., Bonenfant, A., Bourgade, R., Cassé, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokuciejewski, P., Merriam, N., de Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., & Schordan, M. (2008). WCET Tool Challenge 2008: Report. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 149–171). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52407
    Project: COSTA (2006–2009)
  • Integration of XVSM Spaces with the Web to Meet the Challenging Interaction Demands in Pervasive Scenarios / Kühn, E., Riemer, J., Mordinyi, R., & Lechner, L. (Eds.). (2008). Integration of XVSM Spaces with the Web to Meet the Challenging Interaction Demands in Pervasive Scenarios. UBICC Publishers. http://hdl.handle.net/20.500.12708/22827
  • Die Multicore-Herausforderung / Ertl, M. A. (2008). Die Multicore-Herausforderung. Forth-Tagung 2008, Kloster Roggenburg, Deutschland, EU. http://hdl.handle.net/20.500.12708/84831
  • Autonome Koordination verteilter Services - Ein neues Paradigma und seine Bedeutung für E-Government / Kühn, E. (2008). Autonome Koordination verteilter Services - Ein neues Paradigma und seine Bedeutung für E-Government. e-Government Konferenz 2008, Krems, Austria. http://hdl.handle.net/20.500.12708/84846
  • Using C for the Back End / Ertl, M. A. (2008). Using C for the Back End. Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern, EU. http://hdl.handle.net/20.500.12708/84832
  • Essential Ingredients for a WCET Annotation Language / Knoop, J. (2008). Essential Ingredients for a WCET Annotation Language. 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Bormio, EU. http://hdl.handle.net/20.500.12708/84823
  • Dynamic Binary Translation for Generation of Cycle Accurate Architecture Simulators / Fellnhofer, A., Krall, A., & Riegler, D. (2008). Dynamic Binary Translation for Generation of Cycle Accurate Architecture Simulators. Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, EU. http://hdl.handle.net/20.500.12708/84821
  • Current Research at the Complang Group: Timing Analyses and More / Knoop, J. (2008). Current Research at the Complang Group: Timing Analyses and More. Forschungskolloquium des Research Institute for Symbolic Computation RISC, Johannes-Kepler-Universität Linz, Hagenberg bei Linz, Austria. http://hdl.handle.net/20.500.12708/84803
  • ALL-TIMES - A European Project on Integrating Timing Technology / Gustafsson, J., Lisper, B., Schordan, M., Ferdinand, C., Gliwa, P., Jersak, M., & Bernat, G. (2008). ALL-TIMES - A European Project on Integrating Timing Technology. In ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 (pp. 445–459). Springer. http://hdl.handle.net/20.500.12708/52601
  • Component Based Communication Middleware for AUTOSAR / Schreiner, D., Göschka, K. M., & Knoop, J. (2008). Component Based Communication Middleware for AUTOSAR. In Proceedings of Junior Scientist Conference 2008 (pp. 113–114). http://hdl.handle.net/20.500.12708/52554
  • Applying the Component Paradigm to AUTOSAR Basic Software / Schreiner, D. (2008). Applying the Component Paradigm to AUTOSAR Basic Software. In Programmiersprachen und Rechenkonzepte (p. 6). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52553
  • Source Code Based Component Recognition in Software Stacks for Embedded Systems / 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
    Project: ALL-TIMES (2007–2010)
  • SABRON: A Storage and Application Based Routing Overlay Network for Intelligent Transportation Systems / Bessler, S., Tomic, S., Kühn, E., Mordinyi, R., & Goiss, H.-D. (2008). SABRON: A Storage and Application Based Routing Overlay Network for Intelligent Transportation Systems. In IWSOS 2008, 3rd International Workshop on Self-Organizing Systems (p. 2). Springer, LNCS. http://hdl.handle.net/20.500.12708/52543
  • Towards a Common WCET Annotation Language: Essential Ingredients / Kadlec, A., Kirner, R., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Language: Essential Ingredients. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52531
  • WCET Annotation Languages Reconsidered: The Annotation Language Challenge / Kadlec, A., Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2008). WCET Annotation Languages Reconsidered: The Annotation Language Challenge. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52530
  • A Semantic Event Processing System for Knowledge-Driven Coordination / Murth, M., & Kühn, E. (2008). A Semantic Event Processing System for Knowledge-Driven Coordination. In ESTEEM’2008, First International Workshop on Emergent Semantics and Cooperation in Open Systems, In cooperation with the 2nd International Conference on Distributed Event-Based Systems (DEBS08) (pp. 1–8). CEUR Workshop proceedings series. http://hdl.handle.net/20.500.12708/52526
  • Better Termination for Prolog with Constraints / Triska, M., Neumerkel, U., & Wielemaker, J. (2008). Better Termination for Prolog with Constraints. In P. Arenas & D. Zanardini (Eds.), 18th Workshop on Logic-based methods in Programming Environments (WLPE’08) (pp. 90–96). http://hdl.handle.net/20.500.12708/52525
  • Towards Distributed Memory Parallel Program Analysis / Quinlan, D. J., Barany, G., & Panas, T. (2008). Towards Distributed Memory Parallel Program Analysis. In Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis (p. 9). Leibniz-Zentrum für Informatik. http://hdl.handle.net/20.500.12708/52520
  • Value Flow Graph Analysis with SATIrE / 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
    Project: ALL-TIMES (2007–2010)
  • Implementation of a Novel Semantic Web Middleware Approach Based on Triplespaces / Teymourian, K., Nixon, L., Wutke, D., Krummenacher, R., Moritsch, H., Kühn, E., & Schreiber, C. (2008). Implementation of a Novel Semantic Web Middleware Approach Based on Triplespaces. In 2008 IEEE International Conference on Semantic Computing. IEEE International Conference on Semantic Computing (ICSC’08), Santa Clara, California, Non-EU. https://doi.org/10.1109/icsc.2008.88
  • An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, / Kühn, E., Mordinyi, R., & Schreiber, C. (2008). An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,. In T. Margaria & B. Steffen (Eds.), Communications in Computer and Information Science (pp. 634–648). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_45
  • Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field / 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
    Project: ALL-TIMES (2007–2010)
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Dagstuhl Seminar Proceedings 08003 (p. 8). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52455
  • Synchronization as a Special Case of Access Control / Puntigam, F. (2008). Synchronization as a Special Case of Access Control. In Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (pp. 52–57). http://hdl.handle.net/20.500.12708/52451
  • Optimizing the Python interpreter: Identifying performance bottlenecks. / Brunthaler, S., & Knoop, J. (2008). Optimizing the Python interpreter: Identifying performance bottlenecks. In Proceedings of the Junior Scientist Conference 2008 (pp. 41–42). http://hdl.handle.net/20.500.12708/52437
  • An integrated source-to-source approach to WCET analysis / Prantl, A., & Knoop, J. (2008). An integrated source-to-source approach to WCET analysis. In Proceedings of the Junior Scientist Conference 2008 (pp. 45–46). http://hdl.handle.net/20.500.12708/52409
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 141–148). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52406
  • Ontology-supported quality assurance for component-based systems configuration / Biffl, S., Mordinyi, R., Moser, T., & Wahyudin, D. (2008). Ontology-supported quality assurance for component-based systems configuration. In B. Wong (Ed.), Proceedings of 6th international Workshop on Software Quality (pp. 59–64). ACM. http://hdl.handle.net/20.500.12708/52385
  • TuBound - A Tool for Worst-Case Execution Time Analysis / Prantl, A., Schordan, M., & Knoop, J. (2008). TuBound - A Tool for Worst-Case Execution Time Analysis. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52350
  • Towards a Common WCET Annotation Languge: Essential Ingredients / Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Languge: Essential Ingredients. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 53–65). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52349
  • Multiobjective Prototype Optimization with Evolved Improvement Steps / Kubalik, J., Mordinyi, R., & Biffl, S. (2008). Multiobjective Prototype Optimization with Evolved Improvement Steps. In Evolutionary Computation in Combinatorial Optimization (pp. 218–229). LNCS/Springer Berlin. http://hdl.handle.net/20.500.12708/52238
  • Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms / Sesum-Cavic, V., & Kühn, eva. (2008). Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms. In Self-Organizing Systems (pp. 311–317). LNCS, Springer. https://doi.org/10.1007/978-3-540-92157-8_31
  • Precise Garbage Collection in Prolog / Wielemaker, J., & Neumerkel, U. (2008). Precise Garbage Collection in Prolog. In Proceedings of the 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems (p. 15). http://hdl.handle.net/20.500.12708/52523
  • Declarative language extensions for prolog courses / Neumerkel, U., Triska, M., & Wielemaker, J. (2008). Declarative language extensions for prolog courses. In Proceedings of the 2008 international workshop on Functional and declarative programming in education - FDPE ’08. International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada, Non-EU. ACM Press. https://doi.org/10.1145/1411260.1411271
  • Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis / 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
    Project: ALL-TIMES (2007–2010)
  • From Static to Dynamic Process Types / Puntigam, F. (2008). From Static to Dynamic Process Types. In Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers (pp. 61–73). Springer-Verlag. http://hdl.handle.net/20.500.12708/52454
  • Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) / Drechsler, R., Glesner, S., Knoop, J., & Zimmermann, W. (Eds.). (2008). Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008). Budapest University of Technology and Economics. http://hdl.handle.net/20.500.12708/22852

2007

2006

2005

2004

2003

2002

  • Speculative Partial Redundancy Elimimnation / Scholz, B. (2002). Speculative Partial Redundancy Elimimnation. Workshop on Compiler-Driven Performance, Toronto, Austria. http://hdl.handle.net/20.500.12708/84091
  • Probabilistic Data Flow Analysis and its Applications / Scholz, B. (2002). Probabilistic Data Flow Analysis and its Applications. French National Institute for Research in Computer Science and Control (INRIA), Paris, Austria. http://hdl.handle.net/20.500.12708/84090
  • Dynamic Binary Translation / Probst, M. (2002). Dynamic Binary Translation. UKUUG Linux Developer`s Conference 2002, United Kingdom, Austria. http://hdl.handle.net/20.500.12708/84122
  • Superinstructions in Gforth / Ertl, M. A. (2002). Superinstructions in Gforth. 18th EuroForth Conference, Wien, Austria. http://hdl.handle.net/20.500.12708/84089

2000

  • Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs / Blieberger, J., Burgstaller, B., & Scholz, B. (2000). Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In Reliable Software Technologies Ada-Europe 2000 (pp. 225–237). Springer-Verlag. https://doi.org/10.1007/10722060_21
  • Symbolic Cache Analysis for Real-Time Systems / Blieberger, J., Fahringer, T., & Scholz, B. (2000). Symbolic Cache Analysis for Real-Time Systems. Real-Time Systems, 18(2/3), 181–215. https://doi.org/10.1023/a:1008193114940
  • Symbolic pointer analysis for detecting memory leaks / Scholz, B., Blieberger, J., & Fahringer, T. (2000). Symbolic pointer analysis for detecting memory leaks. In Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation  - PEPM ’00. ACM SIGPLAN Workshop on “Partial Evaluation and Semantics-Based Program Manipulation” (PEPM), Boston, MA, USA, Austria. ACM Press. https://doi.org/10.1145/328690.328704

1999

  • Interprocedural Symbolic Evaluation of Ada Programs with Aliases / Blieberger, J., Burgstaller, B., & Scholz, B. (1999). Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In Lecture Notes in Computer Science - Ada-Europe Conf. (pp. 136–145). Springer-Verlag. http://hdl.handle.net/20.500.12708/50910
  • Ada Binding to a Shared Object Layer / Blieberger, J., Klasek, J., & Kühn, E. (1999). Ada Binding to a Shared Object Layer. In Lecture Notes in Computer Science - Ada-Europe Conf. (pp. 263–274). Springer-Verlag. http://hdl.handle.net/20.500.12708/50911

1997

 

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1996

 

  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
    2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
    2016 / Austria / Website
  • Dietmar Schreiner: Best Poster Award "Modeling Component Based Embedded Systems Applications with Explicit Connectors in UML 2.0" at the 22nd Annual ACM Symposium on Applied Computing (SAC 2007)
    2007 / Republic of Korea
  • Jens Knoop: Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und Bernhard Steffen)
    2003 / USA
  • Eva Kühn: MERKUR Innovationspreis der Wirtschaftskammer
    2002 / Wirtschaftskammern / Austria
  • Eva Kühn: Heinz-Zemanek Forschungspreis für die Dissertation über "Implementation of Multi Database Systems in Prolog"
    1990 / Austria
  • Andreas Krall: Heinz Zemanek Preis
    1987 / Austria / Website

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Compilers and Languages’ research profile in TISS .