Publications

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

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

E. Bartocci, R. Majumdar: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
bib details doi

B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador: A TDMA-Based arbitration scheme for mixed-criticality multicore platforms
The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; in: Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, IEEE, 2015, p. 1 - 6
bib details doi

L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz: Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)
12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; in: Proceedings of the 12th International SoC Design Conference (IEEE), 2015
bib details

W. Zischka: Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien (Master's Thesis)
reviewer: S. Poledna; E182, 2015; oral examination: 2015-11-19
bib details

C. Kloimüllner: A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
VeroLog 2015, Universität Wien
bib details

C. Kloimüllner, P. Papazek, G. Raidl, B. Hu: A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
Eurocast 2015, Gran Canaria, Spain; in: Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory, A. Quesada-Arencibia et al. (ed.); 2015, ISBN: 978-84-606-5438-4, p. 125 - 126
bib details

D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments
RV 2015, the 6th International Conference on Runtime Verification, Vienna; in: Runtime Verification, 6th International Conference (RV 2015), Springer, 9333 (2015), ISBN: 978-3-319-23819-7, p. 201 - 215
bib details doi

D. Ratasich, B. Frömel, O. Höftberger, R. Grosu: Generic Sensor Fusion Package for ROS
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; in: Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, IEEE, 2015, p. 286 - 291
bib details doi

A. Dabrowski, M. Kammerstetter, E. Thamm, E. Weippl, W. Kastner: Leveraging Competitive Gamification for Sustainable Fun and Profit in Security Education
2015 USENIX Summit on Gaming, Games and Gamification in Security Education (3GSE 15), Washington, D.C.; in: Proceedings of the 2015 USENIX Summit on Gaming, Games and Gamification in Security Education, USENIX, 2015
bib details

A. Dabrowski, I. Echizen, E. Weippl: Error-Correcting Codes as Source for Decoding Ambiguity
2nd Workshop on Language Theoretic Security (LangSec), IEEE Security & Privacy, San Jose, California; in: Proceedings of the 2nd Workshop on Language Theoretic Security (LangSec), 2015
bib details

A. Dabrowski, K. Krombholz, E. Weippl, I. Echizen: Smart Privacy Visor: Bridging the Privacy Gap
Workshop on Privacy by Transparency in Data-Centric Services (PTDCS 2015), BIS 2015, Poznan, Poland; in: Business Information Systems Workshops - BIS 2015 International Workshops, Springer International Publishing, 2015, p. 235 - 247
bib details

K. Krombholz, A. Dabrowski, M. Smith, E. Weippl: Ok Glass, Leave me Alone: Towards a Systematization of Privacy Enhancing Technologies for Wearable Computing
1st Workshop on Wearable Security and Privacy, Financial Crypto 2015, Puerto Rico; in: Financial Cryptography and Data Security FC 2015 International Workshops, Springer, 2015, ISBN: 978-3-662-48051-9
bib details

T. Frühwirth, F. Pauker, A. Fernbach, I. Ayatollahi, W. Kastner, B. Kittl: Guarded state machines in OPC UA
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON), 2015; 6 pages
bib details

T. Frühwirth, L. Krammer, W. Kastner: Dependability Demands and State of the Art in the Internet of Things
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg; in: Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2015; 4 pages
bib details

T. Frühwirth, W. Steiner, B. Stangl: TTEthernet SW-based End System for AUTOSAR
10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany; in: Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015; 8 pages
bib details

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
bib details doi

I. Konnov, H. Veith, J. Widder: SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; in: Computer Aided Verification, LNCS Springer, 9206 (2015), ISBN: 978-3-319-21689-8, p. 85 - 102
bib details doi

B. Charron-Bost, M Függer, L. Welch, J. Widder: Time Complexity of Link Reversal Routing
ACM Transactions on Algorithms, 11 (2015), p. 1 - 39
bib details doi pdf

S. Hunold: A Survey on Reproducibility in Parallel Computing
CoRR - Computing Research Repository, arXiv:1511.04217, 2015; 15 pages
bib details

J. Träff (invited): MPI Datatype reconstruction (for vector and index types)
Compilers and Languages Group, Institute of Computer Languages, TU Wien, Vienna, Austria
bib details

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