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

F. Khalid, M. Hanif, S. Rehman, J. Qadir, M. Shafique: FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 902 - 907
bib details doi

A. Marchisio, M. Hanif, M. Shafique: CapsAcc: An Efficient Hardware Accelerator for CapsuleNets with Data Reuse
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 964 - 967
bib details doi

M. Brandalero, M. Shafique, L. Carro, A. C. S. Beck: TransRec: Improving Adaptability in Single-ISA Heterogeneous Systems with Transparent and Reconfigurable Acceleration
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 582 - 585
bib details doi

I. H. Abbassi, F. Khalid, S. Rehman, A. M. Kamboh, A. Jantsch, S. Garg, M. Shafique: TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 914 - 919
bib details doi

S. Hussain, M. Shafique, J. Henkel: Thermal-Awareness in a Soft Error Tolerant Architecture
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 1555 - 1558
bib details doi

S. Hussain, M. Shafique, J. Henkel: A Fine-Grained Soft Error Resilient Architecture under Power Considerations
2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; in: Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE), IEEE, 2019, ISBN: 978-3-9819263-2-3, p. 972 - 975
bib details doi

C. Fiedler, Franz Preyser, W. Kastner: Simulation of RPDEVS Models of Logic Gates
ASIM Workshop STS/GMMS 2019, Braunschweig; in: ASIM Workshop 2019 Simulation Technischer System Grundlagen und Methoden in Modellbildung und Simulation, Arbeitsgemeinschaft Simulation ASIM in der Gesellschaft für Informatik GI, ARGESIM Report 57 (2019), ISBN: 978-3-901608-06-3, p. 129 - 134
bib details doi pdf

F. Kamhuber, T. Sobottka, B. Heinzl, W. Sihn: An Efficient Multi-Objective Hybrid Simheuristic Approach for Advanced Rolling Horizon Production Planning
Winter Simulation Conference 2019 (WSC2019), Maryland, USA; in: Proceedings of the 2019 Winter Simulation Conference, 2019
bib details

G. Steindl, B. Heinzl, W. Kastner: A Novel Ontology-Based Smart Service Architecture for Data-Driven Model Development
Eleventh International Conference on Information, Process, and Knowledge Management (eKNOW 2019), Athens, Greece; in: Proceedings of the Eleventh International Conference on Information, Process, and Knowledge Management (eKNOW 2019), 2019
bib details

Franz Preyser, B. Heinzl, W. Kastner: RPDEVS Abstract Simulator
2019 Workshop der ASIM-Fachgruppen STS und GMMS, Braunschweig; in: Tagungsband 2019 Workshop der ASIM-Fachgruppen STS und GMMS, ARGESIM Verlag Wien, 2019, ISBN: 978-3-901608-06-3, p. 141 - 146
bib details doi

A. Schöbel, C. Schöbel, J. Blieberger, M. Stefan: Benchmark of delays simulated by OpenTrack and calculated by Kronecker Algebra
Science and Traffic Development (ZIRP 2019), Opatija; in: Proceedings of the International Scientific Conference "The Science and Development of Transport", Faculty of Transport and Traffic SciencesUniversity of Zagreb, 2019, p. 371 - 375
bib details pdf

H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger: CPS/IoT Ecosystem: Indoor Vertical Farming System
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), IEEE Xplore, 2019, ISSN: 0747-668x, p. 47 - 52
bib details doi pdf

H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic: Sensyml: Simulation Environment for large-scale IoT Applications
45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; in: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, IEEE Xplore, 2019, ISBN: 978-1-7281-4878-6, p. 3024 - 3030
bib details doi pdf

C. Hirsch, E. Bartocci, R. Grosu: Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), 2019, ISSN: 0747-668x, p. 97 - 102
bib details doi

I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2019, p. 357 - 374
bib details pdf

N. Bertrand, I. Konnov, M. Lazić, J. Widder: Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
30th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019, p. 33:1 - 33:15
bib details doi pdf

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta: Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
2019 IEEE Conference on Decision and Control (CDC), Nice, France; in: Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control, IEEE, 2019
bib details pdf

E. Bartocci, D. Beyer, P. Black et al.: TOOLympics 2019: An Overview of Competitions in Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 3 - 24
bib details doi pdf

E. Bartocci, Y. Falcone, G. Reger (invited): International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 41 - 49
bib details doi pdf

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic (invited): Automatic Failure Explanation in CPS Models
17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; in: Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods, 11724 (2019), p. 69 - 86
bib details doi 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 73 74 75 >   >>