Compilers and Languages E194-05

A Research Unit of The Institute of Information Systems Engineering

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.

Contact

Head: Jens Knoop
Web: informatics.tuwien.ac.at/orgs/e194-05
E-Mail: sek@complang.tuwien.ac.at
Phone: +43-1-58801-18501
Location: Argentinierstrasse 8

About

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.

Professors

Scientific Staff

Administrative Staff

Herbert Pohlai H. Pohlai

IT Services
DI

Ewa Vesely E. Vesely

Office Services

Courses

2024W

Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
Code Generators / 185.416 / VO
Compilerdesign seminar / 185.A22 / SE
Computer Engineering Project / 185.A96 / PR
Efficient Programs / 185.190 / VU
Functional Programming / 194.026 / VU
Fundamentals of Digital Systems / 192.134 / VU
Introduction to Programming 1 / 185.A91 / VU
Logic programming and constraints / 185.A12 / VU
Optimizing Compilers / 185.A04 / VU
Orientation Informatics and Business Informatics / 180.766 / VU
Programming Paradigms / 194.023 / VU
Programming Principles of Mobile Robotics / 194.124 / VU
Project in Computer Science 1 / 194.145 / PR
Project in Computer Science 2 / 194.146 / PR
Project in Medical Informatics / 185.A30 / PR
Research Methods / 185.A34 / VU
Scientific Project Computer Engineering / 185.A97 / PR
Scientific Research and Writing / 193.052 / SE
Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
Seminar for PhD Students / 185.A24 / SE
Stack-based languages / 185.310 / VU
Type Systems / 185.206 / VO

2025S

Logic programming and constraints / 185.A12 / VU
Project in Computer Science 1 / 194.145 / PR
Project in Computer Science 2 / 194.146 / PR
Research Methods / 194.057 / VU

Projects

Formal Verification of Deep Neural Networks for Code Conversion applications
2024 – 2027 / Austrian Exchange Service (OeAD)
Cacao
1996 – 2025 / Cacao Virtual Machine

Publications

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)
The Platin Multi-Target Worst-Case Analysis Tool / Maroun, E. J., Dengler, E., Dietrich, C., Hepp, S., Herzog, H., Huber, B. L., Knoop, J., Wiltsche-Prokesch, D., Puschner, P., Raffeck, P., Schoeberl, M., Schuster, S., & Wägemann, P. (2024). The Platin Multi-Target Worst-Case Analysis Tool. In T. Carle (Ed.), 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) (pp. 2:1-2:14). Schloss Dagstuhl. https://doi.org/10.4230/OASIcs.WCET.2024.2

2023

A pred-LL(*) parsable typed higher-order macro system for architecture description languages / Hochrainer, C., & Krall, A. (2023). A pred-LL(*) parsable typed higher-order macro system for architecture description languages. In C. De Roover, B. Rumpe, & A. Shaikhha (Eds.), Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 29–41). https://doi.org/10.1145/3624007.3624052
Download: PDF (228 KB)
Fix Spectre in hardware! Why and how / Ertl, M. A. (2023). Fix Spectre in hardware! Why and how. In T. Noll & I. Fesefeldt (Eds.), 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 9–23). RWTH Aachen University. https://doi.org/10.34726/5431
Downloads: PDF (156 KB) / Presentation slides (German) (87.1 KB)
Das magische Sechseck, Constraints, und Ausführungshäufigkeiten / Ertl, M. A. (2023, May 6). Das magische Sechseck, Constraints, und Ausführungshäufigkeiten [Conference Presentation]. Forth-Tagung 2023, Germany.
See-code und Codeerzeugung in Gforth 1.0 / Ertl, M. A. (2023, May). See-code und Codeerzeugung in Gforth 1.0 [Conference Presentation]. Forth-Tagung 2023, Germany. https://doi.org/10.34726/5465
Download: Presentation slides (30.9 KB)
Memory Safety Without Tagging nor Static Type Checking / Ertl, M. A. (2023). Memory Safety Without Tagging nor Static Type Checking. In https://doi.org/10.34726/5401. 38th EuroForth Conference, Italy. https://doi.org/10.34726/5428
Downloads: PDF (459 KB) / Presentation slides (32.6 KB)
Are locals inevitably slow? / Ertl, M. A. (2023). Are locals inevitably slow? In https://doi.org/10.34726/5401 (pp. 48–49). https://doi.org/10.34726/5430
Download: Presentation slide handouts (75.2 KB)
38th EuroForth Conference / Ertl, M. A., Hofmann, U., Koch, M., Pöial, J., Rodriguez, B., Stoddart, B., & Reuben, T. (Eds.). (2023). 38th EuroForth Conference. https://doi.org/10.34726/5401
Download: Proceedings (3.15 MB)

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)
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
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

2021

Induction with Recursive Definitions in Superposition / Hajdu, M., Hozzová, P., Kovács, 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)
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
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

2020

Division durch (Quasi-)Konstanten / Ertl, M. A. (2020). Division durch (Quasi-)Konstanten. FORTH-Tagung 2020, Witten Bommerholz, Germany. http://hdl.handle.net/20.500.12708/87315
Testen (insbesondere Fuzz Testing) / Ertl, M. A. (2020). Testen (insbesondere Fuzz Testing). FORTH-Tagung 2020, Witten Bommerholz, Germany. http://hdl.handle.net/20.500.12708/87314
The Grand Recognizer Unification / Paysan, B., & Ertl, M. A. (2020). The Grand Recognizer Unification. In 36th EuroForth Conference (p. 4). http://hdl.handle.net/20.500.12708/58766
Forth and IDEs / Ertl, M. A. (2020). Forth and IDEs. In 36th EuroForth Conference (p. 3). http://hdl.handle.net/20.500.12708/55692
Efficient Search and Lookup in Unstructured P2P Overlay Networks Inspired by Swarm Intelligence / Sesum-Cavic, V., Kühn, E., & Fleischhacker, L. (2020). Efficient Search and Lookup in Unstructured P2P Overlay Networks Inspired by Swarm Intelligence. IEEE Transactions on Emerging Topics in Computational Intelligence, 4(3), 351–368. https://doi.org/10.1109/tetci.2019.2951813
Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles / Soteropoulos, A., Mitteregger, M., Berger, M., & Zwirchmayr, J. (2020). Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles. Transportation Research Part A: Policy and Practice, 136, 64–84. https://doi.org/10.1016/j.tra.2020.03.024
Unified Configuration Setting Access in Configuration Management Systems / Raab, M., Denner, B., Hahnenberg, S., & Cito, J. (2020). Unified Configuration Setting Access in Configuration Management Systems. In Proceedings of the 28th International Conference on Program Comprehension. ACM Digital Library. https://doi.org/10.1145/3387904.3389257
Von Groß- und Kleinbuchstaben / Ertl, M. A. (2020). Von Groß- und Kleinbuchstaben. Vierte Dimension. Das Forth-Magazin, 36(4), 21–23. http://hdl.handle.net/20.500.12708/141924
Forth-200X-Treffen auf der EuroForth 2020 / Ertl, M. A. (2020). Forth-200X-Treffen auf der EuroForth 2020. Vierte Dimension. Das Forth-Magazin, 36(4), 30. http://hdl.handle.net/20.500.12708/141925

2019

Der neue Gforth-Header / Ertl, M. A., & Paysan, B. (2019). Der neue Gforth-Header. Forth-Tagung 2019, Worms, Germany. 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, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/87044
Forth-Quellcode im Flash / Ertl, M. A. (2019). Forth-Quellcode im Flash. Forth-Tagung 2019, Worms, Germany. http://hdl.handle.net/20.500.12708/87043
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
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
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
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
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
Distributed Coordination Runtime Assertions for the Peer Model / Kühn, E., Radschek, S. T., & Elaraby, N. (2018). Distributed Coordination Runtime Assertions for the Peer Model. In Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings (pp. 200–219). Springer LNCS. https://doi.org/10.1007/978-3-319-92408-3_9
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
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

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
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
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

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
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
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
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
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
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
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

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
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
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
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.), Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. LNCS. https://doi.org/10.1007/978-3-319-20615-8_5
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.), Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. LNCS. https://doi.org/10.1007/978-3-662-48899-7_30
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.), Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. LNCS. https://doi.org/10.1007/978-3-662-46669-8_5
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 Security and Privacy in Communication Networks 11th International Conference, SecureComm 2015 (pp. 519–537). LNICST, Springer. https://doi.org/10.1007/978-3-319-28865-9_28
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
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 200xTreffen auf der EuroForth 2015 / Ertl, M. A. (2015). Forth 200xTreffen 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
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
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
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
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

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
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
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
Experimenting with SAT Solvers in Vampire / Biere, A., Dragan, I., Kovács, L., & Voronkov, A. (2014). Experimenting with SAT Solvers in Vampire. In Human-Inspired Computing and its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I (pp. 431–442). https://doi.org/10.1007/978-3-319-13647-9_39
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
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
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
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
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
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
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
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
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
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

2013

Comparison of type-based and alias-based component recognition for embedded systems software / Schreiner, D., Barany, G., Schordan, M., & Knoop, J. (2013). Comparison of type-based and alias-based component recognition for embedded systems software. International Journal on Software Tools for Technology Transfer, 15(1), 41–52. https://doi.org/10.1007/s10009-012-0251-0
Project: ALL-TIMES (2007–2010)
Peer-Based Programming Model for Coordination Patterns / Kühn, E., Craß, S., Joskowicz, G., Marek, A., & Scheller, T. (2013). Peer-Based Programming Model for Coordination Patterns. In R. de Nicola & C. Julien (Eds.), Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (pp. 121–135). LNCS / Springer. https://doi.org/10.1007/978-3-642-38493-6_9
Usability Evaluation of Configuration-Based API Design Concepts / Scheller, T., & Kühn, E. (2013). Usability Evaluation of Configuration-Based API Design Concepts. In Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings (pp. 54–73). LNCS / Springer. https://doi.org/10.1007/978-3-642-39062-3_4
Algorithms and Framework for Comparison of Bee-Intelligence Based Peer-to-Peer Lookup / Šešum-Čavić, V., & Kühn, E. (2013). Algorithms and Framework for Comparison of Bee-Intelligence Based Peer-to-Peer Lookup. In Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I (pp. 404–413). LNCS / Springer. https://doi.org/10.1007/978-3-642-38703-6_48
Semantic Shared Spaces for Task Allocation in a Robotic Fleet for Precision Agriculture / Drenjanac, D., Klausner, L., Kühn, E., & Tomic, S. D. K. (2013). Semantic Shared Spaces for Task Allocation in a Robotic Fleet for Precision Agriculture. In E. Garoufallou & J. Greenberg (Eds.), Metadata and Semantics Research (pp. 440–446). CCIS / Springer. https://doi.org/10.1007/978-3-319-03437-9_43
Optimal and Heuristic Global Code Motion for Minimal Spilling / Barany, G., & Krall, A. (2013). Optimal and Heuristic Global Code Motion for Minimal Spilling. In Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (pp. 21–40). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-37051-9_2
An Adaptive and Flexible Replication Mechanism for Space-based Computing / Craß, S., Hirsch, J., Kühn, E., & Sesum-Cavic, V. (2013). An Adaptive and Flexible Replication Mechanism for Space-based Computing. In J. Cordeiro, D. Marca, & M. van Sinderen (Eds.), Proceedings of the 8th International Joint Conference on Software Technologies. SciTePress. https://doi.org/10.5220/0004492505990606
Static analysis of worst-case stack cache behavior / Jordan, A., Brandner, F., & Schoeberl, M. (2013). Static analysis of worst-case stack cache behavior. In Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS ’13. ACM. https://doi.org/10.1145/2516821.2516828
Project: EPICOpt (2009–2013)
pylibjit: A JIT Compiler Library for Python / Barany, G. (2013). pylibjit: A JIT Compiler Library for Python. In 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 13) (p. 9). http://hdl.handle.net/20.500.12708/54696
Standardize Strings Now! / Ertl, M. A. (2013). Standardize Strings Now! In 29th EuroForth Conference (pp. 39–43). http://hdl.handle.net/20.500.12708/55066
PAF: A Portable Assembly Language / Ertl, M. A. (2013). PAF: A Portable Assembly Language. In 29th EuroForth Conference (pp. 30–38). http://hdl.handle.net/20.500.12708/55065
Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution. 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Peking, Non-EU. http://hdl.handle.net/20.500.12708/85808
Tree Interpolation in Vampire / Blanc, R., Gupta, A., Kovács, L., & Kragl, B. (2013). Tree Interpolation in Vampire. In M. Kenneth, A. Middeldorp, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 173–181). Springer LNCS 8312. https://doi.org/10.1007/978-3-642-45221-5_13
The Auspicious Couple: Symbolic Execution and WCET Analysis / Biere, A., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). The Auspicious Couple: Symbolic Execution and WCET Analysis. In C. Maiza (Ed.), Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) (pp. 51–60). http://hdl.handle.net/20.500.12708/54652
SmacC: A Retargetable Symbolic Execution Engine / Biere, A., Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). SmacC: A Retargetable Symbolic Execution Engine. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013. Dang Van Hung and Mizuhito Ogawa, Austria. Springer LNCS 8172. http://hdl.handle.net/20.500.12708/54744
Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code / Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., & Gliwa, P. (2013). Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code. International Journal on Software Tools for Technology Transfer, 15(1), 53–63. https://doi.org/10.1007/s10009-012-0255-9
Project: ALL-TIMES (2007–2010)
Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international / Knoop, J., & Schreiner, D. (2013). Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international. OCG Journal, 38(1), 4–6. http://hdl.handle.net/20.500.12708/154902
Software De-Pipelining for Nested Loops / Bermudo, N., Krall, A., Su, B., & Wang, J. (2013). Software De-Pipelining for Nested Loops. International Journal of Computer Science and Electronics Engineering, 1(1), 6. http://hdl.handle.net/20.500.12708/157927
Editorial to the Special issue on Automated Specification and Verification of Web Systems / Kovács, L., Pugliese, R., Silva, J., & Tiezzi, F. (2013). Editorial to the Special issue on Automated Specification and Verification of Web Systems. The Journal of Logic and Algebraic Programming, 82(8), 241–242. https://doi.org/10.1016/j.jlap.2013.05.007
Criticality: Static Profiling for the Worst Case / Jordan, A. (2013). Criticality: Static Profiling for the Worst Case. Google PhD Student Summit on Compiler & Programming Technology 2013, München, EU. http://hdl.handle.net/20.500.12708/85644
Project: EPICOpt (2009–2013)
Region-Based Memory Allocation / Ertl, M. A. (2013). Region-Based Memory Allocation. 29th EuroForth Conference, Hamburg, EU. http://hdl.handle.net/20.500.12708/85761
Forth als Basis fuer einen portablen Assembler / Ertl, M. A. (2013). Forth als Basis fuer einen portablen Assembler. Forth-Tagung 2013, Garmisch-Partenkirchen, EU. http://hdl.handle.net/20.500.12708/85760
Recent Developments in Vampire for Program Analysis and Theory Reasoning / Dragan, I. (2013). Recent Developments in Vampire for Program Analysis and Theory Reasoning. Chalmers research seminar, Gothenburg, Schweden, EU. http://hdl.handle.net/20.500.12708/85780
Solving systems of linear inequalities using Bound Propagation in Vampire / Dragan, I. (2013). Solving systems of linear inequalities using Bound Propagation in Vampire. Alpine Verification Meeting, IST Austria, Austria. http://hdl.handle.net/20.500.12708/85779
Formal Methods for Program Verification / Kovacs, L. (2013). Formal Methods for Program Verification. SAAB/Chalmers joint research seminar, SAAB Kallebäck, Schweden, EU. http://hdl.handle.net/20.500.12708/85756
Formal Methods in Software Design and Verification / Kovacs, L. (2013). Formal Methods in Software Design and Verification. SAAB Technical Seminar, Linköping, Schweden, EU. http://hdl.handle.net/20.500.12708/85755
The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration / Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration. July’13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris, EU. http://hdl.handle.net/20.500.12708/85575
Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective' / Knoop, J. (2013). Panel on “Challenges and Opportunities for WCET Analysis Tools: A Tool Developer’s Perspective.” July’13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris, EU. http://hdl.handle.net/20.500.12708/85574
Börsenprobleme Funktional / Aigner, S. (2013). Börsenprobleme Funktional. HaL8 - Haskell-Treffen an der Universität Leipzig, Leipzig, EU. http://hdl.handle.net/20.500.12708/85572
WCET Squeezing by On-demand Feasibility Refinement / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). WCET Squeezing by On-demand Feasibility Refinement. 53rd Meeting of the IFIP Working Group 2.4 “Software Implementation Technology,” Mysore, Non-EU. http://hdl.handle.net/20.500.12708/85551
Optimal and Heuristic Global Code Motion for Minimal Spilling / Barany, G. (2013). Optimal and Heuristic Global Code Motion for Minimal Spilling. POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rom, EU. http://hdl.handle.net/20.500.12708/85543
Project: EPICOpt (2009–2013)
WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds / Knoop, J., Kovacs, L., & Zwirchmayr, J. (2013). WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds. In 21st International Conference on Real-Time Networks and Systems. Acm Dl. http://hdl.handle.net/20.500.12708/54743
IR-level versus machine-level if-conversion for predicated architectures / Jordan, A., Kim, N., & Krall, A. (2013). IR-level versus machine-level if-conversion for predicated architectures. In Proceedings of the 10th Workshop on Optimizations for DSP and Embedded Systems - ODES ’13. 10th Workshop on Optimizations for DSP and Embedded Systems, Shenzen, China, Non-EU. ACM. https://doi.org/10.1145/2443608.2443611
Project: EPICOpt (2009–2013)
CASM: Implementing an Abstract State Machine based programming language / Lezuo, R., Barany, G., & Krall, A. (2013). CASM: Implementing an Abstract State Machine based programming language. In Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium) (pp. 75–90). GI-Edition - Lecture Notes in Informatics (LNI). http://hdl.handle.net/20.500.12708/54693
Project: C3Pro (2010–2015)
Static and Dynamic Method Unboxing for Python / Barany, G. (2013). Static and Dynamic Method Unboxing for Python. In Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium) (pp. 43–58). GI-Edition - Lecture Notes in Informatics (LNI). http://hdl.handle.net/20.500.12708/54694
Bound Propagation for Arithmetic Reasoning in Vampire / Dragan, I., Korovin, K., Kovacs, L., & Voronkov, A. (2013). Bound Propagation for Arithmetic Reasoning in Vampire. In Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, EU. http://hdl.handle.net/20.500.12708/55050
First-Order Theorem Proving and Vampire / Kovács, L., & Voronkov, A. (2013). First-Order Theorem Proving and Vampire. In N. Sharygina & H. Veith (Eds.), Computer Aided Verification (pp. 1–35). Springer LNCS 8044. https://doi.org/10.1007/978-3-642-39799-8_1
The Inverse Method for Many-Valued Logics / Kovács, L., Mantsivoda, A., & Voronkov, A. (2013). The Inverse Method for Many-Valued Logics. In F. Castro, A. Gelbukh, & M. Gonzalez (Eds.), Advances in Artificial Intelligence and Its Applications (pp. 12–23). Springer LNCS 8265. https://doi.org/10.1007/978-3-642-45114-0_2
A Parametric Interpolation Framework for First-Order Theories / Kovacs, L., Sharygina, N., & Rollini, S. F. (2013). A Parametric Interpolation Framework for First-Order Theories. In F. Castro, A. Gelbukh, & M. Gonzalez (Eds.), Advances in Artificial Intelligence and Its Applications (pp. 24–40). Springer LNCS 8265. https://doi.org/10.1007/978-3-642-45114-0_3
The T-CREST Approach of Compiler and WCET-Analysis Integration / Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The T-CREST Approach of Compiler and WCET-Analysis Integration. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland, EU. http://hdl.handle.net/20.500.12708/55037
Influence of Code Completion Methods on the Usability of APIs / Scheller, T., & Kühn, E. (2013). Influence of Code Completion Methods on the Usability of APIs. In Software Engineering (pp. 760–767). ACTA Press. http://hdl.handle.net/20.500.12708/54984
Securing a Space-Based Service Architecture with Coordination-Driven Access Control / Craß, S., Dönz, T., Joskowicz, G., Kühn, E., & Marek, A. (2013). Securing a Space-Based Service Architecture with Coordination-Driven Access Control. In E. Weippl, A. M. Tjoa, & S. Tjoa (Eds.), Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), Special Issue on Frontiers in Security and Dependability (p. 22). Innovative Information Science & Technology Research Group (ISYOU). http://hdl.handle.net/20.500.12708/54974
PAF: A Portable Assembly Language Based on Forth / Ertl, M. A. (2013). PAF: A Portable Assembly Language Based on Forth. In 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’13) (p. 10). http://hdl.handle.net/20.500.12708/55067
Using the CASM language for simulator synthesis and model verification / Lezuo, R., & Krall, A. (2013). Using the CASM language for simulator synthesis and model verification. In Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation Methods and Tools - RAPIDO ’13. RAPIDO’13, Berlin, EU. https://doi.org/10.1145/2432516.2432522
Project: C3Pro (2010–2015)
Austrian Kangaroos 2013 Team Qualification Document (TQD) / Schreiner, D., & Hofmann, A. (2013). Austrian Kangaroos 2013 Team Qualification Document (TQD). http://hdl.handle.net/20.500.12708/37795
5th International Symposium on Symbolic Computation in Software Science / Kovacs, L., & Kutsia, T. (Eds.). (2013). 5th International Symposium on Symbolic Computation in Software Science. EasyChair. http://hdl.handle.net/20.500.12708/23783
6th International Workshop on Automated Specification and Verification of Web Systems (WWV) / Kovacs, L., & Kutsia, T. (Eds.). (2013). 6th International Workshop on Automated Specification and Verification of Web Systems (WWV). EasyChair. http://hdl.handle.net/20.500.12708/23784
Special issue on Automated Specification and Verification of Web Systems / Special issue on Automated Specification and Verification of Web Systems. (2013). In L. Kovacs, R. Pugliese, J. Silva, & F. Tiezzi (Eds.), The Journal of Logic and Algebraic Programming (p. 242). Elsevier. https://doi.org/10.1016/j.jlap.2013.05.007

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
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
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 Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings (pp. 230–244). Springer. https://doi.org/10.1007/978-3-642-30829-1_16
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
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
Building iRIS: A Robotic Immune System / Schreiner, D. (2012). Building iRIS: A Robotic Immune System. In Leveraging Applications of Formal Methods, Verification, and Validation. International Workshops, SARS 2011 and MLSC 2011 (pp. 150–155). Springer. https://doi.org/10.1007/978-3-642-34781-8_12
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
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
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
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
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
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

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
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)
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
Interpreter Instruction Scheduling / Brunthaler, S. (2011). Interpreter Instruction Scheduling. In J. Knoop (Ed.), Compiler Construction : 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings (pp. 164–178). Springer. https://doi.org/10.1007/978-3-642-19861-8_10
Project: Spyculative (2011–2014)
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, Germany. http://hdl.handle.net/20.500.12708/85318
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
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
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
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
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
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
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
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
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
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

Transforming Flow Information during Code Optimization for Timing Analysis / Kirner, R., Puschner, P., & Prantl, A. (2010). Transforming Flow Information during Code Optimization for Timing Analysis. Real-Time Systems, 45(1–2), 72–105. https://doi.org/10.1007/s11241-010-9091-8
Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops / Giese, M., Ireland, A., & Kovacs, L. (2010). Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops. Journal of Symbolic Computation, 45(11), 1097–1100. http://hdl.handle.net/20.500.12708/167839
Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs / Li, L., Xue, J., & Knoop, J. (2010). Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs. ACM Transactions on Embedded Computing Systems, 10(2), 1–42. https://doi.org/10.1145/1880050.1880064
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., & Gliwa, P. (2010). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II (pp. 449–463). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_41
On the Role of Non-Functional Properties in Compiler Verification / Knoop, J., & Zimmermann, W. (2010). On the Role of Non-Functional Properties in Compiler Verification. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II (pp. 491–495). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16561-0_46
An event-based empirical process analysis framework / Sunindyo, W. D., Biffl, S., Mordinyi, R., Moser, T., Schatten, A., Tabatabai, M., Wahyudin, D., Weippl, E., & Winkler, D. (2010). An event-based empirical process analysis framework. In Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM ’10. 4th International Symposium on Empirical Software Engineering and Measurement (ESEM 2010) - Poster Sessions, Bolzano-Bozen, Italy, EU. https://doi.org/10.1145/1852786.1852867
Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Kadlec, A. (2010). Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis. Software and Systems Modeling, 10(3), 411–437. https://doi.org/10.1007/s10270-010-0161-0
Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
Towards an Orchestrated Approach for Annotation Verification / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2010). Towards an Orchestrated Approach for Annotation Verification. In M. Hanus & F. Reck (Eds.), 27. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte” (pp. 71–85). Christian-Albrechts-Universität Kiel, Deutschland. http://hdl.handle.net/20.500.12708/53587
Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environments / Mordinyi, R., Kühn, E., & Schatten, A. (2010). Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environments. In Agile Processes in Software Engineering and Extreme Programming (pp. 202–207). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13054-0_19
Source-Level Support for Timing Analysis / Barany, G., & Prantl, A. (2010). Source-Level Support for Timing Analysis. In Leveraging Applications of Formal Methods, Verification and Validation. 4th International Symposium on Leveraging Applications, ISoLA 2010 (pp. 434–448). Springer. https://doi.org/10.1007/978-3-642-16561-0_40
Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009) / EPICOpt (2009–2013)
Execution models for processors and instructions / Brandner, F., Pavlu, V., & Krall, A. (2010). Execution models for processors and instructions. In NORCHIP 2010. Norchip 2010, Tampere, Finland, EU. IEEE Proceedings. https://doi.org/10.1109/norchip.2010.5669478
Project: EPICOpt (2009–2013)
Efficient Integration of Complex Information Systems in the ATM Domain with Explicit Expert Knowledge Models / Moser, T., Mordinyi, R., Mikula, A., & Biffl, S. (2010). Efficient Integration of Complex Information Systems in the ATM Domain with Explicit Expert Knowledge Models. In Complex Intelligent Systems and Their Applications (pp. 1–19). Springer-Verlag. https://doi.org/10.1007/978-1-4419-1636-5_1
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints / Moser, T., Mordinyi, R., Sunindyo, W. D., & Biffl, S. (2010). Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints. In W. Du & F. Ensan (Eds.), Canadian Semantic Web: Technologies and Applications (pp. 133–157). Springer-Verlag. http://hdl.handle.net/20.500.12708/26864
Optimistic Integrated Instruction Scheduling and Register Allocation / Barany, G., & Krall, A. (2010). Optimistic Integrated Instruction Scheduling and Register Allocation. In 15th Workshop on Compilers for Parallel Computing (CPC 2010) (p. 15). http://hdl.handle.net/20.500.12708/53172
Project: EPICOpt (2009–2013)
Measuring Shape Analysis Precision / Pavlu, V., & Schordan, M. (2010). Measuring Shape Analysis Precision. In Junior Scientist Conference 2010 (pp. 75–76). http://hdl.handle.net/20.500.12708/53124
Project: EPICOpt (2009–2013)
Graph-based Cluster Assignment for VLIW Architectures / Jordan, A. (2010). Graph-based Cluster Assignment for VLIW Architectures. 19th International Conference on Parallel Architectures and Compilation Techniques (PACT), Wien, Austria. http://hdl.handle.net/20.500.12708/85007
Optimistic Integrated Instruction Scheduling and Register Allocation / Barany, G., & Krall, A. (2010). Optimistic Integrated Instruction Scheduling and Register Allocation. ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2010), Stockholm, Schweden, EU. http://hdl.handle.net/20.500.12708/84989
Project: EPICOpt (2009–2013)
Virtual Machine Abstraction and Optimization Techniques / Brunthaler, S. (2010). Virtual Machine Abstraction and Optimization Techniques. UCI Lecture Series, Irvine, CA, USA, Non-EU. http://hdl.handle.net/20.500.12708/85092
Virtual Machine Abstraction and Optimization Techniques / Brunthaler, S. (2010). Virtual Machine Abstraction and Optimization Techniques. Mozilla Foundation Lecture Series, Mountain View, CA, USA, Non-EU. http://hdl.handle.net/20.500.12708/85091
Virtual Machine Abstraction and Optimization Techniques / Brunthaler, S. (2010). Virtual Machine Abstraction and Optimization Techniques. Oracle/Sun Labs Lecture Series, Menlo Park, CA, USA, Non-EU. http://hdl.handle.net/20.500.12708/85090
Future of European Scientific Societies in Informatics (panel discussion) / Knoop, J. (2010). Future of European Scientific Societies in Informatics (panel discussion). 6th Annual European Computer Science Summit (ECSS 2010), Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/85089
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / Knoop, J. (2010). Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 50th IFIP WG 2.4 Meeting on Software Implementation Technology, Lutherstadt Wittenberg, Deutschland, EU. http://hdl.handle.net/20.500.12708/85088
Project: ALL-TIMES (2007–2010)
Effective Tool Generation by Architecture Description / Krall, A. (2010). Effective Tool Generation by Architecture Description. ICSA Colloquium Talk, University of Edinburgh, EU. http://hdl.handle.net/20.500.12708/85080
Quantified Invariant Generation using Symbolic Computation and Theorem Proving / Kovacs, L. (2010). Quantified Invariant Generation using Symbolic Computation and Theorem Proving. International Workshop on Symbolic Computation and Software Verification (SCSV), Tsukuba University, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85048
Aligators and Arrays / Kovacs, L. (2010). Aligators and Arrays. IST/TU Rigorous System Engineering, IST Austria, Austria. http://hdl.handle.net/20.500.12708/85047
Symbol Elimination and Interpolation / Kovacs, L. (2010). Symbol Elimination and Interpolation. University of Verona, University of Verona, Italy, EU. http://hdl.handle.net/20.500.12708/85046
Symbol Elimination and Interpolation for Software Verification / Kovacs, L. (2010). Symbol Elimination and Interpolation for Software Verification. Intel Haifa, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/85045
Interpolation and Symbol Elimination / Kovacs, L. (2010). Interpolation and Symbol Elimination. Dagstuhl Seminar 10161 on “Decision Procedures in Software, Hardware and Bioware,” Schloss Dagstuhl, Germany, EU. http://hdl.handle.net/20.500.12708/85044
Interpolation and Symbol Elimination / Kovacs, L. (2010). Interpolation and Symbol Elimination. RiSE Workshop, Technical University of Graz, Austria. http://hdl.handle.net/20.500.12708/85043
'Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion) / Knoop, J. (2010). ’Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion). Celebration of 10 Years of EASST at ETAPS 2010, Paphos (Cyprus), EU. http://hdl.handle.net/20.500.12708/84990
Behaviour-Carrying Code / Knoop, J. (2010). Behaviour-Carrying Code. 49th IFIP WG 2.4 Meeting on Software Implementation Technology, Berg en Terblijt near Maastricht, The Netherlands, EU. http://hdl.handle.net/20.500.12708/84981
Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
Fast JIT Code Generation for x86-64 with LLVM / Pavlu, V., & Krall, A. (2010). Fast JIT Code Generation for x86-64 with LLVM. In ACACES 2011 Poster Abstracts (pp. 289–290). HiPEAC. http://hdl.handle.net/20.500.12708/53968
Project: EPICOpt (2009–2013)
Evaluating Java runtime reflection for implementing cross-language method invocations / Sobernig, S., & Zdun, U. (2010). Evaluating Java runtime reflection for implementing cross-language method invocations. In A. Krall & H.-P. Mössenböck (Eds.), Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ ’10. ACM. https://doi.org/10.1145/1852761.1852781
Efficient inline caching without dynamic translation / Brunthaler, S. (2010). Efficient inline caching without dynamic translation. In Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10. 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, Non-EU. ACM. https://doi.org/10.1145/1774088.1774542
Elimination of Reference Count Operations in Bytecode Interpreters / Brunthaler, S., & Knoop, J. (2010). Elimination of Reference Count Operations in Bytecode Interpreters. In Proceedings Junior Scientist Conference 2010 (JSC 2010) (pp. 39–40). Vienna University of Technology. http://hdl.handle.net/20.500.12708/53590
Efficient interpretation using quickening / Brunthaler, S. (2010). Efficient interpretation using quickening. In W. D. Clinger (Ed.), Proceedings of the 6th symposium on Dynamic languages - DLS ’10. ACM Press. https://doi.org/10.1145/1869631.1869633
Inline Caching Meets Quickening / Brunthaler, S. (2010). Inline Caching Meets Quickening. In Proceedings ECOOP 2010 -- Object-Oriented Programming: 24th European Conference (pp. 429–451). Springer-Verlag. http://hdl.handle.net/20.500.12708/53563
Knowledge-Based Interaction Patterns for Semantic Spaces / Murth, M., & Kühn, E. (2010). Knowledge-Based Interaction Patterns for Semantic Spaces. In 2010 International Conference on Complex, Intelligent and Software Intensive Systems. First International Workshop On “Coordination in Complex Software Intensive Systems” (COCOSS-2010), Krakow, Poland, EU. IEEE Computer Society. https://doi.org/10.1109/cisis.2010.31
Interpolation and Symbol Elimination in Vampire / Hoder, K., Kovacs, L., & Voronkov, A. (2010). Interpolation and Symbol Elimination in Vampire. In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010) (pp. 188–195). Springer LNCS 6173. http://hdl.handle.net/20.500.12708/53490
Aligators for Arrays (Tool Paper) / Henzinger, T. A., Hottelier, T., Kovacs, L., & Rybalchenko, A. (2010). Aligators for Arrays (Tool Paper). In Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17) (pp. 348–356). Springer LNCS 6397. http://hdl.handle.net/20.500.12708/53472
ABC: Algebraic Bound Computation for Loops / Blanc, R., Henzinger, T. A., Hottelier, T., & Kovacs, L. (2010). ABC: Algebraic Bound Computation for Loops. In Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16) (pp. 103–118). Springer LNAI 6355. http://hdl.handle.net/20.500.12708/53469
Cutting-edge Timing Analysis Techniques / Zwirchmayr, J. (2010). Cutting-edge Timing Analysis Techniques. In M. Hermenegildo & T. Schraub (Eds.), Technical Communications of the 26th International Conference on Logic Programming (pp. 303–305). Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik. http://hdl.handle.net/20.500.12708/53381
A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C / Zwirchmayr, J. (2010). A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C. In M. Hanus & F. Reck (Eds.), 27. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/53380
Towards an Architectural Framework for Agile Software Development / Mordinyi, R., Kühn, E., & Schatten, A. (2010). Towards an Architectural Framework for Agile Software Development. In 2010 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (pp. 276–280). http://hdl.handle.net/20.500.12708/53250
Defect Detection Using Event-Based Process Analysis in (Software+) Engineering Projects / Sunindyo, W. D., Biffl, S., Frühwirth, C., Mordinyi, R., Moser, T., Schatten, A., Schrittwieser, S., Weippl, E., & Winkler, D. (2010). Defect Detection Using Event-Based Process Analysis in (Software+) Engineering Projects. In E. Grosspietsch & K. Klöckner (Eds.), Proc. 36th Euromicro Conference Software Engineering and Advanced Applications (SEAA 2010) - Work in Progress Session (pp. 1–2). COREP Vauban. http://hdl.handle.net/20.500.12708/53214
Performance Testing of Semantic Publish/Subscribe Systems / Murth, M., Winkler, D., Biffl, S., Kühn, E., & Moser, T. (2010). Performance Testing of Semantic Publish/Subscribe Systems. In On the Move to Meaningful Internet Systems: OTM 2010 Workshops (pp. 45–46). https://doi.org/10.1007/978-3-642-16961-8_14
RDF Containers – A Framework for the Integration of Distributed and Heterogeneous Applications / Mordinyi, R., Moser, T., Murth, M., Kühn, E., & Biffl, S. (2010). RDF Containers – A Framework for the Integration of Distributed and Heterogeneous Applications. In On the Move to Meaningful Internet Systems: OTM 2010 Workshops (pp. 90–99). https://doi.org/10.1007/978-3-642-16961-8_24
Automated Derivation of Configurations for the Integration of Software(+) Engineering Environments / Biffl, S., Mordinyi, R., & Moser, T. (2010). Automated Derivation of Configurations for the Integration of Software(+) Engineering Environments. In Proc. 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010) (pp. 6–13). http://hdl.handle.net/20.500.12708/53185
Optimal and Heuristic Code Generation for Explicitly Parallel Processors / Barany, G., Jordan, A., Pavlu, V., & Krall, A. (2010). Optimal and Heuristic Code Generation for Explicitly Parallel Processors. In ACACES 2010 Poster Abstracts (pp. 87–88). HiPEAC. http://hdl.handle.net/20.500.12708/53173
Project: EPICOpt (2009–2013)
Optimistic Integrated Instruction Scheduling and Register Allocation / Barany, G., & Krall, A. (2010). Optimistic Integrated Instruction Scheduling and Register Allocation. In Proceedings of the Junior Scientist Conference 2010 (pp. 97–98). http://hdl.handle.net/20.500.12708/53123
Project: EPICOpt (2009–2013)
Space-based Architectures as Abstraction Layer for Distributed Business Applications / Mordinyi, R., Kühn, E., & Schatten, A. (2010). Space-based Architectures as Abstraction Layer for Distributed Business Applications. In L. Barolli, F. Xhafa, S. Vitabile, & H.-H. Hsu (Eds.), Proceedings of the 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010) (p. 8). IEEE Computer Society. http://hdl.handle.net/20.500.12708/53116
A Software Design Methodology for Mobile Autonomous Robots / Schreiner, D. (2010). A Software Design Methodology for Mobile Autonomous Robots. In D. Schreiner & J. Knoop (Eds.), Proceedings of the 5th Austrian RoboCup Workshop (p. 6). http://hdl.handle.net/20.500.12708/53576
Applying swarm intelligence algorithms for dynamic load balancing to a Cloud Based Call Center / Sesum-Cavic, V., & Kühn, E. (2010). Applying swarm intelligence algorithms for dynamic load balancing to a Cloud Based Call Center. In 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE/SASO (pp. 255–256). IEEE Computer Society. http://hdl.handle.net/20.500.12708/53312
Comparing configurable parameters of swarm intelligence algorithms for dynamic load balancing / Sesum-Cavic, V., & Kühn, E. (2010). Comparing configurable parameters of swarm intelligence algorithms for dynamic load balancing. In 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE/SASO/SAN. 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), Budapest, Hungary, EU. IEEE Computer Society. http://hdl.handle.net/20.500.12708/53311
A Swarm Intelligence Appliance to the Construction of an Intelligent Peer-to-Peer Overlay Network / Sesum-Cavic, V., & Kühn, E. (2010). A Swarm Intelligence Appliance to the Construction of an Intelligent Peer-to-Peer Overlay Network. In 2010 International Conference on Complex, Intelligent and Software Intensive Systems. 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010), Krakow, Poland, EU. IEEE Computer Society. https://doi.org/10.1109/cisis.2010.64
Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. / Schreiner, D., & Puntigam, F. (2010). Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. In Supplemental Volume of the Eight European Dependable Computing Conference (pp. 31–32). http://hdl.handle.net/20.500.12708/53152
Team Description Paper 2010 Austrian Kangaroos / Schreiner, D., Bader, M., & Hofmann, A. (2010). Team Description Paper 2010 Austrian Kangaroos. http://hdl.handle.net/20.500.12708/36144
PPPJ'10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java / Krall, A., & Mössenböck, H.-P. (Eds.). (2010). PPPJ’10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java. ACM. http://hdl.handle.net/20.500.12708/23282
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques / Salapura, V., Gschwind, M., & Knoop, J. (Eds.). (2010). Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques. ACM Press. http://hdl.handle.net/20.500.12708/23270
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV'10) / Kovacs, L., & Kutsia, T. (Eds.). (2010). Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV’10). Eigenverlag. http://hdl.handle.net/20.500.12708/23271
Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops / Giese, M., Ireland, A., & Kovacs, L. (Eds.). (2010). Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops. Elsevier. http://hdl.handle.net/20.500.12708/23225

2009

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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
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
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
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

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
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 T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, ISoLA 2008 (pp. 445–459). Springer. https://doi.org/10.1007/978-3-540-88479-8_31
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.), Leveraging Applications of Formal Methods, Verification and Validation (pp. 634–648). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_45
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
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
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
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
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)
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
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

2007

Optimizing indirect branch prediction accuracy in virtual machine interpreters / Casey, K., Ertl, M. A., & Gregg, D. (2007). Optimizing indirect branch prediction accuracy in virtual machine interpreters. ACM Letters on Programming Languages and Systems, 29(6), 37. https://doi.org/10.1145/1286821.1286828
Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures / Farfeleder, S., Krall, A., & Horspool, N. (2007). Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures. The Journal of Systems Architecture: Embedded Software Design, 53(8), 501–510. https://doi.org/10.1016/j.sysarc.2006.11.003
Der Forth-Stammbaum / Ertl, M. A. (2007). Der Forth-Stammbaum. Vierte Dimension. Das Forth-Magazin, 23(2), 15–18. http://hdl.handle.net/20.500.12708/169714
Factor, Postscript, und Forth: Ein kleiner Vergleich / Ertl, M. A. (2007). Factor, Postscript, und Forth: Ein kleiner Vergleich. Vierte Dimension. Das Forth-Magazin, 23(2), 10–12. http://hdl.handle.net/20.500.12708/169713
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface / Knoop, J., Necula, G., & Zimmermann, W. (2007). Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface. Electronic Notes in Theoretical Computer Science, 176(3). https://doi.org/10.1016/j.entcs.2007.06.002
Shared Virtual Space Distribution Manager (SVSDM) / Mor, M. (2007). Shared Virtual Space Distribution Manager (SVSDM). SEMANTIC Technology Business Idea CONTEST 2007, Wien, Austria. http://hdl.handle.net/20.500.12708/84668
Worst-Case Execution Time Analysis: The Annotation Language Challenge / Knoop, J. (2007). Worst-Case Execution Time Analysis: The Annotation Language Challenge. 46th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Lake Arrowhead, California, USA, Non-EU. http://hdl.handle.net/20.500.12708/84647
Data-Flow Analysis for Hot-Spot Program Optimization / Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84646
Data-Flow Analysis for Hot-Spot Program Optimization / Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84645
Towards a Digital Content Services Design Based on Triple Space / de Francisco, D., Pérez, N., Foxvog, D., Harth, A., Martin, D., Wutke, D., & Murth, M. (2007). Towards a Digital Content Services Design Based on Triple Space. In Proceedings of the 10th International Conference on Business Information Systems (BIS) (pp. 163–179). http://hdl.handle.net/20.500.12708/52155
A Distributed Triple Space Implementation / Riemer, J., Murth, M., & Kühn, E. (2007). A Distributed Triple Space Implementation. In SBC 2007 Workshop - Proceedings (pp. 1–7). http://hdl.handle.net/20.500.12708/52141
Using Triple Spaces to Implement a Marketplace Pattern / Murth, M., de Francisco, D., Elicegui, J. M., Martin, D., & Wutke, D. (2007). Using Triple Spaces to Implement a Marketplace Pattern. In SBC 2007 Workshop - Proceedings (pp. 15–21). http://hdl.handle.net/20.500.12708/52140
Asynchronous replication conflict classification, detection, and resolution for heterogeneous data grids / Kühn, E., Ruhdorfer, A., & Sesum-Cavic, V. (2007). Asynchronous replication conflict classification, detection, and resolution for heterogeneous data grids. In Proceedings of the Int. Conf. of Software and Data Technology (ICSOFT-07). International Conference on Software and Data Technologies (ICSOFT 2006), Setubal, Portugal, EU. http://hdl.handle.net/20.500.12708/52139
Business Use Cases for a Space Based Middleware / Mor, M. (2007). Business Use Cases for a Space Based Middleware. In SBC 2007 Workshop - Proceedings (pp. 8–14). http://hdl.handle.net/20.500.12708/52138
XVSMP/Bayeux: A Protocol for Scalable Space Based Computing in the Web / Kühn, E., Riemer, J., & Lechner, L. (2007). XVSMP/Bayeux: A Protocol for Scalable Space Based Computing in the Web. In 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007). International Workshops on Enabling Technolgies: Infrastructures for Collaborative Enterprises (WETICE), Paris, Frankreich., EU. IEEE. https://doi.org/10.1109/wetice.2007.4407128
Using Space-Based Computing for More Efficient Group Coordination and Monitoring in an Event-Based Work Management System / Mor, M., Mordinyi, R., & Riemer, J. (2007). Using Space-Based Computing for More Efficient Group Coordination and Monitoring in an Event-Based Work Management System. In The Second International Conference on Availability, Reliability and Security (ARES’07). Second International Conference on Availability, Reliability and Security (ARES 2007), Wien, Österreich, Austria. IEEE Computer Society. https://doi.org/10.1109/ares.2007.158
Optimizing Events Traffic in Event-based Systems by means of Evolutionary Algorithms / Kubalik, J., & Mordinyi, R. (2007). Optimizing Events Traffic in Event-based Systems by means of Evolutionary Algorithms. In The Second International Conference on Availability, Reliability and Security (ARES’07). Second International Conference on Availability, Reliability and Security (ARES 2007), Wien, Österreich, Austria. IEEE Computer Society. https://doi.org/10.1109/ares.2007.113
A Model-Driven Architecture Approach Using Explicit Stakeholder Quality Requirement Models for Building Dependable Information Systems / Biffl, S., Mordinyi, R., & Schatten, A. (2007). A Model-Driven Architecture Approach Using Explicit Stakeholder Quality Requirement Models for Building Dependable Information Systems. In Fifth International Workshop on Software Quality (WoSQ’07: ICSE Workshops 2007). Workshop on Software Quality, St. Louis, Missouri, Non-EU. IEEE Computer Society. https://doi.org/10.1109/wosq.2007.1
Adaptive inlining and on-stack replacement in the CACAO virtual machine / Steiner, E., Krall, A., & Thalinger, C. (2007). Adaptive inlining and on-stack replacement in the CACAO virtual machine. In L. Veiga (Ed.), Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ ’07. ACM International Conference Proceeding Series. https://doi.org/10.1145/1294325.1294356
Instruction Set Encoding Optimization for Code Size Reduction / Med, M., & Krall, A. (2007). Instruction Set Encoding Optimization for Code Size Reduction. In H. Blume, G. Gaydadjiev, J. Glossner, & P. Knijnenburg (Eds.), 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation. IEEE. https://doi.org/10.1109/icsamos.2007.4285728
Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions / Schordan, M. (2007). Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions. In Proceedings of the 24. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte (pp. 72–81). http://hdl.handle.net/20.500.12708/52010
WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07) (pp. 77–92). http://hdl.handle.net/20.500.12708/52007
The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation / Prantl, A. (2007). The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation. In Proceedings 14. Kolloquium ``Programmiersprachen und Grundlagen der Programmierung (KPS’07)" (p. 6). http://hdl.handle.net/20.500.12708/51992
Source-to-Source Transformations for WCET Analysis: The CoSTA Approach / Prantl, A. (2007). Source-to-Source Transformations for WCET Analysis: The CoSTA Approach. In 24. Workshop der GI-Fachgruppe “Programmiersprachen und Rechenkonzepte”, Bad Honnef, 2.-4. Mai 2007 (p. 10). http://hdl.handle.net/20.500.12708/51988
WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (pp. 83–99). http://hdl.handle.net/20.500.12708/51989
Leveraging Predicated Execution for Multimedia Processing / Ebner, D., Brandner, F., & Krall, A. (2007). Leveraging Predicated Execution for Multimedia Processing. In S. Samarjit Chakraborty (Ed.), 2007 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia. IEEE. https://doi.org/10.1109/estmed.2007.4375809
Compiler generation from structural architecture descriptions / Brandner, F., Ebner, D., & Krall, A. (2007). Compiler generation from structural architecture descriptions. In A. Donlin (Ed.), Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems - CASES ’07. ACM. https://doi.org/10.1145/1289881.1289886
Domination-Based Scoping and Static Single Assignment Languages / Ertl, M. A. (2007). Domination-Based Scoping and Static Single Assignment Languages. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 36–41). Universitaet zu Luebeck. http://hdl.handle.net/20.500.12708/52130
Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code / Schordan, M. (2007). Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code. In Proceedings of the 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, (pp. 194–199). Bericht A-07-07, Schriftenreihe A, der Institute für Informatik und Mathematik der Universität zu Lübeck. http://hdl.handle.net/20.500.12708/52009
Data-Flow Analysis for Hot-Spot Program Optimization / Knoop, J. (2007). Data-Flow Analysis for Hot-Spot Program Optimization. In Proceedings of the 14. Kolloquium Programmiersprachen (pp. 124–131). Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck. http://hdl.handle.net/20.500.12708/52008
Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities / Puntigam, F. (2007). Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities. In WCOP 2007 - Components beyond Reuse (p. 5). http://hdl.handle.net/20.500.12708/51980
See the Pet in the Beast: How to Limit Effects of Aliasing / Puntigam, F. (2007). See the Pet in the Beast: How to Limit Effects of Aliasing. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) (p. 8). http://hdl.handle.net/20.500.12708/51979
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007) / Glesner, S., Knoop, J., & Zimmermann, W. (Eds.). (2007). Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007). Elsevier. http://hdl.handle.net/20.500.12708/22354

2006

Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / Ertl, M. A., Casey, K., & Gregg, D. (2006). Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’06) (pp. 52–60). http://hdl.handle.net/20.500.12708/51578
Classification and Utilization of Abstractions for Optimization / Quinlan, D., Schordan, M., Yi, Q., & Saebjornsen, A. (2006). Classification and Utilization of Abstractions for Optimization. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods. First International Symposium, ISoLA 2004 (pp. 57–73). Springer. https://doi.org/10.1007/11925040_5
Compiler Optimizations for Processors with SIMD Instructions / Pryanishnikov, I., Krall, A., & Horspool, N. (2006). Compiler Optimizations for Processors with SIMD Instructions. Software: Practice and Experience, 37(No 1), 93–113. http://hdl.handle.net/20.500.12708/173437
The Language of the Visitor Design Pattern / Schordan, M. (2006). The Language of the Visitor Design Pattern. Journal of Universal Computer Science, VOL. 12(7), 849–867. http://hdl.handle.net/20.500.12708/173408
Triple Space Computing: Adding Semantics to Space-Based Computing / Riemer, J., Martin-Recuerda, F. J., Ding, Y., Murth, M., Sapkota, B., Krummenacher, R., Shafiq, O., Fensel, D., & Kühn, E. (2006). Triple Space Computing: Adding Semantics to Space-Based Computing. In Proceedings of the 1st Asian Semantic Web Conference (pp. 300–306). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51668
Effective Compiler Generation by Architecture Description / Farfeleder, S., Krall, A., & Steiner, E. (2006). Effective Compiler Generation by Architecture Description. In Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (pp. 145–152). ACM. http://hdl.handle.net/20.500.12708/51666
Short Presentation: Static Verification of Global Heap References in Java Native Libraries / Krall, A., Thalinger, C., Ebner, D., & Brandner, F. (2006). Short Presentation: Static Verification of Global Heap References in Java Native Libraries. In Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management (pp. 98–100). http://hdl.handle.net/20.500.12708/51665
An Embedded Systems Programming Environment for C / Burgstaller, B., Scholz, B., & Ertl, M. A. (2006). An Embedded Systems Programming Environment for C. In Euro-Par 2006 Parallel Processing (pp. 1204–1216). Lecture Notes in Computer Science, Springer Verlag. http://hdl.handle.net/20.500.12708/51629
Ankündigung EuroForth 2006 / Ertl, M. A. (2006). Ankündigung EuroForth 2006. Vierte Dimension. Das Forth-Magazin, 22(2), 8. http://hdl.handle.net/20.500.12708/173426
Bericht von der EuroForth 2005 / Ertl, M. A. (2006). Bericht von der EuroForth 2005. Vierte Dimension. Das Forth-Magazin, 22(1), 27. http://hdl.handle.net/20.500.12708/173430
Aspect-Oriented Programming with Runtime-Generated Subclass Proxies and .NET Dynamic Methods / Kühn, E., Fessl, G., & Schmied, F. (2006). Aspect-Oriented Programming with Runtime-Generated Subclass Proxies and .NET Dynamic Methods. Journal of .NET Technologies, 4(No 1), 17–24. http://hdl.handle.net/20.500.12708/173439
The Software Analysis and Verification Column / Knoop, J. (2006). The Software Analysis and Verification Column. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 10–13. http://hdl.handle.net/20.500.12708/173429
Reports of Members of the Extended Boards / Knoop, J. (2006). Reports of Members of the Extended Boards. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 39–40. http://hdl.handle.net/20.500.12708/173428
Report on ETAPS 2006 / Knoop, J. (2006). Report on ETAPS 2006. European Association of Software Science and Technology (EASST) Newsletters, VOL. 13(No. 1), 42–47. http://hdl.handle.net/20.500.12708/173427
Superinstructions and Replication in the Cacao JVM interpreter / Ertl, M. A., Thalinger, C., & Krall, A. (2006). Superinstructions and Replication in the Cacao JVM interpreter. Journal of .NET Technologies, VOL. 4(ISBN 80-86943-13-5), 25–32. http://hdl.handle.net/20.500.12708/173416
Space-based Computing (SBC) als innovative Kommunikationsinfrastruktur / Mor, M. (2006). Space-based Computing (SBC) als innovative Kommunikationsinfrastruktur. MobilityLab Workshop, Salzburg, Austria. http://hdl.handle.net/20.500.12708/84669
Effective Tool Generation by Architecture Description / Krall, A. (2006). Effective Tool Generation by Architecture Description. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84553
Effective Tool Generation by Architecture Description / Krall, A. (2006). Effective Tool Generation by Architecture Description. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84552
Effective Tool Generation by Architecture Description / Krall, A. (2006). Effective Tool Generation by Architecture Description. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84551
Effective Compiler Generation by Architecture Description / Krall, A. (2006). Effective Compiler Generation by Architecture Description. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84550
From Mozart and Freud to .Net Technologies / Knoop, J. (2006). From Mozart and Freud to .Net Technologies. 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Plzen, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84546
Non-Standard Techniques for Program Analysis and Optimization / Knoop, J. (2006). Non-Standard Techniques for Program Analysis and Optimization. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84545
Worst-Case Execution Time Analysis: The CoSTA-Approach / Knoop, J. (2006). Worst-Case Execution Time Analysis: The CoSTA-Approach. 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Glasgow, Scotland, UK, EU. http://hdl.handle.net/20.500.12708/84544
Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / Ertl, M. A. (2006). Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata. Mini-Workshop on Code Generation, Linköping, Schweden, EU. http://hdl.handle.net/20.500.12708/84542
Superinstructions and Replication in the Cacao JVM Interpreter / Ertl, M. A. (2006). Superinstructions and Replication in the Cacao JVM Interpreter. Mini-Workshop on Code Generation, Linköping, Schweden, EU. http://hdl.handle.net/20.500.12708/84543
Der Forth-Stammbaum / Ertl, M. A. (2006). Der Forth-Stammbaum. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84541
Forth 200x / Ertl, M. A. (2006). Forth 200x. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84540
Bericht von der EuroForth 2005 / Ertl, M. A. (2006). Bericht von der EuroForth 2005. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84539
Automation of PAG Integration and Specification of Analyses for C/C++ / Schordan, M. (2006). Automation of PAG Integration and Specification of Analyses for C/C++. ARTIST2 Cluster Compilers and Timing Analysis Meeting, Dortmund, Germany, EU. http://hdl.handle.net/20.500.12708/84534
On Building Infrastructures for Domain-Specific Analysis and Optimization of General-Purpose Languages / Schordan, M. (2006). On Building Infrastructures for Domain-Specific Analysis and Optimization of General-Purpose Languages. AURORA Plenary Meeting, Strobl, Austria, Austria. http://hdl.handle.net/20.500.12708/84533
Analysis and Transformation of High-Level Abstractions with ROSE / Schordan, M. (2006). Analysis and Transformation of High-Level Abstractions with ROSE. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84531
ROSE: An Infrastructure for Abstraction-Aware High-Level Optimization of Scientific Applications / Schordan, M. (2006). ROSE: An Infrastructure for Abstraction-Aware High-Level Optimization of Scientific Applications. Workshop on High Productivity Programming Languages and Models (HPPLM), Cairns, Queensland, Australia, Non-EU. http://hdl.handle.net/20.500.12708/84532
Recognition and Optimization of Object-Oriented High-Level Abstractions / Schordan, M. (2006). Recognition and Optimization of Object-Oriented High-Level Abstractions. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84530
Analysis and Transformation of Object-Oriented Applications with ROSE and PAG / Schordan, M. (2006). Analysis and Transformation of Object-Oriented Applications with ROSE and PAG. Informatik Kolloquium, TU Muenchen, Garching, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84529
Integration of ROSE and PAG / Schordan, M. (2006). Integration of ROSE and PAG. ARTIST2 Cluster Compilers and Timing Analysis Meeting, Dortmund, Germany, EU. http://hdl.handle.net/20.500.12708/84528
Tool Integration for Static Analysis of Real-World Applications / Schordan, M. (2006). Tool Integration for Static Analysis of Real-World Applications. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84527
Internal and External Token-Based Synchronization in Object-Oriented Languages / Puntigam, F. (2006). Internal and External Token-Based Synchronization in Object-Oriented Languages. In Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006 (pp. 251–270). Springer. http://hdl.handle.net/20.500.12708/51459
From Static to Dynamic Process Types / Puntigam, F. (2006). From Static to Dynamic Process Types. In ICSOFT 2006, First International Conference on Software and Data Technologies (pp. 21–28). INSTICC Press. http://hdl.handle.net/20.500.12708/51458
The XD Model: Extending XML and DOM to Standards Based Coordination / Joskowicz, G., Kühn, E., & Murth, M. (2006). The XD Model: Extending XML and DOM to Standards Based Coordination. In Proceedings of the 10th IASTED International Conference on SoftwareEngineering and Applications (pp. 146–152). ACTA Press. http://hdl.handle.net/20.500.12708/51672
Triple Space Computing: A Framework for the New Communication Paradigm / Krummenacher, R., Recuerda, F. M., Murth, M., Riemer, J., Ding, Y., & Fensel, D. (2006). Triple Space Computing: A Framework for the New Communication Paradigm. In Demos and Posters of the 3rd European Semantic Web Conference. 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro, Non-EU. http://hdl.handle.net/20.500.12708/51671
Towards European Patient Summaries based on Triple Space Computing / Cerizza, D., Valle, E. D., Foxvog, D., Krummenacher, R., & Murth, M. (2006). Towards European Patient Summaries based on Triple Space Computing. In Proceedings of the 1st European Conference on eHealth. European Conference on eHealth 2006, Fribourg, Switzerland, Non-EU. Lecture Notes in Informatics. http://hdl.handle.net/20.500.12708/51670
An Analysis on Existing and Potential Weaving Mechanisms for the .NET Framework / Cyment, A., & Schmied, F. (2006). An Analysis on Existing and Potential Weaving Mechanisms for the .NET Framework. In Proceedings of the Second International Conference on Innovative Views of .NET Technologies. Second International Conference on Innovative Views of .NET Technologies (IVNET’06), Florianópols, Brazil, Non-EU. http://hdl.handle.net/20.500.12708/51667
A fresh look at partial redundancy elimination as a maximum flow problem / Xue, J., & Knoop, J. (2006). A fresh look at partial redundancy elimination as a maximum flow problem. In Softwaretechnik-Trends. 23rd Annual Workshop of the GI-FG 2.1.4 “Programmiersprachen und Rechenkonzepte,” Physikzentrum Bad Honnef, Germany, EU. Softwaretechnik-Trends. http://hdl.handle.net/20.500.12708/51632
A fresh look at partial redundancy elimination as a maximum flow problem / Xue, J., & Knoop, J. (2006). A fresh look at partial redundancy elimination as a maximum flow problem. In Proceedings of the 15th International Conference on Compiler Construction (pp. 139–154). Lecture Notes in Computer Science, Springer Verlag. http://hdl.handle.net/20.500.12708/51631
A Portable C Function Call Interface / Ertl, M. A. (2006). A Portable C Function Call Interface. In Proceedings of the 22nd EuroForth Conference (pp. 47–51). http://hdl.handle.net/20.500.12708/51630
The Language of the Visitor Design Pattern / Schordan, M. (2006). The Language of the Visitor Design Pattern. In Proceedings of the 10th Brazilian Symposium on Programming Languages (pp. 235–248). ANAIS. http://hdl.handle.net/20.500.12708/51554
Annotating User-Defined Abstractions for Optimization / Quinlan, D., Schordan, M., Vuduc, R., & Yi, Q. (2006). Annotating User-Defined Abstractions for Optimization. In Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006) (p. 8). http://hdl.handle.net/20.500.12708/51553
Full Paper Proceedings of the 4th .NET Technologies 2006 / Knoop, J., & Skala, V. (Eds.). (2006). Full Paper Proceedings of the 4th .NET Technologies 2006. UNION Agency. http://hdl.handle.net/20.500.12708/22327
Short Communication Papers Proceedings of the .NET Technologies 2006 / Knoop, J., & Skala, V. (Eds.). (2006). Short Communication Papers Proceedings of the .NET Technologies 2006. UNION Agency. http://hdl.handle.net/20.500.12708/22328
Journal of .NET Technolgies / Knoop, J., & Skala, V. (Eds.). (2006). Journal of .NET Technolgies. UNION Agency. http://hdl.handle.net/20.500.12708/22326
Fifth International Workshop on Compiler Optimization Meets Compiler Verification / Knoop, J., Necula, G., & Zimmermann, W. (Eds.). (2006). Fifth International Workshop on Compiler Optimization Meets Compiler Verification. TU Wien, EAPLS, EASST und EATCS. http://hdl.handle.net/20.500.12708/22325

2005

Virtual Machine Showdown: Stack Versus Registers / Shi, Y., Gregg, D., Beatty, A., & Ertl, M. A. (2005). Virtual Machine Showdown: Stack Versus Registers. In Proceedings of the First International Conference on Virtual Execution Environments (pp. 153–163). ACM. http://hdl.handle.net/20.500.12708/51181
Stack Caching in Forth / Ertl, M. A., & Gregg, D. (2005). Stack Caching in Forth. In Proceedings of the 21st EuroForth Conference (pp. 6–15). University of Cantabria. http://hdl.handle.net/20.500.12708/51183
Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures / Farfeleder, S., Krall, A., & Horspool, N. (2005). Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures. In Embedded Computer Systems: Architectures, Modeling, and Simulation (pp. 222–231). Springer Verlag. https://doi.org/10.1007/11512622_24
Improving Data Quality of Mobile Internet Applications with an Extensible Virtual Shared Memory Approach / Kühn, E., Beinhart, M., & Murth, M. (2005). Improving Data Quality of Mobile Internet Applications with an Extensible Virtual Shared Memory Approach. In Proceedings of the IADIS International Conference WWW/Internet 2005 (pp. 443–450). IADIS Press. http://hdl.handle.net/20.500.12708/51251
In Components We Trust - Programming Language Support for Weak Protection / Puntigam, F. (2005). In Components We Trust - Programming Language Support for Weak Protection. In Tenth International Workshop on Component-Oriented Programming (WCOP 2005) (p. 8). http://hdl.handle.net/20.500.12708/51173
Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition / Puntigam, F. (2005). Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition. In 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS’05) (p. 5). http://hdl.handle.net/20.500.12708/51171
The 'Software Analysis and Verification' Column / Knoop, J. (2005). The “Software Analysis and Verification” Column. European Association of Software Science and Technology (EASST) Newsletters, 10(1), 2. http://hdl.handle.net/20.500.12708/173364
Advances in interpreters, virtual machines and emulators / Ertl, M. A. (2005). Advances in interpreters, virtual machines and emulators. Science of Computer Programming, 57(3), 251–252. https://doi.org/10.1016/j.scico.2005.04.001
Slicing -- 10 Years from Now! / Knoop, J., Bruntink, M., & McMinn, P. (2005). Slicing -- 10 Years from Now! Dagstuhl Seminar 05451: Beyond Program Slicing, Schloss Dagstuhl, EU. http://hdl.handle.net/20.500.12708/84483
A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report. / Knoop, J. (2005). A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report. 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Jackson’s Mill, Weston, West Virginia, USA, Non-EU. http://hdl.handle.net/20.500.12708/84482
Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau / Knoop, J. (2005). Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau. Kolloquium Universität Karlsruhe, Karlsruhe, Deutschland, EU. http://hdl.handle.net/20.500.12708/84481
On the Impact of Alias Analysis Precision on Slicing / Schordan, M. (2005). On the Impact of Alias Analysis Precision on Slicing. Dagstuhl Seminar 05451: Beyond Program Slicing, Schloss Dagstuhl, EU. http://hdl.handle.net/20.500.12708/84456
Characterization of Aliasing Patterns and its Impact on Scheduling for DSP Codes / Schordan, M. (2005). Characterization of Aliasing Patterns and its Impact on Scheduling for DSP Codes. Dagstuhl Seminar 05101, Scheduling for Parallel Architectures: Theory, Applications, Challenges, Schloss Dagstuhl, Germany, Austria. http://hdl.handle.net/20.500.12708/84430
Executive Summary on the Dagstuhl-Seminar 05101 / Altman, E., Dehnert, J., Kessler, C., & Knoop, J. (2005). Executive Summary on the Dagstuhl-Seminar 05101. In Dagstuhl-Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges. Dagstuhl Research. http://hdl.handle.net/20.500.12708/51228
Client and Server Synchronization Expressed in Types / Puntigam, F. (2005). Client and Server Synchronization Expressed in Types. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL) (p. 9). http://hdl.handle.net/20.500.12708/51180
Attributes&Co - Collaborative Applications with Declarative Shared Objects / Kühn, E., & Schmied, F. (2005). Attributes&Co - Collaborative Applications with Declarative Shared Objects. In Proceedings of the IADIS International Conference WWW/Internet 2005 (pp. 427–434). IADIS Press. http://hdl.handle.net/20.500.12708/51252
XL-AOF - Lightweight Aspects for Space-Based Computing / Kühn, E., & Schmied, F. (2005). XL-AOF - Lightweight Aspects for Space-Based Computing. In Proceedings of the 1st workshop on Aspect oriented middleware development. 1st Workshop on Aspect Oriented Middleware Development, Grenoble, France, EU. ACM International Conference Proceeding Series. http://hdl.handle.net/20.500.12708/51249
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions / Bermudo, N., Krall, A., & Horspool, N. (2005). Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. In Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation (pp. 107–116). IEEE Press. http://hdl.handle.net/20.500.12708/51242
Xchars or Unicode in Forth / Ertl, M. A., & Paysan, B. (2005). Xchars or Unicode in Forth. In Proceedings of the 21st EuroForth Conference (pp. 16–20). University of Cantabria. http://hdl.handle.net/20.500.12708/51182
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar / Schordan, M., & Quinlan, D. (2005). Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar. In Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation (pp. 97–106). IEEE. http://hdl.handle.net/20.500.12708/51156
Toward the Automated Generation of Components from Existing Source Code / Quinlan, D., Yi, Q., Kumfert, G., Epperly, T., Dahlgren, T., Schordan, M., & White, B. (2005). Toward the Automated Generation of Components from Existing Source Code. In Proceedings of the 2nd Workshop on Productivity and Performance in High-End Computing, (pp. 12–19). http://hdl.handle.net/20.500.12708/50985
Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / Schmid, U., Kopetz, H., Puschner, P., Mayerhofer, L., Steininger, A., Grünbacher, H., Kastner, W., & Krall, A. (2005). Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster. http://hdl.handle.net/20.500.12708/33035
Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2 / Knoop, J., Necula, G., & Zimmermann, W. (Eds.). (2005). Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2. Elsevier. http://hdl.handle.net/20.500.12708/22289

2004

A Language and Tool for Generating Efficient Virtual Machine Interpreters / Gregg, D., & Ertl, M. A. (2004). A Language and Tool for Generating Efficient Virtual Machine Interpreters. Lecture Notes in Computer Science, 3016, 196–215. http://hdl.handle.net/20.500.12708/174841
Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented Techniques / Schmied, F., & Kühn, E. (2004). Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented Techniques. In Preliminary Proceedings of the 1st InternationalSymposium on Leveraging Applications of Formal Methods (ISOLA 2004) (pp. 150–157). Department of Computer Science, University Cyprus. http://hdl.handle.net/20.500.12708/50986
Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application" / Abe, R., Beinhart, M., Biffl, S., Kühn, E., Ly, M., & Thurnher, B. (2004). Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a “Travel Service Application.” In Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods(ISOLA 2004) (pp. 42–43). Department of Computer Science, University Cyprus. http://hdl.handle.net/20.500.12708/50987
A Scalable DSP Core for SoC Applications / Panis, C., Hirnschrott, U., Krall, A., Farfeleder, S., Laure, G., Lazian, W., & Nurmi, J. (2004). A Scalable DSP Core for SoC Applications. In Proceedings of the International Symposium on System-On-Chip (SOC’04) (pp. 85–88). IEEE. http://hdl.handle.net/20.500.12708/50988
CORSO spaces: an enabling infrastructure for GRID computing and semantic web / Kühn, E. (2004). CORSO spaces: an enabling infrastructure for GRID computing and semantic web. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84435
Space Based Computing and the Enterprise GRID / Kühn, E. (2004). Space Based Computing and the Enterprise GRID. International Innovation Conference, T-Systems, Neuss, Germany, Austria. http://hdl.handle.net/20.500.12708/84434
Datenmanagement im heterogenen Umfeld / Kühn, E. (2004). Datenmanagement im heterogenen Umfeld. Future Network Management Forum zum Thema “IT Konsolidierung,” Palais Eschenbach, Wien, Austria. http://hdl.handle.net/20.500.12708/84433
CORSO Space Based Computing ... an enabling infra-structure for enterprise GRID architectures / Kühn, E. (2004). CORSO Space Based Computing ... an enabling infra-structure for enterprise GRID architectures. T-Systems Veranstaltung zum Thema EAI (Enterprise Application Integration), Wien, Austria. http://hdl.handle.net/20.500.12708/84431
CORSO space based computing: an arising paradigm beyond web service technology / Kühn, E. (2004). CORSO space based computing: an arising paradigm beyond web service technology. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84432
Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung / Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung. Colloquium Rheinisch-Westfälische Technische Hochschule Aachen, Aachen, Germany, Austria. http://hdl.handle.net/20.500.12708/84354
Parallelism -- Somtimes it is for Free / Knoop, J. (2004). Parallelism -- Somtimes it is for Free. 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Brisbane, Australia, Austria. http://hdl.handle.net/20.500.12708/84353
Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau / Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau. Colloquium Universität Halle-Wittenberg, Halle-Wittenberg, Germany, Austria. http://hdl.handle.net/20.500.12708/84352
Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau / Knoop, J. (2004). Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau. Colloquium Universität Potsdam, Potsdam, Germany, Austria. http://hdl.handle.net/20.500.12708/84351
Code Motion: A Non-Refinining Optimizing Transformation / Knoop, J. (2004). Code Motion: A Non-Refinining Optimizing Transformation. 11th International Workshop on Abstract State Machines (ASM 2004), Wittenberg, Germany, EU. http://hdl.handle.net/20.500.12708/84350
Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges / Knoop, J. (2004). Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara, Romania, Austria. http://hdl.handle.net/20.500.12708/84349
Library Aware High-Level Optimizations / Schordan, M. (2004). Library Aware High-Level Optimizations. Ninth AURORA Plenary Meeting, Strobl/Wolfgangsee, Austria. http://hdl.handle.net/20.500.12708/84270

2003

The WCETₘₐᵣₖₑᵣ-Problem is NP-complete / Ben-Amram, A., Blieberger, J., & Scholz, B. (2003). The WCETₘₐᵣₖₑᵣ-Problem is NP-complete. WCET-Meeting, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/84206
Constant Propagation on the Value Graph: Simple Constants and Beyond / Knoop, J. (2003). Constant Propagation on the Value Graph: Simple Constants and Beyond. 20th Annual Workshop of the Fachgruppe 2.1.4 “Programmiersprachen und Rechenkonzepte” der Gesellschaft für Informatik, Physikzentrum Bad Honnef, Germany, Austria. http://hdl.handle.net/20.500.12708/84250
Code Size vs. Execution-Time Optimization - Towards Getting Both / Knoop, J. (2003). Code Size vs. Execution-Time Optimization - Towards Getting Both. Dagstuhl Seminar 03071, Schloss Dagstuhl, Wandern,Germany, Austria. http://hdl.handle.net/20.500.12708/84249
Code Size vs. Run-Time Optimization: Towards Getting Both / Knoop, J. (2003). Code Size vs. Run-Time Optimization: Towards Getting Both. Kolloquium FernUniversität Hagen, Hagen, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84248
Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation / Knoop, J. (2003). Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation. IFIP Working Group 2.4 on Software Implementation Technology, Santa Cruz, CA, USA, Austria. http://hdl.handle.net/20.500.12708/84247
Von Client/Server zu GRID Computing und Space Based Programming:Ein Paradigmenwechsel und seine Auswirkungen / Kühn, E. (2003). Von Client/Server zu GRID Computing und Space Based Programming:Ein Paradigmenwechsel und seine Auswirkungen. Neue Trends Im Software Engineering, Hagenberg, Austria. http://hdl.handle.net/20.500.12708/84245
Neue Wege in der Applikationsentwicklung und Integration: Space Based Computing mit CORSO / Kühn, E. (2003). Neue Wege in der Applikationsentwicklung und Integration: Space Based Computing mit CORSO. Branchenkonferenz “Banken”, LSZ-Consulting Event, Hotel Vienna Marriott, Austria. http://hdl.handle.net/20.500.12708/84246
Von Client/Server to Peer-to-Peer and GRID Computing Technologies / Kühn, E. (2003). Von Client/Server to Peer-to-Peer and GRID Computing Technologies. Siemens PSE Technology Day 2003 zum Thema “Paradigm Shift,” Bruenn, Austria. http://hdl.handle.net/20.500.12708/84244
Erschliessen Sie neue Geschaeftsfelder und optimieren Sie Ihre Bestehenden / Kühn, E. (2003). Erschliessen Sie neue Geschaeftsfelder und optimieren Sie Ihre Bestehenden. BIT 2003 Internationale Bankenvertriebs- und Zahlungsverkehrsforum, Wien, Austria. http://hdl.handle.net/20.500.12708/84243
Now is the time... for the real - time enterprise / Kühn, E. (2003). Now is the time... for the real - time enterprise. AOUG Expertentreff Zero Delay Business, ORACLE User Group, TU Wien, Austria. http://hdl.handle.net/20.500.12708/84242
Automatic Data Partitioning for Dual Memory Banks of DSPs / Sipkova, V. (2003). Automatic Data Partitioning for Dual Memory Banks of DSPs. Dagstuhl Seminar 03071, Schloss Dagstuhl, Wandern,Germany, Austria. http://hdl.handle.net/20.500.12708/84240
State Information in Types or No Memory Consistency Model ist the Better Consistency Model / Puntigam, F. (2003). State Information in Types or No Memory Consistency Model ist the Better Consistency Model. Hardware and Software Consistency Models: Programmability and Performance, Schloss Dagstuhl, Wadern, Germany, Austria. http://hdl.handle.net/20.500.12708/84232
Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002) / Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002). (2003). In J. Knoop & W. Zimmermann (Eds.), Journal of Universal Computer Science. Springer. http://hdl.handle.net/20.500.12708/22274

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 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

Ada Binding to a Shared Object Layer / Blieberger, J., Klasek, J., & Kühn, E. (1999). Ada Binding to a Shared Object Layer. In M. González Harbour & J. A. de la Puente (Eds.), Reliable Software Technologies - Ada-Europe ’99 (pp. 263–274). Springer-Verlag. https://doi.org/10.1007/3-540-48753-0_23
Interprocedural Symbolic Evaluation of Ada Programs with Aliases / Blieberger, J., Burgstaller, B., & Scholz, B. (1999). Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In M. González Harbour & J. A. de la Puente (Eds.), Reliable Software Technologies - Ada-Europe ’99 (pp. 136–145). Springer-Verlag. https://doi.org/10.1007/3-540-48753-0_12

1997

Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75) / Blieberger, J., & Scholz, B. (1997). Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75). http://hdl.handle.net/20.500.12708/32872

Theses

2023

Opt-in protocol types for effect systems in Haskell / Siebenhandl, H. (2023). Opt-in protocol types for effect systems in Haskell [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110085
Download: PDF (1.13 MB)
Improving rust mutation testing using static and dynamic program analysis / Pilz, S. (2023). Improving rust mutation testing using static and dynamic program analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110084
Download: PDF (655 KB)
Defending against counterfeit object-oriented programming / Bernad, M. (2023). Defending against counterfeit object-oriented programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110663
Download: PDF (947 KB)
Fast machine-code generation for stack-based languages / Pammer, S. O. (2023). Fast machine-code generation for stack-based languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108224
Download: PDF (564 KB)
Optimised processor simulation with VADL / Mihaylov, H. (2023). Optimised processor simulation with VADL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.102629
Download: PDF (687 KB)

2022

Flexible generation of low-level developer tools with VADL / Schwarzinger, T. (2022). Flexible generation of low-level developer tools with VADL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103246
Download: PDF (1.32 MB)
An SSA-based register allocator for the Glasgow Haskell compiler / Maurer, B. (2022). An SSA-based register allocator for the Glasgow Haskell compiler [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.90764
Download: PDF (839 KB)

2021

Community blockchain provisioning: Studying the suitability of XMPP for permissioned private blockchain systems / Šedivý, T. (2021). Community blockchain provisioning: Studying the suitability of XMPP for permissioned private blockchain systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.81345
Download: PDF (1.71 MB)
Towards platform-agnostic smart contracts / Raab, R. (2021). Towards platform-agnostic smart contracts [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.93502
Download: PDF (1.43 MB)
A Framework for self-initiative peer clustering agents / Fagagnini, L. (2021). A Framework for self-initiative peer clustering agents [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.66923
Download: PDF (2.15 MB)
Compiler backend generation using the VADL processor description language / Graf, A. (2021). Compiler backend generation using the VADL processor description language [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.79221
Download: PDF (1.21 MB)
Bit-level type systems for assembly languages / Mihola, F. (2021). Bit-level type systems for assembly languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.76143
Download: PDF (913 KB)

2020

Towards a visual design and development environment for the peer model / Schwayer, M. (2020). Towards a visual design and development environment for the peer model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.37748
Download: PDF (2.56 MB)
Cycle-Accurate simulator generator for the VADL processor description language / Schützenhöfer, H. (2020). Cycle-Accurate simulator generator for the VADL processor description language [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.78460
Download: PDF (1.29 MB)
Technical communication in videos on the example of the technology blockchain / Rodler, M. (2020). Technical communication in videos on the example of the technology blockchain [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.75363
Download: PDF (11.4 MB)
Software complexity of a monadic style in object-oriented programming / Kotrba, J. (2020). Software complexity of a monadic style in object-oriented programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77520
Download: PDF (1.05 MB)
Secure coordination through fine-grained access control for space-based computing middleware / Craß, S. (2020). Secure coordination through fine-grained access control for space-based computing middleware [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.81200
Download: PDF (8.99 MB)
An open-source tool for detecting violations of object-oriented design principles in Java / Oberweger, R. (2020). An open-source tool for detecting violations of object-oriented design principles in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.65189
Download: PDF (834 KB)
Efficient cycle detection on a partially reference counted heap / Beyer, S. (2020). Efficient cycle detection on a partially reference counted heap [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.44470
Download: PDF (787 KB)
Error Injection in specification-based configurations / Zronek, M. (2020). Error Injection in specification-based configurations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.59100
Download: PDF (589 KB)
Parsing of configuration files / Schwaiger, R. (2020). Parsing of configuration files [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.30142
Download: PDF (1.51 MB)

2019

Intelligent prefetching for a grid-enabled distributed system : improving web access for a distributed grid system by enabling browser downloads combined with machine learning based prefetching and caching techniques / Prenner, S. (2019). Intelligent prefetching for a grid-enabled distributed system : improving web access for a distributed grid system by enabling browser downloads combined with machine learning based prefetching and caching techniques [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.55527
Download: PDF (7.52 MB)
Community blockchain interaction patterns / Sengstschmid, M. (2019). Community blockchain interaction patterns [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.64108
Download: PDF (936 KB)
Generational and parallel garbage collection / Inführ, D. (2019). Generational and parallel garbage collection [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.62350
Download: PDF (786 KB)
Enabling scalable collaboration by introducing platform-independent communication for the Peer Model / Cejka, S. (2019). Enabling scalable collaboration by introducing platform-independent communication for the Peer Model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.38522
Download: PDF (2.1 MB)
Peer model based and actor model based frameworks for search algorithms in unstructured peer-to-peer networks / Fleischhacker, L. (2019). Peer model based and actor model based frameworks for search algorithms in unstructured peer-to-peer networks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.55004
Download: PDF (2.24 MB)

2018

Extending bison with attribute grammars / Ghete, M. C. (2018). Extending bison with attribute grammars [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.50991
Download: PDF (1.09 MB)
State-of-the-Art garbage collection policies for NILFS2 / Rohner, A. (2018). State-of-the-Art garbage collection policies for NILFS2 [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.23719
Download: PDF (1.08 MB)
Pluggable design and implementation of the XVSM framework core for .NET / Grill, A. (2018). Pluggable design and implementation of the XVSM framework core for .NET [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.24558
Download: PDF (5.8 MB)
Concurrent programming with actors and microservices / Irro, M. (2018). Concurrent programming with actors and microservices [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.56763
Download: PDF (1.47 MB)
Analyse von Lambda-Ausdrücken in Java / Fraller, B. (2018). Analyse von Lambda-Ausdrücken in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35552
Download: PDF (1.11 MB)
Developing a type system for a configuration specification language / Wurzinger, A. (2018). Developing a type system for a configuration specification language [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35349
Download: PDF (894 KB)
A Public resource computing application based on the secure peer model / Lettmayer, M. (2018). A Public resource computing application based on the secure peer model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.43262
Download: PDF (3.6 MB)
Konfigurationsmanagement mit Libelektra / Denner, B. (2018). Konfigurationsmanagement mit Libelektra [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.27821
Download: PDF (1.02 MB)

2017

A coordination-based framework for routing algorithms in unstructured peer-to-peer networks / Zischka, S. (2017). A coordination-based framework for routing algorithms in unstructured peer-to-peer networks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.37080
Download: PDF (3.81 MB)
Smart food sharing across smart cities: concepts, processes and infrastructure / Steiner, K. (2017). Smart food sharing across smart cities: concepts, processes and infrastructure [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.45607
Download: PDF (3.21 MB)
Context-aware configuration / Raab, M. (2017). Context-aware configuration [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.48840
Download: PDF (2.2 MB)
Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on mobile design constraints / Tillian, P. (2017). Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on mobile design constraints [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.45854
Download: PDF (2.35 MB)
Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on scalability and security / Schoba, J. (2017). Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on scalability and security [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.45855
Download: PDF (2.19 MB)
Reasoning capabilities for a cognitive-assistive assembly system / Koltraka, A. (2017). Reasoning capabilities for a cognitive-assistive assembly system [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.40223
Download: PDF (5.03 MB)
Evaluating process modeling capabilities of the XVSM micro-room framework / Binder, J. (2017). Evaluating process modeling capabilities of the XVSM micro-room framework [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.24557
Download: PDF (12.3 MB)
Hybrid simulation models for data-intensive systems / Barisits, M.-S. (2017). Hybrid simulation models for data-intensive systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.44841
Download: PDF (7.67 MB)

2016

Space-based task allocation in robotic fleets with adaptive autonomy / Drenjanac, D. (2016). Space-based task allocation in robotic fleets with adaptive autonomy [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.40053
Download: PDF (13.9 MB)
Classification of space based computing systems / Altschach, M. S. (2016). Classification of space based computing systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.37747
Download: PDF (15.9 MB)
Comparision and evaluation of JavaScript preprocessing languages / Mertl, M. (2016). Comparision and evaluation of JavaScript preprocessing languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.25153
Download: PDF (1.55 MB)
Reliable and delay-bounded data transmission in industrial and safety-critical applications / Holasek, G. (2016). Reliable and delay-bounded data transmission in industrial and safety-critical applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/78267

2015

On the impact of classical program optimization on the WCET-behaviour / Eizinger, B. (2015). On the impact of classical program optimization on the WCET-behaviour [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25342
Download: PDF (386 KB)
PURGE design and implementation of a high-level graphics engine / Atesman, N. C. (2015). PURGE design and implementation of a high-level graphics engine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.33717
Download: PDF (3.01 MB)
Migrating IBM HLASM to C / Wilhelm, J. (2015). Migrating IBM HLASM to C [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27852
Download: PDF (601 KB)
PyPy's number crunching optimization : just-in-time superword parallelism / Plangger, R. (2015). PyPy’s number crunching optimization : just-in-time superword parallelism [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.29423
Download: PDF (822 KB)
Design and implementation of a security model for the PeerSpace.NET / Bitter, L. (2015). Design and implementation of a security model for the PeerSpace.NET [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.28620
Download: PDF (1.82 MB)
Evaluation and implementation of an optional, pluggable type system for Forth / Riegler, G. (2015). Evaluation and implementation of an optional, pluggable type system for Forth [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27899
Download: PDF (843 KB)
An actor constraint prototype : verifying event order / Mildner, R. (2015). An actor constraint prototype : verifying event order [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25154
Download: PDF (976 KB)
Interactive class-diagram generation and abstraction / Hernàdi, G. M. (2015). Interactive class-diagram generation and abstraction [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25145
Download: PDF (12.9 MB)
Ein Hidden-Markov-Modell (HMM) basiertes Operngesangssynthesesystem für Deutsch / Pucher, M. (2015). Ein Hidden-Markov-Modell (HMM) basiertes Operngesangssynthesesystem für Deutsch [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25354
Download: PDF (9.77 MB)
Instruction selection for the CACAO VM / Kühmayer, C. (2015). Instruction selection for the CACAO VM [Master Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27943
Download: PDF (874 KB)
Lifecycle and memory management for extensible virtual shared memory (XVSM) / Watzke, H. (2015). Lifecycle and memory management for extensible virtual shared memory (XVSM) [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.22102
Download: PDF (2.54 MB)
Towards a toolchain for asynchronous embedded programming based on the peer-model / Hamböck, T. (2015). Towards a toolchain for asynchronous embedded programming based on the peer-model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.24505
Download: PDF (4.43 MB)
Expedient logging for C++ using reflection / Bräutigam, K. (2015). Expedient logging for C++ using reflection [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27707
Download: PDF (1.27 MB)
SmartMaut / Kollarits, N. (2015). SmartMaut [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27026
Download: PDF (2.54 MB)
Integrated code motion and register allocation / Bárány, G. (2015). Integrated code motion and register allocation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.29461
Download: PDF (1.03 MB)
Durability and contention in software transactional memory / Schröder, M. (2015). Durability and contention in software transactional memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158792
Decentralized unstructured flat P2P network with streaming content delivery method and user collaboration / Dimchev Kanev, D. (2015). Decentralized unstructured flat P2P network with streaming content delivery method and user collaboration [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158757

2014

An automated measurement method for the usability of APIs : and its application in the area of middleware / Scheller, T. (2014). An automated measurement method for the usability of APIs : and its application in the area of middleware [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.26421
Download: PDF (9.75 MB)
Electric vehicles recharge scheduling with time windows / Bučar, D. (2014). Electric vehicles recharge scheduling with time windows [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23827
Download: PDF (2.46 MB)
Developing an interactive, visual monitoring software for the peer model approach / Csuk, M. A. (2014). Developing an interactive, visual monitoring software for the peer model approach [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23690
Download: PDF (7.93 MB)
Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism / Grandits, P. (2014). Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23814
Download: PDF (1.27 MB)
Implementing a global register allocator for TCC / Falbesoner, S. (2014). Implementing a global register allocator for TCC [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.22042
Download: PDF (681 KB)
Invokedynamic for the CACAO JVM / Gruber, F. (2014). Invokedynamic for the CACAO JVM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23038
Download: PDF (575 KB)
Scalable translation validation : tools, techniques and framework / Lezuo, R. (2014). Scalable translation validation : tools, techniques and framework [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.24883
Download: PDF (1.42 MB)
Extending the Peer Model with composable design patterns / Schermann, G. (2014). Extending the Peer Model with composable design patterns [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.22714
Download: PDF (1.49 MB)
PeerSpace.NET : implementing and evaluating the Peer Model with focus on API usability / Rauch, D. (2014). PeerSpace.NET : implementing and evaluating the Peer Model with focus on API usability [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23191
Download: PDF (1.7 MB)
Semantic XVSM : design and implementation / Klausner, L. (2014). Semantic XVSM : design and implementation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.24466
Download: PDF (3.07 MB)
An optimizing compiler for the abstract state machine language CASM / Paulweber, P. (2014). An optimizing compiler for the abstract state machine language CASM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.24884
Download: PDF (1.15 MB)
On worst-case execution time analysis and optimization / Jordan, A. (2014). On worst-case execution time analysis and optimization [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23732
Download: PDF (850 KB)

2013

Symbolic methods for the timing analysis of programs / Zwirchmayr, J. (2013). Symbolic methods for the timing analysis of programs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.22070
Download: PDF (1.22 MB)
Visual control of acoustic speech synthesis / Hollenstein, J. J. (2013). Visual control of acoustic speech synthesis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.23296
Download: PDF (3 MB)
Optimization framework for the CACAO VM / Eisl, J. (2013). Optimization framework for the CACAO VM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.23350
Download: PDF (877 KB)
Automatisierung von Software-Mustern mittels Metaprogrammierung / Schuh, A. (2013). Automatisierung von Software-Mustern mittels Metaprogrammierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.23148
Download: PDF (601 KB)
Implementation of XVSM for the iOS platform / Grötz, G. (2013). Implementation of XVSM for the iOS platform [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21823
Download: PDF (2.1 MB)
Introducing the XVSM Micro-Room Framework : creating a privacy preserving peer-to-peer online social network in a declarative way / Binder, J. (2013). Introducing the XVSM Micro-Room Framework : creating a privacy preserving peer-to-peer online social network in a declarative way [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21822
Download: PDF (5.98 MB)
Relaxed non-blocking distributed transactions for the eXtensible virtual shared memory / Brückl, A. (2013). Relaxed non-blocking distributed transactions for the eXtensible virtual shared memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-59911
Download: PDF (1.08 MB)
Implementation of a Java just-in-time compiler in Haskell / Urban, B. (2013). Implementation of a Java just-in-time compiler in Haskell [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-56149
Download: PDF (627 KB)
Dynamic migration of cloud Services on the basis of changeable parameters / Schmid, T. (2013). Dynamic migration of cloud Services on the basis of changeable parameters [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159688

2012

Energy-efficient persistence for extensible virtual shared memory on the android operating system / Zarnikov, J. (2012). Energy-efficient persistence for extensible virtual shared memory on the android operating system [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-54365
Download: PDF (4.33 MB)
Requirements specification and analysis for embedded systems / Farfeleder, S. (2012). Requirements specification and analysis for embedded systems [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-52549
Download: PDF (1.51 MB)
Autonome Fehlererkennung bei Robotern mithilfe eines künstlichen Immunsystems / Wieser, M. (2012). Autonome Fehlererkennung bei Robotern mithilfe eines künstlichen Immunsystems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-60125
Download: PDF (3.8 MB)
An adaptive and flexible replication mechanism for MozartSpaces, the XVSM reference implementation / Hirsch, J. (2012). An adaptive and flexible replication mechanism for MozartSpaces, the XVSM reference implementation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160600
Wartbarkeit in aspektorientierter Programmierung / Auer, D. (2012). Wartbarkeit in aspektorientierter Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160588

2011

Purely interpretative optimizations / Brunthaler, S. (2011). Purely interpretative optimizations [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44654
Download: PDF (2.18 MB)
Design and implementation of LinqSpace / Gelbmann, W. (2011). Design and implementation of LinqSpace [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-41828
Download: PDF (2.74 MB)
Implementing a reversible debugger for Python / Sabin, P. (2011). Implementing a reversible debugger for Python [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43469
Download: PDF (822 KB)
Supernova - a multiprocessor aware real-time audio synthesis engine for SuperCollider / Blechmann, T. (2011). Supernova - a multiprocessor aware real-time audio synthesis engine for SuperCollider [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43451
Download: PDF (582 KB)
Exact garbage collection for the cacao virtual machine / Starzinger, M. (2011). Exact garbage collection for the cacao virtual machine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-38559
Download: PDF (624 KB)
Design and implementation of the next generation XVSM framework : runtime, protocol and API / Dönz, T. (2011). Design and implementation of the next generation XVSM framework : runtime, protocol and API [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42475
Download: PDF (2.04 MB)
Self-organization for load balancing and information retrieval based on shared coordination spaces / Čavić, V. (2011). Self-organization for load balancing and information retrieval based on shared coordination spaces [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44669
Download: PDF (1.45 MB)
Typestate Tracking für sichere nebenläufige Programmierung / Leiter, C. (2011). Typestate Tracking für sichere nebenläufige Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160144
Deployment and visualisation of the XVSM core configuration / Neumann, A. (2011). Deployment and visualisation of the XVSM core configuration [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160789
SILCA - self-initiative load clustering agents / Vögler, M. (2011). SILCA - self-initiative load clustering agents [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160817
XIDS : an XVSM-based Collaborative Intrusion Detection System / Winkler, M. (2011). XIDS : an XVSM-based Collaborative Intrusion Detection System [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160500
Use cases for a heterogeneous SQL-database cluster via virtual shared memory, its limits and alternative solutions / Kruse, F. (2011). Use cases for a heterogeneous SQL-database cluster via virtual shared memory, its limits and alternative solutions [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160495
XVSM Persistence : developing an orthogonal functional profile for the eXtensible Virtual Shared Memory / Meindl, T. (2011). XVSM Persistence : developing an orthogonal functional profile for the eXtensible Virtual Shared Memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160494
Vergleich von Java Webframeworks / Budischek, M. (2011). Vergleich von Java Webframeworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160479
Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League / Punzengruber, C. (2011). Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159956

2010

High-level compiler support for timing analysis / Prantl, A. (2010). High-level compiler support for timing analysis [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-30632
Download: PDF (1000 KB)
Managing complex and dynamic software systems with space-based computing / Mordinyi, R. (2010). Managing complex and dynamic software systems with space-based computing [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36211
Download: PDF (4.81 MB)
Efficiently implementing PostScript in C# / Baumann, C. (2010). Efficiently implementing PostScript in C# [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44638
Download: PDF (1.53 MB)
Design and implementation of TinySpaces : the .NET micro framework based implementation of XVSM for embedded systems / Marek, A. O. B. (2010). Design and implementation of TinySpaces : the .NET micro framework based implementation of XVSM for embedded systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32278
Download: PDF (2.8 MB)
A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell : design and specification / Craß, S. (2010). A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell : design and specification [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-30890
Download: PDF (1.62 MB)
A modular approach to configuration storage / Raab, M. (2010). A modular approach to configuration storage [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-39798
Download: PDF (6.15 MB)
C++ templates and concepts vs. Java's genericity / Revucky, M. (2010). C++ templates and concepts vs. Java’s genericity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-45639
Download: PDF (399 KB)
Efficient profiling in the LLVM compiler infrastructure / Neustifter, A. (2010). Efficient profiling in the LLVM compiler infrastructure [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36698
Download: PDF (550 KB)
Work2Gether (W2G), ein Groupware Framework für Kooperation und Arbeitseinteilung / Baum, M. (2010). Work2Gether (W2G), ein Groupware Framework für Kooperation und Arbeitseinteilung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161397
Heterogeneous SQL-database cluster via virtual shared memory / Kruse, F. (2010). Heterogeneous SQL-database cluster via virtual shared memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161536
Work2Gether (W2G) - ein Groupware Framework für Kommunikation und Terminvereinbarung / Breitenstein, P. (2010). Work2Gether (W2G) - ein Groupware Framework für Kommunikation und Terminvereinbarung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161398
Design and implementation of the next generation XVSM framework : operations, coordination and transactions / Barisits, M.-S. (2010). Design and implementation of the next generation XVSM framework : operations, coordination and transactions [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160309
Efficient coordination with semantic shared data spaces / Murth, M. (2010). Efficient coordination with semantic shared data spaces [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159841
Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? / Willner, V. (2010). Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159818

2009

Component based communication middleware for AUTOSAR / Schreiner, D. (2009). Component based communication middleware for AUTOSAR [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32301
Download: PDF (1.71 MB)
Interpolation of Austrian German and Viennese dialect/sociolect in HMM-based speech synthesis / Schabus, D. (2009). Interpolation of Austrian German and Viennese dialect/sociolect in HMM-based speech synthesis [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-34063
Download: PDF (5.15 MB)
Evaluierung der Kommunikation und Koordination von Middleware-Technologien in der .NET Umgebung / Lozhkin, Y. (2009). Evaluierung der Kommunikation und Koordination von Middleware-Technologien in der .NET Umgebung [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-30464
Download: PDF (858 KB)
Measurement-based timing analysis of applications written in ANSI-C / Rieder, B. (2009). Measurement-based timing analysis of applications written in ANSI-C [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-17000
Download: PDF (2.3 MB)
Design and implementation of XcoSpaces, the .Net reference implementation of XVSM : coordination, transactions and communication / Karolus, M. (2009). Design and implementation of XcoSpaces, the .Net reference implementation of XVSM : coordination, transactions and communication [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29926
Download: PDF (3.78 MB)
SSA-based code generation techniques for embedded architectures / Ebner, D. (2009). SSA-based code generation techniques for embedded architectures [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36109
Download: PDF (1.92 MB)
Compiler backend generation from structural processor models / Brandner, F. (2009). Compiler backend generation from structural processor models [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32992
Download: PDF (1.28 MB)
Evaluation of support for generic programming in C++ and Java / Ehmann, S. (2009). Evaluation of support for generic programming in C++ and Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33020
Download: PDF (899 KB)
Escape analysis and stack allocation of Java objects in the CACAO VM / Molnár, P. (2009). Escape analysis and stack allocation of Java objects in the CACAO VM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26787
Download: PDF (643 KB)
A service overlay network for telematic applications / Fischer, A. (2009). A service overlay network for telematic applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186617
Design and implementation of an extended, serverless Java Message Service (JMS) using the XVSM Shared Data Space / Pitschadell, R. (2009). Design and implementation of an extended, serverless Java Message Service (JMS) using the XVSM Shared Data Space [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186615
Entwicklungsmethoden im Web und deren Analyse / Kovanci, A. (2009). Entwicklungsmethoden im Web und deren Analyse [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186572
Naming and communication management for MozartSpaces : using space based computing on a wider scale / Goiss, H.-D. (2009). Naming and communication management for MozartSpaces : using space based computing on a wider scale [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186032
Typsicherheit vs. Flexibilität : Vererbung und Polymorphie in Ruby und C# / Kamper, G. (2009). Typsicherheit vs. Flexibilität : Vererbung und Polymorphie in Ruby und C# [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185666
Application Layer Multicast in constrained network topologies / Priewasser, D. (2009). Application Layer Multicast in constrained network topologies [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184324

2008

LLFS : a copy-on-write file system for Linux / Levrinc, R. (2008). LLFS : a copy-on-write file system for Linux [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28018
Download: PDF (437 KB)
Benchmarking of middleware systems / Löwenstein, B. (2008). Benchmarking of middleware systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28530
Download: PDF (1.02 MB)
XVSM tutorial and application scenarios / Wittmann, M. (2008). XVSM tutorial and application scenarios [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28235
Download: PDF (2.17 MB)
Design and Implementation of the JavaSpaces API Standard for XVSM / Keszthelyi, L. (2008). Design and Implementation of the JavaSpaces API Standard for XVSM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26334
Download: PDF (3.24 MB)
Software Pipelining in a C-Compiler / Huber, B. L. (2008). Software Pipelining in a C-Compiler [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-25657
Download: PDF (522 KB)
Type analysis in a Java Virtual Machine / Oates, C. (2008). Type analysis in a Java Virtual Machine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-25637
Download: PDF (942 KB)
Implementation of native threads and locks in the CACAO Java Virtual Machine / Ring, S. (2008). Implementation of native threads and locks in the CACAO Java Virtual Machine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-27782
Download: PDF (770 KB)
Automatic generation of interpreting instruction set simulators / Fellnhofer, A. (2008). Automatic generation of interpreting instruction set simulators [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-25739
Download: PDF (722 KB)
Dynamic binary translation for automatically generated simulators / Rigler, D. (2008). Dynamic binary translation for automatically generated simulators [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28911
Download: PDF (725 KB)
Design and implementation of XcoSpaces, the .Net reference implementation of XVSM : core architecture and aspects / Scheller, T. (2008). Design and implementation of XcoSpaces, the .Net reference implementation of XVSM : core architecture and aspects [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26847
Download: PDF (2.94 MB)
Real Time Kollaborativer Personal Information Manager mit XVSM / Röck, D. (2008). Real Time Kollaborativer Personal Information Manager mit XVSM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26587
Download: PDF (2.55 MB)
Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java / Putsche, C. (2008). Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29684
Download: PDF (1.41 MB)
A JavaScript API for an eXtensible Virtual Shared Memory (XVSM) / Lechner, L. (2008). A JavaScript API for an eXtensible Virtual Shared Memory (XVSM) [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-14563
Download: PDF (1.5 MB)
Design und Implementierung einer grafischen Komponente für Monitoring von SEDA-Applikationen / Lafite, M. (2008). Design und Implementierung einer grafischen Komponente für Monitoring von SEDA-Applikationen [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186430
Semantics-based code optimization with SATIrE / Barany, G. (2008). Semantics-based code optimization with SATIrE [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186427
Machine translation interlingua based on MultiNet / Mihailevschi, V. (2008). Machine translation interlingua based on MultiNet [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183796
Vergleich von .NET Remoting und Java RMI / Gültekin, E. (2008). Vergleich von .NET Remoting und Java RMI [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183563
Java language bindings for extensible virtual shared memory : design and implementation / Kraus, K. (2008). Java language bindings for extensible virtual shared memory : design and implementation [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183562
Profile guided code positioning optimizations in a C-compiler / Kim, N. (2008). Profile guided code positioning optimizations in a C-compiler [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179729
Design and implementation of MozartSpaces, the Java Reference Implemention of XVSM : timeout handling, notifications and aspects / Pröstler, M. (2008). Design and implementation of MozartSpaces, the Java Reference Implemention of XVSM : timeout handling, notifications and aspects [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179713
Design and implementation of MozartSpaces, the Java Reference Implementation of XVSM : custom coordinators, transactions and XML protocol / Schreiber, C. (2008). Design and implementation of MozartSpaces, the Java Reference Implementation of XVSM : custom coordinators, transactions and XML protocol [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179711

2007

Porting the CACAO virtual machine to POWERPC64 and Coldfire / Lezuo, R. R. (2007). Porting the CACAO virtual machine to POWERPC64 and Coldfire [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18628
Download: PDF (1010 KB)
Design and implementation of a robot coordination framework using shared memory middleware / Zavrel, S. (2007). Design and implementation of a robot coordination framework using shared memory middleware [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32086
Download: PDF (1.11 MB)
Communication protocols in XVSM-design and implementation / Ecker, S. (2007). Communication protocols in XVSM-design and implementation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-16143
Download: PDF (857 KB)
Reengineering zu Web-Anwendungen : ein architektureller Ansatz / David, R. (2007). Reengineering zu Web-Anwendungen : ein architektureller Ansatz [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18409
Download: PDF (3.03 MB)
Efficient space-based application development with declarative and aspect-oriented programming / Schmied, F. (2007). Efficient space-based application development with declarative and aspect-oriented programming [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-21764
Download: PDF (2.72 MB)
Adaptive inlining and on-stack replacement in a Java virtual machine / Steiner, E. (2007). Adaptive inlining and on-stack replacement in a Java virtual machine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-95395
Download: PDF (564 KB)
Porting the CACAO virtual machine to SPARC / Jordan, A. (2007). Porting the CACAO virtual machine to SPARC [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184132
Static program analyses and code transformations for DSP software / Pryanishnikov, I. (2007). Static program analyses and code transformations for DSP software [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178671
Communication analysis of Distributed Data Acquisition Systems / Moser, R. (2007). Communication analysis of Distributed Data Acquisition Systems [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178628

2006

Creating a GCC back end for a VLIW-architecture / Prantl, A. (2006). Creating a GCC back end for a VLIW-architecture [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36548
Download: PDF (476 KB)
Scannergenerator mit benannten regulären Teilausdrücken / Judt, C. (2006). Scannergenerator mit benannten regulären Teilausdrücken [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33570
Download: PDF (201 KB)
Component-based development : a comparison of Enterprise Java Beans and Zope / Strobl, R. (2006). Component-based development : a comparison of Enterprise Java Beans and Zope [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185596
XL-AOF - design and implementation of an eXtensible lightweight aspect-oriented framework for distributed applications / Fessl, G. (2006). XL-AOF - design and implementation of an eXtensible lightweight aspect-oriented framework for distributed applications [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185586
Measurement-based timing analysis of superscalar processors / Wenzel, I. (2006). Measurement-based timing analysis of superscalar processors [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181349
Instruction set encoding optimization for code size reduction / Med, M. (2006). Instruction set encoding optimization for code size reduction [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181329
Bionic approaches for the semantic web / Schusterreiter, C. (2006). Bionic approaches for the semantic web [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178010

2005

Mobility-aware distributed computing in shared data spaces / Hummel, K. A. (2005). Mobility-aware distributed computing in shared data spaces [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-10511
Download: PDF (9.56 MB)
Reverse compilation techniques for VLIW architectures / Bermudo Pla, N. (2005). Reverse compilation techniques for VLIW architectures [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-19318
Download: PDF (1.07 MB)
Schnelles Starten grosser Programme / Strauß-Haslinglehner, S. (2005). Schnelles Starten grosser Programme [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184614
Compilation techniques for reducing energy consumption of embedded digital signal processors / Hirnschrott, U. (2005). Compilation techniques for reducing energy consumption of embedded digital signal processors [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-20049
Download: PDF (4.72 MB)
Last Balancierung für Grid Computing / Rohner, M. (2005). Last Balancierung für Grid Computing [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184616
Entwurf und Implementierung einer service-orientierten Software-Architektur durch Integration verschiedener Middleware-Systeme / Beinhart, M. (2005). Entwurf und Implementierung einer service-orientierten Software-Architektur durch Integration verschiedener Middleware-Systeme [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184607
Caching strategies for load reduction on high traffic web applications / Kirk, A. (2005). Caching strategies for load reduction on high traffic web applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184523
Conflict detection and conflict resolution for asynchronous database replication / Ruhdorfer, A. (2005). Conflict detection and conflict resolution for asynchronous database replication [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184512
Persistency component for a virtual shared memory system / Schuh, W. (2005). Persistency component for a virtual shared memory system [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184509
Implementation of the VooDo Kern programming language / Bickel, J. (2005). Implementation of the VooDo Kern programming language [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182717
Compiler generation by architecture description / Farfeleder, S. (2005). Compiler generation by architecture description [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182696
Optimizing interpreters with superinstructions / Eller, H. (2005). Optimizing interpreters with superinstructions [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180581
Shared Virtual Space Distribution Manager - SVSDM : design and implementation / Mordinyi, R. (2005). Shared Virtual Space Distribution Manager - SVSDM : design and implementation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180579
Distributed object-oriented architectures : Sockets, Java RMI, and CORBA / Stepisnik, J. (2005). Distributed object-oriented architectures : Sockets, Java RMI, and CORBA [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179983
Grid layer for persistency object pattern / Spernbauer, G. (2005). Grid layer for persistency object pattern [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179923
Shared virtual space distribution manager - SVSDM : use cases / Mor, M. (2005). Shared virtual space distribution manager - SVSDM : use cases [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179915

2004

A register allocation framework for the GNU compiler collection (gcc) / Thoma, J. (2004). A register allocation framework for the GNU compiler collection (gcc) [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184069
Integration von Corso Spacebased Computing in J2EE / Marchart, J. (2004). Integration von Corso Spacebased Computing in J2EE [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12803
Download: PDF (980 KB)
Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel / Ziehmayer, M. (2004). Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185868
Entwurf und Implementierung eines verteilten, fehlertoleranten und ausfallssicheren Dateisystems mit Corso / Werthner, G. (2004). Entwurf und Implementierung eines verteilten, fehlertoleranten und ausfallssicheren Dateisystems mit Corso [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184091
Entwurf und Implementierung eines mobilen intelligenten Reiseassistenten / Abe, R. (2004). Entwurf und Implementierung eines mobilen intelligenten Reiseassistenten [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184085
Transaktionale Sicherheit für verteilte Geschäftsprozesse / Riemer, T. (2004). Transaktionale Sicherheit für verteilte Geschäftsprozesse [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184065
Vergleich von SOAP Kommunikationsplattformen / Jakesch, M. (2004). Vergleich von SOAP Kommunikationsplattformen [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182584
Workflow modelling within an EAI-Broker / Rexeis, H. (2004). Workflow modelling within an EAI-Broker [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181057
Instruction set simulation : für die VSP Architektur / Brandner, F. (2004). Instruction set simulation : für die VSP Architektur [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177969
Software pipelining in a DSP C-Compiler / Ogris, J. (2004). Software pipelining in a DSP C-Compiler [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177964
Optimizing and porting the CACAO JVM / Thalinger, C. (2004). Optimizing and porting the CACAO JVM [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177961

2003

Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net / Seidl, M. (2003). Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183017
Process types in Java / Hofer, A. (2003). Process types in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183003
Code optimizations for digital signal processors / Eckstein, E. (2003). Code optimizations for digital signal processors [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12005
Download: PDF (6.85 MB)
CORBA - CORSO - Bridge (CCB) : Skalierbarkeit und Ausfallsicherheit für CORBA / Nebauer, R. (2003). CORBA - CORSO - Bridge (CCB) : Skalierbarkeit und Ausfallsicherheit für CORBA [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186746
Peer-to-peer groupware mit CORSO / Riemer, J. (2003). Peer-to-peer groupware mit CORSO [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186745
Kollaborative API Erweiterungen für die MIDP 2.0 Technologie / Bergmann, M. (2003). Kollaborative API Erweiterungen für die MIDP 2.0 Technologie [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183660
Kollaborativer Terminplaner für mobile Geräte / Chen, I.-T. (2003). Kollaborativer Terminplaner für mobile Geräte [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183659
Design und Implementierung der Persistenzmechanismen für ein Virtual Shared Memory System / Kero, I. (2003). Design und Implementierung der Persistenzmechanismen für ein Virtual Shared Memory System [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183657
Benchmarks und Performance-Evaluierung von heterogener Datenreplikation / Trimmel, H. F. (2003). Benchmarks und Performance-Evaluierung von heterogener Datenreplikation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183639
Neue Trends und Standards für WebServices und Peer-to-Peer am Beispiel von JXTA / Grafl, A. (2003). Neue Trends und Standards für WebServices und Peer-to-Peer am Beispiel von JXTA [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183636
Naming Service für ein verteiltes shared memory / Gresko, M. (2003). Naming Service für ein verteiltes shared memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183635
An optimizing high-level linker / Wögerer, P. (2003). An optimizing high-level linker [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183632
Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas / Wesel, P. A. (2003). Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183426
HTTP-Tunneling für Space based Computing Middleware : Entwurf und Implementierung / Selucky, C. (2003). HTTP-Tunneling für Space based Computing Middleware : Entwurf und Implementierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183009

2002

Feasibility Study für die Kollaboration heterogener Terminplanungssysteme / Hochenauer, W. (2002). Feasibility Study für die Kollaboration heterogener Terminplanungssysteme [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186287
A DSP C-Compiler / Vögler, K. (2002). A DSP C-Compiler [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186284
Sichere P2P E-Collaboration mit Corso Virtual Shared Memory / Trocker, R. (2002). Sichere P2P E-Collaboration mit Corso Virtual Shared Memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186283
Peer-to-Peer Lösungen für Pocket PCs / Kanhäuser, C. (2002). Peer-to-Peer Lösungen für Pocket PCs [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186242
Implementation of Java virtual machines for high-performance multi-processor systems using cache-coherent non-uniform memory architectures / Tomsich, P. R. (2002). Implementation of Java virtual machines for high-performance multi-processor systems using cache-coherent non-uniform memory architectures [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178878

2001

Datenbank-Informationen im Internet am Beispiel einer Bereitschaftsplanverwaltung / Kainy, A. (2001). Datenbank-Informationen im Internet am Beispiel einer Bereitschaftsplanverwaltung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182479
DSP compiler optimization / Hirnschrott, U. (2001). DSP compiler optimization [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179676
Efficient interpreters / Ertl, M. A. (2001). Efficient interpreters [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178917
Design and implementation of a graphical user interface for asynchronous database replication / Rehm, T. (2001). Design and implementation of a graphical user interface for asynchronous database replication [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182474
Java und mobile Geräte / Brito e Cunha, D. de. (2001). Java und mobile Geräte [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180024

1996

Implementation of stack-based languages on register machines / Ertl, M. A. (1996). Implementation of stack-based languages on register machines [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12114
Download: PDF (490 KB)

Awards

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 undBernhard 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

And more…

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 .

Services

Institutes

Research Units

Compilers and Languages E194-05

Contact

On This Page

About

Professors

Scientific Staff

Administrative Staff

Courses

2024W

2025S

Projects

Publications

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1999

1997

Theses

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1996

Awards

And more…