Publications

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

Currently viewing all publications in category Presentations - back to overwiew...

Presentations

A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray: Parallel Reachability Analysis for Hybrid Systems
Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; in: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, 2016, p. 12 - 22
bib details doi

A. Rodionova, E. Bartocci, D. Nickovic, R. Grosu: Temporal Logic as Filtering
Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; in: Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, ACM, 2016, ISBN: 978-1-4503-3955-1, p. 11 - 20
bib details doi

E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti: Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Quebec City, QC, Canada; in: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Springer International Publishing, 9826 (2016), ISBN: 978-3-319-43424-7, p. 244 - 259
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic: Quantitative Monitoring of STL with Edit Distance
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. 201 - 218
bib details doi

K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu: Applying Runtime Monitoring for Automotive Electronic Development
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. 462 - 469
bib details doi pdf

D. Schachinger, L. Krammer (invited): Building Profiling for Energy Management
Blickpunkt Forschung: Smart Communities + Technologies @ TU Wien, Wien
bib details

D. Schachinger, W. Kastner: Integration von KNX Netzwerken in das Internet der Dinge: Die KNX Web Services Spezifikation
7. Jahreskolloquium Kommunikation in der Automation (KommA 2016), Lemgo, Germany; in: Proceedings of the 7. Jahreskolloquium Kommunikation in der Automation, 2016; 8 pages
bib details

D. Schachinger, W. Kastner: IoT integration based on the KNX Web services specification
KNX Scientific Conference 2016, Dortmund, Germany; in: Proceedings of the KNX Scientific Conference, 2016; 12 pages
bib details

D. Schachinger, W. Kastner: Semantics for smart control of building automation
2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA; in: Proceedings of the 25th IEEE International Symposium on Industrial Electronics, IEEE, 2016, p. 1073 - 1078
bib details doi

D. Schachinger, S. Gaida, W. Kastner, F. Petrushevski, C. Reinthaler, M. Sipetic, G. Zucker: An Advanced Data Analytics Framework for Energy Efficiency in Buildings
21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany; in: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2016; 4 pages
bib details doi

D. Schachinger, W. Kastner, S. Gaida: Ontology-based abstraction layer for smart grid interaction in building energy management systems
IEEE International Energy Conference (ENERGYCON 2016), Leuven, Belgium; in: Proceedings of the IEEE International Energy Conference, IEEE, 2016; 6 pages
bib details doi

I. Leobner, P. Smolek, B. Heinzl, P. Raich, A. Schirrer, M. Kozek: Simulation-based Strategies for Smart Demand Response
2nd South East European Conference on Sustainable Development of Energy, Water and Environment Systems (SEE SDEWES 2016), Piran, Slovenia; in: Proceedings of the 2nd South East European Conference on Sustainable Development of Energy, Water and Environment Systems (SEE SDEWES 2016), 2016
bib details

Franz Preyser, B. Heinzl, P. Raich, W. Kastner: Towards Extending the Parallel-DEVS Formalism to Improve Component Modularity
2016 Workshop der ASIM/GI-Fachgruppen STS und GMMS, Lippstadt, Germany; in: Tagungsband zum Workshop der ASIM/GI-Fachgruppen STS und GMMS, ARGESIM Verlag Wien, 2016
bib details

P. Raich, T. Novak, K. Pollhammer, A. Treytl, W. Kastner: Intelligent control of streetlights based on sensor fusion
11th European ITS Congress, Glasgow; in: Proceedings of the 11th European ITS Congress, 2016
bib details

K. Pollhammer, T. Novak, P. Raich, W. Kastner, A. Treytl, G. Kovacs: Open traffic data platform for scenario-based control
42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016), Florenz; in: Proceedings of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016), 2016, p. 4677 - 4682
bib details doi

P. Raich, B. Heinzl, Franz Preyser, W. Kastner: Modeling Techniques for Integrated Simulation of Industrial Systems based on Hybrid PDEVS
2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Wien; in: Proceedings of the 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2016, p. 1 - 6
bib details doi

J. Träff (invited): Polynomial-Time Construction of Optimal MPI Derived Datatype Trees
Leibniz-Rechenzentrum (LRZ), Garching bei München, Germany
bib details

S. Seifried, G. Gridling, W. Kastner: KNX IPv6
KNX Scientific Conference 2016, Dortmund, Germany; in: Proceedings in KNX Scientific Conference 2016, 2016; 12 pages
bib details

S. Seifried, W. Kastner: Reliable control network gateways for building automation networks
Second International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP), Krakau, Polen; in: Event-based Control, Communication, and Signal Processing (EBCCSP), 2016, ISBN: 978-1-5090-4196-1, p. 1 - 8
bib details doi pdf

A. Ismail, W. Kastner: Discovery in SOA-governed industrial middleware with mDNS and DNS-SD
21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany; in: 2016 21st IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2016, p. 1 - 8
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 >   >>