Publications

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

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

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017
bib details

J. Träff (invited): High Performance Expectations for MPI
Austrian HPC Meeting 2017 - AHPC 2017, Grundlsee, Austria; in: AHPC 2017, Austrian HPC Meeting 2017, G. Baumgartner, J. Courian (ed.); FSP Scientific Computing, University of Innsbruck, 2017, p. 33
bib details

M. Meisel, S. Wilker, M. Kammerstetter, M. Müllner, D. Fasthuber, W. Kastner, W. Gawlik (invited): Reference Architecture as Foundation for Risk and Threat Analysis
Symposium On Innovative Smart Grid Cybersecurity Solutions, Wien; in: http://smartgrid-cybersecurity.events/call-for-posters/, Facultas, Wien (2017); 1 pages
bib details pdf

I. Konnov, H. Veith, J. Widder: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Information and Computation, 252 (2017), p. 95 - 109
bib details doi pdf

I. Konnov, J. Widder, F. Spegni, L. Spalazzi: Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Verification, Model Checking, and Abstract Interpretation (VMCAI), Paris; in: VMCAI 2017: Verification, Model Checking, and Abstract Interpretation, Springer, LNCS/10145/Paris (2017), ISBN: 978-3-319-52233-3, p. 347 - 366
bib details doi pdf

I. Konnov, M. Lazić, H. Veith, J. Widder: A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France; in: POPL, ACM, Paris (2017), ISBN: 978-1-4503-4660-3, p. 719 - 734
bib details doi pdf

M. Stefan, J. Blieberger, A. Schöbel: Application of Kronecker Algebra in Railway Operation
Tehnicki Vjesnik-Technical Gazette, 24 (2017), p. 21 - 30
bib details doi

J. Ren, A. Rao, M. Lindorfer, A. Legout, D. Choffnes: ReCon: Revealing and Controlling PII Leaks in Mobile Network Traffic
International Conference on Mobile Systems, Applications and Services (MobiSys), ACM, 2016, p. 361 - 374
bib details doi pdf

P. Carter, C. Mulliner, M. Lindorfer, W. Robertson, E. Kirda: CuriousDroid: Automated User Interface Interaction for Android Application Analysis Sandboxes
International Conference on Financial Cryptography and Data Security (FC), Springer, 2016, ISBN: 978-3-662-54969-8, p. 231 - 249
bib details doi pdf

V. van der Veen, Y. Fratantonio, M. Lindorfer, D. Gruss, C. Maurice, G. Vigna, H. Bos, K. Razavi, C. Giuffrida: Drammer: Deterministic Rowhammer Attacks on Mobile Platforms
ACM Conference on Computer and Communications Security (CCS), ACM, 2016, ISBN: 978-1-4503-4139-4, p. 1675 - 1689
bib details doi pdf

M. Lindorfer: Malware Through the Looking Glass: Malware Analysis in an Evolving Threat Landscape (PhD Thesis)
reviewers: E. Weippl, T. Holz, E. Kirda; Institut für Rechnergestützte Automation, 2016; oral examination: 2016-02-02
bib details pdf

K. de Bruyn, R. Freingruber, J. Göllner, R. Gottwald, B. Haberler, T. Hecht, M. Kammerstetter, G. Kienesberger, C. Kudera, F. Kupzog, L. Langer, A. Mattern, M. Meisel, C. Meurers, S. Milojkovic, R. Montagna, A. Peer, J. Reichl, A. Sadofsky, F. Skopik, T. Stotter, M. Tischlinger: Teil V: Maßnahmenkatalog und Tool-Implementierung
Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich, Schriftenreihe der Landesverteidigungsakademie, Wien, 15/2016 (2016), ISBN: 978-3-902944-98-6, p. 1 - 253
bib details pdf

A. Dabrowski, G. Petzl, E. Weippl: The Messenger Shoots Back: Network Operator Based IMSI Catcher Detection
19th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2016), Paris, France; in: RAID 2016: Research in Attacks, Intrusions, and Defenses, Lecture Notes in Computer Science, 9854 (2016), p. 279 - 302
bib details

T. Frühwirth, I. Ayatollahi, F. Pauker, W. Kastner, B. Kittl, T. Trautner, G. Gridling, C. Kudera, M. Kammerstetter: DigiTrans Modul3 - Praxistag 4: Security
DigiTrans 4.0 - Innovationslehrgang im Themenfeld Industrie 4.0, Wien
bib details

T. Frühwirth, I. Ayatollahi, F. Pauker, W. Kastner, B. Kittl, T. Trautner, G. Gridling: DigiTrans Modul3 - Praxistag 3: OPC Unified Architecture
DigiTrans 4.0 - Innovationslehrgang im Themenfeld Industrie 4.0, Wien
bib details

T. Frühwirth, I. Ayatollahi, F. Pauker, W. Kastner, B. Kittl, T. Trautner, G. Gridling: DigiTrans Modul3 - Praxistag 2: Automatisierungstechnik und automatisierte Fertigungssysteme
DigiTrans 4.0 - Innovationslehrgang im Themenfeld Industrie 4.0, Wien
bib details

T. Frühwirth, I. Ayatollahi, F. Pauker, W. Kastner, B. Kittl, T. Trautner, G. Gridling: DigiTrans Modul3 - Praxistag 1: Integration
DigiTrans 4.0 - Innovationslehrgang im Themenfeld Industrie 4.0, Wien
bib details

S. Hunold, A. Carpen-Amarie, J. Träff: The art of benchmarking MPI libraries
Austrian HPC Meeting 2016 - AHPC 2016, I. Reichl, C. Blaas-Schenner, J. Zabloudil (ed.); Vienna Scientific Cluster (VSC), 2016, p. 45
bib details

M. Meisel, S. Wilker, M. Kammerstetter, M. Müllner, D. Fasthuber, W. Kastner, W. Gawlik (invited): Reference Architecture as Foundation for Risk and Threat Analysis
Symposium on Innovative Smart Grid Cybersecurtity Solutions - Research-driven solutions for the critical cybersecurity challenges facing the future smart grid, Facultas Universitätsverlag, Wien, 2016, p. 98 - 103
bib details pdf

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger: Time and Resilient Master Clocks in Cyber-Physical Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 165 - 185
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 >   >>