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

H. Glanzer, L. Krammer, W. Kastner: Increasing security and availability in KNX networks
Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit, Bonn; in: Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft für Informatik e. V. (GI), 2016, ISBN: 9783885796503, p. 241 - 252
bib details

F. Praus, W. Kastner, P. Palensky: Software security requirements in building automation
Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit, Bonn; in: Sicherheit 2016 : Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 8. Jahrestagung des Fachbereichs Sicherheit in der Gesellschaft für Informatik e. V. (GI) : 5. - 7. April 2016 in Bonn, 2016, ISBN: 9783885796503, p. 217 - 228
bib details

L. Krammer, W. Kastner, T. Sauter: A generic dependability layer for building automation networks
IEEE International Workshop on Factory Communication Systems, Aveiro, Portugal; in: Proceedings 2016 IEEE World Conference on Factory Communication Systems (WFCS), 2016; 4 pages
bib details doi

J. Kasberger, L. Krammer, W. Kastner: Reliable IP based communication for fire alarm systems
2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA; in: Proceedings of the 2016 IEEE 25th International Symposium on Industrial Electronics, 2016, p. 63 - 68
bib details doi

A. Fernbach, I. Pelesic, W. Kastner: Linked Data for Building Management
42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016), Florenz; in: Proceedings of the IECON2016 - 42nd Annual Conference of the Industrial Electronics Society, 2016, p. 6943 - 6948
bib details doi

P. Hausberger, A. Fernbach, W. Kastner: IMU-based smart fitness devices for weight training
42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016), Florenz; in: Proceedings of the IECON2016 - 42nd Annual Conference of the Industrial Electronics Society, 2016, p. 5182 - 5189
bib details doi

F. Andren, T. Strasser, W. Kastner: Applying the SGAM methodology for rapid prototyping of smart Grid applications
42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016), Florenz; in: Proceedings of the IECON2016 - 42nd Annual Conference of the Industrial Electronics Society, 2016, p. 3812 - 3818
bib details doi

T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin (invited): The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 371 - 379
bib details doi

E. Bartocci, Y. Falcone (invited): Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 333 - 338
bib details doi

H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling: Discrete Abstraction of Multiaffine Systems
Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Grenoble, France; in: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Springer International Publishing, 9957 (2016), ISBN: 978-3-319-47151-8, p. 128 - 144
bib details doi

K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu: Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 46 - 61
bib details doi

K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu: Monitoring of MTL Specifications With IBM's Spiking-Neuron Model
Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; in: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, IEEE Computer Society, 2016, ISBN: 978-3-9815-3707-9, p. 924 - 929
bib details

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

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