Publications

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

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

Presentations

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

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

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

J. Träff (invited): Fast Processing of MPI Derived Datatypes?
Mini Workshop Algorithms Engineering, Uni Wien, Vienna, Austria
bib details

J. Träff (invited): The past 25 years of MPI
Panel at ISC High Performance Conference 2017 - The HPC Event, Intel booth, Frankfurt, Germany
bib details

C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
16th International Symposium on Experimental Algorithms, SEA 2017, London, United Kingdom; in: 16th International Symposium on Experimental Algorithms, SEA 2017, C. Iliopoulos, S. Pissis, S. Puglisi, R. Raman (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Vol. 75 (2017), ISBN: 978-3-95977-036-1, p. 4:1 - 4:15
bib details doi

F. Lübbe: Micro-benchmarking MPI Neighborhood Collective Operations
Euro-Par 2017 23rd International European Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain; in: Euro-Par 2017: Parallel Processing, 23rd International Conference on Parallel and Distributed Computing, Proceedings, F. Rivera, T. Pena, J. Cabaleiro (ed.); Springer, LNCS 10417 (2017), ISBN: 978-3-319-64202-4, p. 65 - 78
bib details doi

A. Judmayer, J. Ullrich, G. Merzdovnik, A. Voyiatzis, E. Weippl: Lightweight Address Hopping for Defending the IPv6 IoT
12th International Conference on Availability, Reliability and Security (ARES 2017), Reggio Calabria, Italy; in: Proceedings of ARES 2017 (ACM International Conference Proceedings Series), 2017
bib details

G. Gourlis, P. Smolek, B. Heinzl, I. Leobner, I. Kovacic: From BIM Models to Integrated Energy Efficiency Applications for Industrial Facilities
Joint Conference on Computing in Construction (JC3), Heraklion; in: Lean and Computing in Construction Congress (LC3): Volume I - Proceedings of the Joint Conference on Computing in Construction (JC3), 2017, p. 245 - 253
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 >   >>