Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Reports, Miscellaneous - back to overwiew...

Reports, Miscellaneous

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details pdf

U. Schmid: FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits
TUW-278607, 2018
bib details

A. Wendt, A. Fernbach, Franz Preyser: Wenn die Heizung alles richtig macht
2018
bib details

M. Pöter, J. Träff: Stamp-it: A more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
CoRR - Computing Research Repository, arXiv:1805.08639, 2018; 27 pages
bib details

J. Träff: Parallel Quicksort without Pairwise Element Exchange
CoRR - Computing Research Repository, arXiv:1804.07494, 2018; 4 pages
bib details

M. Pöter, J. Träff: Memory Models for C/C++ Programmers
CoRR - Computing Research Repository, arXiv:1803.04432, 2018; 15 pages
bib details

D. Pfleger, U. Schmid: On Knowledge and Communication Complexity in Distributed Systems
Institute of Computer Engineering, TUW-269752, 2018
bib details pdf

M. Schwarz, U. Schmid: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
TUW-269285, 2018
bib details pdf

M. Pöter, J. Träff: A new and five older Concurrent Memory Reclamation Schemes in Comparison (Stamp-it)
CoRR - Computing Research Repository, arXiv:1712.06134, 2017; 34 pages
bib details

J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
CoRR - Computing Research Repository, arXiv:1711.08731, 2017; 12 pages
bib details

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
HAL, RR-9123, 2017; 21 pages
bib details pdf

S. Hunold, A. Carpen-Amarie: Tuning MPI Collectives by Verifying Performance Guidelines
CoRR - Computing Research Repository, arXiv:1707.09965, 2017; 16 pages
bib details

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

J. Maier: Modeling the CMOS Inverter using Hybrid Systems
TUW-259633, 2017
bib details pdf

C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
CoRR - Computing Research Repository, arXiv:1702.04164, 2017; 13 pages
bib details

J. Träff: Practical, Linear-time, Fully Distributed Algorithms for Irregular Gather and Scatter
CoRR - Computing Research Repository, arXiv:1702.05967, 2017; 17 pages
bib details

C. Schulz, J. Träff: VieM v1.00 - Vienna Mapping and Sparse Quadratic Assignment User Guide
CoRR - Computing Research Repository, arXiv:1703.05509, 2017; 9 pages
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
TUW-258404, 2016
bib details pdf

M. Zeiner, U. Schmid, U. Schilcher, C. Bettstetter: FWF-Proposal SPRG: Structural Properties of Random Graphs
Institut für Technische Informatik, TU Wien, 2016
bib details

A. Carpen-Amarie, S. Hunold, J. Träff: MPI Derived Datatypes: Performance Expectations and Status Quo
CoRR - Computing Research Repository, arXiv:1607.00178, 2016; 46 pages
bib details

J. Träff, A. Carpen-Amarie, S. Hunold, A. Rougier: Message-Combining Algorithms for Isomorphic, Sparse Collective Communication
CoRR - Computing Research Repository, arXiv:1606.07676, 2016; 12 pages
bib details

S. Hunold, A. Carpen-Amarie, F. Lübbe, J. Träff: PGMPI: Automatically Verifying Self-Consistent MPI Performance Guidelines
CoRR - Computing Research Repository, arXiv:1606.00215, 2016; 13 pages
bib details

J. Gruber, J. Träff, M. Wimmer: Benchmarking Concurrent Priority Queues: Performance of k-LSM and Related Data Structures
CoRR - Computing Research Repository, arXiv:1603.05047, 2016; 17 pages
bib details

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

F. Dür, T. Flatz, I. Kovacic, L. Waltenberger, D. Wiegand, S. Emrich, I. Leobner, T. Bednar, K. Eder, W. Kastner, B. Heinzl, K. Kiesel: INFO - Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben
Klima- und Energiefonds, 2013; 132 pages
bib details pdf

S. Hunold: A Survey on Reproducibility in Parallel Computing
CoRR - Computing Research Repository, arXiv:1511.04217, 2015; 15 pages
bib details

S. Hunold, A. Carpen-Amarie: MPI Benchmarking Revisited: Experimental Design and Reproducibility
CoRR - Computing Research Repository, arXiv:1505.07734, 2015; 40 pages
bib details

T. Ferhatbegovic, W. Gawlik, R. Haas, M. Hartl, S. Hauer, M. Heimberger, S. Henein, A Hiesl, P. Jasek, R. Klug, B. Kodre, M. Kozek, F. Kupzog, M. Leitner, I. Leobner, K. Ponweiser, S. Schidler, A. Schirrer, J. Stockinger, H. Taus, M. Volcic, G. Zucker: SmartCityGrid: CoOpt Koordinierte Optimierung von erneuerbarer Energie in Netz und Gebäude bei Planung und Betrieb
FFG, 2015; 415 pages
bib details

M. Wimmer, J. Gruber, J. Träff, P. Tsigas: The Lock-free k-LSM Relaxed Priority Queue
CoRR - Computing Research Repository, arXiv:1503.05698, 2015; 18 pages
bib details

R. Ganian, M. Kalany, St. Szeider, J. Träff: Polynomial-time Construction of Optimal Tree-structured Communication Data Layout Descriptions
CoRR - Computing Research Repository, arXiv:1506.09100, 2015; 18 pages
bib details

J. Träff: The Shortest Path Problem with Edge Information Reuse is NP-Complete
CoRR - Computing Research Repository, arXiv:1509.05637, 2015; 3 pages
bib details

D. Pfleger, U. Schmid: A Framework for Connectivity Monitoring in Wireless Sensor Networks
TUW-241107, 2015
bib details pdf

M. Schwarz, K. Winkler, U. Schmid: Fast Consensus under Eventually Stabilizing Message Adversaries
TUW-240061, 2015; 13 pages
bib details pdf

U. Schmid: FWF-Proposal ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks
TUW-235381, 2014
bib details pdf

U. Schmid: Final Report FWF FATAL-Project (P21694)
TUW-235380, 2014
bib details pdf

U. Schmid: Final Report FWF PSRTS-Project (P20529)
TUW-235379, 2013
bib details pdf

M. Pöter: Pheet meets C++11
CoRR - Computing Research Repository, arXiv:1411.1951, 2014; 19 pages
bib details

M. Wimmer, D. Cederman, F. Versaci, J. Träff, P. Tsigas: Data Structures for Task-based Priority Scheduling
CoRR - Computing Research Repository, arXiv:1312.2501, 2013; 19 pages
bib details

S. Hunold, J. Träff: On the State and Importance of Reproducible Experimental Research in Parallel Computing
CoRR - Computing Research Repository, arXiv:1308.3648, 2013; 15 pages
bib details

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Configurable Strategies for Work-stealing
CoRR - Computing Research Repository, arXiv:1305.6474, 2013; 17 pages
bib details

J. Träff: A Note on (Parallel) Depth- and Breadth-First Search by Arc Elimination
CoRR - Computing Research Repository, arXiv:1305.1222, 2013; 7 pages
bib details

C. Siebert, J. Träff: Perfectly load-balanced, optimal, stable, parallel merge
CoRR - Computing Research Repository, arXiv:1303.4312, 2013; 8 pages
bib details

J. Träff, M. Wimmer: An improved, easily computable combinatorial lower bound for weighted graph bipartitioning
CoRR - Computing Research Repository, arXiv:1410.0462, 2014; 33 pages
bib details

M. Meisel, M. Berger, T. Hofer, F. Judex, M. Jung, G. Kienesberger, M. Pichler, S. Prost, W. Prüggler, K. Röderer: SGMS - Smart Web Grid - Konzeption eines Informationsmodells für webbasierten Zugriff auf Smart Grids Daten
Österreichische Forschungsförderungsgesellschaft mbH (FFG), 2014; 214 pages
bib details pdf

M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson: Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures
TUW-220473, 2013
bib details pdf

N. Ostermann, J. Blieberger, P. Tauschitz: Projektbericht Verfügbarkeitsberechnung
SCHIG mbH, 2012; 33 pages
bib details

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, U. Giesen: Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen
Physikalisch Technische Bundesanstalt, 2012
bib details

J. Träff: Simplified, stable parallel merging
CoRR - Computing Research Repository, arXiv:1202.6575, 2012; 6 pages
bib details

M. Schoeberl: Instruction Cache für Echtzeitsysteme
patent: Österreich, no. 500858, submitted: 2004-08-17, granted: 2006-04-15
bib details

W. Kastner: Bedarfserhebung Pflicht- und Wahllehrveranstaltung Automation Systems Group
2005
bib details

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

J. Puchinger, G. Raidl: Models and algorithms for three-stage two-dimensional bin packing.
Technical Report TR 186-1-04-04, submitted to EJOR, 2004
bib details

H. Stratil: An efficient implementation of the greedy forwarding strategy
Research Report 16/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Thallner, U. Schmid: Distributed Construction of Sparse Fault-Tolerant Overlay Networks
Research Report 35/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

U. Schmid, A. Steininger: Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips
patent: Österreich, submitted: 2004-01-01
bib details

C. Fetzer, U. Schmid: On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times
Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

P Tummeltshammer, M. Pueschel, A. Steininger, C. Ueberhuber: Face Recognition on ASICs
Research Report 108/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

P Tummeltshammer, M. Pueschel, A. Steininger, C. Ueberhuber: Constant Multiplication Methods
Research Report 107/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

C. El Salloum, A. Steininger: Recovery Mechanisms for Dual Core Architectures
Research Report 100/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

T. Kottke, A. Steininger: A Reconfigurable Generic Dual Core Architecture
Research Report 99/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Rahbaran, A. Steininger: A Strategy for Experimental Fault Injection into an Asynchronous Processor
Research Report 98/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

A. Steininger, M. Horauer, E. Armengaud: Options for Remote Diagnosis in Automotive Distributed Networks
Research Report 97/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, F Rothensteiner, A. Steininger, M. Horauer: A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories
Research Report 96/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, A. Steininger, M. Horauer: Fault Injection -- Requirements and Concepts
Research Report 95/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, A. Steininger: Fault Injection Method
Research Report 94/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud: Accurate Diagnosis Method with Access to Bit-Level
Research Report 93/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud: FlexRay Parameter Classification
Research Report 92/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, A. Steininger: Automatic Parameter Detection for Communication Protocols
Research Report 91/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, M. Horauer: Monitoring and Replay Hardware -- Specification and Implementation
Research Report 90/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

E. Armengaud, A. Steininger, M. Horauer: Monitoring and Replay hardware -- Requirements and Concepts
Research Report 89/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

M. Delvai, A. Steininger, W. Huber: Solving the Fundamental Problem of Digital Design -- A Systematic Review of Design Methods
Research Report 88/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

A. Steininger, M. Delvai, W. Huber: Code Alternation Logic (CAL): A Novel Efficient Design Approach for Delay-Insensitive Asynchronous Circuits
Research Report 87/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

A. Steininger, M. Delvai, W. Huber: Synchronous and Asynchronous Design Methods -- A Hardware Designer's Perspective
Research Report 86/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

W. Huber, A. Steininger, M. Delvai: Delay Insensitive Asychronous Pipeline Implementation for Code Alternation Logic
Research Report 85/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

A. Steininger, M. Delvai, W. Huber: Code Alternation Logic -- A Novel and Efficient Method for Delay-Insensitive Asynchronous Circuits
Research Report 84/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

G. Fuchs, U. Schmid, A. Steininger: DARTS - Distributed Algorithms for Robust Tick Synchronization
Research Report 72/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

A. Steininger, T. Handl, G. Fuchs: EPOCAL - Exploring the Potential of Code Alternation Logic
Research Report 71/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

U. Schmid, A. Steininger: Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips
Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

H. Stratil: The usage of the Delaunay Triangulation (resp. the Voronoi Diagram) in dynamic wireless ad-hoc networks
Research Report 67/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Rahbaran: Performing Automatic Physical Injection of Signal-Flips and Delay Faults with the toolset FIDYCO
Research Report 46/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

H. Moser, B. Thallner: Distributed Construction of Fault-Tolerant Overlay Networks: Construction Algorithm
Research Report 39/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Thallner: Distributed Construction of Fault-Tolerant Overlay Networks: Propose Modules
Research Report 38/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

M. Hutle, J. Widder: On the Possibility and the Impossibility of Time Free Self-Stabilizing Failure Detection
Research Report 34/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

M. Hutle, J. Widder: Time Free Self-Stabilizing Local Failure Detection
Research Report 33/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

J.-F. Hermant, J. Widder: Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study)
Research Report 23/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria (Joint research report with INRIA Rocquencourt, France), 2004
bib details pdf

U. Schmid: Final Report START-Project Y41
Research Report 19/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

G. Fuchs, U. Schmid, A. Steininger: Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware
Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

H. Stratil: Design of a Voronoi-Aided Routing (VAR) Protocol for Wireless Sensor Networks
Research Report 15/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

U. Schmid, B. Weiss: Fault-Tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks
Research Report 13/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Rahbaran: Die Wichtigsten Kommandos in der dc_shell(synopsys)
Research Report 5/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

U. Schmid: Failure Model Coverage under Transient Link Failures
Research Report 2/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

U. Schmid, B. Weiss: Synchronous Byzantine Agreement under Hybrid Process and Link Failures
Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

S. Pitzek: Semantic Meta Information for Improving Comprehension of a Smart Transducer Interface
2004
bib details

K. Steinhammer: A TT-Ethernet Switch based on COTS-Components
2004
bib details

P. Puschner: Worst-Case Execution-Time Analysis: Short Summary of Recent Work and Future Trends
2004
bib details

H. Kopetz, G. Bauer, R. Obermaisser, P. Peti, P. Puschner: The Time-Triggered Architecture: Short Summary of Recent Work and Future Trends
2004
bib details

I. Smaili: Monitoring of Distributed Time-Triggered Systems: Case Study
2004
bib details

I. Smaili: Monitoring and Debugging of Real-Time Systems : A Survey
2004
bib details

W. Elmenreich, W. Haidinger, A. Dias, C. Trödhandl, M. Borovicka: Final demonstration of smart sensor interface
2004
bib details

F. Kastner-Masilko, W. Kastner: OpenCommImplementation / Specification Review
Festo, 2004
bib details

M. Prandler, W. Kastner: Vehicle Tracking-System - Machbarkeitsstudie RFID
Topcall, 2004
bib details

W. Allgäuer, W. Kastner: Benutzerschnittstelle CT01
Taxicash, 2004
bib details

W. Granzer, W. Kastner: Zugangskontrolle Traiskirchen -- ConfigTool und Datenbank
Taxicash, 2004
bib details

W. Kastner, E. Kumalic: M-Terminal Protocol goes IP
Taxicash, 2004
bib details

A. Mahdavi, G. Schildt, R. Viertl: Building users as control agents - Boundary conditions, behavioral data, and predictive models
2004
bib details

D. Dietrich, W. Kastner, H. Schweinzer: Antrag TU Kooperationszentrum "Gebäude- und Heimautomation (CEHBA)"
2002
bib details

D. Dietrich, P. Palensky, W. Burgstaller, C. Rösener, W. Kastner: Technische Innovationen zur Steigerung der Konkurrenzfähigkeit von EIB/KNX für den breiten Markt
Siemens AG Österreich Bereich A & D, 2004
bib details

B. Weiss, G. Gridling: Creating and Grading Multiple-Choice Exams
Research Report 63/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004
bib details pdf

B. Burgstaller, B. Scholz, J. Blieberger: Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation
Technical Report 183/1-137, Department of Automation, Technische Universität Wien, 2004
bib details

M. Biely, U. Schmid: Message-efficient consensus in presence of hybrid node and link faults
Technical Report 183/1-116, Department of Automation, Technische Universität Wien, 2001
bib details pdf

J. Widder, U. Schmid: Booting clock synchronization in partially synchronous systems with hybrid node and link failures.
Technical Report 183/1-126, Department of Automation, Technische Universität Wien, 2003
bib details pdf

J. Widder, G. Le Lann, U. Schmid: Perfect failure detection with booting in partially synchronous systems
Technical Report 183/1-131, Department of Automation, Technische Universität Wien, 2003
bib details pdf

B. Thallner, U. Schmid: Fault tolerant communication topologies for wireless ad hoc networks
Technical Report 183/1-132, Department of Automation, Technische Universität Wien, 2003
bib details pdf

U. Schmid, B. Weiss: Impossibility results and lower bounds for consensus under link failures.
Technical Report 183/1-127, Department of Automation, Technische Universität Wien, 2003
bib details pdf

U. Schmid, C. Fetzer: Randomized asynchronous consensus with imperfect communications
Technical Report 183/1-120, Department of Automation, Technische Universität Wien, 2002
bib details pdf

G. Le Lann, U. Schmid: How to implement a timer-free perfect failure detector in partially synchronous systems.
Technical Report 183/1-127, Department of Automation, Technische Universität Wien, 2003
bib details pdf

G. Le Lann, U. Schmid: How to maximize computing systems coverage
Technical Report 183/1-134, Department of Automation, Technische Universität Wien, 2003
bib details pdf

M. Biely: Towards an optimal algorithm for hybrid Byzantine agreement.
Technical Report 183/1-130, Department of Automation, Technische Universität Wien, www.auto.tuwien.ac.at/Projects/W2F/papers.html, 2003
bib details

J. Fabre, T. Losert, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, W. Simmonds: Validation of Fault Tolerance and Timing Properties
2003
bib details pdf

W. Haidinger: Analysis of the CRC Polynomial used in TTP/C
2003
bib details

W. Huber, T. Handl: Simulation von Signalen selbstdefinierten Typs in verschiedenen Stufen des Design-Flows
2003
bib details

J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer: Projektbericht Technische Informatik: Seamless Campus
Technical Report 183/1-135, Department of Automation, Technische Universität Wien, 2003
bib details pdf

S. Stöckler: Analyzing distributed real-time systems using TATs and the specification language GOLD MINE (TR 183/1-41)
1994
bib details

S. Stöckler: Timed attributed event traces (TR 183/1-35)
1993
bib details

S. Stöckler: Real-Time Simulation (RTS) - Beschreibung (TR 183/1-27)
1990
bib details

A. Bezirgan, A. Dluhy, G. Schildt, R. Wirth: ELDORADO - Ein graphischer Verkehrsnetzeditor (TR 183/1-29)
1991
bib details

U. Schmid, D. Loy, W. Kastner: Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol
Technical Report 183/1-58, Vienna University of Technology, Department of Automation, 1995
bib details pdf

U. Schmid, W. Kastner: DOBOS - Konzept eines distributed object-based operating systems
Technical Report 183/1-40, Vienna University of Technology, Department of Automation, 1993
bib details pdf

K. Schoßmaier: UTCSU - An ASIC to Support Clock Synchronization for Distributed Real-Time Systems (Dagstuhl-Seminar Report 138 "Time Services")
1996
bib details

A. Redlein, R. Rohrhofer: Endbericht über die CAD Richtlinien Hochbau des BMwA
1998
bib details

G. Schildt: Gutachten, Zwischenbericht
Sonderforschungsbereich "Flugmesstechnik" an der TU Braunschweig, 1999
bib details

J. Blieberger: Expertengutachten: Beurteilung einer Software-Entwicklungsabteilung eines Unternehmens
Erste Bank, 1999
bib details

A. Redlein, R. Rohrhofer: Expertengutachten: GIS Einsatz in Österreich
2000
bib details

A. Redlein, R. Rohrhofer: Forschungsbericht: EDV Einsatz im Baugewerbe
2000
bib details

A. Redlein, H. Vogl: Erstellung eines Anforderungskataloges und Bewertung von Hausverwaltungssoftware
2001
bib details

A. Redlein, H. Vogl: Evaluierung von Hausverwaltungssystemen
2001
bib details

A. Redlein, R. Rohrhofer: EDV Einsatz im Planungswesen
2001
bib details

W. Kastner: Software-Umgebung zur Laborübung Prozeßautomatisierung (TR 183/1-106-d)
2000
bib details

W. Kastner: Tutoren-Schulungsunterlagen zur Laborübung Prozeßautomatisierung (TR 183/1-106-c)
2000
bib details

W. Kastner, B. Weiss, U. Schmid: Beispielsammlung zur Laborübung Prozeßautomatisierung (TR 183/1-106-b)
2000
bib details

J. Blieberger, S. Stöckler: Anleitung zur Gestaltung von Projektberichten (TR 183/1-1)
1991
bib details

J. Blieberger: Ein LaTeX-Style zur Gestaltung von Diplomarbeiten an Instituten der Technisch-Naturwissenschaftlichen Fakultät der Technischen Universität Wien (TR 183/1-34)
1993
bib details

U. Schmid, W. Kastner, B. Burgstaller, C. Kral: Skriptum zur Laborübung "Prozeßautomatisierung"
Technical Report 183/1-106-a, Vienna University of Technology, Department of Automation, 2000
bib details pdf

J. Blieberger, B. Burgstaller: WPP - Programmer's and User's Guide (TR 183/1-74)
1997
bib details

A. Bezirgan, J. Blieberger, J. Kremser: Skripten zur Übung "Einführung in die Informatik I" (TR 183/1-28)
1991
bib details

B. Burgstaller, W. Kastner: Mapping of a Real-Time Operating System to UNIX (TR 183/1-109)
Siemens AG Austria, 2000
bib details

J. Blieberger, B. Scholz: Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)
1997
bib details

J. Blieberger, U. Schmid: Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach
Technical Report 183/1-15, Vienna University of Technology, Department of Automation, 1991
bib details pdf

J. Blieberger, H. Reinwein: Scheduling in a Real-Time Environment under Rush-Hour Conditions (TR 183/1-102)
1997
bib details

J. Blieberger: Busy Period Duration for Static Priority Scheduling of Database Transactions (TR 183/1-104)
1998
bib details

J. Blieberger: Zusatzantrag zum FWF-Projekt WOOP (TR 183/1-72)
1996
bib details

J. Blieberger: FWF-Projektantrag "Worst Case Performance Objekt-Orientierter Echtzeit-Programme (WOOP)" (TR 183/1-42)
1993
bib details

J. Blieberger: An Annotated Bibliography on Real-Time Databases (TR 183/1-73)
1996
bib details

J. Blieberger: Skriptum "Entwurf von Automatisierungssystemen mit Ada95" (TR 183/1-71)
1995
bib details

J. Blieberger: Skriptum "Entwurf von Automatisierungssystemen mit Ada" (TR 183/1-24)
1991
bib details

R. Lieger, J. Blieberger: The Ackermann-Function Effort in Space and Time (TR 183/1-48)
1994
bib details

J. Blieberger, G. Schildt: Safe Programmable Logic Controller "SAFE_PLC" (TR-183/1-38)
ESPRIT, 1993
bib details

A. Pircher, J. Blieberger, U. Janner, G. Schildt, M. Zadic: Entwurf zur Automatisierung der Lagerbewirtschaftung von Wertpapierdruckereien unter spezieller Berücksichtigung von Hochsicherheitsaspekten (TR 183/1-49)
ABB Austria, 1994
bib details

W. Steiner: Presentation on Self-stabilization in the Time-Triggered Architecture
2002
bib details pdf

P. Peti: Analysis of the Framework Six Expressions of Interest on Embedded Systems
2002
bib details pdf

R. Kirner: Enforcing Composability for Ubiquitious Computing Systems
2002
bib details pdf

S. Aslam-Mir, W. Haidinger, W. Elmenreich, T. Losert, H. Kopetz: Smart Transducers Interface Specification
2002
bib details pdf

A. Ademaj: Slightly-Off-Specification Failures in the Time-Triggered Architecture
2002
bib details pdf

P. Peti: The Concepts behind Time, State, Component, and Interface - A Literature Survey
2002
bib details pdf

P. Puschner: Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures
2002
bib details pdf

H. Sivencrona, J. Torin, A. Ademaj: Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level
2002
bib details pdf

I. Smaili, A. Ademaj: Setting Break-Points in Distributed Time-Triggered Architecture
2002
bib details pdf

R. Maier, G. Bauer, G. Stöger, S. Poledna: Time-Triggered Architecture: A Consistent Computing Platform
2002
bib details pdf

W. Elmenreich, W. Haidinger, R. Kirner, T. Losert, R. Obermaisser, C. Trödhandl: TTP/A Smart Transducer Programming - A Beginner's Guide
2002
bib details pdf

W. Huber: Peripherieanbindung an SPEAR Extension Modules
2002
bib details

M. Delvai: Handbuch für SPEAR (Scalable Processor for Embedded Applications in Real-Time Environments)
2002
bib details

W. Elmenreich, R. Obermaisser: A Standardized Smart Transducer Interface
2002
bib details pdf

A. Ademaj: A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection
2002
bib details pdf

G. Bauer, H. Kopetz, W. Steiner: Byzantine Fault Containment in TTP/C
2002
bib details pdf

H. Kopetz, R. Obermaisser: Temporal composability
2002
bib details pdf

S. Pitzek, W. Elmenreich: Managing Fieldbus Systems
2002
bib details pdf

S. Blanc, A. Ademaj, H. Sivencrona, P. Gil, J. Torin: Three Different Fault Injection Techniques combined to Improve the Detection Efficiency for Time-Triggered Systems
2002
bib details pdf

A. Ademaj, P. Herout, P. Grillinger, J. Hlavicka: Fault Tolerance Evaluation Using two Software Based Fault Injection Methods
2002
bib details pdf

P. Puschner: Making Real-Time Tasks Temporally Predictable
2002
bib details pdf

R. Bruckner, R. Seemann, W. Elmenreich: Applying a Real-Time Interface to an Optical Tracking System
2002
bib details pdf

P. Peti, R. Obermaisser, W. Elmenreich, T. Losert: An Architecture supporting Monitoring and Configuration in Real-Time Smart Transducer Networks
2002
bib details pdf

H. Kopetz: Time-Triggered Real-Time Computing
2002
bib details pdf

M. Paulitsch: Fault-Tolerant External Clock Synchronization for Embedded Real-Time Systems
2002
bib details pdf

R. Kirner, P. Puschner: International Workshop on SCET Analysis - Summary
2002
bib details pdf

R. Kirner, R. Lang, G. Freiberger, P. Puschner: Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
2002
bib details pdf

I. Bate, G. Bernat, P. Puschner: Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis
2002
bib details pdf

P. Puschner: Transforming Execution-time Boundable Code into Temporally Predictable Code
2002
bib details pdf

C. Scheidler, U. Virnich, S. Boutin, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos: Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell
2002
bib details pdf

W. Steiner, M. Paulitsch: The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems
2002
bib details pdf

H. Kopetz: On the Specification of Linking Interfaces in Distributed Real-Time Systems
2002
bib details pdf

W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, M. Paulitsch, C. Trödhandl: Initial Demonstration of Smart Sensor Case Study
2002
bib details pdf

C. Trödhandl, L. Schneider: Interfaces for TTP/A Intercluster Communication and Monitoring
2002
bib details pdf

M. Schwarz: Linux Variants
2002
bib details pdf

J. Puchinger: The Memory Agent: An Attempt to Improve Genetic Algorithms
2002
bib details pdf

R. Kirner: The Programming Language wcetC
2002
bib details pdf

M. Paulitsch, P. Puschner: Non-Interfering Multi-Cluster Clock Synchronization
2002
bib details pdf

U. Schmid, M. Horauer, N. Kerö: Verfahren für die Sysnchronisation von Computeruhren in Netzwerken
patent: Austria, no. AT005327U1, submitted: 2000-03-06, granted: 2002-05-27
bib details

J. Vilanek: Zutrittskontrolle und Überwachung der Laborräume des Instituts für Technische Informatik
Technical Report 182-2, ECS, Technische Universität Wien, www.ecs.tuwien.ac.at, 2002
bib details

K. Thaller: Verfahren und Einrichtung zum Test eines Speichers
patent: Österreich, no. AT 409 562 B, submitted: 2001-03-16, granted: 2002-01-15
bib details pdf

N. Kerö, U. Schmid: Verfahren für die Synchronisation von Computeruhren in Netzwerken
patent: Österreich, submitted: 2001-03-06
bib details

M. Horauer, U. Schmid, K. Schossmaier: NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization
1997
bib details

M. Horauer, D. Loy, U. Schmid: NTI Functional and Architectural Specification
1996
bib details

N. Kerö, U. Schmid, M. Horauer: Verfahren für die Synchronisation von Computeruhren in Netzwerken
patent: Österreich, no. TR 183/1-105, submitted: 2000-03-01
bib details