Publications

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

Currently viewing all publications chronologically - back to overwiew...

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

F. Praus, W. Kastner, P. Palensky: Secure Control Applications in Smart Homes and Buildings
Journal of Universal Computer Science, 22 (2016), p. 1249 - 1273
bib details

L. Krammer, W. Kastner, T. Sauter: A Comprehensive Dependability Approach for Building Automation Networks
Journal of Universal Computer Science, 22 (2016), p. 1225 - 1248
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

E. Bartocci, C. Ramakrishnan: Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
International Journal on Software Tools for Technology Transfer, 18 (2016), p. 355 - 357
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
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

<<   < 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 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>