Publications

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

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

Presentations

H. Kopetz (invited): From Embedded Systems to System of Systems
ITASC Workshop: Intelligent Transportation and Smart City, Shanghai
bib details

H. Kopetz (invited): Simplification Principles in the Design of Cyber-Physical System-of-Systems
Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris; in: Complex Systems Design & Management, Springer International Publishing, 2015, ISBN: 978-3-319-26109-6, p. 39 - 51
bib details doi

H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli: Towards an Understanding of Emergence in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 214 - 219
bib details doi

H. Kopetz, B. Frömel, O. Höftberger: Direct versus Stigmergic Information Flow in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 36 - 41
bib details doi

W. Kastner, A. Fernbach (invited): Secure and Semantic Web of Automation
Blickpunkt Forschung: Energie @ TU Wien, Wien
bib details

A. Ismail, W. Kastner (invited): Industrial Internet for the Internet of Things
OCG Jahrestagung 2015, Wien
bib details

W. Kastner (invited): Integration von Gebäudeautomationssystemen in das Internet der Dinge
Industriebauseminar: Integrale Planung für Industriebau 4.0, Wien; in: Integrale Planung, 2015, ISBN: 9783903015036, p. 294 - 301
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
The international Conference on NETworked sYStems, Agadir, Marokko; in: NETYS2015, Springer LNCS, 9466 (2015), ISBN: 978-3-319-26849-1
bib details doi

K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu: Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
54th IEEE Conference on Decision and Control, Osaka, Japan; in: Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, IEEE Computer Society, 2015, ISBN: 978-1-4799-7884-7, p. 6978 - 6985
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic: From Signal Temporal Logic to FPGA Monitors
13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; in: Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2015, p. 218 - 227
bib details doi

S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu: Abstraction-based Parameter Synthesis for Multiaffine Systems
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 19 - 35
bib details doi

R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu: XSpeed: Accelerating Reachability Analysis on MultiCore Processors
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 3 - 18
bib details doi

E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti: Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
4th International Workshop on Hybrid Systems Biology (HSB), Madrid; in: Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, LNCS / LNBI / Springer, vol. 9271 (2015), p. 1 - 17
bib details doi

B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador: A TDMA-Based arbitration scheme for mixed-criticality multicore platforms
The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; in: Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, IEEE, 2015, p. 1 - 6
bib details doi

L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz: Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)
12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; in: Proceedings of the 12th International SoC Design Conference (IEEE), 2015
bib details

C. Kloimüllner: A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
VeroLog 2015, Universität Wien
bib details

C. Kloimüllner, P. Papazek, G. Raidl, B. Hu: A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
Eurocast 2015, Gran Canaria, Spain; in: Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory, A. Quesada-Arencibia et al. (ed.); 2015, ISBN: 978-84-606-5438-4, p. 125 - 126
bib details

D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments
RV 2015, the 6th International Conference on Runtime Verification, Vienna; in: Runtime Verification, 6th International Conference (RV 2015), Springer, 9333 (2015), ISBN: 978-3-319-23819-7, p. 201 - 215
bib details doi

D. Ratasich, B. Frömel, O. Höftberger, R. Grosu: Generic Sensor Fusion Package for ROS
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; in: Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, IEEE, 2015, p. 286 - 291
bib details doi

A. Dabrowski, M. Kammerstetter, E. Thamm, E. Weippl, W. Kastner: Leveraging Competitive Gamification for Sustainable Fun and Profit in Security Education
2015 USENIX Summit on Gaming, Games and Gamification in Security Education (3GSE 15), Washington, D.C.; in: Proceedings of the 2015 USENIX Summit on Gaming, Games and Gamification in Security Education, USENIX, 2015
bib details

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