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

R. Hasani, V. Beneder, M. Fuchs, D. Lung, R. Grosu: SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans
Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, Sydney, Australia; in: Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, 2017; 5 pages
bib details pdf

M. Fuchs, Z. Zimmer, R. Grosu, R. Hasani: Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 6 pages
bib details pdf

D. Lung, S. Larson, A. Palyanov, S. Khayrulin, P. Gleeson, Z. Zimmer, R. Grosu, R. Hasani: A Simplified Cell Network for the Simulation of C. elegans´ Forward Crawling
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 5 pages
bib details pdf

M. Lechner, R. Grosu, R. Hasani: Worm-level Control through Search-based Reinforcement Learning
Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 5 pages
bib details

J. Cyranka, A. Islam, G. Byrne, P. Jones, S. Smolka, R. Grosu: Lagrangian Reachabililty
CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; in: Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, Springer, 10426 (2017), ISBN: 978-3-319-63387-9, p. 379 - 400
bib details doi

D. Phan, J. Yang, M. Clark, R. Grosu, J. Schierman, S. Smolka, S. Stoller: A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, Zaragoza, Spain; in: Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, 2017, ISBN: 978-1-5386-2868-3, p. 49 - 58
bib details doi

A. Dabrowski, J. Ullrich, E. Weippl: Grid Shock: Coordinated Load-Changing Attacks on Power Grids
Annual Computer Security Applications Conference (ACSAC), Orlando, Florida, USA; in: Proceedings of the 2017 Annual Computer Security Applications Conference, 2017
bib details

S. Machida, A. Dabrowski, E. Weippl, I. Echizen: PrivacyTag: A Community-Based Method for Protecting Privacy of Photographed Subjects in Online Social Networks
16th IFIP Conference on e-Business, e-Services and e-Society (I3E 2017), Delhi, India; in: I3E 2017: Digital Nations - Smart Cities, Innovation, and Sustainability, Lecture Notes in Computer Science, 10595 (2017), p. 261 - 275
bib details

G. Wang, R. Hasani, Z. Yungang, R. Grosu: A Novel Bayesian Network-Based Fault Prognostic Method for Semiconductor Manufacturing Process
2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; in: Proceedings of the 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), IEEE, 2017, ISBN: 978-1-5090-5321-6, p. 1450 - 1454
bib details doi

R. Hasani, D. Haerle, C. Baumgartner, A. Lomuscio, R. Grosu: Compositional Neural-Network Modeling of Complex Analog Circuits
IEEE International Joint Conference on Neural Networks (IJCNN), Anchorage, Alaska, USA; in: Proceedings of the 2017 International Joint Conference on Neural Networks, 2017, ISSN: 2161-4407, p. 2235 - 2242
bib details doi

R. Hasani, G. Wang, R. Grosu: Towards Deterministic and Stochastic Computations with Izhikevich Spiking Neuron Model
IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; in: Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Springer, 10305 (2017), ISBN: 978-3-319-59146-9, p. 392 - 402
bib details doi

F. Shmarov, N. Paoletti, E. Bartocci, S. Li, S. Smolka, P. Zuliani: SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; in: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Springer, 10629 (2017), p. 131 - 146
bib details doi

A. Tiwari, S. Smolka, L. Esterle, A. Lukina, J. Yang, R. Grosu: Attacking the V: On the Resiliency of Adaptive-Horizon MPC
15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, Pune, India; in: Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, Springer International Publishing, 10482, Cham (2017), ISBN: 978-3-319-68166-5, p. 446 - 462
bib details doi

B. Heinzl, P. Raich, Franz Preyser, W. Kastner, P. Smolek, I. Leobner: Modular Hybrid Modeling based on DEVS for Interdisciplinary Simulation of Production Systems
31st European Simulation and Modelling Conference - ESM'2017, Lisbon, Portugal; in: Proceedings of the 31st European Simulation and Modelling Conference - ESM'2017, 2017, ISBN: 978-94-92859-00-6, p. 157 - 161
bib details

A. Ismail, W. Kastner: Coordinating Redundant OPC UA Servers
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), Limassol, Cyprus; in: Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation, IEEE, 2017, p. 1 - 8
bib details

A. Ismail, W. Kastner: Surveying the Features of Industrial SOAs
2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; in: 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), IEEE, 2017, p. 1199 - 1204
bib details doi

M. Zeiner, U. Schmid, M. Schwarz: On Linear-Time Data Dissemination in Dynamic Rooted Trees
19th ÖMG Congress and Annual DMV Meeting, Salzburg; in: 19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts, 2017, p. 87
bib details pdf

M. Lazić, I. Konnov, J. Widder, R. Bloem: Synthesis of Distributed Algorithms with Parameterized Threshold Guards
International Conference On Principles Of Distributed Systems (OPODIS), Lissabon; in: OPODIS, LIPIcs-Leibniz International Proceedings in Informatics, 2017, p. 32:1 - 32:20
bib details doi pdf

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting Concurrent Memory Access in TCF-aware Processor Architectures
IEEE Nordic Circuits and Systems Conference (NORCAS 2017), Linköping, Sweden; in: IEEE Nordic Circuits and Systems Conference (NORCAS 2017), Proceedings, J Nurmi, M. Vesterbacka, J. Wikner, A. Alvandpour, M. Nielsen-Lönn, I. Nielsen (ed.); IEEE, 2017, ISBN: 978-1-5386-2845-4, p. #1 - #6
bib details doi

T. Polzer, F. Huemer, A. Steininger: Measuring Metastability Using a Time-to-Digital Converter
20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Dresden; in: Proceedings 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, IEEE Service Center, 2017, ISBN: 978-1-5386-0471-7; 6 pages
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 >   >>