Publications

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

Currently giving an overview of all categories - show all...

Journal Papers

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting concurrent memory access in TCF processor architectures
Microprocessors and Microsystems, Volume 63 (2018), p. 226 - 236
bib details doi

F. Khalid, S. R. Hasan, O. Hasan, F. Awwad: Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification
Integration the VLSI journal, 61 (2018), p. 62 - 76
bib details doi

S. Iqbal, S. Sardar, F. Khalid, O. Hasan: Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
International Journal of Disaster Risk Reduction, 31 (2018), p. 1043 - 1053
bib details doi

K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid: Automated Competitive Analysis of Real-time Scheduling with Graph Games
Real-Time Systems, 54 (2018), p. 166 - 207
bib details doi

A. Dabrowski, J. Ullrich, E. Weippl: Botnets causing blackouts: How Coordinated load attacks can destabilize the power grid
Journal e&i: Elektrotechnik und Informationstechnik, 135 (2018), p. 250 - 255
bib details doi

show all...

Conference Papers

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, Springer, 2019; 15 pages
bib details pdf

M. Di Angelo, A. Soare, G. Salzer: Smart Contracts in View of the Civil Code
SAC '19: Symposium on Applied Computing Proceedings, ACM Press, 2019, 978-1-4503-5933-7/19/04
bib details doi pdf

M. Di Angelo, G. Salzer: A Survey of Tools for Analyzing Ethereum Smart Contracts
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), IEEE, 2019; 10 pages
bib details pdf

H. Mohammed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany: Hardware Trojan Based Security Issues in Home Area Network: a Testbed Setup
Midwest Symposium on Circuits and Systems, Windsor, Canada; in: International Midwest Symposium on Circuits and Systems, IEEE, Windsor, canada (2018), p. 1 - 4
bib details

A. Ismail, W. Kastner: Throttled Service Calls in OPC UA
IEEE International Conference on Industrial Technology, Lyon, France; in: Proceedings IEEE International Conference on Industrial Technology, 2018, p. 1658 - 1663
bib details doi

show all...

Books

R. Willmann, W. Kastner: More Deterministic Product Ramp-up in Cloud Manufacturing Scenarios
Mit Innovationsmanagement zu Industrie 4.0: Grundlagen, Strategien, Erfolgsfaktoren und Praxisbeispiele, Springer-Verlag, Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature, 2018, ISBN: 978-3-658-11666-8, p. 125 - 137
bib details doi

S. Pagani, J. Chen, M. Shafique, J. Henkel: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
bib details doi

K. Khdr, S. Pagani, M. Shafique, J. Henkel: Dark Silicon Aware Resource Management for Many-Core Systems
Dark Silicon and Future On-chip Systems, Elsevier, United States, 110 (2018), ISBN: 978-0-12-815358-1, p. 127 - 170
bib details doi

D. Zhu, M. Shafique, M. Lin, S. Pasricha: Guest Editorial: Special Issue on Low-Power Dependable Computing

bib details doi

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

show all...

Editorials

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

F. Desprez, P. Dutot, C. Kaklamanis, L. Marchal, K. Molitorisz, L. Ricci, V. Scarano, M. Vega-Rodriguez, A. Varbanescu, S. Hunold, S. Scott, S. Lankes, J. Weidendorfer: Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104
Springer, Cham, 2017, ISBN: 978-3-319-58942-8; 850 pages
bib details doi

show all...

Theses

M. Spiegel: Linking Simulation and Automation Infrastructure A Study Based on the FMI and IEC 61499 (Master's Thesis)
reviewers: W. Kastner, B. Heinzl; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

C. Kudera: Negative voltage fault injection attacks on microcontrollers (Master's Thesis)
reviewers: W. Kastner, M. Kammerstetter; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

A. Ismail: Service oriented manufacturing infrastructure (PhD Thesis)
reviewers: W. Kastner, P. Pop, D. Timmermann; Institute of Computer Engineering, 2018; oral examination: 2018-03-09
bib details

C. Zanabria: Adaptable Engineering Support Framework for Multi-Functional Battery Energy Storage Systems (PhD Thesis)
reviewers: T. Strasser, W. Kastner, A. Zoitl; Institut für Mechanik und Mechatronik, 2018; oral examination: 2018-12-13
bib details pdf

M. Suchi: Meta-heuristic local planning (Master's Thesis)
reviewers: M. Vincze, M. Bader; Automation and Control Institute (ACIN), 2015
bib details

show all...

Presentations

H. Mohammed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany: Hardware Trojan Based Security Issues in Home Area Network: a Testbed Setup
Midwest Symposium on Circuits and Systems, Windsor, Canada; in: International Midwest Symposium on Circuits and Systems, IEEE, Windsor, canada (2018), p. 1 - 4
bib details

W. Kastner, A. Fernbach (invited): Semantic Evolution in Building Automation Systems Integration
KNX Scientific Conference, Wien
bib details

A. Ismail, W. Kastner: Throttled Service Calls in OPC UA
IEEE International Conference on Industrial Technology, Lyon, France; in: Proceedings IEEE International Conference on Industrial Technology, 2018, p. 1658 - 1663
bib details doi

C. Dragoi, M. Lazić, J. Widder (invited): Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto
Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research, Belgrad, Serbien; in: Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research, Singidunum University, 15 (2018), p. 131 - 138
bib details doi pdf

J. Kukovec, I. Konnov, J. Widder: Reachability in Parameterized Systems: All Flavors of Threshold Automata
International Conference on Concurrency Theory (CONCUR), Bejing, China; in: 29th International Conference on Concurrency Theory (CONCUR 2018), Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 118 (2018), ISBN: 978-3-95977-087-3, p. 19:1 - 19:17
bib details doi pdf

show all...

Reports, Miscellaneous

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details pdf

U. Schmid: FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits
TUW-278607, 2018
bib details

A. Wendt, A. Fernbach, Franz Preyser: Wenn die Heizung alles richtig macht
2018
bib details

M. Pöter, J. Träff: Stamp-it: A more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
CoRR - Computing Research Repository, arXiv:1805.08639, 2018; 27 pages
bib details

J. Träff: Parallel Quicksort without Pairwise Element Exchange
CoRR - Computing Research Repository, arXiv:1804.07494, 2018; 4 pages
bib details

show all...

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.