Publications

Shows publications by members of the Embedded Systems group.

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

Reports, Miscellaneous

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Institut für Computer Engineering E191-02, TUW-281149, 2019
bib details pdf

R. Kuznets (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

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

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 pdf

R. Kuznets (invited): Interpolation using sequents and their generalisations
PhDs in Logic X, Prague
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. Shafique (invited): Enabling Extreme Energy-Efficiency through Brain-Inspired Computing Trends: From Approximate to Neural Processing
15th International Conference On Frontiers of Information Technology (FIT'17), Islamabad, Pakistan
bib details

M. Shafique (invited): Emerging Brain-Inspired Computing Trends: From Approximate Computing to Neural Processing
International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), Karachi, Pakistan
bib details

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

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

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

U. Schmid (invited): Reconciling Fault-Tolerance and Robustness ?
Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria
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

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

<<   < 1 2 3 4 >   >>