Publications

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

Currently viewing all publications chronologically - back to overwiew...

J. DelPreto, A. Salazar-Gomez, S. Gil, R. Hasani, F. Guenther, D. Rus: Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection
Robotics: Science and Systems, Pittsburgh, Pennsylvania, USA; in: Robotics: Science and Systems XIV, Robotics: Science and Systems Foundation, 14 (2018), ISBN: 978-0-9923747-4-7
bib details doi

P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson: c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
bib details doi

G. Sarma, C. Lee, T. Portegys, V. Ghayoomie, T. Jacobs, B. Alicea, M. Cantarelli, M. Currie, R. Gerkin, S. Gingell, P. Gleeson, R. Gordon, R. Hasani, G. Idili, S. Khayrulin, D. Lung, A. Palyanov, M. Watts, S. Larson: OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
bib details doi

U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang, S. Smolka: Declarative vs Rule-based Control for Flocking Dynamics
33rd ACM Symposium On Applied Computing, Pau, France; in: Proc. of SAC'18, the 33rd ACM Symposium On Applied Computing, ACM, 2018, ISBN: 978-1-4503-5191-1, p. 816 - 823
bib details doi

D. Phan, N. Paoletti, T. Zhang, R. Grosu, S. Smolka, S. Stoller: Neural State Classification for Hybrid Systems
Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; in: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Springer, 11138 (2018), ISBN: 978-3-030-01089-8, p. 422 - 440
bib details doi

N. Manjunath, D. Haerle, C. Manthey, M. Väänänen, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, R. Grosu, D. Nickovic: Production Tests Coverage Analysis in the Simulation Environment
International Test Conference, Phoenix, Arizona, USA; in: ITC'18, the International Test Conference, IEEE, 2018 IEEE International Test Conference (ITC) (2018), ISSN: 2378-2250, p. 1 - 7
bib details doi

J. Cyranka, A. Islam, S. Smolka, S. Gao, R. Grosu: Tight Continuous-Time Reachtubes for Lagrangian Reachability
57th IEEE Conference on Decision and Control, Miami, Florida, USA; in: 57th IEEE Conference on Decision and Control, IEEE, 2018 IEEE Conference on Decision and Control (CDC) (2018), ISSN: 2576-2370, p. 6854 - 6861
bib details doi

F. Petrushevski, M. Montazer, S. Seifried, C. Schiefer, G. Zucker, T. Preindl, G. Suter, W. Kastner: Use Cases for Improved Analysis of Energy and Comfort Related Parameters Based on BIM and BEMS Data
EG-ICE: Advanced Computing Strategies for Engineering, Lausanne, Switzerland; in: Workshop of the European Group for Intelligent Computing in Engineering, 2018, ISBN: 978-3-319-91637-8, p. 391 - 413
bib details doi

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

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. Kudera, M. Müllner, M. Kammerstetter, W. Kastner: Design and Implementation of a Negative Voltage Fault Injection Attack Prototype
IEEE International Workshop on Physical Attacks and Inspection on Electronics (PAINE), San Francisco, CA; in: Proceedings IEEE International Workshop on Physical Attacks and Inspection on Electronics (PAINE), 2018, p. 1 - 6
bib details

C. Kudera, V. Ullmann, M. Kammerstetter, W. Kastner: Security and Privacy Implementations within the AnyPLACE Energy Management Solution
IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italien; in: Proceedings IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA 2018), 2018, p. 861 - 868
bib details doi

M. Schmittle, A. Lukina, L. Vacek, J. Das, C. P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, V. Kumar: OpenUAV: A UAV Testbed for the CPS and Robotics Community
The 9th ACM/IEEE International Conference on Cyber-Physical Systems, IEEE Computer Society, Porto, Portugal, 2018, p. 130 - 139
bib details doi pdf

A. Lukina, A. Tiwari, S. Smolka, L. Esterle, J. Yang, R. Grosu: Resilient Control and Safety for Cyber-Physical Systems
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal; in: 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, IEEE, 2018, p. 16 - 17
bib details doi pdf

A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C. P. Buskirk, J. Sztipanovits, R. Grosu, V. Kumar: Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO
The 9th ACM/IEEE International Conference on Cyber-Physical Systems, IEEE Computer Society, Porto, Portugal, 2018, p. 353 - 354
bib details doi pdf

S. Tognazzi, M. Tribastone, M. Tschaikowski, A. Vandin: Backward Invariance for Linear Differential Algebraic Equations
57th IEEE Conference on Decision and Control, Miami Beach, FL, USA; in: 57th IEEE Conference on Decision and Control, M. Egerstedt, A. Teel (ed.); IEEE, Miami Beach, FL, USA (2018)
bib details doi pdf

M Függer, A. Kinali, C. Lenzen, B. Wiederhake: Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
24th IEEE International Symposium on Asynchronous Circuits and Systems, Wien; in: 24th IEEE International Symposium on Asynchronous Circuits and Systems, Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018, p. 68 - 77
bib details doi

S. Friedrichs, M Függer, C. Lenzen: Metastability-Containing Circuits
IEEE Transactions on Computers, 67 (2018), p. 1167 - 1183
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 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>