TU Wien Informatics

About

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Compilers and Languages is part of the faculty’s Institute of Information Systems Engineering.

Manfred Brockhaus
Manfred Brockhaus M. Brockhaus

Emerit. Professor
Em.O.Univ.Prof. DI Dr.

M. Anton Ertl
M. Anton Ertl M. Ertl

Associate Professor
Ao.Univ.Prof. DI Dr.

Jens Knoop
Jens Knoop J. Knoop

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

Andreas Krall
Andreas Krall A. Krall

Associate Professor
Ao.Univ.Prof. DI Dr.

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

Associate Professor
Ao.Univ.Prof. DI Dr.

Franz Puntigam
Franz Puntigam F. Puntigam

Associate Professor
Ao.Univ.Prof. DI Dr.

Stefan Craß
Stefan Craß S. Craß

PreDoc Researcher
DI

Gerson Joskowicz
Gerson Joskowicz G. Joskowicz

PostDoc Researcher
DI Dr.

Ulrich Neumerkel
Ulrich Neumerkel U. Neumerkel

PostDoc Researcher
Ass.Prof. DI Dr.

Markus Raab
Markus Raab M. Raab

Senior Lecturer
DI Dr. /BSc

2018

2017

  • Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Journal of Symbolic Computation, 80 (2017), 101 - 124
  • SIMD and Vectors / M.A. Ertl / Talk: EuroForth, Bad Voeslau; 2017-09-08 - 2017-09-10; in: "33rd EuroForth Conference", (2017), 25 - 36
  • An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware / S. Craß, E. Kühn, V. Sesum-Cavic, H. Watzke / Talk: 43rd Euromicro Conference onSoftware Engineering and Advanced Applications (SEAA 2017), Wien; 2017-08-30 - 2017-09-01; in: "Proceedings 43rd Euromicro Conference on Software Engineering and Advanced Applications - SEAA 2017", IEEE, (2017), ISBN: 978-1-5386-2141-7; 189 - 193
  • No S without Q => No E without Q? / A. Messinger, E. Kühn / Talk: 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Deutschland; 2017-07-24 - 2017-07-26; in: "Proceedings 2017 IEEE 15th International Conference on Industrial Informatics (INDIN)", IEEE, (2017), ISBN: 978-1-5386-0837-1; 526 - 532
  • Flexible Transactional Coordination in the Peer Model / E. Kühn / Talk: International Conference on Fundamentals of Software Engineering (FSEN 2017), Teheran, Iran; 2017-04-26 - 2017-04-28; in: "Fundamentals of Software Engineering", Springer, LNCS 10522 (2017), ISBN: 978-3-319-68972-2; 116 - 131
  • Challenges in Validating FLOSS Configuration / M. Raab, G. Barany / Talk: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina; 2017-03-22 - 2017-03-23; in: "Open Source Systems: Towards Robust Practices: 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings", Springer Verlag (ed.); Springer International Publishing, (2017), ISBN: 978-3-319-57735-7; 101 - 114
  • Introducing Context Awareness in Unmodified, Context-unaware Software / M. Raab, G. Barany / Talk: ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal; 2017-04-28 - 2017-04-29; in: "Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE", ScitePress, Setubal - Portugal (2017), ISBN: 978-989-758-250-9; 218 - 225

2016

2015

  • T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi / Journal of Systems Architecture, Volume 61 (2015), Issue 9; 449 - 471
  • Automated measurement of API usability: The API Concepts Framework / T. Scheller, E. Kühn / Information and Software Technology, 61 (2015), 145 - 162
  • Foreword to the Special Issue on Symbolic Computation in Software Science / A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia / Journal of Symbolic Computation, 69 (2015), 1 - 2
  • Global and Thread-Local Activation of Contextual Program Execution Environments / M. Raab / Talk: 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; 2015-04-13; in: "2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)", IEEE, (2015), 34 - 41
  • vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification / R Lezuo, I. Dragan, G. Barany, A. Krall / Talk: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), Timisoara; 2015-09-21 - 2015-09-24; in: "17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing", L. Kovacs, D. Zaharie (ed.); (2015), 167 - 174
  • Segment Abstraction for Worst-Case Execution Time Analysis / P. Cerny, T. Henzinger, L. Kovacs, A. Radhakrishna, J. Zwirchmayr / Talk: European Symposium on Programming (ESOP), Londok, UK; 2015-04-11 - 2015-04-18; in: "Proc. of the 24th European Symposium on Programming (ESOP)", J. Vitek (ed.); LNCS, 9032 (2015), ISBN: 978-3-662-46668-1; 105 - 131
  • Reasoning About Loops Using Vampire in KeY / W. Ahrendt, L. Kovacs, S. Robillard / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 - 2015-11-28; in: "Proc. of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20)", M. Davis, A. Fehnker, A. McIver, A. Voronkov (ed.); LNCS, 9450 (2015), ISBN: 978-3-662-48898-0; 434 - 443
  • A Decentralized Access Control Model for Dynamic Collaboration of Autonomous Peers / S. Craß, G. Joskowicz, E. Kühn / Talk: 11th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Dallas, USA; 2015-10-26 - 2015-10-29; in: "Security and Privacy in Communication Networks", LNICST, Springer, 164 (2015), ISBN: 978-3-319-28864-2; 519 - 537
  • A Generator for Time-Predictable Code / D. Prokesch, S Hepp, P. Puschner / Talk: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; 2015-04-13 - 2015-04-17; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)", IEEE, (2015), ISBN: 978-1-4799-8781-8; 27 - 34
  • Extending a Peer-Based Coordination Model with Composable Design Patterns / E. Kühn, S. Craß, G. Schermann / Talk: 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Turku, Finnland; 2015-03-04 - 2015-03-06; in: "Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on", IEEE, (2015), ISSN: 1066-6192; 53 - 61
  • A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets / D. Drenjanac, S. Tomic, E. Kühn / Talk: 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Larnaca, Zypern; 2015-06-15 - 2015-06-17; in: "Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on", IEEE, (2015), ISBN: 978-1-4673-7692-1; 15 - 20
  • Safe Management of Software Configuration / M. Raab / Talk: CAiSE 2015 Doctoral Consortium, Stockholm, Schweden; 2015-07-08 - 2015-07-12; in: "Proceedings of the CAiSE´2015 Doctoral Consortium", P. Loucopoulos, S. Nurcan, H. Weigand (ed.); http://ceur-ws.org/Vol-1415/, Vol-1415 / urn:nbn:de:0074-1415-4 /worldwide (2015), 74 - 82

2014

  • Symbol Elimination for Automated Generation of Program Properties / L. Kovacs / ECEASST (invited), ECEASST (2014), 70; 1 - 2
  • Criticality: static profiling for real-time programs / F. Brandner, S Hepp, A. Jordan / Real-Time Systems, 50 (2014), 3; 377 - 410
  • Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleet / D. Drenjanac, S. Tomic, L. Klausner, E. Kühn / Information Processing in Agriculture, 1 (2014), 1; 23 - 33
  • Flexible Modeling of Policy-Driven Upstream Notification Strategies / E. Kühn, S. Craß, G. Joskowicz, M. Novak / Poster: 29th Symposium on Applied Computing (SAC), Gyeongju, Republic of Korea; 2014-03-24 - 2014-03-28; in: "Proceedings of the 29th Annual ACM Symposium on Applied Computing", ACM, (2014), ISBN: 978-1-4503-2469-4; 1352 - 1354
  • Program Execution Environments as Contextual Values / M. Raab, F. Puntigam / Talk: 6th International Workshop on Context-Oriented Programming (COP'14), Uppsala, Schweden; 2014-07-28; in: "Proceedings of 6th International Workshop on Context-Oriented Programming", ACM New York, NY, USA ©2014, (2014), ISBN: 978-1-4503-2861-6; Paper ID 8, 6 pages
  • A Generic Load Balancing Framework for Cooperative ITS Applications / S. Craß, E. Kühn, S. Bessler, T. Paulin / Talk: The 3rd International Conference on Connected Vehicles and Expo (ICCVE), Wien; 2014-11-03 - 2014-11-07; in: "2014 International Conference on Connected Vehicles and Expo (ICCVE)", IEEE, (2014), ISBN: 978-1-4799-6729-2; 385 - 390
  • Extensional Crisis and Proving Identity / A. Gupta, L. Kovacs, B. Kragl, A. Voronkov / Talk: Automated Technology for Verification and Analysis (ATVA), Sydney, Australia; 2014-11-03 - 2014-11-07; in: "Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA)", F. Cassez, J. Raskin (ed.); Lecture Notes in Computer Science, Springer Verlag, 8837 (2014), ISBN: 978-3-319-11935-9; 185 - 200
  • CASM - Optimized Compilation of Abstract State Machines / R Lezuo, P. Paulweber, A. Krall / Talk: LCTES '14: 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, Edinburgh, UK; 2014-06-12 - 2014-06-13; in: "LCTES '14 Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems", (2014), ISBN: 978-1-4503-2877-7; 13 - 22
  • Integrated Modulo Scheduling and Cluster Assignment for TI TMS320C64x+ Architecture / N. Kim, A. Krall / Talk: ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems, Orlando, USA; 2014-02-15; in: "ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems", (2014), 25 - 32
  • Supervisory Control of Discrete-Event Systems via {IC3} / M. Reza Shoaei, L. Kovacs, B. Lennartson / Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proceedings of the-10th International Haifa Verification Conference - Conference on Hardware and Software: Verification and Testing (HVC)", E. Yahav (ed.); Springer Lecture Notes in Computer Science, 8855 (2014), ISBN: 978-3-319-13337-9; 252 - 266
  • A Method Cache for Patmos / P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing", (2014), ISSN: 1555-0885; 100 - 108
  • Splitting Functions into Single-Entry Regions / S Hepp, F. Brandner / Talk: 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), New Delhi, India; 2014-10-12 - 2014-10-17; in: "Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems", (2014), ISBN: 978-1-4503-3050-3; 17:1 - 17:10
  • Scope-based Method Cache Analysis / B. Huber, S Hepp, M. Schöberl / Talk: 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; 2014-07-08; in: "14th International Workshop on Worst-Case Execution Time Analysis", OpenAccess Series in Informatics (OASIcs), (2014), ISBN: 978-3-939897-69-9; 73 - 82
  • Approaching Coordination in Distributed Embedded Applications with the Peer Model DSL / E. Kühn, S. Craß, Th. Hamböck / Talk: 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014), Verona, Italy; 2014-08-27 - 2014-08-29; in: "Proceedings 40th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA)", IEEE, (2014), ISBN: 978-1-4799-5794-1; 64 - 68
  • Dynamic Migration of Cloud Services / E. Kühn, V. Sesum-Cavic, T. Schmid / Talk: IEEE 3rd Symposium on Network Cloud Computing and Applications (NCCA), Rom, Italien; 2014-02-05 - 2014-02-07; in: "Proceedings IEEE 3rd Symposium on Network Cloud Computing and Applications (NCCA)", IEEE, (2014), ISBN: 978-0-7695-5168-5; 95 - 100
  • Python Interpreter Performance Deconstructed / G. Barany / Talk: Dyla '14: 8th Workshop on Dynamic Languages and Applications, Edinburgh, UK; 2014-06-12; in: "Dyla '14: 8th Workshop on Dynamic Languages and Applications", (2014)
  • pylibjit: A JIT Compiler Library for Python / G. Barany / Talk: 7. Arbeitstagung Programmiersprachen (ATPS 2014), Kiel, Deutschland; 2014-02-26; in: "Software Engineering Workshops 2014", CEUR Workshop Proceedings, Vol-1129 (2014), 213 - 224

2013

2012

2011

2010

2009

  • Synchronization as a Special Case of Access Control / F. Puntigam / Electronic Notes in Theoretical Computer Science (ENTCS), 241 (2009), 113 - 133
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9, Paper ID 8, 11 pages
  • Interfaces of Active Objects with Internal Concurrency / F. Puntigam / Talk: Distributed Objects for the 21st Century (DO21, ECOOP'09 Workshop), Genova, Italy; 2009-07-07; in: "DO21 '09: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century", ACM, New York, NY, USA (2009), ISBN: 978-1-60558-545-1; Paper ID 1, 5 pages
  • Stack Allocation of Objects in the CACAO Virtual Machine / P. Molnar, A. Krall, F. Brandner / Talk: 7th International Conference on Principles and Practice of Programming in Java, Calgary; 2009-08-27 - 2009-08-28; in: "PPPJ '09:Proceedings of the 7th International Conference on Principles and Practice of Programming in Java", B. Stephenson, C. Probst (ed.); (2009), ISBN: 978-1-60558-598-7; 153 - 161
  • Progressive Spill Code Placement / D. Ebner, B. Scholz, A. Krall / Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Grenoble; 2009-10-11 - 2009-10-16; in: "International Conference on Compilers, Architecture, and Synthesis for Embedded Systems", (2009), 77 - 86
  • Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach / D. Schreiner, M. Schordan, J. Knoop / Talk: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)", IEEE Computer Society, (2009), ISBN: 978-0-7695-3573-9; 288 - 292
  • Component Based Middleware-Synthesis for AUTOSAR Basic Software / D. Schreiner, M Schordan, K. Göschka / Talk: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "Proceedings of the 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009", IEEE Computer Society, (2009), ISBN: 978-0-7695-3573-9; 236 - 243
  • Optimizing High Abstraction-Level Interpreters / S. Brunthaler / Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2009-05-04 - 2009-05-06; in: "Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, B. Braßel (ed.); Christian-Albrechts-Universität zu Kiel, Deutschland, Bericht 0915 (2009), 100 - 110
  • Virtual-Machine Abstraction and Optimization Techniques / S. Brunthaler / Talk: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK; 2009-03-29; in: "Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)", E Albert, S Genaim (ed.); Elsevier, Amsterdam (2009), ISSN: 1571-0661; 3 - 14
  • Virtual-Machine Abstraction and Optimization Techniques / S. Brunthaler / Talk: 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK; 2009-03-29; in: "Preliminary Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)", E Albert, S Genaim (ed.); Univ. of York - Elsevier, Amsterdam (2009), 19 - 30
  • Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain / T Moser, R. Mordinyi, A. Mikula, S. Biffl / Talk: Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009)", (2009), ISBN: 978-0-7695-3575-3; 90 - 97
  • Peer-to-Peer Overlay Network Based on Swarm Intelligence / V. Sesum-Cavic, E. Kühn / Talk: 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009), Utrecht; 2009-11-18 - 2009-11-20; in: "10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009)", Springer, (2009), 65 - 67
  • A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents / E. Kühn, V. Sesum-Cavic / Talk: 10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009), Utrecht; 2009-11-18 - 2009-11-20; in: "10th International Workshop on Engineering Societies in the Agents World X (ESAW 2009)", Springer, (2009), 17 - 32
  • A heuristics framework for semantic subscription processing / M. Murth, E. Kühn / Talk: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 2009-05-31 - 2009-06-04; in: "6th European Semantic Web Conference (ESWC 2009)", Springer, 5554 (2009), 96 - 110
  • Knowledge-based coordination with a reliable semantic subscription mechanism / M. Murth, E. Kühn / Talk: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii; 2009-03-09 - 2009-03-12; in: "Proceedings of the 24th Annual ACM Symposium on Applied Computing", ACM, (2009), ISBN: 978-1-60558-166-8; 1374 - 1380
  • Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306
  • SAMOA - A Semi-automated Ontology Alignment Method for Systems Integration in Safety-critical Environments / T Moser, K. Schimper, R. Mordinyi, A. Anjomshoaa / Talk: 2nd IEEE Intl. Wsh. on Ontology, Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "2nd IEEE Intl. Wsh. on Ontology", (2009), ISBN: 978-0-7695-3575-3; 724 - 729
  • Integration of Shareable Containers with Distributed Hash Tables for Storage of Structured and Dynamic Data / E. Kühn, R. Mordinyi, H.D. Goiss, T Moser, S. Bessler, S. Tomic / Talk: Intl. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2009), Fukuoka, Japan; 2009-03-16 - 2009-03-19; in: "Adaptive Systems in Heterogeneous Environments", (2009), ISBN: 978-0-7695-3575-3; 866 - 871
  • Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber / Talk: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Budapest, Ungarn; 2009-05-10 - 2009-05-15; in: "International Conference on Autonomous Agents and Multiagent Systems", International Foundation for Autonomous Agents and Multiagent Systems, (2009), ISBN: 978-0-9817381-6-1; 625 - 632
  • A P2P Network of Space Containers for Efficient Management of Spatial-Temporal Data in Intelligent Transportation Scenarios / E. Kühn, R. Mordinyi, H.D. Goiss, S. Bessler, S. Tomic / Talk: Eighth International Symposium on Parallel and Distributed Computing (ISPDC), Lissabon, Protugal; 2009-06-30 - 2009-07-04; in: "The Eighth International Symposium on Parallel and Distributed Computing", (2009), ISBN: 978-0-7695-3680-4; 218 - 225
  • Foundations for a Model-Driven Integration of Business Services in a Safety-critical Application Domain / R. Mordinyi, T Moser, E. Kühn, S. Biffl, A. Mikula / Talk: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), Patras, Greece; 2009-08-27 - 2009-08-29; in: "Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009)", IEEE Computer Society, (2009), ISBN: 978-0-7695-3784-9; 267 - 274
  • Towards Zero-delay Recovery of Agents in Production Automation Systems / E. Kühn, R. Mordinyi, M. Lang, A. Selimovic / Talk: 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Mailand, Italien; 2009-09-15 - 2009-09-18; in: "2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology", (2009), ISBN: 978-0-7695-3801-3; 307 - 310
  • Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber / Talk: 8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge, England; 2009-09-14 - 2009-09-17; in: "Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) 2009", IEEE Computer Society, (2009), ISBN: 978-1-4244-4984-2; 313 - 316
  • Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems / E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber, S. Bessler, S. Tomic / Talk: 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA) 2009, Algarve, Portugal; 2009-11-01 - 2009-11-06; in: "Proceedings of the 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA) 2009", Springer, (2009), ISBN: 978-3-642-05147-0; 432 - 448
  • Semantic Event Correlation Using Ontologies / T Moser, H. Roth, S. Rozsnyai, R. Mordinyi, S. Biffl / Talk: 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2009, Algarve, Portugal; 2009-11-01 - 2009-11-06; in: "Proceedings of the 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2009", Springer, (2009), ISBN: 978-3-642-05150-0; 1087 - 1094
  • Efficient System Integration Using Semantic Requirements and Capability Models - An Approach for Integrating Heterogeneous Business Services / T Moser, R. Mordinyi, S. Biffl, A. Mikula / Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 2009-05-06 - 2009-05-10; in: "Proceedings of the 11th International Conference on Enterprise Information Systems", J. Cordeiro, J. Filipe (ed.); Springer, LNBIP 24 (2009), ISBN: 978-989-8111-84-5; 56 - 63
  • Embedded JIT Compilation with CACAO on YARI / F. Brandner, T. Thorn, M. Schoeberl / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 63 - 70
  • From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec / Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (ed.); (2009), 35 - 45

2008

  • Virtual machine showdown: Stack versus registers / Y. Shi, K. Casey, D. Gregg, M.A. Ertl / ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, Volume 4 (2008), Nr. 4; 1 - 36
  • From Static to Dynamic Process Types / F. Puntigam / in: "Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers", Springer-Verlag, Berlin Heidelberg, 2008, ISBN: 3-540-70619-4, 61 - 73
  • SABRON: A Storage and Application Based Routing Overlay Network for Intelligent Transportation Systems / S. Bessler, S. Tomic, E. Kühn, R. Mordinyi, H.D. Goiss / Poster: 3rd International Workshop on Self-Organizing Systems, Wien; 2008-12-09 - 2008-12-11; in: "IWSOS 2008, 3rd International Workshop on Self-Organizing Systems", Springer, LNCS, 5343/2008 (2008), ISBN: 978-3-540-92156-1; 2 pages
  • Optimizing the Python interpreter: Identifying performance bottlenecks. / S. Brunthaler, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 41 - 42
  • An integrated source-to-source approach to WCET analysis / A. Prantl, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 45 - 46
  • A Generalised Finite Domain Constraint Solver for SWI-Prolog / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 22nd Workshop on (Constraint) Logic Programming, Dresden; 2008-09-30 - 2008-10-01; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 pages
  • Precise Garbage Collection in Prolog / J. Wielemaker, U. Neumerkel / Talk: Colloquium on Implementation of Constraint and LOgic Programming System, Udine, Italy; 2008-12-12 - 2008-12-13; in: "Proceedings of the 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems", (2008), Paper ID 9, 15 pages
  • Declarative language extensions for prolog courses / U. Neumerkel, M. Triska, J. Wielemaker / Talk: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 2008-09-21; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; 73 - 77
  • Multiobjective Prototype Optimization with Evolved Improvement Steps / J. Kubalik, R. Mordinyi, S. Biffl / Talk: 8th European Conference, EvoCOP 2008, Naples, Italy; 2008-03-26 - 2008-03-28; in: "Evolutionary Computation in Combinatorial Optimization", LNCS/Springer Berlin, 4972/2008/ Heidelberg (2008), ISSN: 0302-9743; 218 - 229
  • Better Termination for Prolog with Constraints / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (ed.); (2008), 90 - 96
  • An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems / E. Kühn, R. Mordinyi, C. Schreiber / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", T. Margaria, B. Steffen (ed.); Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; 634 - 648
  • Ontology-supported quality assurance for component-based systems configuration / S. Biffl, R. Mordinyi, T Moser, D. Wahyudin / Talk: 6th international Workshop on Software Quality, Leipzig, Germany; 2008-05-10 - 2008-05-18; in: "Proceedings of 6th international Workshop on Software Quality", B. Wong (ed.); ACM, New York (2008), ISBN: 978-1-60558-023-4; 59 - 64
  • ALL-TIMES - A European Project on Integrating Timing Technology / J. Gustafsson, B. Lisper, M. Schordan, C. Ferdinand, P. Gliwa, M. Jersak, G. Bernat / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Porto Sani, Greece; 2008-10-13 - 2008-10-15; in: "ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008", Springer, (2008), ISBN: 978-3-540-88478-1; 445 - 459
  • Source Code Based Component Recognition in Software Stacks for Embedded Systems / D. Schreiner, M. Schordan, G. Barany, K. Göschka / Talk: 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Beijing, China; 2008-10-12 - 2008-10-15; in: "Proceedings of the 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications", IEEE, (2008), ISBN: 978-1-4244-2368-2; 463 - 468
  • Generalized instruction selection using SSA-graphs / D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec / Talk: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Tucson, Arizona, USA; 2008-06-12 - 2008-06-13; in: "Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems", ACM - Association for Computing Machinery, (2008), ISBN: 978-1-60558-104-0; 31 - 40
  • Synchronization as a Special Case of Access Control / F. Puntigam / Talk: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08), Oslo, Norway; 2008-06-07; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", (2008), 52 - 57
  • TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 141 - 148
  • Constraint solving for high-level WCET analysis / A. Prantl, J. Knoop, M. Schordan, M. Triska / Talk: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), 77 - 89
  • Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65

2007

2006

2005

2004

2003

2002

  • Optimizations for Object-Oriented Languages / A. Krall, N. Horspool / in: "The Compiler Design Handbook", CRC Press, Boca Raton, 2002, ISBN: 08493-1240-x, 219 - 246
  • Vmgen - a generator of efficient virtual machine interpreters / M.A. Ertl, D. Gregg, A. Krall, B. Paysan / Software: Practice and Experience, 32 (2002), 3; 265 - 294
  • Dynamic Binary Translation / M. Probst / in: "UKUUG Linux Developer`s Conference 2002", Organisationskomitee UKUUG Linux Developer`s Conference 2002, 2002, 1 - 5
  • Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Journal of Object Technology, http://www.jot.fm/issues/issue_2002_08/article4 (2002)
  • Non-termination inference for optimal termination conditions of logic programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: Onzèmes Journèes Francophones de Programmation Logique, Paris; 2002-05-27 - 2002-05-29; in: " Onzèmes Journèes Francophones de Programmation Logique et Programmation par Constraints (JFPLC`02)", Hermes Science Publications, Paris (2002), ISBN: 2-7462-0477-0; 87 - 104
  • Register Liveness Analysis for Optimizing Dynamic Binary Translation / M. Probst, A. Krall, B. Scholz / Talk: IEEE Working Conference on Reverse Engineering (WCRE), Richmond, Virginia; 2002-10-29 - 2002-11-01; in: "Ninth Working Conference on Reverse Engineering", IEEE, Richmond (2002), 35 - 44
  • The Evolution of Vmgen / M.A. Ertl / Talk: 18th EuroForth Conference, Wien; 2002-09-06 - 2002-09-08; in: "18th EuroForth Conference", (2002), 33 - 37
  • Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Talk: TOOLS USA 2002, Santa Barbara, California; 2002-07-28 - 2002-07-31; in: "Trusted Components, Formal Specifications, Eiffel & .NET", (2002), 1 - 20
  • Register Allocation for Irregular Architectures / B. Scholz, E. Eckstein / Talk: Joint Conference on Languages, Compilers and Tools for Embedded Systems and Software and Compilers for Embedded Systems, Berlin; 2002-06-19 - 2002-06-21; in: "Joint Conference on Languages, Compilers and Tools for Embedded Systems and Software and Compilers for Embedded Systems", ACM SIGPLAN Notices/ACM, volume 37, number 7 / New York (2002), ISBN: 1-58113-527-0; 139 - 148
  • Dataflow Frequency Analysis based on Whole Program Paths / B. Scholz, E. Mehofer / Talk: 2002 International Conference on Parallel Architectures and Compilation Techniques, PACT 2002, Charlottesville, Virginia, USA; 2002-09-22 - 2002-09-25; in: "Proceedings 2002 International Conference on Parallel Architecutres and Compilation Techniques", IEEE, Los Alamitos (2002), ISBN: 0-7695-1620-X; 95 - 103
  • Detecting Optimal Termination Conditions of Logic Programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: 9th International Symposium on Static Analysis, SAS 2002, Madrid; 2002-09-17 - 2002-09-20; in: "Static Analysis ", G. Goos, J. Hartmanis, J. van Leeuwen (ed.); Lecture Notes in Computer Science/Springer, 2477/Berlin (2002), ISBN: 3-540-44235-9; 509 - 525
  • Threaded Code Variations and Optimizations (Extended Version) / M.A. Ertl / Talk: FORTH-Tagung 2002, Garmisch-Partenkirchen; 2002-04-18 - 2002-04-21; in: "FORTH-Tagung 2002", (2002), 1 - 7
  • Declarative program development in Prolog with GUPU / U. Neumerkel / Talk: 12th International Workshop on Logic Programming Environments, Copenhagen; 2002-07-29 - 2002-08-01; in: "WLPE 2002: Logic Programming Environments", (2002), 77 - 86
  • Building an Interpreter with Vmgen / M.A. Ertl, D. Gregg / Talk: 11th International Conference on Compiler Construction, CC2002, Grenoble; 2002-04-08 - 2002-04-12; in: "Compiler Construction ", R.N. Horspool (ed.); Lecture Notes in Computer Science/Springer, 2304/Berlin (2002), ISBN: 3-540-43369-4; 5 - 8

2001

2000

1999

  • Ada Binding to a Shared Object Layer / J. Blieberger, J. Klasek, E. Kühn / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 263 - 274
  • Interprocedural Symbolic Evaluation of Ada Programs with Aliases / J. Blieberger, B. Burgstaller, B. Scholz / Talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 - 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.", Springer-Verlag, 1622 (1999), ISBN: 3-540-66093-3; 136 - 145

1998

 

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1996

 

  • Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen / HR Inside Summit Award 2016, BRONZE / Austria / Website / 2016
  • Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige / Austria / Website / 2016
  • Jens Knoop: Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und Bernhard Steffen) / USA / 2003
  • Eva Kühn: MERKUR Innovationspreis der Wirtschaftskammer / Wirtschaftskammern / Austria / 2002
  • Eva Kühn: Heinz-Zemanek Forschungspreis für die Dissertation über "Implementation of Multi Database Systems in Prolog" / Austria / 1990
  • Andreas Krall: Heinz Zemanek Preis / Austria / Website / 1987

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 .