Publication list for members of
E194 - Institute of Information Systems Engineering
E194-05 Compilers and Languages
as authors or essentially involved persons
771 records (1996 - 2022)
The complete list of publications of the Faculty of Informatics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.
Books and Book Editorships
E. Altman, B. Childers, R. Cohn, J. Davidson, K. Brosschere, B. Sutter, M.A. Ertl, M. Franz, Y. Gu, M. Hauswirth, T. Heinz, W. Hsu, J. Knoop, A. Krall, N. Kumar, J. Maebe, R. Muth, X. Rival, E. Rohou, R. Rosner, M. Soffa, J. Troeger, C. Vick (ed.):
"08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation";
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2009,
ISSN: 1862-4405;
11 pages.
N. Bjorner, L. Kovacs (ed.):
"Proceedings of the 3rd International Workshop on Invariant Generation 2010";
Eigenverlag,
2010.
N. Bjorner, L. Kovacs:
"Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
in series "Journal of Symbolic Computation",
series editor: H. Hong et al.;
Springer,
2012,
ISSN: 0747-7171.
A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Special Issue on Symbolic Computation in Software Science";
in series "Journal of Symbolic Computation",
series editor: H. Hong;
Elsevier,
2015,
ISSN: 0747-7171,
158 pages.
R. de Nicola, E. Kühn (ed.):
"Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016 Vienna, Austria, July 4 - 8, 2016 Proceedings (LNCS 9763)";
Springer International Publishing,
2016,
ISBN: 978-3-319-41590-1.
C. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kühn, D. O´Sullivan, C. Ardagna (ed.):
"On the Move to Meaningful Internet Systems: OTM 2016 Conferences (LNCS 10033)";
Springer International Publishing,
2016,
ISBN: 978-3-319-48471-6.
R. Drechsler, S. Glesner, J. Knoop, W. Zimmermann (ed.):
"Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)";
Budapest University of Technology and Economics,
Budapest,
2008,
85 pages.
M.A. Ertl (ed.):
"ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators (IVME'03)";
ACM,
New York,
2003,
ISBN: 1-58113-655-2;
76 pages.
M.A. Ertl (ed.):
"Science of Computer Programming, Volume 57, Issue 3, Special Issue on Virtual Machines and Emulators";
Elsevier,
2005,
ISSN: 0167-6423;
380 pages.
M. Giese, A. Ireland, L. Kovacs:
"Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
in series "Journal of Symbolic Computation",
series editor: H. Hong;
Elsevier,
2010,
ISSN: 0747-7171.
S. Glesner, J. Knoop, W. Zimmermann (ed.):
"Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)";
Elsevier,
2007,
ISSN: 1571-0661;
160 pages.
R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen:
"Leveraging Applications of Formal Methods, Verification, and Validation: SARS 2011, MLSC 2011 (CICS 336)";
in series "Communications in Computer and Information Science",
series editor: R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen;
Springer,
Heidelberg,
2012,
ISBN: 978-3-642-34780-1,
276 pages.
J. Knoop:
"Compiler Construction - 20th International Conference, CC 2011, Proceedings";
in series "Lecture Notes in Computer Science (LNCS)",
series editor: J. Knoop;
Springer,
Heidelberg,
2011,
ISBN: 978-3-642-19860-1,
307 pages.
J. Knoop, M.A. Ertl:
"18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015)";
in series "Schriftenreihe des Instituts für Computersprachen, Bericht 2015-IX-1",
series editor: J. Knoop, M.A. Ertl;
issued by: TU Wien;
Institut für Computersprachen, TU Wien,
Wien,
2015,
713 pages.
J. Knoop, W. Karl, M. Schulz, K. Inoue, Th. Pionteck:
"Architecture of Computing Systems (ARCS 2017)";
in series "Lecture Notes in Computer Science 10172",
series editor: G. Goos, J. Hartmanis, J. van Leeuwen;
Springer,
Heidelberg,
2017,
ISBN: 978-3-319-54998-9,
267 pages.
J. Knoop, J. Lee, S. Midkiff, D. Padua (ed.):
"Hardware and Software Consistency Models: Programmability and Performance";
Internationales Begegnungs- und Forschungszentrum für Informatik,
Dagstuhl,
2003.
J. Knoop, G. Necula, W. Zimmermann (ed.):
"Fifth International Workshop on Compiler Optimization Meets Compiler Verification";
TU Wien, EAPLS, EASST und EATCS,
2006.
J. Knoop, G. Necula, W. Zimmermann (ed.):
"Perliminary Proceedings of the 3rd International Workshop on "Compiler Optimization meets Compiler Verification"";
University Barcelona,
Spain,
2004.
J. Knoop, G. Necula, W. Zimmermann (ed.):
"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,
2005,
120 pages.
J. Knoop, G. Necula, W. Zimmermann (ed.):
"Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)";
Elsevier,
2007,
ISSN: 1571-0661;
122 pages.
J. Knoop, A. Prantl (ed.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1,
Wien, Österreich,
2009,
301 pages.
J. Knoop, A. Prantl (ed.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2,
Wien, Österreich,
2009,
56 pages.
J. Knoop, A. Prantl (ed.):
"15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen";
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
35 pages.
J. Knoop, M Schordan, T. Johnson, M.F.P. O´Boyle:
"International Symposium on Code Generation and Optimization (CGO 2018)";
in series "Proceedings of the 2018 International Symposium on Code Generation and Optimization",
series editor: ACM;
issued by: Association for Computing Machinery;
ACM,
New York,
2018,
ISBN: 978-1-4503-5617-6,
377 pages.
J. Knoop, V. Skala (ed.):
"Full Paper Proceedings of the 4th .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-10-0.
J. Knoop, V. Skala (ed.):
"Journal of .NET Technolgies";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-13-5.
J. Knoop, V. Skala (ed.):
"Posters Papers Proceedings of the .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-12-7.
J. Knoop, V. Skala (ed.):
"Short Communication Papers Proceedings of the .NET Technologies 2006";
UNION Agency,
322 00 Plzen, Czech Republic,
2006,
ISBN: 80-86943-11-9.
J. Knoop, U. Zdun:
"Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik";
in series "GI-Edition, Lecture Notes in Informatics (LNI) - Proceedings",
series editor: H. Mayr et al.;
issued by: Gesellschaft für Informatik (GI) e.V., Bonn;
Köllen Druck+Verlag GmbH,
Bonn,
2016,
ISBN: 978-3-88579-646-6,
130 pages.
J. Knoop, W. Zimmermann (ed.):
"COCV'03 - Compiler Optimisation meets Compiler Verification";
Elsevier Computer Science,
Electronic Notes in Theoretical Computer Science,
2003,
116 pages.
J. Knoop, W. Zimmermann (ed.):
"Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002)";
Springer,
2003,
ISSN: 0948-6968;
108 pages.
L. Kovacs, T. Kutsia:
"5th International Symposium on Symbolic Computation in Software Science";
in series "EasyChair EPIC Series volume 15",
series editor: A. Voronkov;
EasyChair,
2013.
L. Kovacs, T. Kutsia:
"6th International Workshop on Automated Specification and Verification of Web Systems (WWV)";
in series "EasyChair EPIC Series volume 18",
series editor: A. Voronkov;
EasyChair,
2013.
L. Kovacs, T. Kutsia (ed.):
"Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV´10)";
Eigenverlag,
TU Wien,
2010,
83 pages.
L. Kovacs, T. Kutsia:
"Special Issue on Automated Speci cation and Veri cation of Web Systems";
in series "Journal of Applied Logic",
series editor: J. Siekmann et al.;
Elsevier B.V.,
2012,
ISSN: 1570-8683,
162 pages.
L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Special issue on Automated Specification and Verification of Web Systems";
in series "Journal of Logic and Algebraic Programming",
series editor: R. De Nicola;
Elsevier,
2013,
ISSN: 1567-8326.
L. Kovacs, R. Pugliese, F. Tiezzi (ed.):
"Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV)";
EPTCS Vol. 61,
2011.
A. Krall (ed.):
"Software and Compilers for Embedded Systems";
Springer,
Vienna,
2003,
ISBN: 3-540-20145-9.
A. Krall, H. Mössenböck (ed.):
"PPPJ'10 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java";
ACM,
New York,
2010,
ISBN: 978-1-4503-0269-2;
173 pages.
A. Krall, R. Stansifer (ed.):
"PPPJ '15 Principles and Practices of Programming on The Java Platform";
Acm Dl,
2015,
ISBN: 978-1-4503-3712-0;
190 pages.
E. Kühn, J Riemer, R. Mordinyi, L. Lechner:
"Integration of XVSM Spaces with the Web to Meet the Challenging Interaction Demands in Pervasive Scenarios";
in series "UBICC Special Issue on Coordination in Pervasive Environments",
series editor: M. Bortenschlager, G. Kotsis, M. Mamei;
UBICC Publishers,
2008,
ISSN: 1992-8424,
12 pages.
V. Salapura, M. Gschwind, J. Knoop:
"Parallel Systems and Compilers";
in series "International Journal of Parallel Programming",
series editor: V. Salapura, M. Gschwind, J. Knoop;
Springer,
2012,
ISSN: 0885-7458,
140 pages.
V. Salapura, M. Gschwind, J. Knoop (ed.):
"Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques";
ACM Press,
New York, USA,
2010,
ISBN: 978-1-4503-0178-7;
596 pages.
Publications in Scientific Journals
N. Bermudo, A. Krall, B. Su, J. Wang:
"Software De-Pipelining for Nested Loops";
International Journal of Computer Science and Electronics Engineering,
1
(2013),
1;
6 pages.
S. Bessler, A Fischer, E. Kühn, R. Mordinyi, S. Tomic:
"Using Tuple-Spaces to manage the Storage and Dissemination of Spatial-temporal Content";
Journal of Computer and System Sciences,
77
(2011),
2;
322
- 331.
N. Bjorner, L. Kovacs:
"Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation,
12
(2012),
47;
1413
- 1415.
J. Blieberger, T. Fahringer, B. Scholz:
"Symbolic Cache Analysis for Real-Time Systems";
Real-Time Systems,
18
(2000),
181
- 215.
A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Foreword to the Special Issue on Symbolic Computation in Software Science";
Journal of Symbolic Computation,
69
(2015),
1
- 2.
F. Brandner, S Hepp, A. Jordan:
"Criticality: static profiling for real-time programs";
Real-Time Systems,
50
(2014),
3;
377
- 410.
K. Casey, M.A. Ertl, D. Gregg:
"Optimizing indirect branch prediction accuracy in virtual machine interpreters";
ACM Transactions on Programming Languages and Systems,
Volume 29
(2007),
Nr. 6;
1
- 36.
D. Drenjanac, S. Tomic, L. Klausner, E. Kühn:
"Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleet";
Information Processing in Agriculture,
1
(2014),
1;
23
- 33.
M.A. Ertl:
"Ankuendigung EuroForth 2006";
Vierte Dimension Das FORTH-Magazin,
Volume 22
(2006),
No. 2;
8.
M.A. Ertl:
"Bericht von der EuroForth 2005";
Vierte Dimension Das FORTH-Magazin,
Vol. 22
(2006),
No. 1;
27.
M.A. Ertl:
"Der Forth-Stammbaum";
Vierte Dimension Das FORTH-Magazin,
Volume 23
(2007),
Ausg. 2;
15
- 18.
M.A. Ertl:
"Einladung zur Forth-Tagung 2007";
Vierte Dimension Das FORTH-Magazin,
22
(2006),
4;
36.
M.A. Ertl:
"Factor, Postscript, und Forth: Ein kleiner Vergleich";
Vierte Dimension Das FORTH-Magazin,
Volume 23
(2007),
Ausg. 2;
10
- 12.
M.A. Ertl:
"Forth 200xTreffen auf der EuroForth 2015";
Vierte Dimension Das FORTH-Magazin,
31
(2015),
3+4;
21.
M.A. Ertl:
"Forth-200X-Treffen auf der EuroForth 2017";
Vierte Dimension Das FORTH-Magazin,
34
(2018),
3;
5
- 6.
M.A. Ertl:
"Forth-200X-Treffen auf der EuroForth 2020";
Vierte Dimension Das FORTH-Magazin,
36
(2020),
4;
36.
M.A. Ertl:
"Forth-2012: Der neue Standard";
Vierte Dimension Das FORTH-Magazin,
32
(2016),
3;
13
- 18.
M.A. Ertl:
"Forth200x - Berichte von den Standardisierungstreffen";
Vierte Dimension Das FORTH-Magazin,
25
(2009),
3;
25.
M.A. Ertl:
"Gforth 0.7.0";
Vierte Dimension Das FORTH-Magazin,
25
(2009),
3;
13
- 14.
M.A. Ertl:
"Threaded Code Varianten und Optimierungen";
Vierte Dimension Das FORTH-Magazin,
1
(2003),
1
- 39.
M.A. Ertl:
"Von Groß- und Kleinbuchstaben";
Vierte Dimension Das FORTH-Magazin,
36
(2020),
4;
21
- 23.
M.A. Ertl:
"Warum ergibt 1 chars den Wert 1?";
Vierte Dimension Das FORTH-Magazin,
37
(2021),
1;
9
- 13.
M.A. Ertl, D. Gregg, A. Krall, B. Paysan:
" Vmgen - a generator of efficient virtual machine interpreters";
Software: Practice and Experience,
32
(2002),
3;
265
- 294.
M.A. Ertl, M. Kaltenbacher:
"Investigation of the dynamics of electromagnetic valves by a coupled magneto-mechanical algorithm including contact mechanics";
COMPEL - The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,
30
(2011),
603
- 621.
M.A. Ertl, C. Thalinger, A. Krall:
"Superinstructions and Replication in the Cacao JVM interpreter";
Journal of .NET Technologies,
Vol. 4
(2006),
ISBN 80-86943-13-5;
25
- 32.
S. Farfeleder, A. Krall, N. Horspool:
"Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures";
Journal of Systems Architecture,
53
(2007),
8;
501
- 510.
M. Giese, A. Ireland, L. Kovacs:
"Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation,
45
(2010),
11;
1097
- 1100.
D. Gregg, M.A. Ertl:
"A Language and Tool for Generating Efficient Virtual Machine Interpreters";
Lecture Notes in Computer Science,
3016
(2004),
196
- 215.
R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis";
Software and Systems Modeling,
Volume 10
(2011),
No. 3;
411
- 437.
R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis";
Journal of Software and Systems Modeling (online-edition),
oB
(2010).
R. Kirner, P. Puschner, A. Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis";
Real-Time Systems,
45
(2010),
1-2;
72
- 105.
J. Knoop:
"Report on ETAPS 2006";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
42
- 47.
J. Knoop:
"Reports of Members of the Extended Boards";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
39
- 40.
J. Knoop:
"The 'Software Analysis and Verification' Column";
European Association of Software Science and Technology (EASST) Newsletters (invited),
Volume 10
(2005),
1;
2 pages.
J. Knoop:
"The Software Analysis and Verification Column";
European Association of Software Science and Technology (EASST) Newsletters,
Vol. 13
(2006),
No. 1;
10
- 13.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution";
Journal of Symbolic Computation,
80
(2017),
101
- 124.
J. Knoop, O. Rüthing:
"Constant Propagation on Predicated Code";
Journal of Universal Computer Science,
9, 8 ( S.829-850)
(2003).
J. Knoop, O. Rüthing, B. Steffen:
"Retrospective: Lazy Code Motion";
ACM SIGPLAN Notices,
39
(2004),
4, Best of PLDI;
460
- 472.
J. Knoop, D. Schreiner:
"Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international";
OCG Journal (invited),
38
(2013),
1;
4
- 6.
L. Kovacs:
"Symbol Elimination for Automated Generation of Program Properties";
ECEASST (invited),
ECEASST
(2014),
70;
1
- 2.
L. Kovacs, T. Kutsia:
"Special issue on Automated Specification and Verification of Web Systems";
Journal of Applied Logic,
10
(2012),
1;
1
- 2.
L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi:
"Editorial to the Special issue on Automated Specification and Verification of Web Systems";
Journal of Logic and Algebraic Programming,
82
(2013),
8;
241
- 242.
A. Krall, G. Barany:
"Special Issue: Compilers for Parallel Computing (CPC 2010) (Editorial)";
Concurrency and Computation: Practice and Experience,
24
(2012),
5;
443
- 444.
A. Krall, I Pryanishnikov, U. Hirnschrott, Ch. Panis:
"xDSPcore: A Compiler-Based Configurable Digital Signal Processor";
IEEE Micro,
24
(2004),
Issue 4;
67
- 78.
E. Kühn:
"Reusable Coordination Components: Reliable Development of Cooperative Information Systems";
International Journal of Cooperative Information Systems,
25
(2016),
4.
E. Kühn, S. Craß, J. Binder, V. Sesum-Cavic:
"XVSM Micro-Room Process Modeler";
International Journal of Cooperative Information Systems,
28
(2019),
2.
E. Kühn, G. Fessl, F. Schmied:
"Aspect-Oriented Programming with Runtime-Generated Subclass Proxies and .NET Dynamic Methods";
Journal of .NET Technologies,
Volume 4
(2006),
No 1;
17
- 24.
M. Lackner, A. Krall, F. Puntigam:
"Supporting Design by Contract in Java";
Journal of Object Technology,
http://www.jot.fm/issues/issue_2002_08/article4
(2002).
L. Li, J. Xue, J. Knoop:
"Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs";
ACM Transactions on Embedded Computing Systems,
10
(2010),
2.
B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa:
"Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code";
International Journal on Software Tools for Technology Transfer,
15
(2013),
1;
53
- 63.
U. Neumerkel:
"Systematisches Testen eines Constraint-Systems";
ZIDline,
19
(2008),
19;
30
- 31.
I Pryanishnikov, A. Krall, N. Horspool:
"Compiler Optimizations for Processors with SIMD Instructions";
Software: Practice and Experience,
Volume 37
(2006),
No 1;
93
- 113.
F. Puntigam:
"Synchronization as a Special Case of Access Control";
Electronic Notes in Theoretical Computer Science (ENTCS),
241
(2009),
113
- 133.
F. Puntigam, C. Peter:
"Types for Active Objects with Static Deadlock Prevention";
Fundamenta Informaticae,
48
(2001),
4;
315
- 341.
D. Quinlan, M. Schordan, B. Miller, M. Kowarschik:
"Parallel Object-Oriented Framework Optimization";
Concurrency and Computation: Practice and Experience,
16
(2004),
Issue 2-3;
293
- 302.
M. Raab:
"Elektra: universal framework to access configuration parameters";
The Journal of Open Source Software,
The Open Journal
(2016),
8;
2 pages.
S. Saghafi, N. Haghi-Danaloo, K. Becker, I. Sabdyusheva-Litschauer, M. Foroughipour, C. Hahn, M. Pende, M. Wanis, M. Bergmann, J. Stift, B. Hegedus, B. Dome, H. Dodt:
"Reshaping a multimode laser beam into a constructed Gaussian beam for generating a thin light sheet";
Journal of Biophotonics,
11
(2018),
6.
T. Scheller, E. Kühn:
"Automated measurement of API usability: The API Concepts Framework";
Information and Software Technology,
61
(2015),
145
- 162.
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:
"T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems";
Journal of Systems Architecture,
Volume 61
(2015),
Issue 9;
449
- 471.
M. Schordan:
"The Language of the Visitor Design Pattern";
Journal of Universal Computer Science,
Vol. 12
(2006),
7;
849
- 867.
D. Schreiner, G. Barany, M Schordan, J. Knoop:
"Comparison of type-based and alias-based component recognition for embedded systems software";
International Journal on Software Tools for Technology Transfer,
15
(2013),
1;
41
- 52.
V. Sesum-Cavic, E. Kühn, L. Fleischhacker:
"Efficient Search and Lookup in Unstructured P2P Overlay Networks Inspired by Swarm Intelligence";
IEEE Transactions on Emerging Topics in Computational Intelligence,
4
(2020),
3;
351
- 368.
V. Sesum-Cavic, E. Kühn, D. Kanev:
"Bio-inspired search algorithms for unstructured P2P overlay networks";
Swarm and Evolutionary Computation,
29
(2016),
73
- 93.
Y. Shi, K. Casey, D. Gregg, M.A. Ertl:
"Virtual machine showdown: Stack versus registers";
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION,
Volume 4
(2008),
Nr. 4;
1
- 36.
A. Soteropoulos, M. Mitteregger, M. Berger, J. Zwirchmayr:
"Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles";
Transportation Research Part A,
136
(2020),
21 pages.
V. Xavier, N. Bermudo, J. Llosa, A. Gonzalez:
"A fast and accurate framework to analyze and optimize cache memory behavior";
ACM Transactions on Programming Languages and Systems,
26
(2004),
2;
263
- 300.
Contributions to Books
F. Brandner, R.N. Horspool, A. Krall:
"DSP Instruction Set Simulation";
in: "Handbook of Signal Processing Systems",
B. Bhattacharyya, E. Deprettere, R. Leupers, J. Takala (ed.);
Springer,
2010,
ISBN: 978-1-4419-6344-4,
679
- 705.
A. Krall, N. Horspool:
"Optimizations for Object-Oriented Languages";
in: "The Compiler Design Handbook",
CRC Press,
Boca Raton,
2002,
ISBN: 08493-1240-x,
219
- 246.
A. Krall, N. Horspool:
"Optimizations for Object-Oriented Languages";
in: "The COMPILER DESIGN Handbook: Optimizations and Machine Code Generation (second edition)",
Y. Srikant, P. Shankar (ed.);
CRC Press,
Boca Raton, FL, USA,
2008,
ISBN: 978-1-4200-4382-2,
13-1
- 13-29.
R. Mordinyi, E. Kühn:
"Coordination Mechanisms in Complex Software Systems";
in: "Next Generation Data Technologies for Collective Computational Intelligence",
N. Bessis, F. Xhafa (ed.);
Springer-Verlag, Heidelberg,
2011,
ISBN: 978-3-642-20343-5,
3
- 30.
T Moser, R. Mordinyi, A. Mikula, S. Biffl:
"Efficient Integration of Complex Information Systems in the ATM Domain with Explicit Expert Knowledge Models";
in: "Complex Intelligent Systems and Their Applications",
Springer-Verlag,
New York,
2010,
ISBN: 978-1-4419-1635-8,
1
- 19.
T Moser, R. Mordinyi, W. Sunindyo, S. Biffl:
"Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints";
in: "Canadian Semantic Web: Technologies and Applications",
W. Du, F. Ensan (ed.);
Springer-Verlag,
University of New Brunswick, Canada,
2010,
ISBN: 978-1-4419-7334-4,
133
- 157.
M. Raab:
"Unanticipated Context Awareness for Software Configuration Access Using the getenv API";
in: "Computer and Information Science",
Volume 656 of the series Studies in Computational Intelligence;
issued by: Springer International Publishing;
Springer International Publishing,
Switzerland,
2016,
ISBN: 978-3-319-40171-3,
41
- 57.
V. Sesum-Cavic, E. Kühn:
"Self-Organized Load Balancing through Swarm Intelligence";
in: "Next Generation Data Technologies for Collective Computational Intelligence",
N. Bessis, F. Xhafa (ed.);
Springer-Verlag,
2011,
ISBN: 978-3-642-20343-5,
195
- 224.
Contributions to Proceedings
E. Altman, J. C. Dehnert, C. Kessler, J. Knoop:
"Executive Summary on the Dagstuhl-Seminar 05101";
in: "Dagstuhl-Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges",
Dagstuhl Research,
2005.
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"SmacC: A Retargetable Symbolic Execution Engine";
in: "AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013",
issued by: Dang Van Hung and Mizuhito Ogawa;
Springer LNCS 8172,
2013.
R. Blanc, A. Gupta, L. Kovacs, B. Kragl:
"Tree Interpolation in Vampire";
in: "Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-19)",
M. Kenneth, A. Middeldorp, A. Voronkov (ed.);
Springer LNCS 8312,
2013,
ISBN: 978-3-642-45220-8,
173
- 181.
R. Blanc, T. Henzinger, T. Hottelier, L. Kovacs:
"ABC: Algebraic Bound Computation for Loops";
in: "Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)",
Springer LNAI 6355,
Springer,
2010,
ISBN: 978-3-642-17510-7,
103
- 118.
S. Brunthaler:
"Efficient Interpretation using Quickening";
in: "Proceedings of the 6th International Symposium on Dynamic Languages (DLS 2010)",
W.D. Clinger (ed.);
issued by: Association for Computing Machinery (ACM);
ACM Press,
New York, USA,
2010,
ISBN: 978-1-4503-0405-4,
1
- 14.
S. Brunthaler:
"Inline Caching Meets Quickening";
in: "Proceedings ECOOP 2010 -- Object-Oriented Programming: 24th European Conference",
Springer-Verlag,
Heidelberg, LNCS 6183,
2010,
ISBN: 978-3642141065,
429
- 451.
S. Brunthaler, J. Knoop:
"Elimination of Reference Count Operations in Bytecode Interpreters";
in: "Proceedings Junior Scientist Conference 2010 (JSC 2010)",
issued by: Vienna University of Technology;
Vienna University of Technology,
Wien, Österreich,
2010,
ISBN: 978-3-200-01797-9,
39
- 40.
S. Craß, T. Dönz, G. Joskowicz, E. Kühn, A. Marek:
"Securing a Space-Based Service Architecture with Coordination-Driven Access Control";
in: "Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), Special Issue on Frontiers in Security and Dependability",
E. Weippl, A. Tjoa, S. Tjoa (ed.);
Innovative Information Science & Technology Research Group (ISYOU),
Seoul, Republik Korea,
2013,
22 pages.
S. Craß, J. Hirsch, E. Kühn, V. Sesum-Cavic:
"Modeling a Flexible Replication Framework for Space-Based Computing";
in: "Communications in Computer and Information Science 457: Software Technologies (ICSOFT 2013, Revised Selected Papers)",
Springer,
2014, (invited),
ISBN: 978-3-662-44919-6,
256
- 272.
I. Dragan, L. Kovacs:
"Lingva: Generating and Proving Program Properties using Symbol Elimination";
in: "9th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2014)",
Springer LNCS,
St. Petersburg, Russia,
2014.
M.A. Ertl:
"A Look at Gforth Performance";
in: "EuroForth",
M.A. Ertl (ed.);
EuroForth,
2009,
23
- 31.
M.A. Ertl:
"Forth Family Tree and Timeline";
in: "EuroForth 2004 Conference Proceedings",
EuroForth 2004,
2004,
1
- 4.
M.A. Ertl:
"Methods in objects2: Duck Typing and Performance";
in: "28th EuroForth Conference",
EuroForth,
2012,
96
- 103.
M.A. Ertl:
"Retargeting JIT Compilers by Using C-Compiler Generated Executable Code";
in: "Parallel Architecture and Compilation Techniques",
issued by: IEEE Computer Society;
IEEE Computer Society,
The Printing House, USA,
2004,
ISBN: 0-7695-2229-7,
41
- 50.
M.A. Ertl:
"STATE - Why it is Evil and How to Exorcise it";
in: "14th euroFORTH conference on the FORTH Programming Language",
issued by: International Centre for Informatics;
Eigenverlag,
Dagstuhl,
1998,
1
- 8.
M.A. Ertl et al.:
"Implementation Issues for Superinstructions in Gforth";
in: "19th EuroForth Conference",
issued by: EuroForth;
euroFORTH conference,
Ross-on-Wye, UK,
2003,
26
- 34.
M.A. Ertl, D. Gregg:
"Combing Stack Caching with Dynamic Superinstructions";
in: "Interpreters,Virtual Machines and Emulators (IVME`04)",
ACM,
2004,
7
- 14.
M.A. Ertl, D. Gregg:
"Stack Caching in Forth";
in: "Proceedings of the 21st EuroForth Conference",
University of Cantabria,
2005,
6
- 15.
M.A. Ertl, B. Paysan:
"Xchars or Unicode in Forth";
in: "Proceedings of the 21st EuroForth Conference",
University of Cantabria,
2005,
16
- 20.
M. Gerndt, C. Tseng, M. O Boyle, M. Schordan:
"Compilers for High Performance - Introduction";
in: "Euro-Par 2003 Parallel Processing",
Springer,
2003,
ISBN: 3-540-40788-x,
241.
T. Henzinger, T. Hottelier, L. Kovacs, A. Rybalchenko:
"Aligators for Arrays (Tool Paper)";
in: "Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)",
Springer LNCS 6397,
Springer,
2010,
ISBN: 978-3-642-16241-1,
348
- 356.
S Hepp, M. Schöberl:
"Worst-Case Execution Time Based Optimization of Real-Time Java Programs";
in: "15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing",
IEEE,
Shenzhen, Guangdong China,
2012,
ISBN: 978-1-4673-0499-3,
64
- 70.
U. Hirnschrott:
"VLIW Operation Refinement for Reducing Energy Consumption";
in: "2003 International Symposium on System-onChip",
issued by: IEEE;
IEEE,
Tampere,
2003,
ISBN: 0-7803-8160-2,
131
- 134.
K. Hoder, L. Kovacs, A. Voronkov:
"Interpolation and Symbol Elimination in Vampire";
in: "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)",
Springer LNCS 6173,
2010,
ISBN: 978-3-642-14202-4,
188
- 195.
N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2008,
ISBN: 978-3-939897-10-1,
23 pages.
A. Jordan, F. Brandner, M. Schoeberl:
"Static analysis of worst-case stack cache behavior";
in: "Proceedings of the 21st International conference on Real-Time Networks and Systems",
ACM,
2013,
ISBN: 978-1-4503-2058-0,
55
- 64.
J. Knoop:
"From Trusted Annotations to Verified Knowledge";
in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen",
J. Knoop, A. Prantl (ed.);
issued by: Institut für Computersprachen, TU Wien;
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
13.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds";
in: "21st International Conference on Real-Time Networks and Systems",
Acm Dl,
2013.
J. Knoop, W. Zimmermann:
"On the Role of Non-Functional Properties in Compiler Verification";
in: "4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)",
T. Margaria, B. Steffen (ed.);
issued by: Springer-Verlag, Heidelberg;
Springer-Verlag,
Heidelberg, LNCS 6416,
2010,
ISBN: 3-642-16560-5,
491
- 495.
A. Kovacs, L. Kovacs:
"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",
issued by: Branko Katalinic;
DAAAM International, Vienna, Austria,
Vienna,
2012,
ISBN: 978-3-901509-91-9,
4 pages.
A. Kovacs, L. Kovacs:
"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"",
DAAAM International, Volume 22, Nr. 1,
Vienna, Austria,
2011,
ISBN: 978-3-901509-83-4,
1147
- 1148.
L. Kovacs, A. Mantsivoda, A. Voronkov:
"The Inverse Method for Many-Valued Logics";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)",
F. Castro, A. Gelbukh, M. Gonzalez (ed.);
Springer LNCS 8265,
2013,
ISBN: 978-3-642-45113-3,
12
- 23.
L. Kovacs, N. Sharygina, S. Rollini:
"A Parametric Interpolation Framework for First-Order Theories.";
in: "Proceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI)",
F. Castro, A. Gelbukh, M. Gonzalez (ed.);
Springer LNCS 8265,
2013,
ISBN: 978-3-642-45113-3,
24
- 40.
L. Kovacs, A. Voronkov:
"First-Order Theorem Proving and Vampire";
in: "Proceedings of the 25th International Conference on Computer Aided Verification",
N. Sharygina, H. Veith (ed.);
Springer LNCS 8044,
2013, (invited),
ISBN: 978-3-642-39798-1,
1
- 35.
A. Krall, Ch. Panis, G. Laure, W Lazian, H Greunbacher, J Nurmi:
"Design Space Exploration for Configurabl";
in: "International Signal Processing Conference",
A. Smailagic (ed.);
GSPx,
Dallas,
2003.
E. Kühn:
"A Distributed Ledger Technology Based on Shared Write-Once Objects";
in: "Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday",
LNCS 11665;
Springer,
2019, (invited),
ISBN: 978-3-030-21484-5,
136
- 151.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis",
N. Holsti (ed.);
issued by: Oesterreichische Computer Gesellschaft / Austrian Computer Society;
Verlag Oesterreichische Computer Gesellschaft,
Wien,
2009,
ISBN: 978-3-85403-252-6,
39
- 49.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
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.
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"Towards an Orchestrated Approach for Annotation Verification";
in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"",
M. Hanus, F. Reck (ed.);
Christian-Albrechts-Universität Kiel, Deutschland,
Kiel, Bericht Nr. 1010,
2010,
71
- 85.
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis";
in: "Dagstuhl Seminar Proceedings 08003",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Germany,
2008,
ISBN: 978-3-939897-10-1,
8 pages.
M. Probst:
"Dynamic Binary Translation";
in: "UKUUG Linux Developer`s Conference 2002",
Organisationskomitee UKUUG Linux Developer`s Conference 2002,
2002,
1
- 5.
F. Puntigam:
"From Static to Dynamic Process Types";
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.
M. Raab, B. Denner, S. Hahnenberg, J. Cito:
"Unified Configuration Setting Access in Configuration Management Systems";
in: "Proceedings of the 28th International Conference on Program Comprehension",
ACM Digital Library,
New York,
2020,
331
- 341.
D. Schreiner, C. Punzengruber:
"Parametrizing Motion Controllers of Humanoid Robots by Evolution";
in: "INFORMATIK 2011",
GI-Edition - Lecture Notes in Informatics (LNI), P-191,
Berlin,
2011,
ISBN: 978-3-88579-286-4.
Y. Shi, D. Gregg, A. Beatty, M.A. Ertl:
"Virtual Machine Showdown: Stack Versus Registers";
in: "Proceedings of the First International Conference on Virtual Execution Environments",
ACM,
2005,
ISBN: 1-59593-047-7,
153
- 163.
Talks and Poster Presentations (with Proceedings-Entry)
R. Abe, M. Beinhart, S. Biffl, E. Kühn, M. Ly, B. Thurnher:
"Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application"";
Poster: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04),
Cyprus;
2004-10-30
- 2004-11-02; in: "Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods(ISOLA 2004)",
Department of Computer Science, University Cyprus,
TR-2004-6
(2004),
42
- 43.
W. Ahrendt, L. Kovacs, S. Robillard:
"Reasoning About Loops Using Vampire in KeY";
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.
G. Barany:
"Integrated Code Motion and Register Allocation";
Poster: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014),
Corfu;
2014-10-08
- 2014-10-11; in: "ISoLA '14 Doctoral Symposium",
(2014).
G. Barany:
"pylibjit: A JIT Compiler Library for Python";
Talk: 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 13),
Lutherstadt Wittenberg, Deutschland;
2013-09-29
- 2013-10-02; in: "17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 13)",
(2013),
9 pages.
G. Barany:
"pylibjit: A JIT Compiler Library for Python";
Talk: 7. Arbeitstagung Programmiersprachen (ATPS 2014),
Kiel, Deutschland;
2014-02-26; in: "Software Engineering Workshops 2014",
CEUR Workshop Proceedings,
Vol-1129
(2014),
213
- 224.
G. Barany:
"Python Interpreter Performance Deconstructed";
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).
G. Barany:
"Register Reuse Scheduling";
Talk: 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9),
Chamonix;
2011-04-02; in: "9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9)",
(2011),
8 pages.
G. Barany:
"SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "Programmiersprachen und Grundlagen der Programmierung",
A. Prantl, J. Knoop (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
27
- 37.
G. Barany:
"Static and Dynamic Method Unboxing for Python";
Talk: 6. Arbeitstagung Programmiersprachen (ATPS 2013),
Aachen, Deutschland;
2013-02; in: "Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium)",
GI-Edition - Lecture Notes in Informatics (LNI),
P-215
(2013),
ISBN: 978-3-88579-609-1;
43
- 58.
G. Barany:
"Value Flow Graph Analysis with SATIrE";
Talk: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Wadern, Deutschland (invited);
2008-04-13
- 2008-04-18; in: "Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis",
Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
6 pages.
G. Barany, A. Jordan, V. Pavlu, A. Krall:
"Optimal and Heuristic Code Generation for Explicitly Parallel Processors";
Poster: ACACES 2010,
Terrassa (Barcelona), Spanien;
2010-07-11
- 2010-07-17; in: "ACACES 2010 Poster Abstracts",
HiPEAC,
(2010),
ISBN: 9789038216317;
87
- 88.
G. Barany, A. Krall:
"Optimal and Heuristic Global Code Motion for Minimal Spilling";
Talk: Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,
Rom, Italien;
2013-03-16
- 2013-03-24; in: "Compiler Construction",
Lecture Notes in Computer Science,
7791
(2013),
ISBN: 978-3-642-37050-2;
21
- 40.
G. Barany, A. Krall:
"Optimistic Integrated Instruction Scheduling and Register Allocation";
Poster: Junior Scientist Conference 2010,
Vienna;
2010-04-07
- 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010",
(2010),
ISBN: 978-3-200-01797-9;
97
- 98.
G. Barany, A. Krall:
"Optimistic Integrated Instruction Scheduling and Register Allocation";
Talk: 15th Workshop on Compilers for Parallel Computing (CPC 2010),
Wien;
2010-07-07
- 2010-07-09; in: "15th Workshop on Compilers for Parallel Computing (CPC 2010)",
(2010),
15 pages.
G. Barany, A. Prantl:
"Source-Level Support for Timing Analysis";
Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010),
Heraklion, Griechenland;
2010-10-18
- 2010-10-20; in: "Leveraging Applications of Formal Methods, Verification and Validation",
Lecture Notes in Computer Science,
6416
(2010),
434
- 448.
M. Barisits, E. Kühn, M. Lassnig:
"A Hybrid Simulation Model for Data Grids";
Talk: 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid),
Cartagena de Indias, Kolumbien;
2016-05-16
- 2016-05-19; in: "Proceedings 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing - CCGrid 2016",
IEEE,
(2016),
ISBN: 978-1-5090-2453-7;
255
- 260.
N. Bermudo, A. Krall, N. Horspool:
"Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions";
Talk: Fifth IEEE International Workshop on Source Code Analysis and Manipulation,
Budapest, Hungary;
2005-09-30
- 2005-10-01; in: "Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation",
IEEE Press,
(2005),
ISBN: 0-7695-2292-0;
107
- 116.
S. Bessler, E. Kühn, T. Paulin:
"Disruption tolerance in vehicle to infrastructure communication: Making a Case for Intelligent Roadside Infrastructure";
Talk: 19th ITS World Congress (ITS World 2012),
Vienna, Austria;
2012-10-22
- 2012-10-26; in: "19th ITS World Congress (ITS World 2012)",
(2012),
11 pages.
S. Bessler, S. Tomic, E. Kühn, R. Mordinyi, H.D. Goiss:
"SABRON: A Storage and Application Based Routing Overlay Network for Intelligent Transportation Systems";
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.
A. Biere, I. Dragan, L. Kovacs, A. Voronkov:
"Experimenting with SAT Solvers in Vampire";
Talk: Lecture Notes in Computer Science,
Mexico;
2014-11-16
- 2014-11-22; in: "Human-Inspired Computing and Its Applications - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014",
Mexico
(2014),
ISSN: 0302-9743;
431
- 442.
A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Auspicious Couple: Symbolic Execution and WCET Analysis";
Talk: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013),
Paris;
2013-07-09; in: "Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)",
C Maiza (ed.);
(2013),
ISBN: 978-3-939897-54-5;
51
- 60.
S. Biffl, R. Mordinyi, T Moser:
"Automated Derivation of Configurations for the Integration of Software(+) Engineering Environments";
Talk: 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010),
Antwerp Belgium;
2010-09-20; in: "Proc. 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010)",
(2010),
6
- 13.
S. Biffl, R. Mordinyi, T Moser, D. Wahyudin:
"Ontology-supported quality assurance for component-based systems configuration";
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.
S. Biffl, R. Mordinyi, A. Schatten:
"A Model-Driven Architecture Approach Using Explicit Stakeholder Quality Requirement Models for Building Dependable Information Systems";
Talk: Workshop on Software Quality,
Minneapolis, MN, USA;
2007-05-20
- 2007-05-26; in: "Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007)",
IEEE Computer Society,
Los Alamitos, CA, USA
(2007),
ISBN: 0-7695-2959-3.
J. Blieberger, B. Burgstaller, B. Scholz:
"Busy Wait Analysis";
Talk: Reliable Software Technologies - Ada-Europe,
Toulouse, France;
2003-06-16
- 2003-06-20; in: "Lecture Notes in Computer Science - Ada-Europe",
Springer-Verlag,
2655
(2003),
ISBN: 3-540-40376-0;
142
- 152.
J. Blieberger, B. Burgstaller, B. Scholz:
"Interprocedural Symbolic Evaluation of Ada Programs with Aliases";
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.
J. Blieberger, B. Burgstaller, B. Scholz:
"Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs";
Talk: Reliable Software Technologies - Ada-Europe,
Potsdam, Germany;
2000-06-26
- 2000-06-30; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
Springer-Verlag,
1845
(2000),
ISBN: 3-540-67669-4;
225
- 237.
J. Blieberger, J. Klasek, E. Kühn:
"Ada Binding to a Shared Object Layer";
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.
F. Brandner, D. Ebner, A. Krall:
"Compiler Generation from Structural Architecture Descriptions";
Talk: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems,
Salzburg;
2007-09-30
- 2007-10-03; in: "Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems",
A. Donlin (ed.);
ACM,
(2007),
ISBN: 978-1-59593-826-8;
13
- 22.
F. Brandner, A. Fellnhofer, A. Krall, D. Riegler:
"Fast and Accurate Simulation Using the LLVM Compiler Framework";
Talk: RAPIDO´09,
Paphos;
2009-01-25; in: "1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools",
S. Niar, R. Leupers, O. Temam (ed.);
(2009),
6 pages.
F. Brandner, S Hepp, A. Jordan:
"Static profiling of the worst-case in real-time programs";
Talk: International Conference on Real-Time and Network Systems (RTNS),
Pont a Mousson;
2012-11-08
- 2012-11-09; in: "Proceedings of the 20th International Conference on Real-Time and Network Systems",
C. Rochange, J. Anderson (ed.);
ACM,
(2012),
ISBN: 978-1-4503-1409-1;
101
- 110.
F. Brandner, J. Knoop:
"Exchange between the German and French Compiler Communities";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
J. Knoop, M.A. Ertl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
83
- 84.
F. Brandner, V. Pavlu, A. Krall:
"Execution models for processors and instructions";
Talk: Norchip 2010,
Tampere, Finland;
2010-11-15
- 2010-11-16; in: "Proceedings of the 28th Norchip Conference",
IEEE Proceedings,
(2010),
ISBN: 978-1-4244-8972-5.
F. Brandner, V. Pavlu, A. Krall:
"Modeling Application-Specific Processors for the Use in Cyber-Physical Systems";
Talk: 41. Jahrestagung der Gesellschaft für Informatik,
Berlin, Deutschland;
2011-10-04
- 2011-10-07; in: "Informatik 2011",
Gesellschaft für Informatik e.V. (GI),
192
(2011),
ISBN: 978-3-88579-286-4.
F. Brandner, T. Thorn, M. Schoeberl:
"Embedded JIT Compilation with CACAO on YARI";
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.
S. Brunthaler:
"Efficient Inline Caching without Dynamic Translation";
Poster: 25th ACM Symposium on Applied Computing (SAC 2010),
Sierre, Switzerland;
2010-03-22
- 2010-03-26; in: "Proceedings of the 2010 ACM Symposium on Applied Computing (SAC)",
ACM,
New York, USA
(2010),
ISBN: 978-1-60558-638-0;
2155
- 2156.
S. Brunthaler:
"Inline Caching meets Quickening";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
67.
S. Brunthaler:
"Inline Caching meets Quickening";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-2
(2009),
7
- 21.
S. Brunthaler:
"Inline Caching meets Quickening";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-3
(2009),
8.
S. Brunthaler:
"Interpreter Instruction Scheduling";
Talk: 20th International Conference on Compiler Construction (CC 2011),
Saarbrücken, Deutschland;
2011-03-28
- 2011-03-29; in: "Compiler Construction - Proceedings of the 20th International Conference, CC 2011",
J. Knoop (ed.);
Springer,
LNCS 6601
(2011),
ISBN: 978-3-642-19860-1;
164
- 178.
S. Brunthaler:
"Optimizing High Abstraction-Level Interpreters";
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.
S. Brunthaler:
"Virtual-Machine Abstraction and Optimization Techniques";
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.
S. Brunthaler:
"Virtual-Machine Abstraction and Optimization Techniques";
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.
S. Brunthaler, J. Knoop:
"Optimizing the Python interpreter: Identifying performance bottlenecks.";
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.
B. Burgstaller, B. Scholz, M.A. Ertl:
"An Embedded Systems Programming Environment for C";
Talk: Euro-Par 2006,
Dresden, Germany;
2006-08-29
- 2006-09-01; in: "Euro-Par 2006 Parallel Processing",
Lecture Notes in Computer Science, Springer Verlag,
Volume 4128
(2006),
ISBN: 978-3-540-37783-2;
1204
- 1216.
D. Cerizza, E. Valle, D. Foxvog, R. Krummenacher, M. Murth:
"Towards European Patient Summaries based on Triple Space Computing";
Talk: European Conference on eHealth 2006,
Fribourg, Switzerland;
2006-10-12
- 2006-10-13; in: "Proceedings of the 1st European Conference on eHealth",
Lecture Notes in Informatics,
P-91
(2006),
ISBN: 978-3-88579-185-0.
P. Cerny, T. Henzinger, L. Kovacs, A. Radhakrishna, J. Zwirchmayr:
"Segment Abstraction for Worst-Case Execution Time Analysis";
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.
S. Craß, T. Dönz, G. Joskowicz, E. Kühn:
"A Coordination-Driven Authorization Framework for Space Containers";
Talk: Seventh International Conference on Availability, Reliability, and Security (ARES 2012),
Prague;
2012-08-20
- 2012-08-24; in: "Availability, Reliability and Security (ARES), 2012 Seventh International Conference on",
IEEE,
(2012),
ISBN: 978-1-4673-2244-7;
133
- 142.
S. Craß, J. Hirsch, E. Kühn, V. Sesum-Cavic:
"An Adaptive and Flexible Replication Mechanism for Space-based Computing";
Talk: 8th International Conference on Software Paradigm Trends,
Reyjkjavik, Island;
2013-07-29
- 2013-07-31; in: "ICSOFT 2013 - 8th International Joint Conference on Software Technologies: Proceedings",
J. Cordeiro, D. Marca, M. van Sinderen (ed.);
SciTePress,
(2013),
ISBN: 978-989-8565-68-6;
599
- 606.
S. Craß, G. Joskowicz, E. Kühn:
"A Decentralized Access Control Model for Dynamic Collaboration of Autonomous Peers";
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.
S. Craß, E. Kühn:
"A Coordination-Based Access Control Model for Space-Based Computing";
Poster: 27th Annual ACM Symposium on Applied Computing, SAC 2012,
Riva del Garda (Trento), Italy;
2012-03-26
- 2012-03-30; in: "Proceedings of the 27th Annual ACM Symposium on Applied Computing",
ACM,
(2012),
ISBN: 978-1-4503-0857-1;
1560
- 1562.
S. Craß, E. Kühn, S. Bessler, T. Paulin:
"A Generic Load Balancing Framework for Cooperative ITS Applications";
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.
S. Craß, E. Kühn, G. Salzer:
"Algebraic foundation of a data model for an extensible space-based collaboration protocol";
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.
S. Craß, E. Kühn, V. Sesum-Cavic, H. Watzke:
"An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware";
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.
A. Cyment, F. Schmied:
"An Analysis on Existing and Potential Weaving Mechanisms for the .NET Framework";
Talk: Second International Conference on Innovative Views of .NET Technologies (IVNET'06),
Florianópols, Brazil;
2006; in: "Proceedings of the Second International Conference on Innovative Views of .NET Technologies",
(2006).
D de Francisco, N Pérez, D. Foxvog, A Harth, D Martin, D Wutke, M. Murth:
"Towards a Digital Content Services Design Based on Triple Space";
Talk: BIS 2007,
Poznan;
2007-04-25
- 2007-04-27; in: "Proceedings of the 10th International Conference on Business Information Systems (BIS)",
(2007),
163
- 179.
P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl:
"A Method Cache for Patmos";
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.
I. Dragan, K. Korovin, L. Kovacs, A. Voronkov:
"Bound Propagation for Arithmetic Reasoning in Vampire";
Talk: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013,
Timisoara, Romania;
2013-09-23
- 2013-09-26; in: "Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",
(2013).
D. Drenjanac, L. Klausner, E. Kühn, S. Tomic:
"Semantic Shared Spaces for Task Allocation in a Robotic Fleet for Precision Agriculture";
Talk: 7th Metadata and Semantics Research Conference (MTSR), Special Track on Metadata and Semantics for Agriculture, Food & Environment (AgroSEM 2013),
Thessaloniki, Griechenland;
2013-11-19
- 2013-11-22; in: "Metadata and Semantics Research",
E. Garoufallou, J. Greenberg (ed.);
CCIS / Springer,
390
(2013),
ISBN: 978-3-319-03436-2;
440
- 446.
D. Drenjanac, S. Tomic, E. Kühn:
"A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets";
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.
D. Ebner, F. Brandner, A. Krall:
"Leveraging Predicated Execution for Multimedia Processing";
Talk: Workshop on Embedded Systems for Real-Time Multimedia,
Salzburg;
2007-10-04
- 2007-10-05; in: "2007 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia",
S. Samarjit Chakraborty (ed.);
IEEE,
(2007),
ISBN: 978-1-4244-1654-7;
85
- 90.
D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec:
"Generalized instruction selection using SSA-graphs";
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.
D. Ebner, B. Scholz, A. Krall:
"Progressive Spill Code Placement";
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.
N. Elaraby, E. Kühn, A. Messinger, S. Radschek:
"Towards a Hybrid Verification Approach";
Talk: Federation of International Conferences on Software Technologies: Applications and Foundations (STAF 2018), Collocated Workshops: FOCLASA,
Toulouse;
2018-06-25
- 2018-06-29; in: "Software Technologies: Applications and Foundations",
Springer LNCS,
11176
(2018),
ISBN: 978-3-030-04771-9;
367
- 386.
M.A. Ertl:
"A Portable C Function Call Interface";
Talk: 22nd EuroForth Conference,
Cambridge, England;
2006-09-15
- 2006-09-17; in: "Proceedings of the 22nd EuroForth Conference",
(2006),
47
- 51.
M.A. Ertl:
"Cleaning up After Yourself";
Talk: 24th EuroForth Conference,
Wien;
2008-09-26
- 2008-09-28; in: "24th EuroForth Conference",
(2008),
35
- 38.
M.A. Ertl:
"Domination-Based Scoping and Static Single Assignment Languages";
Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)",
Timmendorfer Strand, Deutschland;
2007-10-10
- 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung",
Universitaet zu Luebeck,
(2007),
36
- 41.
M.A. Ertl:
"Forth and IDEs";
Talk: EuroForth,
online;
2020-09-04
- 2020-09-06; in: "36th EuroForth Conference",
(2020),
3 pages.
M.A. Ertl:
"Integer Division by Multiplying with the Double-Width Reciprocal";
Talk: 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019),
Baiersbronn, Deutschland;
2019-09-23
- 2019-09-25; in: "20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019)",
(2019),
75
- 84.
M.A. Ertl:
"PAF: A Portable Assembly Language";
Talk: 29th EuroForth Conference,
Hamburg;
2013-09-27
- 2013-09-29; in: "29th EuroForth Conference",
(2013),
30
- 38.
M.A. Ertl:
"PAF: A Portable Assembly Language Based on Forth";
Talk: 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 13),
Lutherstadt Wittenberg, Deutschland;
2013-09-29
- 2013-10-02; in: "17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13)",
(2013),
10 pages.
M.A. Ertl:
"Recognizers: Arguments and Design Decisions";
Talk: EuroForth 2016,
Insel Reichenau;
2016-09-09
- 2016-09-11; in: "EuroForth 2016 Conference",
Eigenverlag,
32/32/Insel Reichenau
(2016),
58
- 63.
M.A. Ertl:
"Region-Based Memory Allocation in Forth";
Talk: 30th EuroForth Conference,
Palma de Mallorca;
2014-09-26
- 2014-09-28; in: "30th EuroForth Conference",
(2014),
45
- 49.
M.A. Ertl:
"Sections";
Talk: EuroForth 2016,
Insel Reichenau;
2016-09-09
- 2016-09-11; in: "EuroForth 2016 Conference",
Eigenverlag,
32/32/Insel Reichenau
(2016),
55
- 57.
M.A. Ertl:
"SIMD and Vectors";
Talk: EuroForth,
Bad Voeslau;
2017-09-08
- 2017-09-10; in: "33rd EuroForth Conference",
(2017),
25
- 36.
M.A. Ertl:
"Software Vector Chaining";
Talk: Manlang'18,
Linz;
2018-09-12
- 2018-09-13; in: "Proceedings of the 15th International Conference on Managed Languages & Runtimes",
ACM,
(2018),
ISBN: 978-1-4503-6424-9;
Paper ID 18,
9 pages.
M.A. Ertl:
"Software Vector Chaining";
Talk: 34th EuroForth Conference,
Edinburgh;
2018-09-14
- 2018-09-17; in: "34th EuroForth Conference",
(2018),
54
- 55.
M.A. Ertl:
"Standardize Strings Now!";
Talk: 29th EuroForth Conference,
Hamburg;
2013-09-27
- 2013-09-29; in: "29th EuroForth Conference",
(2013),
39
- 43.
M.A. Ertl:
"Statische Typüberprüfung";
Talk: Forth-Tagung 2017,
Kalkar, Deutschland;
2017-04-21
- 2017-04-23; in: "Forth-Tagung 2017 in Kalkar",
https://wiki.forth-ev.de/doku.php/events:tagung-2017,
(2017),
17 pages.
M.A. Ertl:
"The Essence of Closures---A language design perspective";
Talk: 21. Kolloquium Programmiersprachen und Programmierung (KPS 2021),
Kiel;
2021-09-27
- 2021-09-29; in: "21. Kolloquium Programmiersprachen und Programmierung (KPS 2021)",
Kiel Computer Science Series / Self-Publishing of Department of Computer Science, Kiel,
2021/7/Kiel
(2021),
ISSN: 2194-6639;
26
- 33.
M.A. Ertl:
"The Evolution of Vmgen";
Talk: 18th EuroForth Conference,
Wien;
2002-09-06
- 2002-09-08; in: "18th EuroForth Conference",
(2002),
33
- 37.
M.A. Ertl:
"The Intended Meaning of Undefined Behaviour in C Programs";
Talk: 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17),
Weimar;
2017-09-25
- 2017-09-27; in: "19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17)",
(2017),
20
- 28.
M.A. Ertl:
"Threaded Code Variations and Optimizations (Extended Version)";
Talk: FORTH-Tagung 2002,
Garmisch-Partenkirchen;
2002-04-18
- 2002-04-21; in: "FORTH-Tagung 2002",
(2002),
1
- 7.
M.A. Ertl:
"Utilizing Multiple Hardware Threads with Pipeline Parallelism";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS '09)",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
69
- 75.
M.A. Ertl:
"Verallgemeinerung von locals";
Talk: Forth-Tagung 2018,
Essen;
2018-04-06
- 2018-04-08; in: "Forth-Tagung 2018 im Linuxhotel Essen",
https://wiki.forth-ev.de/doku.php/events:tagung-2018
(2018),
13 pages.
M.A. Ertl:
"Ways to Reduce the Stack Depth";
Talk: 27th EuroForth Conference,
Wien;
2011-09-23
- 2011-09-25; in: "27th EuroForth Conference",
M.A. Ertl (ed.);
(2011),
36
- 41.
M.A. Ertl:
"What Every Compiler Writer should know about Programmers";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
112
- 133.
M.A. Ertl, K. Casey, D. Gregg:
"Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata";
Talk: Conference on Programming Language Design and Implementation (PLDI),
Ottawa, Canada;
2006-06-10
- 2006-06-16; in: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)",
(2006),
52
- 60.
M.A. Ertl, D. Gregg:
"Building an Interpreter with Vmgen";
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.
M.A. Ertl, B. Paysan:
"Closures - the Forth way";
Talk: 34th EuroForth Conference,
Edinburgh;
2018-09-14
- 2018-09-17; in: "34th EuroForth Conference",
(2018),
17
- 30.
M.A. Ertl, B. Paysan:
"From exit to set-does> --- A Story of Gforth Re-Implementation";
Talk: EuroForth 2015,
Bath, England;
2015-10-02
- 2015-10-04; in: "31st EuroForth Conference",
(2015),
7 pages.
S. Farfeleder, A. Krall, N. Horspool:
"Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures";
Talk: SAMOS V: Embedded Computer Systems: Architectures, MOdeling, and Simulation,
Samos, Greece;
2005-07-18
- 2005-07-20; in: "Lecture Notes in Computer Science",
Springer Verlag,
Volume 3553
(2005),
ISSN: 0302-9743;
222
- 231.
S. Farfeleder, A. Krall, E. Steiner:
"Effective Compiler Generation by Architecture Description";
Talk: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,
Ottawa, Canada;
2006-06; in: "Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems",
ACM,
(2006),
ISBN: 1-59593-362-x;
145
- 152.
S. Farfeleder, T Moser, A. Krall:
"Using Semantic Relatedness and Locality for Requirements Elicitation Guidance";
Talk: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'2012),
San Francisco Bay, USA;
2012-07-01
- 2012-07-03; 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",
(2012),
ISBN: 1-891706-31-4;
19
- 24.
S. Farfeleder, T Moser, A. Krall, T. Stalhane, I. Omoronyia, H. Zojer:
"Ontology-Driven Guidance for Requirements Elicitation";
Talk: 8th Extended Semantic Web Conference (ESWC 2011),
Heraklion, Greece;
2011-05-29
- 2011-06-02; in: "Proceedings of 8th Extended Semantic Web Conference (ESWC 2011)",
(2011),
1
- 15.
S. Farfeleder, T Moser, A. Krall, T. Stalhane, H. Zojer, Ch. Panis:
"DODT: Increasing Requirements Formalism using Domain Ontologies for Improved Embedded Systems Development";
Talk: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011),
Cottbus, Germany;
2011-04-13
- 2011-04-15; in: "Proceedings of 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)",
(2011),
1
- 4.
D. Gregg, M.A. Ertl:
"Inlining in Gforth: Early Experiences";
Talk: EuroForth 2004,
Schloss Dagstuhl, Saarland, Germany;
2004-11-19
- 2004-11-22; in: "EuroForth 2004 Conference Proceedings",
(2004),
33
- 40.
A. Gupta, L. Kovacs, B. Kragl, A. Voronkov:
"Extensional Crisis and Proving Identity";
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.
J. Gustafsson, B. Lisper, M. Schordan, C. Ferdinand, P. Gliwa, M. Jersak, G. Bernat:
"ALL-TIMES - A European Project on Integrating Timing Technology";
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.
M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov:
"Induction with Recursive Definitions in Superposition";
Talk: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021,
New Haven, Connecticut, USA;
2021-10-19
- 2021-10-22; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)",
R. Piskac, M. Wahlen (ed.);
TU Wien Academic Press,
2
(2021),
ISBN: 978-3-85448-046-4;
1
- 10.
S Hepp, F. Brandner:
"Splitting Functions into Single-Entry Regions";
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.
S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner:
"The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015",
(2015).
U. Hirnschrott, A. Krall, B. Scholz:
"Graph -coloring vs.Optimal Register Allocation for Optimizing Compilers";
Talk: Proceedings of the Joint Modular Language Conference,
Klagenfurt;
2003-08-31; in: "Proceedings of the Joint Modular Language Conference",
L. Boszormenyj (ed.);
(2003),
ISBN: 3-540-40796-0;
202
- 213.
K. Hoder, A. Holzer, L. Kovacs, A. Voronkov:
"Vinter: A Vampire-Based Tool for Interpolation";
Talk: Asian Symposium on Programming Languages and Systems (APLAS),
Kyoto, Japan;
2012-12-11
- 2012-12-13; in: "APLAS",
Springer / LNCS,
7705
(2012),
ISBN: 978-3-642-35181-5;
148
- 156.
K. Hoder, L. Kovacs, A. Voronkov:
"Case Studies on Invariant Generation Using a Saturation Theorem Prover";
Talk: 10th Mexican International Conference on Artificial Intelligence (MICAI),
Puebla, Mexico;
2011-11-26
- 2011-12-04; in: "Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI)",
I. Batyrshin, G. Sidorov (ed.);
Springer,
LNAI 7094
(2011),
ISBN: 978-3-642-25323-2;
1
- 15.
K. Hoder, L. Kovacs, A. Voronkov:
"Invariant Generation in Vampire";
Talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Saarbrücken;
2011-03-26
- 2011-04-03; in: "Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
Springer,
LNCS 6605
(2011),
ISBN: 978-3-642-19834-2;
60
- 64.
K. Hoder, L. Kovacs, A. Voronkov:
"Playing in the grey area of proofs";
Talk: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL),
Philadelphia, US;
2012-01-22
- 2012-01-28; in: "Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)",
J. Field, M. Hicks (ed.);
ACM,
(2012),
ISBN: 978-1-4503-1083-3;
259
- 272.
N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
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;
149
- 171.
B. Huber, S Hepp, M. Schöberl:
"Scope-based Method Cache Analysis";
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.
A. Jordan, N. Kim, A. Krall:
"IR-Level Versus Machine-Level If-Conversion for Predicated Architectures";
Talk: 10th Workshop on Optimizations for DSP and Embedded Systems,
Shenzen, China;
2013-02-24; in: "ODES '13 Proceedings of the 10th Workshop on Optimizations for DSP and Embedded Systems",
ACM,
New York, NY, USA
(2013),
ISBN: 978-1-4503-1905-8;
3
- 10.
G. Joskowicz, E. Kühn, M. Murth:
"The XD Model: Extending XML and DOM to Standards Based Coordination";
Talk: 10th IASTED International Conference on Software Engineering and Applications,
Dallas, USA;
2006-11-13
- 2006-11-15; in: "Proceedings of the 10th IASTED International Conference on SoftwareEngineering and Applications",
ACTA Press,
(2006),
ISBN: 0-88986-642-2;
146
- 152.
A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Annotation Languages Reconsidered: The Annotation Language Challenge";
Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2008-05-05
- 2008-05-07; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
10 pages.
A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Language: Essential Ingredients";
Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2008-05-05
- 2008-05-07; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
12 pages.
A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura:
"Distribution Estimation for Probabilistic Loops";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems,
Warsaw, Poland;
2022-09-12
- 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems",
(2022).
N. Kim, A. Krall:
"Integrated Modulo Scheduling and Cluster Assignment for TI TMS320C64x+ Architecture";
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.
R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Languge: Essential Ingredients";
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.
R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07),
Pisa, Italy;
2007-07-03; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis",
(2007),
83
- 99.
R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07),
Pisa;
2007-12-14; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)",
(2007),
77
- 92.
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)",
Timmendorfer Strand, Deutschland;
2007-10-10
- 2007-10-14; in: "Proceedings of the 14. Kolloquium Programmiersprachen",
Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck,
(2007),
124
- 131.
J. Knoop:
"Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis";
Talk: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Dagstuhl, Wadern (invited);
2008-04-13
- 2008-04-18; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis",
F. Martin, H. Nielson, C. Riva, M. Schordan (ed.);
Schloss Dagstuhl, Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
1
- 14.
J. Knoop:
"Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field";
Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation,
Schloss Dagstuhl, Dagstuhl, Wadern (invited);
2008-10-26
- 2008-10-31; in: "Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
08441
(2008),
ISSN: 1862-4405;
6.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds";
Talk: 11th International Workshop on Worst-Case Execution-Time Analysis,
Porto, Portugal;
2011-07-05; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis",
C. Healy (ed.);
Österreichische Computer Gesellschaft - OCG,
(2011),
93
- 103.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation)";
Talk: 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Schloss Raesfeld, Münsterland, Deutschland;
2011-09-26
- 2011-09-28; in: "Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)",
Westfälische Wilhelms-Universität Münster,
132
(2011),
200.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)";
Talk: MEMICS 2011 (Mathematical and Engineering Methods in Computer Science),
My Hotel, Lednice, Czech Republic;
2011-10-14
- 2011-10-16; in: "MEMICS Proceedings",
(2011),
119.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis";
Talk: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2011-05-02
- 2011-05-04; in: "28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
(2011).
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Symbolic Loop Bound Computation for WCET Analysis";
Talk: 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011),
Akademgorodok, Novosibirsk, Russland;
2011-06-27
- 2011-07-01; in: "Ershov Informatic Conference, PSI Series, 8th Edition",
Springer-Verlag, Lecture Notes in Computer Science,
7162
(2012),
224
- 239.
J. Knoop, O. Rüthing:
"Constant Propagation on Predicated Code";
Talk: 7th Brazilian Symposium on Programming Languages,
Ouro Preto, Brazil;
2003-05-28
- 2003-05-30; in: "Proceedings of the 7th Brazilian Symposium on Programming Languages (SBLP 2003)",
(2003),
ISBN: 85-88442-45-0;
135
- 148.
E. Kotelnikov, L. Kovacs, A. Voronkov:
"A First Class Boolean Sort in First-Order Theorem Proving and TPTP";
Talk: International Conference on Intelligent Computer Mathematics (CICM),
Washington, DC, USA;
2015-07-13
- 2015-07-17; in: "Proc. of the International Conference on Intelligent Computer Mathematics",
M. Kerber et al. (ed.);
LNCS,
9150
(2015),
ISBN: 978-3-319-20614-1;
71
- 86.
A. Kovacs, L. Kovacs, L. Kovacs:
"The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro les";
Talk: 13th International Conference on Mathematics and its Applications,
Timisoara, Romania;
2012-11-01
- 2012-11-03; in: "Proceedings of 13th International Conference on Mathematics and its Applications.",
Scientific Bulletin of Politehnica University Timisoara, Romania,
(2012),
ISSN: 1224-6069;
241
- 248.
L. Kovacs:
"First-Order Theorem Proving and Program Analysis";
Talk: LCCC-ACCESS workshop on Model-Based Engineering,
Lund, Sweden (invited);
2015-05-04
- 2015-05-06; in: "Proc. of the LCCC-ACCESS workshop on Model-Based Engineering",
J. Baras et al. (ed.);
(2015),
ISSN: 0280-5316;
192
- 217.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Keynote Lecture: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania;
2011-09-26
- 2011-09-29; in: "Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",
D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.);
IEEE Computer Society,
IEEE Computer Society Order Number P4630, BMS Part Number: CFP11387-PRT
(2012),
ISBN: 978-0-7695-4630-8;
12
- 13.
L. Kovacs, A. Kovacs:
"Aligator: Experiments and Limitations";
Talk: 22nd International DAAAM Symposium: "Intelligent Manufactoring and Symposium: Power of Knowledge and Creativity",
Vienna, Austria;
2011-11-23
- 2011-11-26; in: "Proc. of the 22nd International DAAAM Symposium: "Intelligent Manufactoring and Automation: Power of Knowledge and Creativity"",
DAAAM International,
Volume 22, No. 1
(2011),
ISBN: 978-3-901509-83-4;
1145
- 1146.
L. Kovacs, A. Kovacs:
"Examples of Symbol Elimination in Program Verification";
Talk: 13th International Conference on Mathematics and its Applications,
Timisoara, Romania;
2012-11-01
- 2012-11-03; in: "Proceedings of 13th International Conference on Mathematics and its Applications",
Scientific Bulletin of Politehnica University Timisoara, Romania,
(2012),
ISSN: 1224-6069;
145
- 150.
L. Kovacs, G. Moser, A. Voronkov:
"On Transfinite Knuth-Bendix Orders";
Talk: 23rd International Conference on Automated Deduction (CADE-23),
Wroclaw, Poland;
2011-07-31
- 2011-08-05; in: "Proc. of the 23rd International Conference on Automated Deduction (CADE-23)",
N. Bjorner, V. Sofronie-Stokkermans (ed.);
Springer,
LNAI 6803
(2011),
ISBN: 978-3-642-22437-9;
384
- 399.
L. Kovacs, B. Palancz, L. Kovacs:
"Solving Robust Glucose-Insulin Control by Dixon Resultant Computations";
Talk: 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012),
Timisoara, Romania;
2012-09-26
- 2012-09-29; in: "Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scienti c Computing (SYNASC 2012)",
IEEE Proceedings,
(2012).
A. Krall, C. Thalinger, D. Ebner, F. Brandner:
"Short Presentation: Static Verification of Global Heap References in Java Native Libraries";
Talk: Third workshop on Semantics, Program Analysis, and computing Environments for memory management,
Charleston, South Carolina, USA;
2006-01; in: "Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management",
(2006),
98
- 100.
R. Krummenacher, F. Recuerda, M. Murth, J Riemer, Y. Ding, D. Fensel:
"Triple Space Computing: A Framework for the New Communication Paradigm";
Poster: 3rd European Semantic Web Conference (ESWC 2006),
Budva, Montenegro;
2006-06-11
- 2006-06-14; in: "Demos and Posters of the 3rd European Semantic Web Conference",
(2006).
J. Kubalik, R. Mordinyi:
"Optimizing Events Traffic in Event-based Systems by means of Evolutionary Algorithms";
Talk: Second International Conference on Availability, Reliability and Security (ARES 2007),
Wien;
2007-04-10
- 2007-04-13; in: "Workshop on Modeling, Designing, and Testing Correct, Secure, and Dependable Event-Based System (EBITS 2007)",
IEEE Computer Society,
Los Alamitos, CA, USA
(2007),
ISBN: 0-7695-2775-2;
1101
- 1107.
J. Kubalik, R. Mordinyi, S. Biffl:
"Multiobjective Prototype Optimization with Evolved Improvement Steps";
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.
E. Kühn:
"A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator";
Talk: Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec,
Valletta, Malta;
2021-06-14
- 2021-06-18; in: "Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference",
F. Damian, O. Dardha (ed.);
Springer,
Lecture Notes in Computer Science 12717
(2021),
ISBN: 978-3-030-78141-5;
239
- 254.
E. Kühn:
"Flexible Transactional Coordination in the Peer Model";
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.
E. Kühn:
"The Zero-Delay Data Warehouse: Mobilizing Heterogeneous Databases";
Talk: Very Large Databases (VLDB),
Berlin;
2003-09-01
- 2003-09-05; in: "Proceedings of the Very Large Databases Conference",
J. Freytag, P. Lockemann, S. Abiteboul, M. Carey, P. Selinger, A. Heuer (ed.);
Morgan Kaufmann,
Berlin
(2003),
ISBN: 0-12-722442-4;
20
- 29.
E. Kühn, M. Beinhart, M. Murth:
"Improving Data Quality of Mobile Internet Applications with an Extensible Virtual Shared Memory Approach";
Talk: IADIS International Conference WWW/Internet 2005,
Lisbon, Portugal;
2005-11-19
- 2005-11-22; in: "Proceedings of the IADIS International Conference WWW/Internet 2005",
IADIS Press,
(2005),
ISBN: 972-8924-02-x;
443
- 450.
E. Kühn, S. Craß:
"Coordination Pattern-Based Approach for Auto-Scaling in Multi-Clouds";
Talk: 32nd International Conference on Advanced Information Networking and Applications Workshops (IEEE WAINA 2018), CCPI,
Krakau;
2018-05-16
- 2018-05-18; in: "2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)",
IEEE,
(2018),
ISBN: 978-1-5386-5395-1;
368
- 373.
E. Kühn, S. Craß, Th. Hamböck:
"Approaching Coordination in Distributed Embedded Applications with the Peer Model DSL";
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.
E. Kühn, S. Craß, G. Joskowicz, A. Marek, T. Scheller:
"Peer-Based Programming Model for Coordination Patterns";
Talk: 15th International Conference on Coordination Models and Languages (COORDINATION 2013),
Florenz, Italien;
2013-06-03
- 2013-06-05; in: "Coordination Models and Languages",
R. de Nicola, C. Julien (ed.);
LNCS / Springer,
7890
(2013),
ISBN: 978-3-642-38492-9;
121
- 135.
E. Kühn, S. Craß, G. Joskowicz, M. Novak:
"Flexible Modeling of Policy-Driven Upstream Notification Strategies";
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.
E. Kühn, S. Craß, G. Schermann:
"Extending a Peer-Based Coordination Model with Composable Design Patterns";
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.
E. Kühn, A. Marek, T. Scheller, V. Sesum-Cavic, M. Vögler, S. Craß:
"A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents";
Talk: 14th International Conference on Coordination Models and Languages, COORDINATION 2012,
Stockholm, Sweden;
2012-06-14
- 2012-06-15; in: "Proceedings of the 14th international conference on Coordination Models and Languages",
Springer,
LNCS 7274
(2012),
ISBN: 978-3-642-30828-4;
230
- 244.
E. Kühn, R. Mordinyi, H.D. Goiss, S. Bessler, S. Tomic:
"A P2P Network of Space Containers for Efficient Management of Spatial-Temporal Data in Intelligent Transportation Scenarios";
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.
E. Kühn, R. Mordinyi, H.D. Goiss, T Moser, S. Bessler, S. Tomic:
"Integration of Shareable Containers with Distributed Hash Tables for Storage of Structured and Dynamic Data";
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.
E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber:
"Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems";
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.
E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber:
"Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain";
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.
E. Kühn, R. Mordinyi, L. Keszthelyi, C. Schreiber, S. Bessler, S. Tomic:
"Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems";
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.
E. Kühn, R. Mordinyi, M. Lang, A. Selimovic:
"Towards Zero-delay Recovery of Agents in Production Automation Systems";
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.
E. Kühn, R. Mordinyi, C. Schreiber:
"An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems";
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.
E. Kühn, S. Radschek:
"An initial user study comparing the readability of a graphical coordination model with Event-B notation";
Talk: 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017),
Trento, Italien;
2017-09-04
- 2017-09-05; in: "Software Engineering and Formal Methods",
Springer,
(2018),
ISBN: 978-3-319-74781-1;
574
- 590.
E. Kühn, S. Radschek, N. Elaraby:
"Distributed Coordination Runtime Assertions for the Peer Model";
Talk: 20th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2018),
Madrid;
2018-06-18
- 2018-06-21; in: "Coordination Models and Languages",
Springer LNCS,
10852
(2018),
ISBN: 978-3-319-92408-3;
200
- 219.
E. Kühn, J Riemer, L. Lechner:
"XVSMP/Bayeux: A Protocol for Scalable Space Based Computing in the Web";
Talk: International Workshops on Enabling Technolgies: Infrastructures for Collaborative Enterprises (WETICE),
Paris, Frankreich.;
2007-06-18
- 2007-06-20; in: "16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007 (WETICE 2007)",
IEEE,
(2007),
ISBN: 978-0-7695-2879-3;
68
- 73.
E. Kühn, A. Ruhdorfer, V. Sesum-Cavic:
"Asynchronous replication conflict classification, detection, and resolution for heterogeneous data grids";
Talk: International Conference on Software and Data Technologies (ICSOFT 2006),
Barcelona, Spain;
2007-07-22
- 2007-07-25; in: "Proceedings of the Int. Conf. of Software and Data Technology (ICSOFT-07)",
(2007).
E. Kühn, F. Schmied:
"Attributes&Co - Collaborative Applications with Declarative Shared Objects";
Talk: IADIS International Conference WWW/Internet 2005,
Lisbon, Portugal;
2005-11-19
- 2005-11-22; in: "Proceedings of the IADIS International Conference WWW/Internet 2005",
IADIS Press,
(2005),
ISBN: 972-8924-02-x;
427
- 434.
E. Kühn, F. Schmied:
"XL-AOF - Lightweight Aspects for Space-Based Computing";
Talk: 1st Workshop on Aspect Oriented Middleware Development,
Grenoble, France;
2005-11-28
- 2005-12-02; in: "Proceedings of the 1st workshop on Aspect oriented middleware development",
ACM International Conference Proceeding Series,
Volume 118
(2005),
ISBN: 1-59593-265-8.
E. Kühn, V. Sesum-Cavic:
"A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents";
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.
E. Kühn, V. Sesum-Cavic, T. Schmid:
"Dynamic Migration of Cloud Services";
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.
M. Lackner, A. Krall, F. Puntigam:
"Supporting Design by Contract in Java";
Talk: TOOLS USA 2002,
Santa Barbara, California;
2002-07-28
- 2002-07-31; in: "Trusted Components, Formal Specifications, Eiffel & .NET",
(2002),
1
- 20.
R Lezuo, G. Barany, A. Krall:
"CASM: Implementing an Abstract State Machine based programming language";
Talk: 6. Arbeitstagung Programmiersprachen (ATPS 2013),
Aachen, Deutschland;
2013-02; in: "Software Engineering 2013, Workshopband, (inkl. Doktorandensymposium)",
GI-Edition - Lecture Notes in Informatics (LNI),
P-215
(2013),
ISBN: 978-3-88579-609-1;
75
- 90.
R Lezuo, I. Dragan, G. Barany, A. Krall:
"vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification";
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.
R Lezuo, A. Krall:
"A Unified Processor Model for Compiler Verification and Simulation Using ASM";
Talk: ABZ'12,
Pisa;
2012-06-19
- 2012-06-21; in: "Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z",
(2012),
327
- 330.
R Lezuo, A. Krall:
"Using the CASM Language for Simulator Synthesis and Model Verification";
Talk: RAPIDO'13,
Berlin;
2013-01-21; in: "Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools",
(2013),
6:1
- 6:8.
R Lezuo, P. Paulweber, A. Krall:
"CASM - Optimized Compilation of Abstract State Machines";
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.
B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010),
Heraklion, Griechenland;
2010-10-18
- 2010-10-20; in: "Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods",
T. Margaria, B. Steffen (ed.);
Lecture Notes in Computer Science,
6416
(2010),
449
- 463.
M. Med, A. Krall:
"Instruction Set Encoding Optimization for Code Size Reduction";
Talk: IC-SAMOS - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation,
Samos, Griechenland;
2007-07-16
- 2007-07-19; in: "Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation",
H. Blume, G. Gaydadjiev, J. Glossner, P. Knijnenburg (ed.);
IEEE,
(2007),
ISBN: 1-4244-1058-4;
9
- 17.
F. Mesnard, E. Payet, U. Neumerkel:
"Detecting Optimal Termination Conditions of Logic Programs";
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.
F. Mesnard, E. Payet, U. Neumerkel:
"Non-termination inference for optimal termination conditions of logic programs";
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.
A. Messinger, E. Kühn:
"No S without Q => No E without Q?";
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.
P. Molnar, A. Krall, F. Brandner:
"Stack Allocation of Objects in the CACAO Virtual Machine";
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.
M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs:
"Automated Termination Analysis of Polynomial Probabilistic Programs";
Talk: 30th European Symposium on Programming (ESOP 2021),
Luxembourg (online);
2021-03-27
- 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming",
Springer,
12648
(2021),
491
- 518.
M. Mor:
"Business Use Cases for a Space Based Middleware";
Talk: ESTC 2007 - 1st European Semantic Technology Conference,
Wien;
2007-05-31
- 2007-06-01; in: "SBC 2007 Workshop - Proceedings",
(2007),
8
- 14.
M. Mor, R. Mordinyi, J Riemer:
"Using Space-Based Computing for More Efficient Group Coordination and Monitoring in an Event-Based Work Management System";
Talk: Second International Conference on Availability, Reliability and Security (ARES 2007),
Wien;
2007-04-10
- 2007-04-13; in: "The Second International Conference on Availability, Reliability and Security, 2007. ARES 2007: Workshop on "Modeling, Designing, and Testing Correct, Secure, and Dependable Event-Based System" (EBITS 2007).",
IEEE Computer Society,
Los Alamitos, CA, USA
(2007),
ISBN: 0-7695-2775-2;
1116
- 1123.
R. Mordinyi, E. Kühn, A. Schatten:
"Space-based Architectures as Abstraction Layer for Distributed Business Applications";
Talk: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010),
Krakow, Poland;
2010-02-15
- 2010-02-18; in: "Proceedings of the 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010)",
L. Barolli, F. Xhafa, S. Vitabile, H. Hsu (ed.);
IEEE Computer Society,
(2010),
ISBN: 978-0-7695-3967-6;
8 pages.
R. Mordinyi, E. Kühn, A. Schatten:
"Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environments";
Talk: Agile Processes in Software Engineering and Extreme Programming,
Trondheim, Norwegen;
2010-05-31
- 2010-06-04; in: "Proc. Agile Processes in Software Engineering and Extreme Programming",
Springer Berlin Heidelberg,
48
(2010),
ISBN: 978-3-642-13054-0;
202
- 207.
R. Mordinyi, E. Kühn, A. Schatten:
"Towards an Architectural Framework for Agile Software Development";
Talk: International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'10),
Oxford;
2010-03-22
- 2010-03-26; in: "2010 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems",
(2010),
ISBN: 978-0-7695-4005-4;
276
- 280.
R. Mordinyi, T Moser, E. Kühn, S. Biffl, A. Mikula:
"Foundations for a Model-Driven Integration of Business Services in a Safety-critical Application Domain";
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.
R. Mordinyi, T Moser, M. Murth, E. Kühn, S. Biffl:
"RDF Containers - A Framework for the Integration of Distributed and Heterogeneous Applications";
Talk: 3rd International Workshop on Ambient Data Integration,
Kreta;
2010-10-16
- 2010-10-21; in: "Proc. 3rd International Workshop on Ambient Data Integration",
(2010),
90
- 99.
T Moser, R. Mordinyi, S. Biffl, A. Mikula:
"Efficient System Integration Using Semantic Requirements and Capability Models - An Approach for Integrating Heterogeneous Business Services";
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.
T Moser, R. Mordinyi, A. Mikula, S. Biffl:
"Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain";
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.
T Moser, R. Mordinyi, W. Sunindyo, S. Biffl:
"Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraint";
Talk: 21st International Conference on Software Engineering & Knowledege Engineering,
Hyatt Harborside Hotel, Boston, Massachusetts, USA;
2009-07-01
- 2009-07-03; in: "Proceedings The 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009)",
USA
(2009),
ISBN: 1-891706-24-1;
222
- 227.
T Moser, H. Roth, S. Rozsnyai, R. Mordinyi, S. Biffl:
"Semantic Event Correlation Using Ontologies";
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.
T Moser, K. Schimper, R. Mordinyi, A. Anjomshoaa:
"SAMOA - A Semi-automated Ontology Alignment Method for Systems Integration in Safety-critical Environments";
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.
M. Murth, D de Francisco, JM Elicegui, D Martin, D Wutke:
"Using Triple Spaces to Implement a Marketplace Pattern";
Talk: ESTC 2007 - 1st European Semantic Technology Conference,
Wien;
2007-05-31
- 2007-06-01; in: "SBC 2007 Workshop - Proceedings",
(2007),
15
- 21.
M. Murth, E. Kühn:
"A heuristics framework for semantic subscription processing";
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.
M. Murth, E. Kühn:
"A Semantic Event Processing System for Knowledge-Driven Coordination";
Talk: First International Workshop on Emergent Semantics and Cooperation in Open Systems, In cooperation with the 2nd International Conference on Distributed Event-Based Systems (DEBS08),
Rome, Italy;
2008-07-20; 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)",
CEUR Workshop proceedings series,
(2008),
ISSN: 1613-0073;
1
- 8.
M. Murth, E. Kühn:
"Knowledge-based coordination with a reliable semantic subscription mechanism";
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.
M. Murth, E. Kühn:
"Knowledge-Based Interaction Patterns for Semantic Spaces";
Talk: First International Workshop On "Coordination in Complex Software Intensive Systems" (COCOSS-2010),
Krakow, Poland;
2010-02-15
- 2010-02-18; in: "Proceedings of the International Conference on Comlex, Intelligent and Software Intensive Systems (CISIS 2010)",
IEEE Computer Society,
(2010),
ISBN: 978-0-7695-3967-6;
1036
- 1043.
M. Murth, D. Winkler, S. Biffl, E. Kühn, T Moser:
"Performance Testing of Semantic Publish/Subscribe Systems";
Poster: 9th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE) - Poster Session,
Crete, Greece;
2010-10-25
- 2010-10-29; in: "Proc. 9th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE) - Poster Session",
(2010),
ISSN: 0302-9743;
45
- 46.
U. Neumerkel:
"Declarative program development in Prolog with GUPU";
Talk: 12th International Workshop on Logic Programming Environments,
Copenhagen;
2002-07-29
- 2002-08-01; in: "WLPE 2002: Logic Programming Environments",
(2002),
77
- 86.
U. Neumerkel, St. Kral:
"Monotone bedingte Verzweigungen in Logikprogrammen";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
427
- 436.
U. Neumerkel, M. Triska, J. Wielemaker:
"Declarative language extensions for prolog courses";
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.
Ch. Panis, U. Hirnschrott, A. Krall, S. Farfeleder, G. Laure, W Lazian, J Nurmi:
"A Scalable DSP Core for SoC Applications";
Talk: International Symposium on System-On-Chip (SOC'04),
Tampere, Finnland;
2004-11-16
- 2004-11-18; in: "Proceedings of the International Symposium on System-On-Chip (SOC'04)",
IEEE,
(2004),
ISBN: 0-7803-8558-6;
85
- 88.
Ch. Panis, U. Hirnschrott, A. Krall, G. Laure, W Lazian, J Nurmi:
"FSEL - Selective Predicated Execution for a Configurable DSP Core";
Talk: IEEE Computer Society Annual Symposium on VLSI,
Lafayette, Louisiana;
2004-02-19
- 2004-02-20; in: "Proceedings of the IEEE Computer Society Annual Symposium on VLSI",
IEEE,
(2004),
ISBN: 0-7695-2097-9;
317
- 320.
Ch. Panis, U. Hirnschrott, G. Laure, W Lazian, J Nurmi:
"DSPxPlore -- Design Space Exploration Methodology for an Embedded DSP Core";
Talk: 19th ACM Symposium on Applied Computing (SAC 2004),
Nicosia, Cyprus;
2004-03-14
- 2004-03-17; in: " Proceedings of the 2004 ACM Symposium on Applied Computing",
ACM Press,
New York, NY, USA
(2004),
ISBN: 1-58113-812-1;
876
- 883.
V. Pavlu, A. Krall:
"Fast JIT Code Generation for x86-64 with LLVM";
Poster: ACACES 2011,
Fiuggi, Italien;
2010-07-10
- 2010-07-16; in: "ACACES 2011 Poster Abstracts",
HiPEAC,
7, Fiuggi, Italy
(2010),
ISBN: 9789038216317;
289
- 290.
V. Pavlu, M Schordan, A. Krall:
"Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision";
Talk: Eleventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM),
Williamsburg, Virginia, USA;
2011-09-25
- 2011-09-26; in: "Proceedings of the Eleventh IEEE International Workshop on Source Code Analysis and Manipulation",
IEEE,
(2011),
ISBN: 978-1-4577-0932-6;
25
- 34.
V. Pavlu, M. Schordan:
"Measuring Shape Analysis Precision";
Poster: Junior Scientist Conference 2010,
Vienna;
2010-04-07
- 2010-04-09; in: "Junior Scientist Conference 2010",
(2010),
ISBN: 978-3-200-01797-9;
75
- 76.
B. Paysan, M.A. Ertl:
"The Grand Recognizer Unification";
Talk: EuroForth,
online;
2020-09-04
- 2020-09-06; in: "36th EuroForth Conference",
(2020),
4 pages.
B. Paysan, M.A. Ertl:
"The new Gforth Header";
Talk: 35th EuroForth Conference,
Edinburgh;
2019-09-13
- 2019-09-15; in: "35th EuroForth Conference",
(2019),
5
- 20.
R. Plangger, A. Krall:
"PyPy's Number Crunching Optimization";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
448
- 462.
R. Plangger, A. Krall:
"Vectorization in PyPy´s Tracing Just-In-Time Compiler";
Talk: SCOPES 2016 - 19th International Workshop on Software and Compilers for Embedded Systems,
St. Goar;
2016-05-23
- 2016-05-25; in: "SCOPES 2016 - 19th International Workshop on Software and Compilers for Embedded Systems",
(2016),
ISBN: 978-1-4503-4320-6;
10 pages.
A. Prantl:
"A Declarative Approach to finding Timing Constraints in High-level Program Representations";
Talk: Workshop on Resource Analysis,
University of Hertfordshire, Hatfield, UK;
2008-09-09; in: "Workshop on Resource Analysis",
(2008),
2 pages.
A. Prantl:
"Source-to-Source Transformations for WCET Analysis: The CoSTA Approach";
Talk: 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef, 2.-4. Mai 2007;
2007-05-02
- 2007-05-04; in: "24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 2.-4. Mai 2007",
0707/Kiel
(2007),
10 pages.
A. Prantl:
"The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation";
Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)",
Timmendorfer Strand;
2007-10-10
- 2007-10-12; in: "Proceedings 14. Kolloquium ``Programmiersprachen und Grundlagen der Programmierung (KPS'07)"",
A-07-07
(2007),
6 pages.
A. Prantl:
"Towards a Static Profiler";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
1 pages.
A. Prantl, J. Knoop:
"An integrated source-to-source approach to WCET analysis";
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. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
155
- 166.
A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec:
"From Trusted Annotations to Verified Knowledge";
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.
A. Prantl, J. Knoop, M Schordan:
"Persistent Analysis Results";
Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2009-05-04
- 2009-05-06; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2009),
12 pages.
A. Prantl, J. Knoop, M. Schordan, M. Triska:
"Constraint solving for high-level WCET analysis";
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.
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis";
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.
A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Tool for Worst-Case Execution Time Analysis";
Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2008-05-05
- 2008-05-07; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
10 pages.
M. Probst, A. Krall, B. Scholz:
"Register Liveness Analysis for Optimizing Dynamic Binary Translation";
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.
D. Prokesch, S Hepp, P. Puschner:
"A Generator for Time-Predictable Code";
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.
I Pryanishnikov, A. Krall, N. Horspool:
"Pointner Aligment Analysis for Processors with (SIMD) Ins";
Talk: 5th Workshop on Media and Streaming Processors at Micro'0,
San Diego;
2003-12-31; in: "5th Workshop on Media and Streaming Processors at Micro'0",
V Chaudary, A. Dean, J. Fritts (ed.);
(2003),
50
- 57.
F. Puntigam:
"Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities";
Talk: Twelfth International Workshop on Component-Oriented Programming,
Berlin, Germany;
2007-07-31; in: "WCOP 2007 - Components beyond Reuse",
(2007),
5 pages.
F. Puntigam:
"Client and Server Synchronization Expressed in Types";
Talk: Synchronization and Concurrency in Object-Oriented Languages (SCOOL), Workshop at OOPSLA 2005,
San Diego, California, USA;
2005-10-16; in: "Synchronization and Concurrency in Object-Oriented Languages (SCOOL)",
(2005),
9 pages.
F. Puntigam:
"From Static to Dynamic Process Types";
Talk: International Conference on Software and Data Technologies (ICSOFT 2006),
Setubal, Portugal;
2006-09-11
- 2006-09-14; in: "ICSOFT 2006, First International Conference on Software and Data Technologies",
INSTICC Press,
Vol. 1
(2006),
ISBN: 972-8865-69-4;
21
- 28.
F. Puntigam:
"How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
231
- 242.
F. Puntigam:
"In Components We Trust - Programming Language Support for Weak Protection";
Talk: Tenth International Workshop on Component-Oriented Programming (WCOP 2005),
Glasgow, UK;
2005-07-25; in: "Tenth International Workshop on Component-Oriented Programming (WCOP 2005)",
(2005),
8 pages.
F. Puntigam:
"Interfaces of Active Objects with Internal Concurrency";
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.
F. Puntigam:
"Internal and External Token-Based Synchronization in Object-Oriented Languages";
Talk: 7th Joint Modular Languages Conference (JMLC 2006),
Oxford, UK;
2006-09-13
- 2006-09-15; in: "Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006",
Springer,
LNCS 4228
(2006),
ISBN: 3-540-40927-0;
251
- 270.
F. Puntigam:
"Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition";
Talk: 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05),
Glasgow, UK;
2005-07-26; in: "2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05)",
(2005),
5 pages.
F. Puntigam:
"See the Pet in the Beast: How to Limit Effects of Aliasing";
Talk: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2007),
Berlin, Germany;
2007-07-30; in: "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)",
(2007),
8 pages.
F. Puntigam:
"State Information in Statically Checked Interfaces";
Talk: Eighth International Workshop on Component-Oriented Programming,
Darmstadt, Germany;
2003-07-21; in: "Eighth International Workshop on Component-Oriented Programming",
(2003),
8 pages.
F. Puntigam:
"Synchronization as a Special Case of Access Control";
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.
F. Puntigam:
"Synchronization with Type Variables";
Talk: Workshop on Object-oriented Language Engineering for the Post-Java Era,
Darmstadt, Germany;
2003-07-22; in: "Workshop on Object-oriented Language Engineering for the Post-Java Era",
(2003),
10 pages.
P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The T-CREST Approach of Compiler and WCET-Analysis Integration";
Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013),
Paderborn, Deutschland (invited);
2013-06-17
- 2013-06-18; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems",
(2013).
D. Quinlan, M. Schordan, R. Vuduc, Q. Yi:
"Annotating User-Defined Abstractions for Optimization";
Talk: Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL'06),
Rhodes Island, Greece;
2006-04-29; in: "Proceedings of the 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2006)",
(2006),
8 pages.
D. Quinlan, M. Schordan, Q. Yi, A. Saebjornsen:
"Classification and Utilization of Abstractions for Optimization";
Talk: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04),
Cyprus;
2004-10-30
- 2004-11-02; in: "Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods",
University Cyprus,
(2004),
1
- 15.
D. Quinlan, M. Schordan, Q. Yi, A. Saebjornsen:
"Classification and Utilization of Abstractions for Optimization";
Talk: First International Symposium on Leveraging Applications of Formal Methods (ISoLA'04),
Paphos, Cyprus;
2004-10-30
- 2004-11-02; in: "Leveraging Applications of Formal Methods",
Lecture Notes in Computer Science, Springer Verlag,
Volume 4313
(2006),
ISBN: 978-3-540-48928-3;
57
- 73.
D. Quinlan, M. Schordan, Q. Yi, B Supinski:
"A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives";
Talk: International Workshop on OpenMP Applications and Tools (WOMPAT 2003),
Toronto, Canada;
2003-06-26
- 2003-06-27; in: "OpenMP Shared Memory Parallel Programming",
Lecture Notes in Computer Science, Springer-Verlag,
2716
(2003),
ISBN: 3-540-40435-x;
13
- 25.
D. Quinlan, M. Schordan, Q. Yi, B Supinski:
"Semantic-Driven Parallelization of Loops Operating on User-Defined Containers";
Talk: Languages and Compilers for Parallel Computing: 16th International Workshop,
College Station, TX, USA;
2003-10-02
- 2003-10-04; in: "Proceedings of the 16th Annual Workshop on Languages and Compilers for Parallel Computing (LCPC'03)",
Lecture Notes in Computer Science / Springer-Verlag,
2958
(2004),
ISBN: 3-540-21199-3;
524
- 538.
D. Quinlan, Q. Yi, G. Kumfert, T. Epperly, T. Dahlgren, M. Schordan, B. White:
"Toward the Automated Generation of Components from Existing Source Code";
Talk: 2nd Workshop on Productivity and Performance in High-End Computing,
San Francisco, CA, USA;
2005-02-12
- 2005-02-16; in: "Proceedings of the 2nd Workshop on Productivity and Performance in High-End Computing,",
(2005),
12
- 19.
Daniel Quinlan, G. Barany, T. Panas:
"Towards Distributed Memory Parallel Program Analysis";
Talk: Dagstuhl Seminar 08161 Scalable Program Analysis,
Schloss Dagstuhl, Wadern, Deutschland (invited);
2008-04-13
- 2008-04-18; in: "Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis",
Leibniz-Zentrum für Informatik,
(2008),
ISSN: 1862-4405;
9 pages.
M. Raab:
"Global and Thread-Local Activation of Contextual Program Execution Environments";
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.
M. Raab:
"Improving System Integration Using a Modular Configuration Specification Language";
Talk: MODULARITY Companion 2016,
Malaga;
2016-03-14
- 2016-03-17; in: "Companion Proceedings of the 15th International Conference on Modularity",
ACM,
New York, NY, USA
(2016),
ISBN: 978-1-4503-4033-5;
152
- 157.
M. Raab:
"Persistent Contextual Values As Inter-process Layers";
Talk: Mobile! 2016,
Amsterdam;
2016-10-31
- 2016-11-04; in: "Proceedings of the 1st International Workshop on Mobile Development",
ACM,
New York, NY, USA
(2016),
ISBN: 978-1-4503-4643-6;
9
- 16.
M. Raab:
"Safe Management of Software Configuration";
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.
M. Raab:
"Sharing Software Con guration via Speci ed Links and Transformation Rules";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
502
- 514.
M. Raab, G. Barany:
"Challenges in Validating FLOSS Configuration";
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.
M. Raab, G. Barany:
"Introducing Context Awareness in Unmodified, Context-unaware Software";
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.
M. Raab, F. Puntigam:
"Program Execution Environments as Contextual Values";
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.
M. Reza Shoaei, L. Kovacs, B. Lennartson:
"Supervisory Control of Discrete-Event Systems via {IC3}";
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.
J Riemer, F. Martin-Recuerda, Y. Ding, M. Murth, B. Sapkota, R. Krummenacher, O. Shafiq, D. Fensel, E. Kühn:
"Triple Space Computing: Adding Semantics to Space-Based Computing";
Talk: 1st Asian Semantic Web Conference,
Beijing, China;
2006-09-03
- 2006-09-07; in: "Proceedings of the 1st Asian Semantic Web Conference",
Lecture Notes in Computer Science,
Vol. 4185
(2006),
ISBN: 978-3-540-38329-1;
300
- 306.
J Riemer, M. Murth, E. Kühn:
"A Distributed Triple Space Implementation";
Talk: ESTC 2007 - 1st European Semantic Technology Conference,
Wien;
2007-05-31
- 2007-06-01; in: "SBC 2007 Workshop - Proceedings",
(2007),
1
- 7.
T. Scheller, E. Kühn:
"Influence of Code Completion Methods on the Usability of APIs";
Talk: 12th IASTED International Conference on Software Engineering (SE 2013),
Innsbruck;
2013-02-11
- 2013-02-13; in: "Software Engineering",
ACTA Press,
796
(2013),
ISBN: 978-0-88986-955-4;
760
- 767.
T. Scheller, E. Kühn:
"Influencing Factors on the Usability of API Classes and Methods";
Talk: 2012 IEEE 19th International Conference and Workshops on Engineering of Computer Based Systems (ECBS),
Novi Sad, Serbien;
2012-04-11
- 2012-04-13; in: "Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on",
(2012),
ISBN: 978-1-4673-0912-7;
232
- 241.
T. Scheller, E. Kühn:
"Measurable Concepts for the Usability of Software Components";
Talk: 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011),
Oulu, Finland;
2011-08-30
- 2011-09-02; in: "Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications",
(2011),
129
- 133.
T. Scheller, E. Kühn:
"Usability Evaluation of Configuration-Based API Design Concepts";
Talk: International Conference on Human Factors in Computing & Informatics (SouthCHI 2013),
Maribor, Slovenia;
2013-07-01
- 2013-07-03; in: "Proceedings of the International Conference on Human Factors in Computing & Informatics (SouthCHI 2013)",
LNCS / Springer,
7946
(2013),
ISBN: 978-3-642-39061-6;
54
- 73.
F. Schmied, E. Kühn:
"Distributed Peer-to-Peer Application Development with Declarative and Aspect-Oriented Techniques";
Talk: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04),
Cyprus;
2004-10-30
- 2004-11-02; in: "Preliminary Proceedings of the 1st InternationalSymposium on Leveraging Applications of Formal Methods (ISOLA 2004)",
Department of Computer Science, University Cyprus,
TR-2004-6
(2004),
150
- 157.
B. Scholz, J. Blieberger, T. Fahringer:
"Symbolic Pointer Analysis for Detecting Memory Leaks";
Talk: ACM SIGPLAN Workshop on "Partial Evaluation and Semantics-Based Program Manipulation" (PEPM),
Boston, MA, USA;
2000-01-22
- 2000-01-23; in: "Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)",
ACM Press,
(2000),
104
- 113.
B. Scholz, E. Eckstein:
"Register Allocation for Irregular Architectures";
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.
B. Scholz, N. Horspool, J. Knoop:
"Optimizing for Space and Time Usage with Speculative Partial Redundancy Elimination";
Talk: Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004),
Washington DC, USA;
2004-06-11
- 2004-06-13; in: "Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES 2004) ",
ACM SIGPLAN Notices,
39 / 7
(2004),
221
- 230.
B. Scholz, E. Mehofer:
"Dataflow Frequency Analysis based on Whole Program Paths";
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.
M. Schordan:
"Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions";
Talk: 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef, Germany;
2007-05-02
- 2007-05-04; in: "Proceedings of the 24. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte",
(2007),
72
- 81.
M. Schordan:
"The Language of the Visitor Design Pattern";
Talk: 10th Brazilian Symposium on Programming Languages (SBLP'06),
Itatiaia, Rio de Janeiro, Brazil;
2006-05-15
- 2006-05-17; in: "Proceedings of the 10th Brazilian Symposium on Programming Languages",
ANAIS,
(2006),
ISBN: 85-7669-071-3;
235
- 248.
M. Schordan:
"Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code";
Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)",
Timmendorfer Strand, Germany;
2007-10-12
- 2007-10-14; in: "Proceedings of the 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung,",
Bericht A-07-07, Schriftenreihe A, der Institute für Informatik und Mathematik der Universität zu Lübeck,
(2007),
194
- 199.
M. Schordan, D. Quinlan:
"A Source-To-Source Architecture for User-Defined Optimizations";
Talk: Joint Modular Languages Conference (JMLC 2003),
Klagenfurt, Austria;
2003-08-25
- 2003-08-27; in: "Modular Programming Languages",
Lecture Notes in Computer Science, Springer-Verlag,
2789
(2003),
ISBN: 3-540-40796-0;
214
- 223.
M. Schordan, D. Quinlan:
"Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar";
Talk: Fifth IEEE International Workshop on Source Code Analysis and Manipulation,
Budapest, Ungarn;
2005-09-30
- 2005-10-01; in: "Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation",
IEEE,
(2005),
ISBN: 0-7695-2292-0;
97
- 106.
D. Schreiner:
"A Software Design Methodology for Mobile Autonomous Robots";
Talk: 5th Austrian RoboCup Workshop,
Wien;
2010-06-01
- 2010-06-02; in: "Proceedings of the 5th Austrian RoboCup Workshop",
D. Schreiner, J. Knoop (ed.);
(2010),
6 pages.
D. Schreiner:
"Applying the Component Paradigm to AUTOSAR Basic Software";
Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2008-05-05
- 2008-05-07; in: "Programmiersprachen und Rechenkonzepte",
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2008),
6 pages.
D. Schreiner:
"Building iRIS: A Robotic Immune System";
Talk: ISoLA 2011,
Wien;
2011-10-17
- 2011-10-18; in: "Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems",
Communications in Computer and Information Science, Springer Verlag,
CICS 336
(2012),
ISBN: 978-3-642-34780-1;
150
- 155.
D. Schreiner:
"E.V.A. - Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015,
Pörtschach am Wörthersee;
2015-10-04
- 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung",
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2015-IX-1
(2015),
571.
D. Schreiner:
"Optimizing Compilers for Safety-Critical Robotic Systems";
Talk: Austrian Robotics Workshop 2012,
Graz;
2012-05-03
- 2012-05-04; in: "Proceedings of the Austrian Robotics Workshop 2012",
G. Steinbauer, S. Uran (ed.);
Verlag der TU Graz,
(2012),
ISBN: 978-3-85125-183-8.
D. Schreiner, K. Göschka, J. Knoop:
"Component Based Communication Middleware for AUTOSAR";
Poster: Junior Scientist Conference 2008,
Wien;
2008-11-16
- 2008-11-18; in: "Proceedings of Junior Scientist Conference 2008",
(2008),
ISBN: 978-3-200-01612-5;
113
- 114.
D. Schreiner, J. Knoop:
"iRIS - Towards a Robotic Immune System";
Talk: Austrian Robotics Workshop 2011,
Hall in Tirol;
2011-05-23
- 2011-05-24; in: "Proceedings of the Austrian Robotics Workshop 2011",
M Hofbaur, M Husty (ed.);
UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, UMIT,
ARW-11
(2011),
ISBN: 978-3-9503191-0-1;
22
- 34.
D. Schreiner, F. Puntigam:
"Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems.";
Talk: Eighth European Dependable Computing Conference (EDCC 2010),
Valencia, Spain;
2010-04-28
- 2010-04-30; in: "Supplemental Volume of the Eight European Dependable Computing Conference",
(2010),
ISBN: 978-84-692-9571-7;
31
- 32.
D. Schreiner, M Schordan, K. Göschka:
"Component Based Middleware-Synthesis for AUTOSAR Basic Software";
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.
D. Schreiner, M. Schordan, G. Barany, K. Göschka:
"Source Code Based Component Recognition in Software Stacks for Embedded Systems";
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.
D. Schreiner, M. Schordan, J. Knoop:
"Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach";
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.
V. Sesum-Cavic, E. Kühn:
"A Swarm Intelligence Appliance to the Construction of an Intelligent Peer-to-Peer Overlay Network";
Talk: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010),
Krakow, Poland;
2010-02-15
- 2010-02-18; in: "4th International Conference on Complex, Intelligent and Software Intensive Systems, IEEE/CISIS",
IEEE Computer Society,
(2010),
ISBN: 978-0-7695-3967-6;
1028
- 1035.
V. Sesum-Cavic, E. Kühn:
"Algorithms and Framework for Comparison of Bee-Intelligence Based Peer-to-Peer Lookup";
Talk: 4th International Conference on Swarm Intelligence (ICSI 2013),
Harbin, China;
2013-06-12
- 2013-06-15; in: "Advances in Swarm Intelligence",
LNCS / Springer,
7928
(2013),
ISBN: 978-3-642-38702-9;
404
- 413.
V. Sesum-Cavic, E. Kühn:
"Applying swarm intelligence algorithms for dynamic load balancing to a Cloud Based Call Center";
Poster: 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010),
Budapest, Hungary;
2010-09-27
- 2010-10-01; in: "4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE/SASO",
IEEE Computer Society,
(2010),
ISBN: 978-0-7695-4232-4;
255
- 256.
V. Sesum-Cavic, E. Kühn:
"Comparing configurable parameters of swarm intelligence algorithms for dynamic load balancing";
Talk: 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010),
Budapest, Hungary;
2010-09-27
- 2010-10-01; in: "4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE/SASO/SAN",
IEEE Computer Society,
(2010),
ISBN: 978-0-7695-4232-4.
V. Sesum-Cavic, E. Kühn:
"Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms";
Talk: 3rd International Workshop on Self-Organizing Systems,
Wien;
2008-12-09
- 2008-12-11; in: "IWSOS 2008, 3rd International Workshop on Self-Organizing Systems",
LNCS, Springer,
5343/2008
(2008),
ISSN: 0302-9743;
311
- 317.
V. Sesum-Cavic, E. Kühn:
"Peer-to-Peer Overlay Network Based on Swarm Intelligence";
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.
V. Sipkova:
"Efficient Variable Allocation to Dual Memory Banks of DSPs";
Talk: 7th International Workshop, SCOPES,
Wien;
2003-09-24
- 2003-09-26; in: "Proceedings of the 7th International Workshop on Software and Compilers",
A. Krall (ed.);
Springer Verlag,
(2003),
ISBN: 3-540-20145-9;
359
- 372.
E. Steiner, A. Krall, C. Thalinger:
"Adaptive Inlining and On-Stack Replacement in the CACAO Virtual Machine";
Talk: PPPJ - International Symposium on Principles and Practice of Programming in Java,
Monte de Caparica, Lisbon, Portugal;
2007-09-05
- 2007-09-07; in: "Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java",
L. Veiga (ed.);
ACM International Conference Proceeding Series,
Vol. 272
(2007),
ISBN: 978-1-59593-672-1;
221
- 226.
W. Sunindyo, S. Biffl, C. Frühwirth, R. Mordinyi, T Moser, A. Schatten, S. Schrittwieser, E. Weippl, D. Winkler:
"Defect Detection Using Event-Based Process Analysis in (Software+) Engineering Projects";
Talk: 36th Euromicro Conference Software Engineering and Advanced Applications (SEAA 2010) - Work in Progress,
Lille, France;
2010-09-01
- 2010-09-03; in: "Proc. 36th Euromicro Conference Software Engineering and Advanced Applications (SEAA 2010) - Work in Progress Session",
E. Grosspietsch, K. Klöckner (ed.);
COREP Vauban,
Lille
(2010),
ISBN: 978-3-902457-27-1;
1
- 2.
W. Sunindyo, S. Biffl, R. Mordinyi, T Moser, A. Schatten, M. Tabatabai Irani, D. Wahyudin, E. Weippl, D. Winkler:
"An Event-Based Empirical Process Analysis Framework";
Poster: 4th International Symposium on Empirical Software Engineering and Measurement (ESEM 2010) - Poster Sessions,
Bolzano-Bozen, Italy;
2010-09-15
- 2010-09-17; in: "Proc. 4th International Symposium on Empirical Software Engineering and Measurement (ESEM 2010) - Poster Sessions",
(2010),
1
- 2.
K. Teymourian, L. Nixon, D Wutke, R. Krummenacher, H. Moritsch, E. Kühn, C. Schreiber:
"Implementation of a Novel Semantic Web Middleware Approach Based on Triplespaces";
Talk: IEEE International Conference on Semantic Computing (ICSC'08),
Santa Clara, California;
2008-08-04
- 2008-08-07; in: "Semantic Computing",
(2008),
ISBN: 978-0-7695-3279-0;
518
- 523.
P. Thier, M.A. Ertl, A. Krall:
"Fast and Flexible Instruction Selection with Constraints";
Talk: Compiler Construction,
Wien;
2018-02-24
- 2018-02-25; in: "Proceedings of the 27th International Conference on Compiler Construction",
ACM,
(2018),
ISBN: 978-1-4503-5644-2;
93
- 103.
M. Triska, U. Neumerkel, J. Wielemaker:
"A Generalised Finite Domain Constraint Solver for SWI-Prolog";
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.
M. Triska, U. Neumerkel, J. Wielemaker:
"Better Termination for Prolog with Constraints";
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.
J. Wielemaker, U. Neumerkel:
"Precise Garbage Collection in Prolog";
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.
G. Wodni, M.A. Ertl:
"SWIG & The Forth Net: Hands-On";
Talk: 27th EuroForth Conference,
Wien;
2011-09-23
- 2011-09-25; in: "27th EuroForth Conference",
M.A. Ertl (ed.);
(2011),
32
- 35.
J. Xue, J. Knoop:
"A fresh look at partial redundancy elimination as a maximum flow problem";
Talk: International Conference on Compiler Construction (CC 2006),
Vienna, Austria;
2006-03-25
- 2006-04-02; in: "Proceedings of the 15th International Conference on Compiler Construction",
Lecture Notes in Computer Science, Springer Verlag,
Vol. 3923
(2006),
ISSN: 0302-9743;
139
- 154.
J. Xue, J. Knoop:
"A fresh look at partial redundancy elimination as a maximum flow problem";
Talk: 23rd Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte",
Physikzentrum Bad Honnef, Germany (invited);
2006-05-03
- 2006-05-05; in: "Softwaretechnik-Trends",
Softwaretechnik-Trends,
Volume 26, Issue 2
(2006),
ISSN: 0720-8928.
J. Zwirchmayr:
"A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C";
Talk: 27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2010-05-03
- 2010-05-05; in: "27. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte",
M. Hanus, F. Reck (ed.);
Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel,
0811 / Kiel
(2010),
Paper ID 18,
10 pages.
J. Zwirchmayr:
"Cutting-edge Timing Analysis Techniques";
Talk: 26th International Conference on Logic Programming - Doctoral Consortium (ICLP-DC 2010),
Edinburgh, Scotland, United Kingdom;
2010-07-21; in: "Technical Communications of the 26th International Conference on Logic Programming",
M. Hermenegildo, T. Schraub (ed.);
Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
7 / Dagstuhl, Germany
(2010),
ISBN: 978-3-939897-17-0;
303
- 305.
J. Zwirchmayr, J. Knoop, L. Kovacs:
"r-TuBound: Loop Bounds for WCET Analysis";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning 18 (LPAR-18),
Merida, Venezuela;
2012-03-11
- 2012-03-15; in: "Logic For Programming, Artificial Intelligence, and Reasoning",
N. Bjorner, A. Voronkov (ed.);
Lecture Notes in Computer Science, Springer,
LNCS / 7180 / Heidelberg
(2012),
ISBN: 978-3-642-28716-9;
435
- 444.
J. Zwirchmayr, L. Kovacs, J. Knoop, A. Bonenfant, H. Cassé, C. Rochange:
"FFX: A Portable WCET Annotation Language";
Talk: International Conference on Real-Time and Network Systems (RTNS),
Abbaye des Premontres, Pont a Mousson, France;
2012-11-08
- 2012-11-09; in: "20th International Conference on Real-Time and Network Systems",
ACM,
New York
(2012),
ISBN: 978-1-4503-1409-1;
91
- 100.
Talks and Poster Presentations (without Proceedings-Entry)
S Aigner:
"Börsenprobleme Funktional";
Talk: HaL8 - Haskell-Treffen an der Universität Leipzig,
Leipzig;
2013-06-21.
G. Barany:
"Balancing Global Code Motion and Register Allocation";
Talk: Gastvortrag IBM Research,
Yorktown Heights, NY, USA (invited);
2014-11-13.
G. Barany:
"Balancing Global Code Motion and Register Allocation";
Talk: Gastvortrag DTU,
Lyngby, Dänemark (invited);
2014-12-04.
G. Barany:
"Optimal and Heuristic Global Code Motion for Minimal Spilling";
Talk: POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Rom;
2013-01-23
- 2013-01-25.
G. Barany:
"Python Interpreter Performance Deconstructed";
Talk: 31. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte,
Bad Honnef, Deutschland;
2014-04-28
- 2014-04-30.
G. Barany:
"Register Reuse Scheduling";
Talk: Gastvortrag ENS Lyon,
Lyon (invited);
2011-04-08.
G. Barany, A. Krall:
"Optimistic Integrated Instruction Scheduling and Register Allocation";
Poster: ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2010),
Stockholm, Schweden;
2010-04-13
- 2010-04-15.
A. Ben-Amram, J. Blieberger, B. Scholz:
"The WCETMarker-Problem is NP-complete";
Talk: WCET-Meeting,
Vienna, Austria;
2003-06-23.
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis";
Talk: 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Vadstena, Schweden (invited);
2012-05-20
- 2012-05-25.
A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr:
"Portable Worst-Case Execution Time Analysis via Flow Facts in XML";
Talk: 29th Annual Workshop of the GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef, Deutschland;
2012-05-02
- 2012-05-04.
S. Brunthaler:
"Virtual Machine Abstraction and Optimization Techniques";
Talk: Oracle/Sun Labs Lecture Series,
Menlo Park, CA, USA (invited);
2010-10-15.
S. Brunthaler:
"Virtual Machine Abstraction and Optimization Techniques";
Talk: Mozilla Foundation Lecture Series,
Mountain View, CA, USA (invited);
2010-10-19.
S. Brunthaler:
"Virtual Machine Abstraction and Optimization Techniques";
Talk: UCI Lecture Series,
Irvine, CA, USA (invited);
2010-10-11.
S. Craß, G. Joskowicz, E. Kühn, M. Winkler:
"Implementing Enterprise Security via a Room Model";
Poster: 16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011),
Innsbruck, Austria;
2011-06-15
- 2011-06-17.
I. Dragan:
"Lingva: Generating and Proving Program Properties using Symbol Elimination";
Talk: Alpine Verification Meeting,
Frejus, France;
2014-05-12
- 2014-05-14.
I. Dragan:
"Recent Developments in Vampire for Program Analysis and Theory Reasoning";
Talk: Chalmers research seminar,
Gothenburg, Schweden (invited);
2013-11-13.
I. Dragan:
"Solving systems of linear inequalities using Bound Propagation in Vampire";
Talk: Alpine Verification Meeting,
Trento, Italien;
2013-05-27
- 2013-05-29.
I. Dragan et al.:
"Experimenting with SAT Solvers in Vampire";
Talk: RiSE/Puma meeting,
Mondsee;
2014-09-29
- 2014-10-03.
I. Dragan et al.:
"SAT solving experiments in Vampire";
Talk: Vienna Summer of Logic - Vampire Workshop,
Vienna;
2014-07-22
- 2014-07-23.
M.A. Ertl:
"Ausgabe in Strings";
Talk: Forth-Tagung 2011,
Goslar;
2011-04-15
- 2011-04-17.
M.A. Ertl:
"Bericht von der EuroForth 2005";
Talk: FORTH-Tagung,
Witten Bommerholz, Germany;
2006-05-12
- 2006-05-14.
M.A. Ertl:
"Der Forth-Stammbaum";
Talk: FORTH-Tagung,
Witten Bommerholz;
2006-05-12
- 2006-05-14.
M.A. Ertl:
"Die Multicore-Herausforderung";
Talk: Forth-Tagung 2008,
Kloster Roggenburg, Deutschland;
2008-04-24
- 2008-04-27.
M.A. Ertl:
"Division durch (Quasi-)Konstanten";
Talk: FORTH-Tagung,
online;
2020-03-26
- 2020-03-29.
M.A. Ertl:
"Domination-Based Scoping and Static Single Assignment Languages";
Talk: Static Single-Assignment Form Seminar,
Autrans, Frankreich;
2009-04-26
- 2009-04-30.
M.A. Ertl:
"Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata";
Talk: Mini-Workshop on Code Generation,
Linköping, Schweden;
2006-06-07
- 2006-06-08.
M.A. Ertl:
"Forth 200x";
Talk: FORTH-Tagung,
Witten Bommerholz, Germany;
2006-05-12
- 2006-05-14.
M.A. Ertl:
"Forth als Basis fuer einen portablen Assembler";
Talk: Forth-Tagung 2013,
Garmisch-Partenkirchen;
2013-04-19
- 2013-04-21.
M.A. Ertl:
"Forth in "Grundlagen der Programmkonstruktion"";
Talk: Forth-Tagung 2014,
Bad Voeslau;
2014-03-27
- 2014-03-30.
M.A. Ertl:
"Forth-Quellcode im Flash";
Talk: Forth-Tagung 2019,
Worms;
2019-04-12
- 2019-04-14.
M.A. Ertl:
"Gedanken zu SIMD und Vektorisierung";
Talk: Forth-Tagung 2016,
Augsburg;
2016-04-14
- 2016-04-17.
M.A. Ertl:
"How to get rid of C";
Talk: 30th EuroForth Conference,
Palma de Mallorca;
2014-09-26
- 2014-09-28.
M.A. Ertl:
"Interactive multiline >R R> in Gforth";
Talk: 35th EuroForth Conference,
Hamburg;
2019-09-13
- 2019-09-15.
M.A. Ertl:
"Multi-Threading und Multi-Tasking in Gforth";
Talk: Forth-Tagung 2011,
Goslar;
2011-04-15
- 2011-04-17.
M.A. Ertl:
"Neuigkeiten in Gforth 0.7.0";
Talk: FORTH-Tagung,
Rheine, Deutschland;
2009-03-27
- 2009-03-29.
M.A. Ertl:
"objects2.fs: Ein modernisiertes objektorientiertes Paket";
Talk: Forth-Tagung 2012,
Biezenmortel, NL;
2012-03-08
- 2012-03-11.
M.A. Ertl:
"Recognizers --- Why and How";
Talk: EuroForth 2015,
Bath, England;
2015-10-02
- 2015-10-04.
M.A. Ertl:
"Region-Based Memory Allocation";
Talk: 29th EuroForth Conference,
Hamburg;
2013-09-27
- 2013-09-29.
M.A. Ertl:
"Security";
Talk: EuroForth 2016,
Insel Reichenau;
2016-09-09
- 2016-09-11.
M.A. Ertl:
"Sicheres Forth";
Talk: Forth-Tagung 2016,
Augsburg;
2016-04-14
- 2016-04-17.
M.A. Ertl:
"Superinstructions and Replication in the Cacao JVM Interpreter";
Talk: Mini-Workshop on Code Generation,
Linköping, Schweden;
2006-06-07
- 2006-06-08.
M.A. Ertl:
"Superinstructions in Gforth";
Talk: 18th EuroForth Conference,
Wien;
2002-09-06
- 2002-09-08.
M.A. Ertl:
"Techniken für weniger Stack-Tiefe";
Talk: Forth-Tagung 2011,
Goslar;
2011-04-15
- 2011-04-17.
M.A. Ertl:
"Testen (insbesondere Fuzz Testing)";
Talk: FORTH-Tagung,
online;
2020-03-26
- 2020-03-29.
M.A. Ertl:
"Using C for the Back End";
Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation,
Schloss Dagstuhl, Dagstuhl, Wadern (invited);
2008-10-26
- 2008-10-31.
M.A. Ertl, B. Paysan:
"Der neue Gforth-Header";
Talk: Forth-Tagung 2019,
Worms;
2019-04-12
- 2019-04-14.
A. Fellnhofer, A. Krall, D. Riegler:
"Dynamic Binary Translation for Generation of Cycle Accurate Architecture Simulators";
Talk: Emerging Uses and Paradigms for Dynamic Binary Translation,
Schloss Dagstuhl (invited);
2008-10-26
- 2008-10-31.
S Hepp:
"WCET-driven Optimization and the T-CREST Project";
Talk: Kollaboration mit der TRACES Gruppe / iRiT Frankreich,
Toulouse, Frankreich (invited);
2012-02-21
- 2012-02-26.
S Hepp, F. Brandner:
"Function Splitting for the Method Cache";
Talk: T-CREST/parMERASA/CERTAINTY Workshop,
Madrid;
2014-07-10.
S Hepp, B. Huber, D. Prokesch:
"platin - A Toolkit for Compiler and WCET-Analysis Integration";
Talk: TACLe Focused Meeting Day on Flow Facts and Annotation Formats,
Technical University of Denmark;
2014-04-11.
K. Hoder, L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Talk: 23rd International Conference on Automated Deduction (CADE-23),
Wroclaw, Poland;
2011-07-31
- 2011-08-05.
A. Jordan:
"Criticality: Static Profiling for the Worst Case";
Poster: Google PhD Student Summit on Compiler & Programming Technology 2013,
München (invited);
2013-11-25
- 2013-11-27.
A. Jordan:
"Graph-based Cluster Assignment for VLIW Architectures";
Poster: 19th International Conference on Parallel Architectures and Compilation Techniques (PACT),
Wien;
2010-09-11
- 2010-09-15.
J. Knoop:
"A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report.";
Talk: 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Jackson's Mill, Weston, West Virginia, USA (invited);
2005-10-02
- 2005-10-07.
J. Knoop:
"Behaviour-Carrying Code";
Talk: 49th IFIP WG 2.4 Meeting on Software Implementation Technology,
Berg en Terblijt near Maastricht, The Netherlands (invited);
2010-01-24
- 2010-01-29.
J. Knoop:
"Code Motion: A Non-Refinining Optimizing Transformation";
Keynote Lecture: 11th International Workshop on Abstract State Machines (ASM 2004),
Wittenberg, Germany (invited);
2004-05-24
- 2004-05-28.
J. Knoop:
"Code Size vs. Execution-Time Optimization - Towards Getting Both";
Talk: Dagstuhl Seminar 03071,
Schloss Dagstuhl, Wadern, Germany (invited);
2003-02-11.
J. Knoop:
"Code Size vs. Run-Time Optimization: Towards Getting Both";
Talk: Kolloquium FernUniversität Hagen,
Hagen, Deutschland (invited);
2003-05-12.
J. Knoop:
"Constant Propagation on the Value Graph: Simple Constants and Beyond";
Talk: 20th Annual Workshop of the Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik,
Physikzentrum Bad Honnef, Germany;
2003-05-09.
J. Knoop:
"Constant Propagation w/ SSA- and Predicated SSA Form";
Talk: Static Single-Assignment Form Seminar,
Autrans, Frankreich (invited);
2009-04-26
- 2009-04-30.
J. Knoop:
"Current Research at the CompLang Group: Robots and More!";
Talk: Austrian Robotics Summit,
Graz (invited);
2009-07-03.
J. Knoop:
"Current Research at the Complang Group: Timing Analyses and More";
Talk: Forschungskolloquium des Research Institute for Symbolic Computation RISC,
Johannes-Kepler-Universität Linz, Hagenberg bei Linz (invited);
2008-12-01.
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Talk: Informatik Kolloquium,
Technische Universität Berlin, Berlin, Germany (invited);
2007-11-12.
J. Knoop:
"Data-Flow Analysis for Hot-Spot Program Optimization";
Talk: Informatik Kolloquium,
Universität Paderborn, Paderborn, Germany (invited);
2007-10-23.
J. Knoop:
"Essential Ingredients for a WCET Annotation Language";
Talk: 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Bormio (invited);
2008-04-06
- 2008-04-11.
J. Knoop:
"From Mozart and Freud to .Net Technologies";
Keynote Lecture: 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006),
Plzen, Czech Republic (invited);
2006-05-29
- 2006-06-01.
J. Knoop:
"From Trust to Proof - Beyond Verifying Functional Program Properties";
Talk: Informatik-Kolloquium,
Universität Siegen, Siegen, Deutschland (invited);
2009-10-26.
J. Knoop:
"From Trust to Proof - Beyond Verifying Functional Program Properties";
Talk: Informatik-Kolloquium,
Technische Universität Darmstadt, Darmstadt, Deutschland (invited);
2009-11-30.
J. Knoop:
"From Trusted Annotations to Verified Knowledge";
Talk: 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Port Townsend, WA, USA (invited);
2009-05-10
- 2009-05-15.
J. Knoop:
"Future of European Scientific Societies in Informatics (panel discussion)";
Talk: 6th Annual European Computer Science Summit (ECSS 2010),
Prague, Czech Republic (invited);
2010-10-11
- 2010-10-13.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau";
Talk: Colloquium Universität Potsdam,
Potsdam, Germany (invited);
2004-05-10.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau";
Talk: Colloquium Universität Halle-Wittenberg,
Halle-Wittenberg, Germany (invited);
2004-04-15.
J. Knoop:
"Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung";
Talk: Colloquium Rheinisch-Westfälische Technische Hochschule Aachen,
Aachen, Germany (invited);
2004-01-22.
J. Knoop:
"Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau";
Talk: Kolloquium Universität Karlsruhe,
Karlsruhe, Deutschland (invited);
2005-10-15.
J. Knoop:
"Non-Standard Techniques for Program Analysis and Optimization";
Talk: Informatik Kolloquium,
Technische Universität München, Germany (invited);
2006-06-22.
J. Knoop:
"Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective'";
Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)",
Paris (invited);
2013-07-08
- 2013-07-09.
J. Knoop:
"Panel zu 'Dissertationen in der Software-Technik'";
Talk: Doktoranden-Symposium der Software Engineering 2012 (DS-SE 2012),
Berlin, Germany (invited);
2012-02-29.
J. Knoop:
"Parallelism -- Somtimes it is for Free";
Talk: 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Brisbane, Australia (invited);
2004-03-14
- 2004-03-19.
J. Knoop:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Talk: 50th IFIP WG 2.4 Meeting on Software Implementation Technology,
Lutherstadt Wittenberg, Deutschland (invited);
2010-10-03
- 2010-10-08.
J. Knoop:
"Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code";
Talk: 28th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte",
Physikzentrum Bad Honnef, Deutschland;
2011-05-02
- 2011-05-04.
J. Knoop:
"Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation";
Talk: IFIP Working Group 2.4 on Software Implementation Technology,
Santa Cruz, CA, USA (invited);
2003-08-07.
J. Knoop:
"Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox";
Talk: 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Cape May, NJ (invited);
2011-09-25
- 2011-09-30.
J. Knoop:
"Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges";
Keynote Lecture: 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004),
Timisoara, Romania (invited);
2004-09-26
- 2004-09-30.
J. Knoop:
"Timing Properties: Beyond Verifying Functional Program Properties";
Talk: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009),
York, UK (invited);
2009-03-22.
J. Knoop:
"Towards Targeted and Transparent Worst-Case Execution Time Optimization";
Talk: 56th Meeting of the IFIP WG 2.4 Software Implementation Technology,
Boppard (invited);
2015-07-26
- 2015-07-31.
J. Knoop:
"Towards Transparent Worst-Case Execution Time Optimization";
Talk: 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte,
Bad Honnef;
2015-05-04
- 2015-05-06.
J. Knoop:
"Verifying the Timing Behaviour of Real-Time Systems";
Talk: Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog,
Oldenburg (Oldbg.) (invited);
2015-09-08
- 2015-09-09.
J. Knoop:
"Worst-Case Execution Time Analysis: The Annotation Language Challenge";
Talk: 46th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Lake Arrowhead, California, USA (invited);
2007-05-06
- 2007-05-11.
J. Knoop:
"Worst-Case Execution Time Analysis: The CoSTA-Approach";
Talk: 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Glasgow, Scotland, UK (invited);
2006-07-16
- 2006-07-21.
J. Knoop:
"`Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion)";
Talk: Celebration of 10 Years of EASST at ETAPS 2010,
Paphos (Cyprus) (invited);
2010-03-24.
J. Knoop, M. Bruntink, P. McMinn:
"Slicing -- 10 Years from Now!";
Talk: Dagstuhl Seminar 05451: Beyond Program Slicing,
Schloss Dagstuhl, Germany (invited);
2005-11-06
- 2005-11-11.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution";
Talk: 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe),
Vienna (invited);
2014-01-23
- 2014-01-24.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution";
Talk: 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013),
Peking (invited);
2013-10-23
- 2013-10-25.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds";
Talk: 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Stellenbosch (invited);
2014-11-02
- 2014-11-07.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus";
Keynote Lecture: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack,
Christian-Albrechts-Universität zu Kiel, Deutschland (invited);
2014-05-09.
J. Knoop, L. Kovacs, J. Zwirchmayr:
"WCET Squeezing by On-demand Feasibility Refinement";
Talk: 53rd Meeting of the IFIP Working Group 2.4 'Software Implementation Technology',
Mysore (invited);
2013-03-17
- 2013-03-22.
J. Knoop, D. Schreiner:
"Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment";
Talk: 57th IFIP WG 2.4 Meeting "Software Implementation Technology",
Victoria, BC, Canada (invited);
2016-04-03
- 2016-04-08.
L. Kovacs:
"Aligators and Arrays";
Keynote Lecture: IST/TU Rigorous System Engineering,
IST Austria;
2010-10-28.
L. Kovacs:
"Automated Theorem Proving - An Introduction";
Talk: ARiSE/VCLA Winter School on Verification,
Wien;
2012-02-06
- 2012-02-10.
L. Kovacs:
"Automated Theorem Proving - with some Applications to Verification";
Talk: ARiSE/VCLA Winter School on Verification,
Wien;
2012-02-06
- 2012-02-10.
L. Kovacs:
"Experiments with Invariant Generation Using a Saturation Theorem Prover";
Talk: "Deduction at Scale" Seminar,
Ringberg Castle, Germany (invited);
2011-03-07
- 2011-03-11.
L. Kovacs:
"Experiments with Invariant Generation Using a Saturation Theorem Prover";
Talk: AdaCore Paris,
Paris, France (invited);
2011-04-18.
L. Kovacs:
"First-order theorem proving and Vampire";
Talk: RiSE-PUMA Workshop,
Traunkirchen, Austria;
2011-10-01
- 2011-10-07.
L. Kovacs:
"Formal Methods for Program Verification";
Talk: SAAB/Chalmers joint research seminar,
SAAB Kallebäck, Schweden (invited);
2013-11-06.
L. Kovacs:
"Formal Methods in Software Design and Verification";
Talk: SAAB Technical Seminar,
Linköping, Schweden (invited);
2013-11-12.
L. Kovacs:
"Interpolation and Symbol Elimination";
Talk: RiSE Workshop,
Technical University of Graz;
2010-02-22
- 2010-02-23.
L. Kovacs:
"Interpolation and Symbol Elimination";
Talk: Dagstuhl Seminar 10161 on "Decision Procedures in Software, Hardware and Bioware",
Schloss Dagstuhl, Germany;
2010-04-18
- 2010-04-23.
L. Kovacs:
"Interpolation and Symbol Elimination";
Talk: TU Graz,
Graz, Austria (invited);
2011-05-31.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Talk: Research Seminar at Microsoft Research Cambridge,
Cambridge, UK (invited);
2012-09-19.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Talk: Research Seminar at VERIMAG Grenoble,
Grenoble, France (invited);
2012-04-05.
L. Kovacs:
"Playing in the Grey Area of Proofs";
Talk: Rigorous System Engineering Seminar IST/TU Wien,
Vienna (invited);
2012-03-08.
L. Kovacs:
"Program Assertion Synthesis using Symbolic Computation";
Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (invited);
2011-09-26
- 2011-09-29.
L. Kovacs:
"Quantified Invariant Generation using Symbolic Computation and Theorem Proving";
Keynote Lecture: International Workshop on Symbolic Computation and Software Verification (SCSV),
Tsukuba University, Japan (invited);
2010-04-08
- 2010-04-09.
L. Kovacs:
"RiSE: Rigorous Systems Engineering";
Talk: Research Seminar for Master Students, West University of Timisoara,
Timisoara, Romania (invited);
2011-05-25
- 2011-05-27.
L. Kovacs:
"Symbol Elimination and Interpolation";
Keynote Lecture: University of Verona,
University of Verona, Italy (invited);
2010-09-21.
L. Kovacs:
"Symbol Elimination and Interpolation for Software Verification";
Keynote Lecture: Intel Haifa,
Haifa, Israel (invited);
2010-12-17
- 2010-12-23.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Talk: Theoretical Computer Science Seminar Series of the KTH Royal Institute of Technology,,
Stockholm, Sweden (invited);
2015-05-18.
L. Kovacs:
"Symbol Elimination for Program Analysis";
Talk: Dagstuhl Seminar 15471 on "Symbolic Computation and Satisfiability Checking",
Dagstuhl, Germany (invited);
2015-11-16
- 2015-11-20.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Talk: Helsinki Institute for Information Technology (HIIT),
Helsinki, Finnland (invited);
2011-09-23.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Keynote Lecture: International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS),
Beijing, China (invited);
2012-10-10
- 2012-10-12.
L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Talk: 10th Mexican International Conference on Artificial Intelligence (MICAI),
Puebla, Mexico;
2011-11-26
- 2011-12-04.
L. Kovacs, A. Voronkov:
"Invariant Generation using Theorem Proving";
Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (invited);
2011-09-26
- 2011-09-29.
A. Krall:
"Correct Compilers for Correct Processors";
Keynote Lecture: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers),
Wien (invited);
2014-01-20
- 2014-01-22.
A. Krall:
"Effective Compiler Generation by Architecture Description";
Talk: Informatik Kolloquium,
National University Singapore (invited);
2006-06-27.
A. Krall:
"Effective Tool Generation by Architecture Description";
Talk: Informatik Kolloquium,
University of Sydney, Australia (invited);
2006-07-19.
A. Krall:
"Effective Tool Generation by Architecture Description";
Talk: Informatik Kolloquium,
University of New South Wales, Sydney, Australia (invited);
2006-08-04.
A. Krall:
"Effective Tool Generation by Architecture Description";
Talk: Informatik Kolloquium,
The University of Auckland, Auckland, New Zealand (invited);
2006-08-17.
A. Krall:
"Effective Tool Generation by Architecture Description";
Talk: ICSA Colloquium Talk,
University of Edinburgh;
2010-09-30.
A. Krall:
"Efficient Instruction Set Simulation with Abstract State Machines";
Talk: Seminar,
Lyon, Frankreich (invited);
2011-04-08.
A. Krall:
"Efficient Instruction Set Simulation with Abstract State Machines";
Talk: DIKU Seminar,
Kopenhagen, Denmark (invited);
2011-08-26.
A. Krall:
"Optimal Code Generation for Explicitly Parallel Processors";
Talk: SasSeminar,
Linkoping Schweden (invited);
2011-06-07.
A. Krall:
"Optimal Code Generation for Explicitly Parallel Processors";
Talk: Informatics Seminar,
Lugano, Schweiz (invited);
2011-07-22.
A. Krall:
"Optimal Code Generation for Explicitly Parallel Processors";
Talk: ETH Informatics Seminar,
Zuerich (invited);
2011-07-20.
E. Kühn:
"Autonome Koordination verteilter Services - Ein neues Paradigma und seine Bedeutung für E-Government";
Talk: e-Government Konferenz 2008,
Krems (invited);
2008-05-27
- 2008-05-29.
E. Kühn:
"CORSO Space Based Computing ... an enabling infra-structure for enterprise GRID architectures";
Talk: T-Systems Veranstaltung zum Thema EAI (Enterprise Application Integration),
Wien (invited);
2004-05-27.
E. Kühn:
"CORSO space based computing: an arising paradigm beyond web service technology";
Talk: Kolloquium,
University of Innsbruck (invited);
2004-06-08.
E. Kühn:
"CORSO spaces: an enabling infrastructure for GRID computing and semantic web";
Talk: Kolloquium,
University of Galway (invited);
2004-07-14.
E. Kühn:
"Datenmanagement im heterogenen Umfeld";
Talk: Future Network Management Forum zum Thema "IT Konsolidierung",
Palais Eschenbach, Wien (invited);
2004-06-17.
E. Kühn:
"Erschliessen Sie neue Geschaeftsfelder und optimieren Sie Ihre Bestehenden";
Talk: BIT 2003 Internationale Bankenvertriebs- und Zahlungsverkehrsforum,
Wien (invited);
2003-05-13.
E. Kühn:
"Neue Wege in der Applikationsentwicklung und Integration: Space Based Computing mit CORSO";
Talk: Branchenkonferenz "Banken", LSZ-Consulting Event,
Hotel Vienna Marriott (invited);
2003-01-29
- 2003-01-30.
E. Kühn:
"Now is the time... for the real - time enterprise";
Talk: AOUG Expertentreff Zero Delay Business, ORACLE User Group,
TU Wien (invited);
2003-06-10.
E. Kühn:
"Reusable Coordination Components: A Silver Bullet for Reliable Development of Cooperative Information Systems?";
Keynote Lecture: 23rd International Conference on Cooperative Information Systems (CoopIS 2015),
Rhodos, Griechenland (invited);
2015-10-28
- 2015-10-30.
E. Kühn:
"Space Based Computing and the Enterprise GRID";
Talk: International Innovation Conference, T-Systems,
Neuss, Germany (invited);
2004-06-23.
E. Kühn:
"Von Client/Server to Peer-to-Peer and GRID Computing Technologies";
Talk: Siemens PSE Technology Day 2003 zum Thema "Paradigm Shift",
Bruenn (invited);
2003-11-11.
E. Kühn:
"Von Client/Server zu GRID Computing und Space Based Programming:Ein Paradigmenwechsel und seine Auswirkungen";
Talk: Neue Trends Im Software Engineering,
Hagenberg;
2003-01-11.
M. Mor:
"Shared Virtual Space Distribution Manager (SVSDM)";
Talk: SEMANTIC Technology Business Idea CONTEST 2007,
Wien (invited);
2007-05-31
- 2007-06-01.
M. Mor:
"Space-based Computing (SBC) als innovative Kommunikationsinfrastruktur";
Talk: MobilityLab Workshop,
Salzburg (invited);
2006-02-06.
V. Pavlu:
"Implementation of the BOLARE Programming Language";
Talk: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte",
Bad Honnef;
2011-05-02
- 2011-05-04.
M. Probst:
"Dynamic Binary Translation";
Talk: UKUUG Linux Developer`s Conference 2002,
United Kingdom;
2002.
F. Puntigam:
"State Information in Types or No Memory Consistency Model ist the Better Consistency Model";
Talk: Hardware and Software Consistency Models: Programmability and Performance,
Schloss Dagstuhl, Wadern, Germany (invited);
2003-10-19
- 2003-10-24.
P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard:
"The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration";
Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)",
Paris (invited);
2013-07-08
- 2013-07-09.
B. Scholz:
"Probabilistic Data Flow Analysis and its Applications";
Talk: French National Institute for Research in Computer Science and Control (INRIA),
Paris;
2002-02-01
- 2002-02-02.
B. Scholz:
"Speculative Partial Redundancy Elimimnation";
Talk: Workshop on Compiler-Driven Performance,
Toronto;
2002-10-01
- 2002-10-02.
M. Schordan:
"Analysis and Transformation of High-Level Abstractions with ROSE";
Talk: Informatik Kolloquium,
University of New South Wales, Sydney, Australia (invited);
2006-07-04.
M. Schordan:
"Analysis and Transformation of Object-Oriented Applications with ROSE and PAG";
Talk: Informatik Kolloquium,
Australian National University, Canberra, Australia (invited);
2006-07-07.
M. Schordan:
"Automation of PAG Integration and Specification of Analyses for C/C++";
Talk: ARTIST2 Cluster Compilers and Timing Analysis Meeting,
Munich, Germany;
2006-03-06.
M. Schordan:
"Characterization of Aliasing Patterns and its Impact on Scheduling for DSP Codes";
Talk: Dagstuhl Seminar 05101, Scheduling for Parallel Architectures: Theory, Applications, Challenges,
Schloss Dagstuhl, Germany (invited);
2005-03-06
- 2005-03-11.
M. Schordan:
"Integration of ROSE and PAG";
Talk: ARTIST2 Cluster Compilers and Timing Analysis Meeting,
Dortmund, Germany;
2006-11-03.
M. Schordan:
"Library Aware High-Level Optimizations";
Talk: Ninth AURORA Plenary Meeting,
Strobl/Wolfgangsee;
2004-06-04
- 2004-06-06.
M. Schordan:
"On Building Infrastructures for Domain-Specific Analysis and Optimization of General-Purpose Languages";
Talk: AURORA Plenary Meeting,
Strobl, Austria (invited);
2006-06-11.
M. Schordan:
"On the Impact of Alias Analysis Precision on Slicing";
Talk: Dagstuhl Seminar 05451: Beyond Program Slicing,
Schloss Dagstuhl (invited);
2005-11-06
- 2005-11-11.
M. Schordan:
"Recognition and Optimization of Object-Oriented High-Level Abstractions";
Talk: Informatik Kolloquium,
University of Sydney, Sydney, Australia (invited);
2006-07-05.
M. Schordan:
"ROSE: An Infrastructure for Abstraction-Aware High-Level Optimization of Scientific Applications";
Talk: Workshop on High Productivity Programming Languages and Models (HPPLM),
Cairns, Queensland, Australia (invited);
2006-07-01.
M. Schordan:
"Tool Integration for Static Analysis of Real-World Applications";
Talk: Kolloquium,
Saarland University, Saarbruecken, Germany (invited);
2006-11-30.
D. Schreiner:
"Artificial Immune Systems for Artificial Creatures";
Talk: Mediterranean Open Workshop on RoboCup Research,
Rom;
2011-03-15.
D. Schreiner, C. Punzengruber, A. Krall:
"Parametrizing Motion Controllers of Humanoid Robots by Evolution";
Talk: INFORMATIK 2011,
Berlin;
2011-10-04
- 2011-10-07.
V. Sipkova:
"Automatic Data Partitioning for Dual Memory Banks of DSPs";
Talk: Dagstuhl Seminar 03071,
Schloss Dagstuhl, Wandern,Germany;
2003-02-09
- 2003-02-14.
G. Wodni, M.A. Ertl:
"Neuigkeiten seit Gforth 0.7.0";
Talk: FORTH-Tagung,
Rheine;
2009-03-27
- 2009-03-29.
G. Wodni, M.A. Ertl:
"SWIG-Erweiterung für Forth";
Talk: Forth-Tagung 2011,
Goslar;
2011-04-15
- 2011-04-17.
J. Zwirchmayr:
"r-TuBound: Loop Bounds for WCET Analysis";
Talk: Kollaboration mit der TRACES Gruppe / iRiT Frankreich,
Toulouse, Frankreich (invited);
2012-02-21
- 2012-02-26.
Patents
E. Kühn:
"Coordination System";
Patent: U.S.A.,
No. US6848109;
submitted: 2004,
granted: 2005-01-25.
Habilitation Theses
M.A. Ertl:
"Efficient Interpreters";
TU-Wien,
2001.
L. Kovacs:
"Symbol Elimination in Program Analysis";
Technische Universität Wien/Fakultät für Informatik,
2012.
Doctor's Theses (authored and supervised)
S Agarwal:
"Analysis, Scheduling and Reasoning in Distributed Shared Memory Programming Languages";
Supervisor, Reviewer: J. Knoop, N. N.;
Tata Institute of Fundamental Research, Mumbai, Indien,
2009.
L Alvincz:
"A Framework for Intelligent Speculative Compiler Optimizations and its Application to Memory Access";
Supervisor, Reviewer: S. Glesner, J. Knoop;
Fakultät IV Elektrotechnik und Informatik, TU Berlin, Berlin, Deutschland,
2009;
oral examination: 2009-07-17.
M. Barisits:
"Hybrid simulation models for data-intensive systems";
Supervisor, Reviewer: E. Kühn, E. Schikuta, S. Bessler;
E185-1,
2017;
oral examination: 2017-04-21.
S. Brunthaler:
"Purely Interpretative Optimizations";
Supervisor, Reviewer: J. Knoop, M. Franz;
Institut für Computersprachen,
2011;
oral examination: 2011-02-28.
Q. Cai:
"Profile-Guided Redundancy Elimination";
Supervisor, Reviewer: J. Knoop;
The University of New South Wales, Sydney, Australia,
2006;
oral examination: 2006-07.
D. Drenjanac:
"Space-based Task Allocation in Robotic Fleets with Adaptive Autonomy";
Supervisor, Reviewer: E. Kühn, H. Schwefel;
E185/1,
2016;
oral examination: 2016-10-21.
A. Hartmann:
"Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen";
Supervisor, Reviewer: J. Knoop;
Friedrich-Schiller-Universität Jena, Deutschland,
2006;
oral examination: 2006-07.
S. Jörges:
"Genesys: A Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators";
Supervisor, Reviewer: B. Steffen, J. Knoop;
TU Dortmund, Deutschland,
2011;
oral examination: 2011-12-21.
A. Jordan:
"On Worst-Case Execution Time Analysis and Optimization";
Supervisor, Reviewer: A. Krall, M. Schöberl;
Inst. für Computersprachen,
2014;
oral examination: 2014-03-27.
K Klohs:
"Validation of Data Flow Results for Program Modules";
Supervisor, Reviewer: U Kastens, J. Knoop;
Universität Paderborn, Deutschland,
2009;
oral examination: 2009-04-03.
R Lezuo:
"Scalable Translation Validation Tools, Techniques and Framework";
Supervisor, Reviewer: A. Krall, W. Zimmermann;
Inst. für Computersprachen,
2014;
oral examination: 2014-06-04.
L. Li:
"Scratchpad Memory Management for Static Data Aggregates";
Supervisor, Reviewer: J. Knoop, N. N.;
The University of New South Wales, Sydney, Australia,
2007.
S. Maurer:
"Analysis and Coordination of Mixed-Criticality Cyber-Physical Systems";
Supervisor, Reviewer: J. Knoop, D.B. Christianson;
University of Hertfordshire,
2018;
oral examination: 2018-01-11.
R. Mordinyi:
"Managing Complex and Dynamic Software Systems with Space-Based Computing";
Supervisor, Reviewer: E. Kühn, S. Biffl;
Institut für Computersprachen, Programmiersprachen und Übersetzer,
2010;
oral examination: 2010-06-10.
M. Murth:
"Efficient Coordination with Semantic Shared Data Spaces";
Supervisor, Reviewer: E. Kühn, S. Dustdar;
Institut für Computersprachen u. E184-1,
2010;
oral examination: 2010-05-03.
A. Prantl:
"High-level Compiler Support for Timing Analysis";
Supervisor, Reviewer: J. Knoop, B. Lisper;
Institut für Computersprachen,
2010;
oral examination: 2010-06-09.
M. Raab:
"Context-aware Configuration";
Supervisor, Reviewer: F. Puntigam, U. Aßmann, Y. Zhou;
Institut für Computersprachen - Programmiersprachen und Übersetzer,
2017;
oral examination: 2017-11-23.
D. Richter:
"Programmanalysen zur Verbesserung der Softwaremodellprüfung";
Supervisor, Reviewer: W. Zimmermann, J. Knoop;
Martin-Luther-Universität Halle-Wittenberg, Deutschland,
2012;
oral examination: 2012-01-31.
B. Rieder:
"Measurement-Based Timing Analysis of Applications written in ANSI-C";
Supervisor, Reviewer: P. Puschner, J. Knoop;
Institut für Technische Informatik,
2009;
oral examination: 2009-06-26.
N. Rinetzky:
"Interprocedural and Modular Local Heap Shape Analysis";
Supervisor, Reviewer: J. Knoop, N. N.;
Tel-Aviv University, Tel Aviv, Israel,
2008.
U. Scheben:
"Simplifying and Unifying Composition for Industrial Component Models";
Supervisor, Reviewer: J. Knoop;
FernUniversität in Hagen, Deutschland,
2006;
oral examination: 2006-11.
T. Scheller:
"An Automated Measurement Method for the Usability of APIs and its Application in the Area of Middleware";
Supervisor, Reviewer: E. Kühn, M. Tscheligi;
Inst. für Computersprachen,
2014;
oral examination: 2014-10-24.
D. Schreiner:
"Component Based Communication Middleware for AUTOSAR";
Supervisor, Reviewer: M. Jazayeri, K. Göschka, U. Aßmann;
184/1, 185/1,
2009;
oral examination: 2009-11-04.
V. Sesum-Cavic:
"Self-organization for load balancing and information retrieval based on shared coordination spaces";
Supervisor, Reviewer: E. Kühn, S. Mitrovic;
E185-1,
2011;
oral examination: 2011-03-11.
D. Tetzlaff:
"A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures";
Supervisor, Reviewer: S. Glesner, P. Marwedel, J. Knoop;
TU Berlin, Fakultät für Elektrotechnik und Informatik,
2014;
oral examination: 2014-06-24.
I. Wenzel:
"Measurement-Based Timing Analysis of Superscalar Processors";
Supervisor, Reviewer: P. Puschner, J. Knoop;
Institut für Technische Informatik,
2007;
oral examination: 2007-01-16.
D. Ye:
"Accelarating Dynamic Detection of Memory Errors for C Programs via Static Analysis";
Supervisor, Reviewer: J. Knoop;
The University of New South Wales, Sydney, Australia,
2015.
J. Zwirchmayr:
"Symbolic Methods for the Timing Analysis of Programs";
Supervisor, Reviewer: L. Kovacs, J. Knoop;
Institut für Computersprachen - E185-1,
2013;
oral examination: 2013-10-04.
Diploma and Master Theses (authored and supervised)
G. Barany:
"Semantics-Based Code Optimizations with SATIrE";
Supervisor: J. Knoop;
Institut für Computersprachen,
2008;
final examination: 2008-02-01.
M. Barisits:
"Design and implementation of the next generation XVSM framework";
Supervisor: E. Kühn;
185/1,
2010;
final examination: 2010.
M. Baum:
"Work2Gether (W2G), ein Groupware Framework für Kooperation und Arbeitseinteilung";
Supervisor: E. Kühn;
185/1,
2010;
final examination: 2010.
M. Bergmann:
"Kollaborative API Erweiterungen für die MIDP 2.0 Technologie";
Supervisor: E. Kühn;
Institut fuer Computersprachen,
2003.
J. Bickel:
"Implementation of the VooDo Kern Programming Language";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2005.
J. Binder:
"Evaluating process modeling capabilities of the XVSM micro-room framework";
Supervisor: E. Kühn, S. Craß;
E185-1,
2017.
J. Binder:
"Introducing the XVSM Micro-Room Framework - Creating a Privacy Preserving Peer-to-Peer Online Social Network in a Declarative Way";
Supervisor: E. Kühn, S. Craß;
185 - 1,
2013;
final examination: 2013-10-09.
L. Bitter:
"Design and Implementation of a Security Model for the PeerSpace.NET";
Supervisor: E. Kühn, S. Craß;
E185-1,
2015.
P. Breitenstein:
"Work2Gether (W2G) - ein Groupware Framework für Kommunikation und Terminvereinbarung";
Supervisor: E. Kühn;
185/1,
2010;
final examination: 2010.
A. Brückl:
"Relaxed non-blocking distributed transactions for the eXtensible virtual shared memory";
Supervisor: E. Kühn, S. Craß;
185 - 1,
2013;
final examination: 2013-06-12.
S. Cejka:
"Enabling scalable collaboration by introducing platform-independent communication for the Peer Model";
Supervisor: E. Kühn, S. Craß;
E194-05,
2019.
S. Craß:
"A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell";
Supervisor: E. Kühn, G. Salzer;
185/1,
2010;
final examination: 2010.
M. Csuk:
"Developing an Interactive, Visual Monitoring Software for the Peer Model Approach";
Supervisor: E. Kühn;
E185-1,
2014;
final examination: 2015-01-13.
R. David:
"Reengineering zu Web-Anwendungen: Ein architektureller Ansatz";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2007.
T. Dönz:
"Design and implementation of the next generation XVSM framework : runtime, protocol and API";
Supervisor: E. Kühn;
E185-1,
2011.
S. Ehmann:
"Evaluation of Support for Generic Programming in C++ and Java";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2009.
B. Eizinger:
"On the Impact of Classical Program Optimization on the WCET-Behaviour";
Supervisor: J. Knoop, S Hepp;
Institut für Computersprachen,
2015;
final examination: 2015-11-09.
L. Fleischhacker:
"Peer model based and actor model based frameworks for search algorithms in unstructured peer-to-peer networks";
Supervisor: E. Kühn, V. Sesum-Cavic;
E194-05,
2019.
C. Föllmer:
"XtSpaces A language binding for XVSM (Humboldt Universität Berlin)";
Supervisor: J. Redlich, E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
W. Gelbmann:
"Design and implementation of LinqSpace";
Supervisor: E. Kühn, T. Scheller;
E185-1,
2011.
A. Grafl:
"Neue Trends und Standarts fuer WebServices und Peer-to-Peer am Beispiel von JXTA";
Supervisor: E. Kühn;
Institut fuer Computersprachen,
2003.
M. Gresko:
"Naming Service fuer ein Verteiltes Shared Memory";
Supervisor: E. Kühn;
Institut f. Computersprachen,
2003.
A. Grill:
"Pluggable Design and Implementation of the XVSM Framework Core for .NET";
Supervisor: E. Kühn, S. Craß;
E194-05,
2018.
G. Grötz:
"Implementation of XVSM for the iOS platform";
Supervisor: E. Kühn, T. Dönz, S. Craß;
185 - 1,
2013;
final examination: 2013-10-09.
E. Gültekin:
"Vergleich von .NET Remoting und Java RMI";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2008.
Th. Hamböck:
"Towards a toolchain for asynchronous embedded programming based on the peer-model";
Supervisor: E. Kühn, S. Craß;
E185-1,
2015;
final examination: 2015-06-01.
Ulrich Hirnschrott et al.:
"DSP Compiler Optimization";
Supervisor: A. Krall, B. Scholz;
Computersprachen,
2002.
J. Hirsch:
"An adaptive and flexible replication mechanism for MozartSpaces, the XVSM reference implementation";
Supervisor: E. Kühn, S. Craß;
185/1,
2012;
final examination: 2012-10-10.
Werner Hochenauer:
"Feasiblilty Study für die Kollaboration heterogener Terminplanungssysteme";
Supervisor: E. Kühn et al.;
Computersprachen,
2002.
A. Hofer:
"Process Types in Java";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2003.
G. Holasek:
"Reliable and Delay-Bounded Data Transmission in Industrial and Safety-Critical Applications";
Supervisor: E. Kühn;
E185/1,
2016;
final examination: 2016-10-03.
J. Hollenstein:
"Visual Control of Acoustic Speech Synthesis";
Supervisor: J. Knoop, M Pucher;
Institut für Computersprachen,
2014;
final examination: 2014-01-14.
C. I-Ting:
"Kollaborativer Terminplaner für mobile Geräte";
Supervisor: E. Kühn;
Institut fuer Computersprachen,
2003.
M. Jakesch:
"Vergleich von SOAP Kommunikationsplattformen";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2004.
I. Jucu:
"An Evaluation of Symbol Elimination for Generating First-Order Loop Invariants";
Supervisor: L. Kovacs;
Institut für Computersprachen - E185-1,
2013;
final examination: 2013-11-19.
C. Judt:
"Scannergenerator mit benannten regulären Teilausausdrücken";
Supervisor: M.A. Ertl;
Institut für Computersprachen,
2006;
final examination: 2006.
G. Kamper:
"Typsicherheit vs. Flexibilität -- Vererbung und Polymorphie in Ruby und C#";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2009.
D. Kanev:
"Decentralized unstructured flat P2P network with streaming content delivery method and user collaboration";
Supervisor: E. Kühn;
E185-1,
2015;
final examination: 2015-03-05.
Chris Kanhäuser et al.:
"Peer-to-Peer Lösungen für Pocket PCs";
Supervisor: E. Kühn et al.;
Computersprachen,
2002.
I Kero:
"Design und Implementierung der Persistenzmechanismen fuer ein Virtual Shared Memory System";
Supervisor: E. Kühn;
Institut F. Computesprachen,
2003.
L. Keszthelyi:
"Design and Implementation of the JavaSpaces API Standard for XVSM";
Supervisor: E. Kühn, R. Mordinyi;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
A. Kirk:
"Caching Strategies for Load Reduction on High Traffic Web Applications";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2005.
L. Klausner:
"Semantic XVSM - Design and Implementation";
Supervisor: E. Kühn;
E185-1,
2014;
final examination: 2014.
N. Kollarits:
"SmartMaut";
Supervisor: E. Kühn;
E185-1,
2015;
final examination: 2015-06-01.
A. Koltraka:
"Reasoning Capabilities for a Cognitive-Assistive Assembly System";
Supervisor: J. Knoop, D. Schreiner;
Institut für Computersprachen,
2017;
final examination: 2017-10-04.
A. Kovanci:
"Entwicklungsmethoden im Web und deren Analyse";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2009.
Klemens Kraus:
"Java language bindings for extensible virtual shared memory";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
F. Kruse:
"Heterogeneous SQL-database cluster via virtual shared memory";
Supervisor: E. Kühn;
185/1,
2010;
final examination: 2010.
F. Kruse:
"Use cases for a heterogeneous SQL-database cluster via virtual shared memory, its limits and alternative solutions";
Supervisor: E. Kühn;
E185-1,
2011.
M. Lafite:
"Design und Implementierung einer grafischen Komponente für Monitoring von SEDA-Applikationen";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
L. Lechner:
"A JavaScript API for an eXtensible Virtual Shared Memory(XVSM)";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
M. Lettmayer:
"A Public Resource Computing Application based on the Secure Peer Model";
Supervisor: E. Kühn, S. Craß;
E194-05,
2018.
B. Löwenstein:
"Benchmarking of Middleware Systems";
Supervisor: E. Kühn, R. Mordinyi;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
A. Marek:
"Design and implementation of TinySpaces - the .NET micro framework based implementation of XVSM for embedded systems";
Supervisor: E. Kühn;
185/1,
2010;
final examination: 2010.
T. Meindl:
"XVSM Persistence: developing an orthogonal functional profile for the eXtensible Virtual Shared Memory";
Supervisor: E. Kühn;
E185-1,
2011.
V. Mihailevschi:
"Machine Translation Interlingua based on MultiNet";
Supervisor: J. Knoop;
Institut für Computersprachen,
2008;
final examination: 2008-04-01.
R Nebauer:
"COBRA-CORSO Bridge (CCB)";
Supervisor: E. Kühn;
Institut f. Computersprachen,
2003.
A. Neumann:
"Deployment and visualisation of the XVSM core configuration";
Supervisor: E. Kühn;
E185-1,
2011.
A. Oberhauser:
"Entscheidungsfindung im Roboterfußball mittels Neuroevolution";
Supervisor: J. Knoop, D. Schreiner;
Institut für Computersprachen,
2013;
final examination: 2013-10-08.
V. Pavlu:
"Shape-Based Alias Analysis for Object-Oriented Languages";
Supervisor: M. Schordan;
Institut für Computersprachen,
2009;
final examination: 2009-09-29.
M. Piskernig:
"Verwendung von C++-Bibliotheken in Eiffel";
Supervisor: F. Puntigam;
Universität Wien,
2006.
A. Prantl:
"Creating a GCC back end for a VLIW-architecture";
Supervisor: A. Krall;
Institut für Computersprachen,
2006;
final examination: 2006-06-13.
S. Prenner:
"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";
Supervisor: E. Kühn, M. Barisits;
E194-05,
2019.
M. Pröstler:
"Design and Implementation of MozartSpaces, the Java Reference Implemention of XVSM";
Supervisor: E. Kühn, R. Mordinyi;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
M Pucher:
"A Hidden-Markov-Model (HMM) based Opera Singing System for German";
Supervisor: J. Knoop, G. Keller;
Institut für Computersprachen,
2015;
final examination: 2015-06-15.
C. Punzengruber:
"Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League";
Supervisor: J. Knoop, D. Schreiner;
Institut für Computersprachen,
2011;
final examination: 2011-02.
C. Putsche:
"Migrating Business Software Applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2008;
final examination: 2008.
D. Rauch:
"PeerSpace.NET - Implementing and Evaluating the Peer Model with Focus on API Usability";
Supervisor: E. Kühn, T. Scheller;
E185-1,
2014;
final examination: 2014-05.
J Riemer:
"Peer-to-Peer Groupware mit CORSO";
Supervisor: E. Kühn;
Institut f. Computersprachen,
2003.
D. Röck:
"Real Time Kollaborativer Personal Information Manager mit XVSM";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
D. Schabus:
"Interpolation of Austrian German and Viennese Dialect/Sociolect in HMM-based Speech Synthesis";
Supervisor: J. Knoop, M. Kommenda, M Pucher;
Institut für Computersprachen,
2009;
final examination: 2009-05-08.
T. Scheller:
"Design and Implementation of XcoSpaces, the .Net Reference Implementation of XVSM";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
G. Schermann:
"Extending the Peer Model with Composable Design Patterns";
Supervisor: E. Kühn;
E185-1,
2014;
final examination: 2014-05.
T. Schmid:
"Dynamic migration of cloud services on the basis of changeable parameters";
Supervisor: E. Kühn;
185 - 1,
2013;
final examination: 2013-06-07.
J. Schoba:
"Mobile peer model: a mobile peer-to-peer communication and coordination framework - with focus on scalability and security";
Supervisor: E. Kühn, S. Craß;
E185-1,
2017.
B. Scholz:
"Symbolische Verifikation von Echtzeitprogrammen";
Supervisor: J. Blieberger;
Institut für Automation,
1996.
C. Schreiber:
"Design and Implementation of MozartSpaces, the Java Reference Implementation of XVSM Custom Coordinators, Transactions and XML protocol";
Supervisor: E. Kühn, R. Mordinyi;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
M. Schröder:
"Durability and Contention in Software Transactional Memory";
Supervisor: J. Knoop;
Institut für Computersprachen,
2015;
final examination: 2015-10-15.
M. Seidl:
"Sprachunterstützung durch virtuelle Maschinen - Ein Vergleich von Java und .Net";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2003.
Ch. Selucky:
"HTTP-Tunneling fuer Space Based Computing Middleware - Entwurf und Implementierung";
Supervisor: E. Kühn;
Institut f. Computersprachen,
2003.
M. Sengstschmid:
"Community blockchain interaction patterns";
Supervisor: E. Kühn, G. Joskowicz;
E194-05,
2019.
K. Steiner:
"Smart food sharing across smart cities: concepts, processes and infrastructure";
Supervisor: E. Kühn;
E185-1,
2017.
J. Stepisnik:
"Distributed Object-Oriented Architectures: Sockets, Java RMI, and CORBA";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2005.
R. Strobl:
"Component-Based Development: A comparison of Enterprise Java Beans and Zope";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2006.
J. Thoma:
"A Register Allocation Framework for the GNU Compiler Collection (gcc)";
Supervisor: J. Knoop, B. Scholz;
Institut für Computersprachen,
2004;
final examination: 2004-03-15.
P. Tillian:
"Mobile Peer Model: A mobile peer-to-peer communication and coordination framework - with focus on mobile design constraints";
Supervisor: E. Kühn, S. Craß;
E185-1,
2017.
H. Trimmel:
"Benchmarks und Performance-Evaluierung von Heterogener Datenreplikation";
Supervisor: E. Kühn;
Institut f. Computersprachen,
2003.
Rein Trocker et al.:
"Sichere PsP-E-Collaboration mit Corso Virtual Shared Memory";
Supervisor: E. Kühn et al.;
Computersprachen,
2002.
Karl Vögler:
"A DSP C-Compiler";
Supervisor: A. Krall;
Computersprachen,
2002.
M. Vögler:
"SILCA - self-initiative load clustering agents";
Supervisor: E. Kühn;
E185-1,
2011.
H. Watzke:
"Lifecycle and Memory Management for Extensible Virtual Shared Memory (XVSM)";
Supervisor: E. Kühn, S. Craß;
E185-1,
2015;
final examination: 2015-06-01.
P. Wesel:
"Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2003.
M. Wieser:
"Fehlererkennung bei Robotern mithilfe eines künstlichen Immunsystems";
Supervisor: J. Knoop, D. Schreiner;
Institut für Computersprachen,
2012;
final examination: 2012-10-09.
M. Winkler:
"XIDS: an XVSM-based Collaborative Intrusion Detection System";
Supervisor: E. Kühn, S. Craß;
E185-1,
2011.
M. Wittmann:
"XVSM Tutorial and Application Scenarios";
Supervisor: E. Kühn;
Institut für Computersprachen Programmiersprachen und Übersetzer,
2008.
J. Zarnikov:
"Energy-efficient persistence for extensible virtual shared memory on the android operating system";
Supervisor: E. Kühn, T. Dönz;
185/1,
2012;
final examination: 2012-06-12.
M. Ziehmayer:
"Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel";
Supervisor: F. Puntigam;
Institut für Computersprachen,
2004.
S. Zischka:
"A Coordination-Based Framework for Routing Algorithms in Unstructured Peer-to-Peer Networks";
Supervisor: E. Kühn, V. Sesum-Cavic;
E185-1,
2017.
Scientific Reports
M. Bader, A. Hofmann, J. Knoop, D. Schreiner, M. Vincze:
"Austrian-Kangaroos 2012 Team Qualification Document (TQD)";
2012;
5 pages.
M. Bader, A. Hofmann, D. Schreiner:
"Austrian-Kangaroos 2009 Team Description Paper (TDP)";
2009;
6 pages.
J. Blieberger, B. Scholz:
"Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)";
1997.
Th. Hamböck, A. Hofmann, J. Knoop, D. Schreiner:
"Austrian-Kangaroos 2014 Team Qualification Document (TQD)";
2014;
5 pages.
Th. Hamböck, D. Schreiner:
"Austrian Kangaroos Team Research Report 2014";
2015.
U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall:
"Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster";
2005.
D. Schreiner, M. Bader, A. Hofmann:
"Team Description Paper 2010 Austrian Kangaroos";
2010;
7 pages.
D. Schreiner, A. Hofmann:
"Austrian Kangaroos 2013 Team Qualification Document (TQD)";
2013;
5 pages.
D. Schreiner, A. Hofmann, M. Bader:
"Austrian-Kangaroos 2013 Team Qualification Document";
2012;
5 pages.
D. Schreiner, A. Hofmann, J. Knoop, B. Miller, M. Bader, M. Vincze:
"Austrian-Kangaroos 2011 Team Qualification Document (TQD)";
2011;
7 pages.
