Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

R. Najvirt, S. Naqvi, A. Steininger: Classifying Virtual Channel Access Control Schemes for Asynchronous NoCs
19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; in: Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on, 2013, ISSN: 1522-8681; 9 pages
bib details

V. S. Veeravalli, A. Steininger: Performance of Radiation Hardening Techniques under Voltage and Temperature Variations
2013 IEEE Aerospace Conference, Big Sky, Montana, USA; in: Proc. 2013 IEEE Aerospace Conference, 2013; 6 pages
bib details

R. Najvirt, V. S. Veeravalli, A. Steininger: Particle Strikes in C-Gates: Relevance of SET Shapes
2nd Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, Avignon; in: Proceedings of the MEDIAN Workshop 2013, 2013; 4 pages
bib details

S. Resch, A. Steininger, C. Scherrer: Software Composability and Mixed Criticality for Triple Modular Redundant Architectures
SASSUR Workshop 2013, Toulouse; in: Proceedings of the 2013 SASSUR Workshop, 2013; 4 pages
bib details

S. Naqvi, A. Steininger, J. Lechner: An SET Tolerant Tree Arbiter Cell
19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; in: Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on, 2013, ISSN: 1522-8681; 9 pages
bib details

M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in existing Binary Circuit Models
19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; in: Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on, 2013, ISSN: 1522-8681, p. 191 - 199
bib details doi

B. Charron-Bost, M Függer, T. Nowak: Transience Bounds for Distributed Algorithms
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina; in: Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, 8053 (2013), ISBN: 978-3-642-40228-9, p. 77 - 90
bib details doi

C. Lenzen, M Függer, M. Hofstätter, U. Schmid: Efficient Construction of Global Time in SoCs despite Arbitrary Faults
16th Euromicro Conference on Digital System Design (DSD 2013), Santander, Spain; in: Dependable, Digital System Design (DSD), 2013 Euromicro Conference on, 2013, p. 142 - 151
bib details doi

M. Perner, U. Schmid, C. Lenzen, M. Sigl: Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication
DEPEND 2013, The Sixth International Conference on Dependability, Barcelona, Spain; in: Proceedings of the 6th IARA International Conference on Dependability (DEPEND'13), IARA, 2013, ISBN: 978-1-61208-301-8, p. 6 - 15
bib details

M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner: The Effect of Forgetting on the Performance of a Synchronizer
ALGOSENSORS 2013 (9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics), Sophia Antipolis, France; in: Algorithms for Sensor Systems, 2013, p. 185 - 200
bib details doi

D. Dolev, C. Lenzen, M Függer, U. Schmid, M. Perner: HEX: Scaling Honeycombs is Easier than Scaling Clock Trees
SPAA '13, Montreal, Canada; in: Proceedings of the 25th ACM symposium on Parallelism in Algorithms and Architectures, ACM, 2013, ISBN: 978-1-4503-1572-2, p. 164 - 175
bib details doi

R. Willmann, E. Serral Asensio, W. Kastner, S. Biffl: Shortening of product ramp-up by using a centralized knowledge base
11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany; in: 11th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2013, ISBN: 978-1-4799-0752-6, p. 516 - 522
bib details doi

I. Haller, A. Slowinska, M. Neugschwandtner, H. Bos: Dowsing for overflows: A guided fuzzer to find buffer boundary violations
Usenix Security Symposium, Washington, DC; in: Usenix Security Symposium, 2013
bib details pdf

M. Lindorfer, B. Miller, M. Neugschwandtner, Ch. Platzer: Take a Bite - Finding the Worm in the Apple
International Conference on Information, Communications and Signal Processing (ICICS), IEEE, 2013
bib details pdf

M. Lindorfer, M. Neumayr, J. Caballero, Ch. Platzer: POSTER: Cross-Platform Malware: Write Once, Infect Everywhere
ACM Conference on Computer and Communications Security (CCS), Berlin; in: ACM Conference on Computer and Communications Security (CCS), 2013
bib details pdf

M. Neugschwandtner, M. Lindorfer, Ch. Platzer: A View to a Kill: WebView Exploitation
USENIX Workshop on Large-Scale Exploits and Emergent Threats (LEET), USENIX, 2013
bib details pdf

M. Kofler, W. Kastner: Towards an ontology representing building physics parameters for increased energy efficiency in smart home operation
2nd Central European Symposium on Building Physics, Vienna; in: Proceedings of the 2nd Central European Symposium on Building Physics, Vienna University of Technology, Vienna, Austria (2013), ISBN: 978-3-85437-321-6, p. 51 - 58
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Kanada; in: PODC, ACM, 2013, ISBN: 978-1-4503-2065-8, p. 119 - 121
bib details doi

P. Ferschin, M. Di Angelo, G. Paskaleva: Parametric Balinese Rumah - Procedural Modeling of Traditional Balinese Architecture
2013 Digital Heritage International Congress, Marseille, France; in: 2013 Digital Heritage International Congress, A. Addison, G. Guidi, L. De Luca, S. Pescarin (ed.); IEEE, CFP1308W-USB (2013), ISBN: 978-1-4799-3169-9, p. 199 - 206
bib details pdf

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Parameterized model checking of fault-tolerant distributed algorithms by abstraction
International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; in: FMCAD, 2013, ISBN: 978-0-9835678-3-7, p. 201 - 209
bib details pdf

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