Publications

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

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

E. Bartocci, P. Lio, E. Merelli, N. Paoletti: Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
Transactions on Computational Systems Biology, XIV (2012), p. 53 - 76
bib details doi

R. Kammerer, R. Obermaisser, B. Frömel: Dynamic Configuration of a Time-Triggered Router for Controller Area Network
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Krakow, Poland; in: 17th IEEE International Conference on Emerging Technologies and Factory Automation, 2012
bib details pdf

P. Puschner, R. Kirner, D. Prokesch, B. Huber: Compiling for Time Predictability
ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany; in: Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops, Lecture Notes in Computer Science / Springer, 7613 (2012), ISBN: 978-3-642-33674-4, p. 382 - 391
bib details doi

B. Huber, W. Puffitsch, M. Schoeberl: Worst-case execution time analysis-driven object cache design
Concurrency and Computation: Practice and Experience, Volume 24 Issue 8 (2012), p. 753 - 771
bib details doi

B. Huber, D. Prokesch, P. Puschner: A Formal Framework for Precise Parametric WCET Formulas
12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; in: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Oasics / 23 (2012), ISBN: 978-3-939897-41-5, p. 91 - 102
bib details doi pdf

G. Jacob, P. Milani Comparetti, M. Neugschwandtner, C. Krügel, G. Vigna: A Static, Packer-Agnostic Filter to Detect Similar Malware Sample
Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA), Heraklion, Kreta; in: Proceedings of the 9th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Springer, 2012
bib details pdf

L. Invernizzi, S. Benvenuti, M. Cova, P. Milani Comparetti, C. Krügel, G. Vigna: EVILSEED: A Guided Approach to Finding Malicious Web Pages
IEEE Symposium on Security and Privacy, San Francisco; in: Proceedings of the 2011 IEEE Symposium on Security and Privacy, 2012, ISBN: 978-0-7695-4681-0, p. 428 - 442
bib details pdf

M. Lindorfer, A. Di Federico, F. Maggi, P. Milani Comparetti, S. Zanero: Lines of Malicious Code: Insights Into the Malicious Software Industry
Proceedings of the 28th Annual Computer Security Applications Conference, ACM, New York, 2012, ISBN: 978-1-4503-1312-4, p. 349 - 358
bib details pdf

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Who is afraid of Model Checking Distributed Algorithms?
PUMA/RISE Seminar, Goldegg
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder (invited): Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland
bib details pdf

W. Kastner, M. Kofler, C. Reinisch: Wissensrepräsentation für das adaptive Eigenheim im Kontext von Smart Cities
Elektrotechnik und Informationstechnik (e&i), 129 (2012), p. 286 - 292
bib details doi

M. Kofler, C. Reinisch, W. Kastner: An Ontological Weather Representation for Improving Energy-Efficiency in Interconnected Smart Home Systems
IASTED International Conference on Artificial Intelligence and Soft Computing (ASC), Napoli, Italy; in: Applied Simulation and Modelling /777: Artificial Intelligence and Soft Computing, ACTA Press, Napoli, Italy (2012), ISBN: 978-0-88986-935-6, p. 256 - 263
bib details doi

S. Hunold (invited): Reproducibility and Data Provenance with VisTrails
WP8 meeting, ANR SONGS project, INRIA, Paris, France
bib details

M Függer, J. Widder: Efficient Checking of Link-Reversal-Based Concurrent Systems
International Conference on Concurrency Theory (CONCUR), Newcaslte upon Tyne, UK; in: CONCUR 2012 - Concurrency Theory, Lecture Notes in Computer Science. Springer Verlag., 7454 (2012), ISBN: 978-3-642-32939-5, p. 486 - 499
bib details doi

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger: Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain
Nuclear and Space Radiation Effects Conference (NSREC), Miami, FL, USA
bib details

J. Träff: Simplified, stable parallel merging
CoRR - Computing Research Repository, arXiv:1202.6575, 2012; 6 pages
bib details

J. Träff (invited): History and development of the MPI standard
AIT Austrian Institute of Technology, Seibersdorf, Austria
bib details

C. Kessler, U. Dastgeer, S. Thibault, R. Namyst, A. Richards, U. Dolinsky, S. Benkner, J. Träff, S. Pllana: Programmability and Performance Portability Aspects of Heterogeneous Multi-/Manycore Systems
Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), Dresden, Germany; in: Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) Proceedings, EDAA, 2012, ISBN: 978-3-9810801-8-6, p. 1403 - 1408
bib details

R. Kammerer, B. Frömel, A. Wasicek: Enhancing Security in CAN Systems using a Star Coupling Router
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe; in: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), IEEE, 2012, ISBN: 978-1-4673-2685-8, p. 237 - 246
bib details doi pdf

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, B Merk: Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL
GSI Scientific Report 2011, GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, 2012, ISSN: 0174-0814, p. 424
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 >   >>