Publications

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

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

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. Hunold: One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
Concurrency and Computation: Practice and Experience, Volume 27 (2015), p. 1010 - 1026
bib details doi

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

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

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

M. Volcic: Energy-efficient Optimization of Railway Operation (PhD Thesis)
reviewers: J. Blieberger, J. Siegmann; 183, 2015; oral examination: 2015-02-04
bib details pdf

A. Heinisch: Selection and Hardware-Implementation of an Efficient Consensus Algorithm for a Mesochronous System (Master's Thesis)
reviewers: T. Polzer, A. Steininger; Technische Informatik, 2015; oral examination: 2015-01-15
bib details

I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation
Theoretical Computer Science, 599 (2015), p. 34 - 46
bib details doi

M. Lindorfer, M. Neugschwandtner, L. Weichselbaum, Y. Fratantonio, V. van der Veen, Ch. Platzer: Andrubis - 1,000,000 Apps Later: A View on Current Android Malware Behaviors
Proceedings of the 3rd International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security (BADGERS), IEEE, 2014, ISBN: 978-1-4799-8308-7, p. 3 - 17
bib details doi pdf

M. Lindorfer, V. Volanis, A. Sisto, M. Neugschwandtner, E. Athanasopoulos, F. Maggi, Ch. Platzer, S. Zanero, S. Ioannidis: AndRadar: Fast Discovery of Android Applications in Alternative Markets
Proceedings of the 11th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), Springer, LNCS 8550, 2014, ISBN: 978-3-319-08508-1, p. 51 - 71
bib details doi pdf

Ch. Platzer, M. Stütz, M. Lindorfer: Skin Sheriff: A Machine Learning Solution for Detecting Explicit Images
Proceedings of the 2nd International Workshop on Security and Forensics in Communication Systems (ASIACCS-SFCS), IEEE, 2014, ISBN: 978-1-4503-2802-9, p. 45 - 56
bib details doi pdf

N. Popper, I. Hafner, M. Rössler, F. J. Preyser, B. Heinzl, P. Smolek, I. Leobner: A General Concept for Description of Production Plants
Simulation Notes Europe SNE, 24(2) (2014), p. 105 - 114
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

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