Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

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, 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

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

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

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. Kinali, F. Huemer, C. Lenzen: Fault-tolerant Clock Synchronization with High Precision
2016 IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, PA, USA; in: Proc. 2016 IEEE Computer Society Annual Symposium on VLSI, 2016, p. 490 - 495
bib details doi

T. Polzer, A. Steininger: A General Approach for Comparing Metastable Behavior of Digital CMOS Gates
19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Kosice, Slovakia; in: Proc 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2016, ISBN: 978-1-5090-2467-4; 6 pages
bib details

V. S. Veeravalli, A. Steininger: Study of a Delayed Single-Event Effect in the Muller C-element
21st IEEE European Test Symposium, Amsterdam; in: Proc 21st IEEE European Test Symposium, 2016, ISBN: 978-1-4673-9659-2
bib details

V. S. Veeravalli, A. Steininger: Design and Physical Implementation of a Target ASIC for SET Experiments
2016 Euromicro Conference on Digital System Design (DSD), Limassol, Portugal; in: Proc. 2016 Euromicro Conference on Digital System Design (DSD), IEEE, 2016, ISBN: 978-1-5090-2817-7, p. 694 - 697
bib details

T. Polzer, F. Huemer, A. Steininger: A Programmable Delay Line for Metastability Characterization in FPGAs
24th Austrian Workshop on Microelectronics (Austrochip), Villach; in: Proceedings 24th Austrian Workshop on Microelectronics, 2016; 6 pages
bib details

F. Huemer, J. Lechner, A. Steininger: A New Coding Scheme for Fault Tolerant 4-Phase Delay-Insensitive Codes
2016 IEEE International Conference on Computer Design, Phoenix, Arizona, USA; in: Proceedings 2016 IEEE International Conference on Computer Design, 2016, ISBN: 978-1-5090-5142-7, p. 392 - 395
bib details

J. Schumann, P. Moosbrugger, K. Rozier: Runtime Analysis with R2U2: A Tool Exhibition Report
7th International Conference on Runtime Verification, Madrid; in: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Springer International Publishing, 10012 (2016), ISSN: 0302-9743, p. 504 - 509
bib details doi pdf

G. Wang, R. Grosu: Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks
S2M'16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal; in: Proceedings of S2M'16, the International Conference on Sustaniable Smart Manufacturing, Taylor & Francis, 2016
bib details

P. Bogdan, P. Pande, H. Amrouch, M. Shafique, J. Henkel (invited): Power and Thermal Management in Massive Multicore Chips: Theoretical Foundation meets Architectural Innovation and Resource Allocation
International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Pittsburgh, Pennsylvania, USA; in: CASES, ACM, 2016, ISBN: 978-1-4503-4482-1
bib details doi pdf

S. Rehman, W. El-Harouni, M. Shafique, A. Kumar, J. Henkel: Architectural-Space Exploration of Approximate Multipliers
The IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Austin, TX, USA; in: ICCAD, ACM New York, NY, USA, 2016, ISBN: 978-1-4503-4466-1
bib details doi pdf

A. Steininger, R. Najvirt, J. Maier: Does Cascading Schmitt-Trigger Stages Improve the Metastable Behavior?
2016 Euromicro Conference on Digital System Design (DSD), Limassol, Portugal; in: 2016 Euromicro Conference on Digital System Design (DSD), IEEE, 2016, ISBN: 978-1-5090-2817-7, p. 372 - 379
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 >   >>