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

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

A. Fernbach, W. Kastner: Semi­automated Engineering in Building Automation Systems and Management Integration
2017 IEEE 26th International Symposium on Industrial Electronics (ISIE), Edinburgh; in: Proceedings of the 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE), 2017; 7 pages
bib details doi pdf

S. Seifried, Franz Preyser, W. Kastner: Enabling Hardware-in-the-Loop for Building Automation Networks: A Case Study for BACnet and PowerDEVS
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON2017), Beijing, China; in: Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON2017), 2017; 7 pages
bib details pdf

S. Seifried, G. Gridling, W. Kastner: KNX IPv6: Design Issues and Proposed Architecture
13th International Workshop on Factory Communication Systems (WFCS) 2017, Trondheim, Norwegen; in: Proceedings of 13th IEEE International Workshop on Factory Communication Systems (WFCS 2017), 2017; 10 pages
bib details doi pdf

D. Ratasich, O. Höftberger, H. Isakovic, M. Shafique, R. Grosu: A Self-Healing Framework for Building Resilient Cyber-Physical Systems
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Real-Time Distributed Computing (ISORC), 2017 IEEE 20th International Symposium on, IEEE, 2017, ISBN: 978-1-5386-1574-4, p. 133 - 140
bib details doi

M Zeilinger, R. Hauk, M. Bader, A. Hofmann: Design of an Autonomous Race Car for the Formula Student Driverless (FSD)
OAGM & ARW Joint Workshop 2017, Wien; in: OAGM&ARW Joint Workshop 2017, Verlag der Technischen Universität Graz, Wien (2017), ISBN: 978-3-85125-524-9, p. 57 - 62
bib details doi pdf

A. Schöbel, J. Aksentijevic, D. Hürlimann (invited): Simulation of Actual Network Performance Using Kronecker Algebra for Optimization of Traffic Flow
International Symposium New Horizons of Transport and Communications, Doboj; in: Proceedings VI International Symposium New Horizons of Transport and Communications, 2017; 10 pages
bib details pdf

S. Arming, E. Bartocci, A. Sokolova: SEA-PARAM: Exploring Schedulers in Parametric MDPs
QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; in: Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, EPCTS, 250 (2017), p. 25 - 38
bib details doi

K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu: Runtime Monitoring with Recovery of the SENT Communication Protocol
CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; in: Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, Springer, 10426 (2017), p. 336 - 355
bib details doi

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi: Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; in: Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2017, p. 146 - 155
bib details doi

K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu: Computing with Biophysical and Hardware-efficient Neural Models
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), p. 535 - 547
bib details doi

A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu: ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; in: Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 10206 (2017), p. 286 - 302
bib details doi

M. Baldi, E. Bartocci, F. Chiaraluce, A. Cucchiarelli, L. Senigagliesi, L. Spalazzi, F. Spegni: A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Berlin, Germany; in: Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Springer, 10503 (2017), ISBN: 978-3-319-66335-7, p. 123 - 139
bib details doi

M. Ben Sassi, E. Bartocci, S. Sankaranarayanan: A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Toulouse, France; in: IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Elsevier, 50 (1) (2017), p. 10462 - 10469
bib details doi

H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection Algorithms
CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; in: Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Springer, 10545 (2017), p. 23 - 39
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 >   >>