Publications

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

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

Presentations

D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka: On Temporal Logic and Signal Processing
Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; in: Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, LNCS/Springer, vol. 7561 (2012), ISBN: 978-3-642-33385-9, p. 92 - 106
bib details doi

A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Approximate Bisimulations for Sodium Channel Dynamics
The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; in: Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology, LNCS / Springer, vol. 7605 (2012), ISBN: 978-3-642-33635-5, p. 267 - 287
bib details doi

E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster: Adaptive Runtime Verification
RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; in: Proc. of RV 2012: the 3rd International Conference on Runtime Verification, LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743, p. 168 - 182
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, 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

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

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

C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek (invited): The ACROSS MPSoC - A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems
DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey; in: 2012 15th Euromicro Conference on Digital System Design (DSD 2012), Proceedings, IEEE Computer Society, 2012, ISBN: 978-1-4673-2498-4, p. 105 - 113
bib details doi pdf

P. Ferschin, M. Di Angelo, S. Niedermair: Projected Time Travel: Architectural Heritage Projection in situ
International Conference on Cultural Heritage and New Technologies, Wien; in: Proc. 17th International Conference on Cultural Heritage and New Technologies, W. Börner (ed.); Museen der Stadt Wien - Stadtarchäologie, 2012, ISBN: 978-3-200-03281-1; 9 pages
bib details pdf

J. Träff (invited): History and Development of MPI: the Message-Passing Interface
CSE Day KTH Stockholm, Stockholm, Sweden
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 >   >>