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

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

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

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

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

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

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

R. Najvirt, T. Polzer, A. Steininger: Measuring Metastability with Free-Running Clocks
23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; in: Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5; 7 pages
bib details doi

H. Isakovic, R. Grosu, D. Ratasich, J. Kadlec, Z. Pohl, S. Kerrison, K. Georgiou, N. Druml, L. Tadros, F. Christiansen, E. Wheatley, B. Farkas, R. Meyer, M. Berekovic (invited): A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC2
SAFECOMP 2017 DECSoS, Trento; in: Computer Safety, Reliability, and Security, Lecture Notes in Computer Science / Springer, Volume 10486 (2017), ISBN: 978-3-319-66284-8, p. 124 - 140
bib details doi

T. Frühwirth, A. Einfalt, K. Diwold, W. Kastner: A distributed multi-agent system for switching optimization in low-voltage power grids
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), Limassol, Cyprus; in: Proceedings of the 22nd IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2017
bib details

M. Wurzenberger, F. Skopik, M. Landauer, P. Greitbauer, R. Fiedler, W. Kastner: Incremental Clustering for Semi-Supervised Anomaly Detection applied on Log Data
12th International Conference on Availability, Reliability and Security (ARES 2017), Reggio Calabria, Italy; in: Proceedings of the 12th International Conference on Availability, Reliability and Security, 2017, p. 1 - 6
bib details doi

M. Wurzenberger, F. Skopik, R. Fiedler, W. Kastner: Applying High-Performance Bioinformatics Tools for Outlier Detection in Log Data
3rd IEEE International Conference on Cybernetics (CYBCONF-2017), Exeter, UK; in: IEEE International Conference on Cybernetics, 2017, p. 1 - 8
bib details doi

F. Petrushevski, S. Gaida, B. Beigelböck, M. Sipetic, G. Zucker, C. Schiefer, D. Schachinger, W. Kastner: Semantic Building Systems Modeling for Advanced Data Analytics for Energy Efficiency
Building Simulation 2017, San Francisco, CA, USA; in: Proceedings of Building Simulation 2017, IBPSA, 2017; 6 pages
bib details

D. Schachinger, W. Kastner: Ontology-based generation of optimization problems for building energy management
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; 8 pages
bib details doi

D. Schachinger, W. Kastner: Semantic interface for machine-to-machine communication in building automation
13th IEEE International Workshop on Factory Communication Systems (WFCS 2017), Trondheim, Norway; in: Proceedings of the 13th IEEE International Workshop on Factory Communication Systems, IEEE, 2017, ISBN: 978-1-5090-5788-7; 9 pages
bib details doi pdf

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