Publications

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

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

M. Zeiner, M. Schwarz, U. Schmid: On Linear-Time Data Dissemination in Dynamic Rooted Trees
Discrete Applied Mathematics, 255 (2019), p. 307 - 319
bib details doi pdf

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu: CPS/IoT Ecosystem: A Platform for Research and Education
14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; in: Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, 2019, ISBN: 978-3-030-23702-8
bib details doi

A. Ismail, H. Truong, W. Kastner: Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey
Journal of Big Data, 6 (2019), p. 1 - 26
bib details doi

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu: Parallel reachability analysis of hybrid systems in XSpeed
International Journal on Software Tools for Technology Transfer, 21 (2019), p. 401 - 423
bib details doi

R. Kuznets: Through an Inference Rule, Darkly
Mathesis Universalis, Computability and Proof, S. Centrone, S. Negri, D. Sarikaya, P. Schuster (ed.); Springer International Publishing, Cham, 2019, ISBN: 978-3-030-20446-4, p. 131 - 158
bib details doi

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
Archive for Mathematical Logic, 58 (2019), p. 359 - 385
bib details doi 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

J. Obermüller: SoC FPGA Oszilloskop - Implementierung eines Oszilloskops auf einem FPGA mit eingebettetem Prozessor (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

B. Fritz: Operation and Verification Framework for the FRad Experimental ASIC (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

M. Schütz: COTS FPGAs in Space -- From old Concerns to new Possibilities (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

R. Javed, A. Siddique, R. Hafiz, O. Hasan, M. Shafique: ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems
2018 12th International Conference on Open Source Systems and Technologies (ICOSST), Lahore, Pakistan; in: Proceeding of 2018 International Conference on Open Source Systems and Technologies (ICOSST), IEEE, 2018, ISBN: 978-1-5386-9564-7, p. 64 - 70
bib details doi

M. Kainer: More Parallelism in Single-Source Shortest Path Algorithms: Simulation and Implementation (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2019-01-24
bib details

S. Hunold, A. Carpen-Amarie: Algorithm Selection of MPI Collectives using Machine Learning Techniques
9th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018) in conjunction with SC 2018, Dallas, Texas, USA; in: Proceedings of the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018), IEEE, 2018, ISBN: 978-1-7281-0182-8, p. 45 - 50
bib details doi

J. Ren, M. Lindorfer, D. Dubois, A. Rao, D. Choffnes, N. Vallina-Rodriguez: Bug Fixes, Improvements, ... and Privacy Leaks - A Longitudinal Study of PII Leaks Across Android App Versions
Network and Distributed System Security Symposium (NDSS), Internet Society, 2018
bib details doi pdf

V. van der Veen, M. Lindorfer, Y. Fratantonio, H. Padmanabha Pillai, G. Vigna, C. Krügel, H. Bos, K. Razavi: GuardION: Practical Mitigation of DMA-based Rowhammer Attacks on ARM
Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Springer, 2018, ISBN: 978-3-319-93410-5, p. 92 - 113
bib details doi pdf

E. Pan, J. Ren, M. Lindorfer, C. Wilson, D. Choffnes: Panoptispy: Characterizing Audio and Video Exfiltration from Android Applications
Privacy Enhancing Technologies Symposium (PETS), DeGruyter, 4, 2018, p. 33 - 50
bib details doi 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

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting concurrent memory access in TCF processor architectures
Microprocessors and Microsystems, Volume 63 (2018), p. 226 - 236
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 143 144 145 146 147 148 149 150 >   >>