Publications

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

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

D. Pfleger, U. Schmid: On Knowledge and Communication Complexity in Distributed Systems
Institute of Computer Engineering, TUW-269752, 2018
bib details pdf

M. Schwarz, U. Schmid: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
TUW-269285, 2018
bib details pdf

A. Schöbel, C. Schöbel, J. Blieberger: Kronecker Algebra for Managing Rail Capacity
ISEP2018 -- 26th International Symposium on Electronics in Transport, ISEP2018, Ljubljana, 2018, ISBN: 978-961-6187-69-5
bib details

F. Pröstl Andrén: Model-Driven Engineering for Smart Grid Automation (PhD Thesis)
reviewers: W. Kastner, T. Strasser; Institut für Computer Engineering, 2018; oral examination: 2018-03-14
bib details pdf

B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger: Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; in: VMCAI, LNCS/Springer, 10747 (2018), p. 1 - 24
bib details doi pdf

T. Polzer, F. Huemer, A. Steininger: Refined Metastability Characterization Using a Time-to-Digital Converter
Microelectronics Reliability, 80 (2018), p. 91 - 99
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

E. Bartocci, E. Aydin Gol, I. Haghighi, C. Belta: A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE Transactions on Control of Network Systems, 5 (2018), p. 308 - 320
bib details doi pdf

A. Continella, Y. Fratantonio, M. Lindorfer, A. Puccetti, A. Zand, C. Krügel, G. Vigna: Obfuscation-Resilient Privacy Leak Detection for Mobile Apps Through Differential Analysis
Network and Distributed System Security Symposium (NDSS), Internet Society, 2017
bib details doi pdf

Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, G. Wang: A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres
Sensors, 17 (2017)
bib details doi

Y. Zhu, H. Duan, X. Wang, B. Zhou, G. Wang, R. Grosu: Gaussian convex evidence theory for ordered and fuzzy evidence fusion
Journal of Intelligent & Fuzzy Systems, 33 (2017), p. 2843 - 2849
bib details doi

G. Wang, M. Ben Sassi, R. Grosu: ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks
Canadian Journal of Electrical and Computer Engineering, 40 (2017), p. 210 - 216
bib details doi

A. Murthy, A. Islam, S. Smolka, R. Grosu: Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability
Nonlinear Analysis: Hybrid Systems, 23 (2017), p. 272 - 286
bib details doi

D. Phan, J. Yang, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles
Formal Methods in System Design, 51 (2017), p. 62 - 86
bib details doi

G. Todoran: Optimal local path planning and control for mobile robotics (Master's Thesis)
reviewers: M. Bader, W. Kemmetmüller, A. Kugi; Automation and Control Institute (ACIN), 2017; oral examination: 2017-10-06
bib details

P. Ferschin, M. Di Angelo, I. Erb, N. Pfeifer: Procedual Parametric Modeling of Balinese Architecture
Journal of Comparative Cultural Studies in Architecture, . (2017), p. 51 - 54
bib details pdf

S. Mirsadeghi, J. Träff, P. Balaji, A. Afsahi: Exploiting Common Neighborhoods to Optimize MPI Neighborhood Collectives
24th IEEE International Conference on High Performance Computing (HiPC 2017), Jaipur, India; in: Proceedings of the 24th IEEE International Conference on High Performance Computing (HiPC 2017), IEEE, 2017, ISBN: 978-1-5386-2294-0, p. 348 - 357
bib details doi

G. Tarawneh, M Függer, C. Lenzen: Metastability tolerant computing
23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; in: Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5, p. 25 - 32
bib details doi

M Függer, T. Nowak, M. Schwarz: Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
31st International Symposium on Distributed Computing (DISC 2017), Wien; in: Leibniz International Proceedings in Informatics (LIPIcs), 2017, ISSN: 1868-8969; 3 pages
bib details doi

M Függer, A. Kinali, C. Lenzen, T. Polzer: Metastability-aware memory-efficient time-to-digital converter
23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; in: Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5, p. 49 - 56
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 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 >   >>