Publications

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

Currently viewing all publications chronologically - back to overwiew...

I. Konnov, M. Lazić, H. Veith, J. Widder: Parameterized Verification of Liveness of Distributed Algorithms
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Marrakech, Marocco
bib details

M. Meisel, S. Wilker, J. Fabini, R. Annessi, T. Zseby, M. Müllner, W. Kastner, M. Litzlbauer, W. Gawlik, C. Neureiter (invited): Methodical Reference Architecture Development Progress
energieinformatik 2016, F. Kupzog (ed.); Österreichischer Verband für Elektrotechnik, Klagenfurt, OVE-Schriftenreihe Nr. 84 (2016), ISBN: 978-3-85133-090-8, p. 40 - 43
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

U. Schmid (invited): Easy Impossibility Proofs for k-Set Agreement
Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
bib details doi

D. Pfleger, U. Schmid: A Framework for Connectivity Monitoring in Wireless Sensor Networks
10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), Nice, France; in: Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), IARIA XPS Press, 2016, ISBN: 978-1-61208-490-9, p. 40 - 48
bib details

B. Charron-Bost, M Függer, T. Nowak: Fast, Robust, Quantizable Approximate Consensus
International Colloquium on Automata, Languages and Programming (ICALP), Rome, Italy; in: Proceedings 43rd International Colloquium on Automata, Languages, and Programming (ICALP'16), Leibniz International Proceedings in Informatics (LIPIcs), 2016, ISBN: 978-3-95977-013-2, p. 1 - 14
bib details doi

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

M. Schwarz, K. Winkler, U. Schmid: Fast Consensus Under Eventually Stabilizing Message Adversaries
17th International Conference on Distributed Computing and Networking, Singapore; in: Proceedings of the 17th International Conference on Distributed Computing and Networking, ACM, 2016, ISBN: 978-1-4503-4032-8, p. 1 - 10
bib details doi

A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka: Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans
18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; in: 18th IEEE International High-Level Design Validation and Test Workshop, IEEE, 2016, ISSN: 2471-7827, p. 170 - 177
bib details doi

M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in Existing Binary Circuit Models
IEEE Transactions on Computers, 65 (2016), p. 964 - 978
bib details doi

R. M. Hasani, L. Esterle, R. Grosu: Investigations on the Nervous System of Caenorhabditis elegans
Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt
bib details

O. Balún: Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network (Master's Thesis)
reviewers: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; oral examination: 2016-12-22
bib details

R. M. Hasani, D. Haerle, R. Grosu: Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks
12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal; in: Proc. of PRIME 2016: 12th conference on PhD research on microelectronics and electronics, IEEE, 2016, ISBN: 978-1-5090-0493-5, p. 1 - 4
bib details doi

O. Jung, S. Fenz, M. Kammerstetter, A. Hudic: Eine Architektur für sichere Smart Grids in Österreich
D-A-CH Security 2016, Forschungsgruppe Systemsicherheit, Klagenfurt, 2016
bib details pdf

D. Henneke, C. Freudenmann, M. Kammerstetter, D. Rua, L. Wisniewski, J. Jasperneite: Communications for AnyPLACE: A Smart Metering Platform with Management and Control Functionalities
21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), IEEE, 2016
bib details pdf

L. Langer, F. Skopik, P. Smith, M. Kammerstetter: From old to new: Assessing cybersecurity risks for an evolving smart grid
Elsevier Journal on Computers & Security, Elsevier, 62 (2016), p. 165 - 176
bib details pdf

L. Langer, J. Göllner, M. Tischlinger, M. Kammerstetter et al.: Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich
Schriftenreihe der Landesverteidigungsakademie, Wien, 2016, ISBN: 978-3-902944-98-6; 253 pages
bib details pdf

P. Puschner, B. Frömel: Composable Component Interfaces for Time-Triggered Systems
12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK; in: Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops, 2016
bib details

P. Puschner, B. Cilku, D. Prokesch: Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control
IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; in: Proceedings IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems on Chip; ISBN 978-1-5090-3530-4, 2016, ISBN: 978-1-5090-3530-4, p. 321 - 328
bib details doi

M. Wurzenberger, F. Skopic, R. Fiedler, W. Kastner: Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools
ACM Conference on Computer and Communications Security (CCS), Wien; in: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016, p. 109 - 112
bib details doi

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 >   >>