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

P. Puschner, B. Cilku, D. Prokesch: Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control
IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; in: Proceedings IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems on Chip; ISBN 978-1-5090-3530-4, 2016, ISBN: 978-1-5090-3530-4, p. 321 - 328
bib details doi

M. Wurzenberger, F. Skopic, R. Fiedler, W. Kastner: Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools
ACM Conference on Computer and Communications Security (CCS), Wien; in: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016, p. 109 - 112
bib details doi

A. Fernbach, I. Pelesic, W. Kastner, W. Granzer: Semantic integration in Building Automation - A case study for KNX oBIX and Semantic Web applications
KNX Scientific Conference 2016, Dortmund, Germany; in: Proceedings of the KNX Scientific Conference, 2016; 12 pages
bib details

A. Fernbach, W. Kastner: Gebäudemanagement durch Wissensbasierte Systeme
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

M. Kammerstetter, M. Müllner, C. Kudera, D. Burian, W. Kastner: Efficient High-Speed WPA2 Brute Force Attacks using Scalable Low-Cost FPGA Clustering
Conference on Cryptographic Hardware and Embedded Systems 2016, Santa Barbara; in: Conference on Cryptographic Hardware and Embedded Systems 2016, 2016, p. 559 - 577
bib details

M. Kammerstetter, D. Burian, W. Kastner: Embedded Security Testing with Peripheral Device Caching and Runtime Program State Approximation
Tenth International Conference on Emerging Security Information, Systems and Technologies, Nizza; in: Tenth International Conference on Emerging Security Information, Systems and Technologies, 2016, ISBN: 9781510826939, p. 21 - 26
bib details

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

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