Publications

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

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

Presentations

J. Träff (invited): The Relative Power of Synchronization Primitives
Computational Mathematics in Engineering Group - Prof. Dr. Joachim Schöberl, Institute for Analysis and Scientific Computing, TU Wien, Vienna, Austria
bib details

S. Hunold (invited): One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
Wirtschaftswissenschaftliche Fakultät, Universität Augsburg, Augsburg, Deutschland
bib details

S. Kandl (invited): How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations
Design, Automation and Test in Europe Conference (DATE), Grenoble, France; in: DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain, 2015
bib details

M. Wimmer, J. Gruber, J. Träff, P. Tsigas: The Lock-Free k-LSM Relaxed Priority Queue
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA; in: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, A. Cohen, D. Grove (ed.); ACM, 2015, ISBN: 978-1-4503-3205-7, p. 277 - 278
bib details doi

S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details

D. Prokesch: Single-Path Code Generation for the Patmos Processor
TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande
bib details

M. Jung, J. Weidinger: IoTSyS - Control Logic Editor
IPSO Challenge 2014, Chicago, USA
bib details

F. Andren, T. Strasser, W. Kastner: Model-Driven Engineering applied to Smart Grid Automation using IEC 61850 and IEC 61499
Power Systems Computation Conference, Wroclaw, Poland; in: Proceedings 18th Power Systems Computation Conference, 2014, p. 1 - 7
bib details

A. Dabrowski, P. Fejes, J. Ullrich, K. Krombholz, H. Hobel, E. Weippl: Hardware Trojans - Detect and React?
Network and Distributed System Security Symposium (NDSS), San Diego, CA, USA
bib details

A. Dabrowski, H. Hobel, J. Ullrich, K. Krombholz, E. Weippl: Towards a Hardware Trojan Detection Cycle
International Workshop on Emerging Cyberthreats and Countermeasures, ARES ECTCM 2014, Fribourg, Switzerland; in: International Workshop on Emerging Cyberthreats and Countermeasures, 2014
bib details

A. Dabrowski, K. Krombholz, J. Ullrich, E. Weippl: QR - Inception: Barcode in Barcode Attacks
4th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), Scottsdale, Arizona, USA; in: ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices, 2014
bib details

A. Dabrowski, N. Pianta, T. Klepp, M. Mulazzani, E. Weippl: IMSI-Catch Me If You Can: IMSI-Catcher-Catchers
Annual Computer Security Applications Conference (ACSAC), New Orleans, Louisiana, USA; in: Annual Computer Security Applications Conference (ACSAC), 2014
bib details

A. Pavlogiannis, K. Chatterjee, U. Schmid, A. Kößler: A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks
35th IEEE Real-Time Systems Symposium, Rome; in: Proccedings IEEE Real-Time Systems Symposium (RTSS'14), 2014, ISSN: 1052-8725, p. 118 - 127
bib details doi

P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl: A Method Cache for Patmos
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing, 2014, ISSN: 1555-0885, p. 100 - 108
bib details doi

M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson: Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures
33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC), Paris, France; in: Proceedings of the 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, ACM, 2014, p. 341 - 343
bib details doi

B. Huber, S Hepp, M. Schöberl: Scope-based Method Cache Analysis
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; in: 14th International Workshop on Worst-Case Execution Time Analysis, OpenAccess Series in Informatics (OASIcs), 2014, ISBN: 978-3-939897-69-9, p. 73 - 82
bib details doi pdf

S Hepp, B. Huber, D. Prokesch: platin -­ A Toolkit for Compiler and WCET-Analysis Integration
TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark
bib details pdf

M. Brunner, M. Di Angelo: Competence Orientation in Vocational Schools - the Case of Industrial Information Technology in Austria
Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2014, Istanbul; in: ISSEP 2014, Y. Gülbahar, R. Karatas (ed.); Springer-Verlag Berlin Heidelberg, Heidelberg (2014), ISBN: 978-3-319-09957-6, p. 88 - 99
bib details doi pdf

D. Prokesch: Single-Path Code Generation and Input-Data Dependence Analysis
T-CREST/parMERASA/CERTAINTY Workshop, Madrid
bib details pdf

M. Jung, P. Raich, W. Kastner: The relevance and impact of IPv6 multicasting for Wireless Sensor and Actuator Networks based on 6LoWPAN and Constrained RESTful Environments
International Conference on the Internet of Things, Cambridge; in: Proceedings International Conference on the Internet of Things, 2014, p. 1 - 6
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 >   >>