Publications

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

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

S. Machida, A. Dabrowski, E. Weippl, I. Echizen: PrivacyTag: A Community-Based Method for Protecting Privacy of Photographed Subjects in Online Social Networks
16th IFIP Conference on e-Business, e-Services and e-Society (I3E 2017), Delhi, India; in: I3E 2017: Digital Nations - Smart Cities, Innovation, and Sustainability, Lecture Notes in Computer Science, 10595 (2017), p. 261 - 275
bib details

G. Wang, R. Hasani, Z. Yungang, R. Grosu: A Novel Bayesian Network-Based Fault Prognostic Method for Semiconductor Manufacturing Process
2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; in: Proceedings of the 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), IEEE, 2017, ISBN: 978-1-5090-5321-6, p. 1450 - 1454
bib details doi

R. Hasani, D. Haerle, C. Baumgartner, A. Lomuscio, R. Grosu: Compositional Neural-Network Modeling of Complex Analog Circuits
IEEE International Joint Conference on Neural Networks (IJCNN), Anchorage, Alaska, USA; in: Proceedings of the 2017 International Joint Conference on Neural Networks, 2017, ISSN: 2161-4407, p. 2235 - 2242
bib details doi

R. Hasani, G. Wang, R. Grosu: Towards Deterministic and Stochastic Computations with Izhikevich Spiking Neuron Model
IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; in: Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Springer, 10305 (2017), ISBN: 978-3-319-59146-9, p. 392 - 402
bib details doi

F. Shmarov, N. Paoletti, E. Bartocci, S. Li, S. Smolka, P. Zuliani: SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; in: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Springer, 10629 (2017), p. 131 - 146
bib details doi

A. Tiwari, S. Smolka, L. Esterle, A. Lukina, J. Yang, R. Grosu: Attacking the V: On the Resiliency of Adaptive-Horizon MPC
15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, Pune, India; in: Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, Springer International Publishing, 10482, Cham (2017), ISBN: 978-3-319-68166-5, p. 446 - 462
bib details doi

C. Pühringer: Analysis of Coupling Strategies and Protocols for Co-Simulation (Master's Thesis)
reviewers: W. Kastner, B. Heinzl; Institut für Rechnergestützte Automation, 2017
bib details

B. Heinzl, P. Raich, Franz Preyser, W. Kastner, P. Smolek, I. Leobner: Modular Hybrid Modeling based on DEVS for Interdisciplinary Simulation of Production Systems
31st European Simulation and Modelling Conference - ESM'2017, Lisbon, Portugal; in: Proceedings of the 31st European Simulation and Modelling Conference - ESM'2017, 2017, ISBN: 978-94-92859-00-6, p. 157 - 161
bib details

L. Siafara, A. Wendt, S. Kollmann, A. Fernbach, Franz Preyser, W. Kastner: Automated Generation and Optimization of Control Strategies for Increased Energy Efficiency in Buildings
Smart Energy Systems Week Austria 2017, Graz
bib details pdf

M. Pöter, J. Träff: A new and five older Concurrent Memory Reclamation Schemes in Comparison (Stamp-it)
CoRR - Computing Research Repository, arXiv:1712.06134, 2017; 34 pages
bib details

A. Ismail, W. Kastner: Coordinating Redundant OPC UA Servers
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), Limassol, Cyprus; in: Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation, IEEE, 2017, p. 1 - 8
bib details

A. Ismail, W. Kastner: Surveying the Features of Industrial SOAs
2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; in: 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), IEEE, 2017, p. 1199 - 1204
bib details doi

K. Zimmermann, A. Fernbach, F. Galler, J. L. Du, H. Kaindl, H. Drobics, P. Kerschl: IKT der Zukunft - eine Leistungs(vor)schau
forum IoT 2017, Wien
bib details

M. Zeiner, U. Schmid, M. Schwarz: On Linear-Time Data Dissemination in Dynamic Rooted Trees
19th ÖMG Congress and Annual DMV Meeting, Salzburg; in: 19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts, 2017, p. 87
bib details pdf

M. Lazić, I. Konnov, J. Widder, R. Bloem: Synthesis of Distributed Algorithms with Parameterized Threshold Guards
International Conference On Principles Of Distributed Systems (OPODIS), Lissabon; in: OPODIS, LIPIcs-Leibniz International Proceedings in Informatics, 2017, p. 32:1 - 32:20
bib details doi pdf

I. Konnov, M. Lazić, H. Veith, J. Widder (invited): Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms
Formal Methods in System Design, 51 (2017), p. 270 - 307
bib details doi

S. Hunold, A. Carpen-Amarie (invited): Autotuning MPI Collectives using Performance Guidelines
LIG - Bâtiment IMAG, St Martin d'Hères, France
bib details

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting Concurrent Memory Access in TCF-aware Processor Architectures
IEEE Nordic Circuits and Systems Conference (NORCAS 2017), Linköping, Sweden; in: IEEE Nordic Circuits and Systems Conference (NORCAS 2017), Proceedings, J Nurmi, M. Vesterbacka, J. Wikner, A. Alvandpour, M. Nielsen-Lönn, I. Nielsen (ed.); IEEE, 2017, ISBN: 978-1-5386-2845-4, p. #1 - #6
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

T. Polzer, F. Huemer, A. Steininger: Measuring Metastability Using a Time-to-Digital Converter
20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Dresden; in: Proceedings 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, IEEE Service Center, 2017, ISBN: 978-1-5386-0471-7; 6 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 >   >>