Publications

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

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

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

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob: Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
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. 73 - 96
bib details doi pdf

B. Frömel, H. Kopetz: Interfaces in Evolving Cyber-Physical Systems-of-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. 40 - 72
bib details doi

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz: Basic Concepts on Systems of 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. 1 - 39
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
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 >   >>