Publications

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

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

A. Fernbach, W. Kastner (invited): Secure and Semantic Web of Automation
Forum IoT 2017, Wien
bib details 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

E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti: Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Performance Evaluation, 116 (2017), p. 84 - 100
bib details doi

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

A. Carpen-Amarie, S. Hunold, J. Träff: On expected and observed communication performance with MPI derived datatypes
Parallel Computing, Volume 69 (2017), p. 98 - 117
bib details doi

J. Träff: Practical, Linear-time, Fully Distributed Algorithms for Irregular Gather and Scatter
24th European MPI Users' Group Meeting (EuroMPI/USA 2017), Chicago, IL, USA; in: Proceedings of the 24th European MPI Users' Group Meeting (EuroMPI/USA 2017), ACM, 2017, ISBN: 978-1-4503-4849-2, p. 1:1 - 1:10
bib details doi

F. Heinrich, T. Cornebize, A. Degomme, A. Legrand, A. Carpen-Amarie, S. Hunold, A. Orgerie, M. Quinson: Predicting the Energy-Consumption of MPI Applications at Scale Using a Single Node
IEEE International Conference on Cluster Computing (CLUSTER 2017), Honolulu, Hawaii, USA; in: Proceedings of the IEEE International Conference on Cluster Computing (CLUSTER 2017), IEEE, 2017, ISBN: 978-1-5386-2326-8, p. 92 - 102
bib details doi

F. Desprez, P. Dutot, C. Kaklamanis, L. Marchal, K. Molitorisz, L. Ricci, V. Scarano, M. Vega-Rodriguez, A. Varbanescu, S. Hunold, S. Scott, S. Lankes, J. Weidendorfer: Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104
Springer, Cham, 2017, ISBN: 978-3-319-58942-8; 850 pages
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 >   >>