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

J. Maier, M Függer, T. Nowak, U. Schmid: Transistor-Level Analysis of Dynamic Delay Models
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 76 - 85
bib details doi

J. Maier, A. Steininger: Efficient Metastability Characterization for Schmitt-Triggers
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 124 - 133
bib details doi

K. Winkler, U. Schmid, Y. Moses: A Characterization of Consensus Solvability for Closed Message Adversaries
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; in: 23rd International Conference on Principles of Distributed Systems, 2019, p. 17:1 - 17:16
bib details doi

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743, p. 307 - 322
bib details doi

T. Nowak, U. Schmid, K. Winkler: Topological Characterization of Consensus under General Message Adversaries
38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; in: PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, New York, NY, USA (2019), ISBN: 978-1-4503-6217-7, p. 218 - 227
bib details doi

C. Zanabria, F. Pröstl Andrén, T. Strasser, W. Kastner: A Model-Driven and Ontology-based Engineering Approach for Smart Grid Automation Applications
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal; in: Proceedings of the IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, IEEE, 2019, ISBN: 978-1-7281-4878-6; 7 pages
bib details pdf

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 67:1 - 67:10
bib details doi

J. Träff, S. Hunold: Cartesian Collective Communication
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 48:1 - 48:11
bib details doi

W. Kastner, S. Gaida, H. Tellioglu: Knowledge-based building management combining human perception and building automation systems
First International Conference on Societal Automation (SA 2019), Krakow, Poland; in: Proceedings of the First International Conference on Societal Automation (SA 2019), 2019
bib details pdf

M. Schäffer, M. Di Angelo, G. Salzer: Performance and Scalability of Private Ethereum Blockchains
Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; in: BPM Blockchain and Central and Eastern Europe Forum, Proceeddings, Springer, Lecture Notes in Business Information Processing 361 (2019), ISBN: 978-3-030-30429-4, p. 1 - 15
bib details doi pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

M. Di Angelo, G. Salzer: Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time
BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; in: Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19), ACM, 2019, ISBN: 978-1-4503-6785-1, p. 1 - 10
bib details doi pdf

M. Di Angelo, G. Salzer: Collateral Use of Deployment Code for Smart Contracts in Ethereum
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), IEEE, 2019, ISBN: 978-1-7281-1542-9, p. 1 - 5
bib details doi pdf

S. Hunold, A. Carpen-Amarie: On the Importance of Data Quality when Tuning MPI Libraries
Austrian HPC Meeting 2019 - AHPC19, Grundlsee, Austria; in: Austrian HPC Meeting 2019 - AHPC19 (AHPC19 booklet of abstracts), G. Haase (ed.); Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 15
bib details

D. Ratasich, M. Platzer, R. Grosu, E. Bartocci (invited): Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; in: 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), IEEE, 2019, p. 23 - 32
bib details doi

M. Di Angelo, C. Sack, G. Salzer: SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; in: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings, Springer, LNCS 11599 (2020), p. 91 - 105
bib details doi pdf

M. Di Angelo, A. Soare, G. Salzer: Smart Contracts in View of the Civil Code
SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; in: SAC '19: Symposium on Applied Computing Proceedings, ACM, 2019, ISBN: 978-1-4503-5933-7, p. 392 - 399
bib details doi pdf

M. Di Angelo, G. Salzer: A Survey of Tools for Analyzing Ethereum Smart Contracts
IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; in: 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings, IEEE, 2019, ISBN: 978-1-7281-1264-0, p. 69 - 78
bib details doi pdf

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu: CPS/IoT Ecosystem: A Platform for Research and Education
14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; in: Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, 2019, ISBN: 978-3-030-23702-8
bib details doi

R. Javed, A. Siddique, R. Hafiz, O. Hasan, M. Shafique: ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems
2018 12th International Conference on Open Source Systems and Technologies (ICOSST), Lahore, Pakistan; in: Proceeding of 2018 International Conference on Open Source Systems and Technologies (ICOSST), IEEE, 2018, ISBN: 978-1-5386-9564-7, p. 64 - 70
bib details doi

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