Publikationsliste für Angehörige von
E191 - Institut für Computer Engineering
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
3299 Datensätze (1983 - 2022)
Die Publikationen der Fakultät für Informatik sind erst ab dem Jahr 2002 vollzählig in der Publikationsdatenbank enthalten. Publikationen aus den Jahren vor 2002 können, müssen aber nicht in der Datenbank vorhanden sein.
Bücher und Buch-Herausgaben
-
E. Bartocci, L. Bortolussi (Hrg.):
"Proceedings First International Workshop on Hybrid Systems and Biology";
Electronic Proceedings in Theoretical Computer Science,
2012,
ISSN: 2075-2180.
-
E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky (Hrg.):
"From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday";
Springer-Verlag Berlin Heidelberg,
Berlin Heidelberg,
2019,
ISBN: 978-3-030-31513-9;
301 S.
-
E. Bartocci, Y. Falcone (Hrg.):
"Lectures on Runtime Verification - Introductory and Advanced Topics";
Springer-Verlag Berlin Heidelberg,
Berlin Heidelberg,
2018,
ISBN: 978-3-319-75631-8;
232 S.
-
E. Bartocci, P. Lio, N. Paoletti (Hrg.):
"Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings";
Springer International Publishing,
Switzerland,
2016,
ISBN: 978-3-319-45176-3;
356 S.
-
E. Bartocci, R. Majumdar (Hrg.):
"Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings";
Springer International Publishing,
Switzerland,
2015,
ISBN: 978-3-319-23819-7;
432 S.
-
E. Bartocci, C. Ramakrishnan (Hrg.):
"Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings";
Springer-Verlag Berlin Heidelberg,
Berlin Heidelberg,
2013,
ISBN: 978-3-642-39175-0;
377 S.
-
T. Bednar, F. Bleicher, F. Dür, K. Eder, T. Flatz, B. Heinzl, W. Kastner, K. Kiesel, I. Kovacic, I. Leobner, K. Orehounig, K. Ponweiser, L. Waltenberger, D. Wiegand, S. Emrich:
"Roadmap für Energieeffiziente Fertigungsbetriebe";
Konsortium Projekt INFO,
Wien,
2013,
66 S.
Zusätzliche Informationen
-
A. Bezirgan:
"Informatik - Aufgaben und Lösungen";
Springer,
Wien,
1992.
-
J. Blieberger (Hrg.):
"Proceedings der OTG-Konferenz";
OTG,
Perchtoldsdorf,
1999.
-
J. Blieberger, M. Bader:
"22nd Ada-Europe International Conference on Reliable Software Technologies";
in Buchreihe "Ada-Europe'2017 International Conference on Reliable Software Technologies",
Buchreihen-Herausgeber: G. Goos, J. Hartmanis, J. van Leeuwen;
herausgegeben von: Ada-Europe;
Springer LNCS 10300,
Berlin,
2017,
ISBN: 978-3-319-60587-6,
255 S.
-
J. Blieberger, B. Burgstaller, G. Schildt:
"Informatik-Grundlagen";
Springer,
Vienna,
2002,
ISBN: 3-211-83710-8;
229 S.
-
J. Blieberger, B. Burgstaller, G. Schildt:
"Informatik-Grundlagen";
Springer-Verlag,
Wien,
2005,
ISBN: 3-211-27754-4;
274 S.
-
J. Blieberger, J. Klasek, A. Redlein, G. Schildt:
"Informatik, third extended edition";
Springer,
Vienna,
1996,
ISBN: 3-211-82860-5;
430 S.
-
J. Blieberger, G. Schildt, U. Schmid, S. Stöckler:
"Informatik";
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1;
390 S.
-
J. Blieberger, G. Schildt, U. Schmid, S. Stöckler:
"Informatik, second edition";
Springer,
Vienna,
1992,
ISBN: 3-211-82389-1;
390 S.
-
J. Blieberger, A. Strohmeier (Hrg.):
"Lecture Notes in Computer Science; Reliable Software Technologies - Ada-Europe 2002";
Springer,
Berlin,
2002,
ISBN: 3-540-43784-3;
366 S.
-
R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder:
"Decidability of Parameterized Verification";
Morgan & Claypool Publishers,
San Rafael, CA, USA,
2015,
ISBN: 9781627057431;
170 S.
-
A. Bondavalli, S. Bouchenak, H. Kopetz:
"Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy";
in Buchreihe "Lecture Notes in Computer Science",
Buchreihen-Herausgeber: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al.;
Springer International Publishing,
2016,
ISBN: 978-3-319-47589-9,
257 S.
Zusätzliche Informationen
-
B. Burgstaller, B. Scholz, J. Blieberger:
"Symbolic Analysis: An Algebra-based Approach";
VDM - Verlag Dr. Müller,
Saarbrücken,
2008,
ISBN: 978-3-836-48142-7;
161 S.
-
B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid:
"Fault-Tolerant Distributed Algorithms on VLSI Chips";
in Buchreihe "Dagstuhl Seminar Proceedings",
Buchreihen-Herausgeber: B. Charron-Bost, S. Dolev, U. Schmid;
herausgegeben von: Leibniz Zentrum Informatik;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2009,
ISSN: 1862-4405.
Zusätzliche Informationen
-
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 (Hrg.):
"Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104";
Springer Nature Switzerland AG 2021,
2017,
ISBN: 978-3-319-58942-8;
850 S.
-
D. Dietrich, W. Kastner, T. Sauter (Hrg.):
"EIB Gebäudebussystem, russische Ausgabe";
Hüthig,
Heidelberg,
2000,
376 S.
-
D. Dietrich, W. Kastner, T. Sauter (Hrg.):
"EIB-Gebäudebussystem";
Hüthig-Verlag,
Heidelberg,
2000,
ISBN: 3-7785-2795-9;
325 S.
-
D. Dietrich, W. Kastner, T. Sauter, O. Nizamutdinov (Hrg.):
"Sistema avtomatizatsii zdanii (Übersetzung ins Russische)";
Hüthig-Verlag,
Heidelberg,
2001,
ISBN: 5-88151-296-0;
378 S.
-
W. Elmenreich (Hrg.):
"Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems";
TU Wien,
Vienna, Austria,
2003,
207 S.
Zusätzliche Informationen
-
W. Elmenreich et al. (Hrg.):
"Systemnahes Programmieren - C Programmierung unter Unix und Linux";
UBooks Verlag,
Augsburg,
2002,
ISBN: 3-935789-88-1;
290 S.
Zusätzliche Informationen
-
W. Elmenreich, W. Haidinger, J.A.T. Machado (Hrg.):
"Proceedings of the 2nd IEEE International Conference on Computational Cybernetics ";
TU Wien,
Wien,
2004,
ISBN: 3-902463-01-5;
461 S.
-
W. Elmenreich, H. Kaiser (Hrg.):
"Proceedings of the Junior Scientist Conference 2006";
TU Wien,
Wien, Österreich,
2006,
ISBN: 3-902463-05-8;
359 S.
-
W. Elmenreich, J.A.T. Machado, I. J. Rudas (Hrg.):
"Intelligent Systems at the Service of Mankind, Volume I";
UBooks Verlag,
Augsburg, Deutschland,
2003,
ISBN: 3-935798-25-3;
444 S.
-
W. Elmenreich, J.A.T. Machado, I. J. Rudas (Hrg.):
"Intelligent Systems at the Service of Mankind, Volume II";
UBooks Verlag,
Augsburg, Deutschland,
2005,
ISBN: 3-86608-052-2;
478 S.
-
W. Elmenreich, G. Novak, R. Seepold (Hrg.):
"Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems";
TU Wien,
Wien, Österreich,
2006,
ISBN: 3-902463-06-6;
201 S.
-
B. Heinzl:
"Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning";
TU Verlag, Vienna,
Wien,
2020,
ISBN: 978-3-903311-11-4;
212 S.
-
T. Hoefler, J. Träff (Hrg.):
"Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019";
ACM,
New York, NY, USA,
2019,
ISBN: 978-1-4503-7175-9;
134 S.
Zusätzliche Informationen
-
D. Holmes, C. Collis, J. Träff, L. Smith (Hrg.):
"Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016";
ACM,
2016,
ISBN: 978-1-4503-4234-6;
221 S.
-
S. Hunold, A. Costan, D. Gimenez, A. Iosup, L. Ricci, G. Gomez Requena, V. Scarano, A. Varbanescu, S. Scott, S. Lankes, J. Weidendorfer, M. Alexander (Hrg.):
"Euro-Par 2015: Parallel Processing Workshops, Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers, LNCS 9523";
Springer International Publishing,
2015,
ISBN: 978-3-319-27307-5;
880 S.
-
H. Kaiser, R. Kirner (Hrg.):
"Junior Scientist Conference 2008, Proceedings";
TU Wien,
2008.
-
W. Kastner, G. Schildt:
"Informatik: Aufgaben und Lösungen";
Springer-Verlag,
Wien,
2005,
ISBN: 3-211-21136-5;
124 S.
-
M. Khan, M. Shafique, J. Henkel:
"Energy Efficient Embedded Video Processing Systems - A Hardware-Software Collaborative Approach";
Springer International Publishing,
2017,
ISBN: 978-3-319-61455-7;
238 S.
Zusätzliche Informationen
-
R. Kirner:
"Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code";
VDM - Verlag Dr. Müller,
2008,
ISBN: 978-3836468831;
224 S.
Zusätzliche Informationen
-
R. Kirner (Hrg.):
"Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008)";
Österreichische Computer Gesellschaft,
Wien,
2008,
ISBN: 978-3-85403-237-3;
173 S.
Zusätzliche Informationen
-
H. Kopetz (Hrg.):
"Simplicity is Complex";
Springer,
2019,
ISBN: 978-3-030-20410-5;
148 S.
Zusätzliche Informationen
-
Ch. Krügel, F. Valeur, G. Vigna:
"Intrusion Detection and Correlation - Challenges and Solutions";
Springer,
2004,
ISBN: 0-387-23398-9;
122 S.
-
R. Kuznets, T. Studer:
"Logics of Proofs and Justifications";
College Publications,
London,
2019,
ISBN: 978-1-84890-168-1;
246 S.
Zusätzliche Informationen
-
L. Langer, J. Göllner, M. Tischlinger, M. Kammerstetter et al. (Hrg.):
"Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich";
Schriftenreihe der Landesverteidigungsakademie,
Wien,
2016,
ISBN: 978-3-902944-98-6;
253 S.
Zusätzliche Informationen
-
L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander (Hrg.):
"Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part I, LNCS 8805";
Springer,
2014,
ISBN: 978-3-319-14324-8;
620 S.
-
L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander (Hrg.):
"Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part II, LNCS 8806";
Springer,
2014,
ISBN: 978-3-319-14312-5;
590 S.
-
R. Obermaisser, Y. Nah, P. Puschner, F. Rammig (Hrg.):
"Software Technologies for Embedded Systems and Ubiquitous Systems";
Springer LNCS 4761,
2007,
ISBN: 978-3-540-75663-7;
563 S.
-
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 S.
-
P. Puschner (Hrg.):
"Proceedings of the 16th Euromicro Conference on Real-Time Systems";
IEEE Computer Society Press,
Piscataway, NJ, USA,
2004,
ISBN: 0-7695-2176-2;
282 S.
-
P. Puschner, T. Nakajima, A. Ghafoor (Hrg.):
"Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing";
IEEE Computer Society Press,
Piscataway, NJ, USA,
2003,
ISBN: 0-7695-1928-8;
302 S.
-
S. Reda, M. Shafique (Hrg.):
"Approximate Circuits: Methodologies and CAD";
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8;
495 S.
-
B. Rinner, W. Elmenreich (Hrg.):
"Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems";
Technische Universität Graz,
Graz, Österreich,
2004,
ISBN: 3-902463-00-7;
203 S.
-
T. Sauter, D. Dietrich, W. Kastner (Hrg.):
"EIB Installation Bus System";
Publicis-Verlag,
Berlin-München,
2000,
ISBN: 3-89578-175-4;
319 S.
-
G. Schildt:
"Grundlagen der Impulstechnik";
Teubner,
Stuttgart,
1987,
ISBN: 3-519-06412-x;
450 S.
-
G. Schildt:
"Impulstechnik";
LyK Informationstechnik,
Brunn am Gebirge,
2006,
ISBN: 978-3-200-00791-8;
260 S.
-
G. Schildt, D. Kahn, Ch. Krügel, Ch. Mörz:
"Einführung in die Technische Informatik";
Springer-Verlag,
Wien,
2005,
ISBN: 3-211-24346-1.
-
G. Schildt, W. Kastner:
"Prozeßautomatisierung";
Springer,
Vienna,
1998,
ISBN: 3-211-82999-7;
270 S.
-
G. Schildt, J. Retti (Hrg.):
"Dependability of Artificial Intelligence Systems (DAISY_91)";
North-Holland,
Amsterdam,
1991,
ISBN: 0-444-89025-4;
372 S.
-
U. Schmid, J. Widder (Hrg.):
"Proceedings 32nd International Symposium on Distributed Computing";
Dagstuhl Publishing LIPICS,
2018,
ISBN: 978-3-95977-092-7;
736 S.
Zusätzliche Informationen
-
M. Schoeberl (Hrg.):
"JOP Reference Handbook";
CreateSpace,
2009,
ISBN: 978-1438239699;
362 S.
Zusätzliche Informationen
-
M. Schoeberl:
"JOP: A Java Optimized Processor for Embedded Real-Time Systems";
VDM - Verlag Dr. Müller,
2008,
ISBN: 978-3-8364-8086-4;
256 S.
Zusätzliche Informationen
-
A. Steininger:
"A Measuring Methodology for Fault-Injection Experiments in Computing Systems";
Österreichischer Kunst- und Kulturverlag,
Wien,
1994,
ISBN: 3-85437-079-2;
113 S.
-
J. Träff, S. Benkner, J. Dongarra (Hrg.):
"Recent Advances in the Message Passing Interface Proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, LNCS 7490";
Springer,
2012,
ISBN: 978-3-642-33517-4;
315 S.
Zusätzliche Informationen
-
J. Träff, S. Hunold, F. Versaci (Hrg.):
"Euro-Par 2015: Parallel Processing, 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, LNCS 9233";
Springer-Verlag Berlin Heidelberg,
2015,
ISBN: 978-3-662-48095-3;
732 S.
-
W. Zuser, T. Grechenig, M. Köhle:
"Software Engineering mit UML und dem Unified Process";
Pearson Studium,
Munich, Germany,
2004,
ISBN: 3-8273-7090-6.
Zeitschriftenartikel
-
H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu:
"Quantitative Regular Expressions for Arrhythmia Detection";
IEEE/ACM Transactions on Computational Biology and Bioinformatics,
16
(2019),
5;
S. 1586
- 1597.
Zusätzliche Informationen
-
I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, M. Shafique:
"McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits";
IEEE Access,
6
(2018),
S. 32240
- 32257.
-
P. Achararit, M. Hanif, R. Putra, M. Shafique, Y. Hara-Azumi:
"APNAS: Accuracy-and-Performance-Aware Neural Architecture Search for Neural Hardware Accelerators";
IEEE Access,
8
(2020),
S. 165319
- 165334.
-
H. Ahmad, T. Arif, M. Hanif, R. Hafiz, M. Shafique:
"SuperSlash: A Unified Design Space Exploration and Model Compression Methodology for Design of Deep Learning Accelerators With Reduced Off-Chip Memory Access Volume";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 4191
- 4204.
-
O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique:
"Towards Approximate Computing for Coarse-Grained Reconfigurable Architectures";
IEEE Micro,
Early Access
(2018),
S. 1
- 10.
-
O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique:
"X-CGRA: An Energy-Efficient Approximate Coarse-Grained Reconfigurable Architecture";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
-
(2019),
S. 1
- 14.
-
D. Albeseder, M Függer, F. Breitenecker, T. Löscher, S. Tauböck:
"Small PC-Network Simulation -- A Comprehensive Performance Case Study";
Simulation News Europe,
44/45
(2005),
S. 26
- 32.
-
R. Alfieri, E. Bartocci, E. Merelli, L. Milanesi:
"Modeling the cell cycle: From deterministic models to hybrid systems";
Biosystems,
105
(2011),
1;
S. 34
- 40.
Zusätzliche Informationen
-
L. Alrahis, S. Patnaik, M. Hanif, H. Saleh, M. Shafique, O. Sinanoglu:
"GNNUnlock+: A Systematic Methodology for Designing Graph Neural Networks-based Oracle-less Unlocking Schemes for Provably Secure Logic Locking";
IEEE Transactions on Emerging Topics in Computing,
9
(2021).
Zusätzliche Informationen
-
R. Amjad, R. Hafiz, M. Ilyas, M. Younis, M. Shafique:
"m-SAAC: Multi-stage Adaptive Approximation Control to Select Approximate Computing Modes for Vision Applications";
Microelectronics Journal,
91
(2019),
S. 84
- 91.
-
F. Andren, T. Strasser, W. Kastner:
"Engineering Smart Grids: Applying Model-Driven Development from Use Case Design to Deployment";
ENERGIES,
10
(2017),
3.
-
M. Ansari, M. Salehi, S. Safari, A. Ejlali, M. Shafique:
"Peak-Power-Aware Primary-Backup Technique for Efficient Fault-Tolerance in Multicore Embedded Systems";
IEEE Access,
8
(2020),
S. 142843
- 142857.
-
I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu:
"Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation";
Theoretical Computer Science,
599
(2015),
S. 34
- 46.
Zusätzliche Informationen
-
E. Armengaud, A. Steininger, M. Horauer:
"Towards a Systematic Test for Embedded Automotive Communication Systems";
IEEE Transactions on Industrial Informatics,
4
(2008),
3;
S. 145
- 208.
Zusätzliche Informationen
-
M. Ayub, M. Hanif, O. Hasan, M. Shafique:
"PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders";
ACM Journal on Emerging Technologies in Computing Systems,
17
(2020),
1;
S. 1
- 37.
-
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),
1;
S. 308
- 320.
Zusätzliche Informationen
-
E. Bartocci, M. Bender:
"A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"";
ACM SIGACT News (eingeladen),
52
(2021),
4;
S. 76
- 77.
Zusätzliche Informationen
-
E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti:
"Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes";
Performance Evaluation,
116
(2017),
S. 84
- 100.
-
E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti:
"System Design of Stochastic Models using Robustness of Temporal Properties";
Theoretical Computer Science,
587
(2015),
S. 3
- 25.
Zusätzliche Informationen
-
E. Bartocci, D. Cacciagrano, M. Di Berardini, E. Merelli, L. Vito:
"UBioLab: a web-LABoratory for Ubiquitous in-silico experiments";
Journal of Integrative Bioinformatics,
9
(2012),
1;
S. 1
- 20.
Zusätzliche Informationen
-
E. Bartocci, J. Deshmukh, F. Gliger, C. Mateis, D. Nickovic, X. Qin:
"Mining Shape Expressions from Positive Examples";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 3809
- 3820.
Zusätzliche Informationen
-
E. Bartocci et al.:
"Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics";
Advances in Physiology Education,
35
(2011),
4;
S. 427
- 437.
-
E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al.:
"First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014";
International Journal on Software Tools for Technology Transfer,
21
(2019),
1;
S. 31
- 70.
Zusätzliche Informationen
-
E. Bartocci, O. Höftberger, R. Grosu:
"Cyber-Physical Systems: Theoretical and Practical Challenges";
ERCIM NEWS (eingeladen),
2014
(2014),
97;
S. 8
- 9.
-
E. Bartocci, P. Lio:
"Computational modeling, formal analysis and tools for systems biology";
PLoS Computational Biology,
12
(2016),
1;
S. 1
- 22.
Zusätzliche Informationen
-
E. Bartocci, P. Lio, E. Merelli, N. Paoletti:
"Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study";
Transactions on Computational Systems Biology,
XIV
(2012),
S. 53
- 76.
Zusätzliche Informationen
-
E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
"CPSDebug: Automatic Failure Explanation in CPS Models";
International Journal on Software Tools for Technology Transfer,
23
(2021),
5;
S. 783
- 796.
Zusätzliche Informationen
-
U. Bayer, A. Moser, Ch. Krügel, E. Kirda:
"Dynamic Analysis of Malicious Code";
Journal in Computer Virology,
2
(2006),
1.
-
P. Behal, F. Huemer, R. Najvirt, A. Steininger, Z. Tabassam:
"Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles";
TCVLSI Newsletter (eingeladen),
7
(2021),
4;
1 S.
-
S. Benkner, S. Pllana, J. Träff, P. Tsigas, U. Dolinsky, C. Augonnet, B. Bachmayer, C. Kessler, D. Moloney, V. Osipov:
"PEPPHER: Efficient and Productive Usage of Hybrid Computing Systems";
IEEE Micro,
Volume 31
(2011),
Issue 5;
S. 28
- 41.
Zusätzliche Informationen
-
F. Beranek, U. Schmid:
"Assembler mit Pascalelementen";
Elektronikschau,
2
(1983),
S. 32
- 34.
-
R. Bertin, S. Hunold, A. Legrand, C. Touati:
"Fair scheduling of bag-of-tasks applications using distributed Lagrangian optimization";
Journal of Parallel and Distributed Computing,
Available online 23 August 2013
(2013),
S. 1
- 16.
Zusätzliche Informationen
-
A. Bezirgan, G. Schildt:
"Ansätze einer neuen Fertigungssteuerung im Interuniversitären CIM-Zentrum";
VDI-Berichte,
1067
(1993).
-
M. Biely, P. Robinson, U. Schmid:
"The Generalized Loneliness Detector and Weak System Models for k-Set Agreement";
IEEE Transactions on Parallel and Distributed Systems,
25
(2014),
4;
S. 1078
- 1088.
Zusätzliche Informationen
-
M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler:
"Gracefully degrading consensus and k-set agreement in directed dynamic networks";
Theoretical Computer Science,
726
(2018),
S. 41
- 77.
-
M. Biely, U. Schmid, B. Weiss:
"Synchronous consensus under hybrid process and link failures";
Theoretical Computer Science,
412
(2011),
40;
S. 5602
- 5630.
Zusätzliche Informationen
-
F. Bleicher, F. Dür, I. Leobner, I. Kovacic, B. Heinzl, W. Kastner:
"Co-simulation environment for optimizing energy efficiency in production systems";
CIRP Annals-Manufacturing Technology,
63
(2014),
1;
S. 441
- 444.
Zusätzliche Informationen
-
R. Bleuse, S. Hunold, S. Kedad-Sidhoum, F. Monna, G. Mounie, D. Trystram:
"Scheduling Independent Moldable Tasks on Multi-Cores with GPUs";
IEEE Transactions on Parallel and Distributed Systems,
Volume 28
(2017),
Issue 9;
S. 2689
- 2702.
Zusätzliche Informationen
-
J. Blieberger:
"Average Case Analysis of DJ Graphs";
Journal of Discrete Algorithms,
4
(2006),
S. 649
- 675.
Zusätzliche Informationen
-
J. Blieberger:
"Data-Flow Frameworks for Worst-Case Execution Time Analysis";
Real-Time Systems,
22
(2002),
3;
S. 183
- 227.
Zusätzliche Informationen
-
J. Blieberger:
"Discrete Loops and Worst Case Performance";
Computer Languages,
20
(1994),
3;
S. 193
- 212.
Zusätzliche Informationen
-
J. Blieberger:
"Monotonically Labelled Motzkin Trees";
Discrete Applied Mathematics,
18
(1987),
S. 9
- 24.
-
J. Blieberger:
"Real-Time Properties of Indirect Recursive Procedures";
Information and Computation,
171
(2001),
S. 156
- 182.
Zusätzliche Informationen
-
J. Blieberger, T. Fahringer, B. Scholz:
"Symbolic Cache Analysis for Real-Time Systems";
Real-Time Systems,
18
(2000),
S. 181
- 215.
Zusätzliche Informationen
-
J. Blieberger, P. Kirschenhofer:
"Generalized Catalan Sequences Originating from the Analysis of Special Data Structures";
Bulletin of the Institute of Combinatorics and its Applications,
71
(2014),
S. 103
- 116.
Zusätzliche Informationen
-
J. Blieberger, R. Lieger:
"Worst-Case Space and Time Complexity of Recursive Procedures";
Real-Time Systems,
11
(1996),
S. 115
- 144.
Zusätzliche Informationen
-
J. Blieberger, N. Ostermann, A. Schöbel:
"Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur";
Signal&Draht,
101
(2009),
9;
S. 33
- 36.
Zusätzliche Informationen
-
J. Blieberger, U. Schmid:
"FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions";
BIT Numerical Mathematics,
32
(1992),
3;
S. 370
- 383.
Zusätzliche Informationen
-
J. Blieberger, U. Schmid:
"Preemptive LCFS Scheduling in Hard Real-Time Applications";
Performance Evaluation,
15
(1992),
3;
S. 203
- 215.
-
J. Blieberger, A. Schöbel, M. Volcic:
"Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich";
Signal + Draht,
106
(2014),
7+8;
S. 15
- 18.
Zusätzliche Informationen
-
R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder:
"Decidability of Parameterized Verification";
ACM SIGACT News,
47
(2016),
2;
S. 53
- 64.
Zusätzliche Informationen
-
S. Bukhari, F. Khalid, O. Hasan, M. Shafique, J. Henkel:
"Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
-
(2019),
S. 1
- 14.
-
B. Burgstaller, B. Scholz, J. Blieberger:
"A symbolic analysis framework for static analysis of imperative programming languages";
Journal of Systems and Software,
85
(2012),
6;
S. 1418
- 1439.
Zusätzliche Informationen
-
M. Capra, B. Bussolino, A. Marchisio, G. Masera, M. Martina, M. Shafique:
"Hardware and Software Optimizations for Accelerating Deep Neural Networks: Survey of Current Trends, Challenges, and the Road Ahead";
IEEE Access,
8
(2020),
S. 225134
- 225180.
-
M. Capra, B. Bussolino, A. Marchisio, M. Shafique, G. Masera, M. Martina:
"An Updated Survey of Efficient Hardware Architectures for Accelerating Deep Convolutional Neural Networks";
Future Internet,
12
(2020),
7;
S. 1
- 22.
-
A. Carpen-Amarie, S. Hunold, J. Träff:
"On expected and observed communication performance with MPI derived datatypes";
Parallel Computing,
Volume 69
(2017),
Issue November;
S. 98
- 117.
Zusätzliche Informationen
-
J. Castro-Godinez, M. Shafique, J. Henkel:
"ECAx: Balancing Error Correction Costs in Approximate Accelerators";
ACM Transactions on Embedded Computing Systems,
18
(2019),
55;
S. 1
- 20.
-
B. Charron-Bost, M Függer, T. Nowak:
"New transience bounds for max-plus linear systems";
Discrete Applied Mathematics,
219
(2017),
S. 83
- 99.
-
B. Charron-Bost, M Függer, L. Welch, J. Widder:
"Time Complexity of Link Reversal Routing";
ACM Transactions on Algorithms,
11
(2015),
3;
S. 1
- 39.
Zusätzliche Informationen
-
B. Charron-Bost, M. Hutle, J. Widder:
"In search of lost time";
Information Processing Letters,
110
(2010),
21;
S. 928
- 933.
Zusätzliche Informationen
-
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid:
"Automated Competitive Analysis of Real-time Scheduling with Graph Games";
Real-Time Systems,
54
(2018),
1;
S. 166
- 207.
-
K. Chen, J. Chen, F. Kriebel, S. Rehman, M. Shafique, J. Henkel:
"Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity";
IEEE Transactions on Computers,
65
(2016),
11;
S. 3441
- 3454.
Zusätzliche Informationen
-
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),
3;
S. 250
- 255.
Zusätzliche Informationen
-
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";
Autonomous Robots,
44
(2020),
S. 1303
- 1322.
Zusätzliche Informationen
-
M. Delvai, U. Eisenmann, W. Elmenreich:
"A Generic Architecture for Integrated Smart Transducers";
Lecture Notes in Computer Science,
2778
(2003),
S. 733
- 744.
Zusätzliche Informationen
-
M. Di Angelo, G. Salzer:
"Identification of Token Contracts on Ethereum: Standard Compliance and Beyond";
International Journal of Data Science and Analytics (JDSA),
2021
(2021),
online first.
Zusätzliche Informationen
-
D. Dietrich, W. Kastner, H. Schweinzer:
"Wahrnehmungsbewusstsein in der Automation -- ein neuer "bionischer" Ansatz (Perception Awareness in Automation -- A New "Bionic" Approach)";
at - Automatisierungstechnik,
vol. 52
(2004),
S. 107
- 116.
Zusätzliche Informationen
-
D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid:
"HEX: Scaling Honeycombs is Easier than Scaling Clock Trees";
Journal of Computer and System Sciences,
82
(2016),
5;
S. 929
- 956.
Zusätzliche Informationen
-
D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger:
"Fault-tolerant Distributed Systems in Hardware";
Bulletin of the EATCS,
2
(2015),
116;
43 S.
-
D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen:
"Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip";
Journal of Computer and System Sciences,
80
(2014),
4;
S. 860
- 900.
Zusätzliche Informationen
-
D. Dolev, M Függer, U. Schmid, C. Lenzen:
"Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation";
Journal of the ACM,
61
(2014),
5;
S. 1
- 74.
-
P. Domingues, P. Carreira, R. Vieira, W. Kastner:
"Building automation systems: Concepts and technology review";
Computer Standards & Interfaces,
45
(2016),
1;
S. 1
- 12.
Zusätzliche Informationen
-
M. Drmota, U. Schmid:
"Exponential Limiting Distributions in Queueing Systems with Deadlines";
SIAM Journal on Applied Mathematics,
53
(1993),
1;
S. 301
- 318.
-
M. Drmota, U. Schmid:
"The Analysis of the Expected Successful Operation Time of Slotted ALOHA";
IEEE Transactions on Information Theory,
39
(1993),
5;
S. 1567
- 1577.
-
W. Dür, M. Függer, A. Steininger:
"Generation of a fault-tolerant clock through redundant crystal oscillators";
Microelectronics Reliability,
120
(2021),
11 S.
Zusätzliche Informationen
-
A. Ehringfeld:
"ITIL als Methode gegen Social Engineering Attacken";
Hakin9,
10
(2011),
S. 28
- 34.
Zusätzliche Informationen
-
M. Einhorn, F. Conte, C. Kral, J. Fleig:
"A Method for Online Capacity Estimation of Lithium Ion Battery Cells Using the State of Charge and the Transferred Charge";
IEEE Transactions on Industry Applications,
48
(2012),
2;
S. 736
- 741.
Zusätzliche Informationen
-
M. Einhorn, F.V. Conte, C. Kral, J. Fleig:
"Comparison, Selection and Parameterization of Electrical Battery Models for Automotive Applications";
IEEE Transactions on Power Electronics,
28
(2013),
3;
S. 1429
- 1437.
-
C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek:
"The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems";
Microprocessors and Microsystems,
37
(2013),
8, Part C;
S. 1020
- 1032.
Zusätzliche Informationen
-
W. Elmenreich:
"A Review on System Architectures for Sensor Fusion Applications";
Lecture Notes in Computer Science,
4761
(2007),
S. 547
- 559.
Zusätzliche Informationen
-
W. Elmenreich:
"Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging";
Journal of Vibration and Control,
13
(2007),
9-10;
S. 1303
- 1312.
Zusätzliche Informationen
-
W. Elmenreich:
"Kostengünstig vernetzen mit TTP/A";
Markt & Technik,
38
(2000),
S. 42
- 44.
Zusätzliche Informationen
-
W. Elmenreich:
"Time-Triggered Smart Transducer Networks";
IEEE Transactions on Industrial Informatics,
2
(2006),
3;
S. 192
- 199.
-
W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, H. Paulitsch, P. Peti:
"A Standard for Real-time Smart Transducer Interface";
Computer Standards & Interfaces,
28
(2006),
6;
S. 613
- 624.
-
M. Elshuber, R. Obermaisser:
"Dependable and predictable time-triggered Ethernet networks with COTS components";
Journal of Systems Architecture,
Volume 59, Issue 9
(2013),
S. 667
- 690.
Zusätzliche Informationen
-
T. Enengl, G. Schildt:
"Ein neuer Ansatz zur Integration eines objektorientierten Expertensystems in PPS-Landschaften";
Elektrotechnik und Informationstechnik (e&i),
3
(1995),
S. 125
- 128.
-
L. Esterle, R. Grosu:
"Cyber-physical systems: challenge of the 21st century";
Elektrotechnik und Informationstechnik (eingeladen),
133
(2016),
7;
S. 299
- 303.
Zusätzliche Informationen
-
M. Ferringer:
"On Self-Timed Circuits in Real-Time Systems";
International Journal of Reconfigurable Computing,
2011
(2011),
972375.
Zusätzliche Informationen
-
P. Ferschin, M. Di Angelo, I. Erb, N. Pfeifer:
"Procedual Parametric Modeling of Balinese Architecture";
Journal of Comparative Cultural Studies in Architecture,
.
(2017),
10;
S. 51
- 54.
Zusätzliche Informationen
-
J. Fichte, M. Kronegger, S. Woltran:
"A Multiparametric View on Answer Set Programming";
Annals of Mathematics and Artificial Intelligence (eingeladen),
86
(2019),
1-3;
S. 121
- 147.
Zusätzliche Informationen
-
C. Fiedler, Franz Preyser, W. Kastner:
"Simulation of RPDEVS Models of Logic Gates";
Simulation Notes Europe,
29
(2019),
2;
S. 85
- 91.
Zusätzliche Informationen
-
M. Forsell, S. Nikula, J. Roivainen, V. Leppänen, J. Träff:
"Performance and programmability comparison of the thick control flow architecture and current multicore processors";
The Journal of Supercomputing,
Volume 78
(2022),
S. 3152
- 3183.
Zusätzliche Informationen
-
M. Forsell, J. Roivainen, V. Leppänen, J. Träff:
"Supporting concurrent memory access in TCF processor architectures";
Microprocessors and Microsystems,
Volume 63
(2018),
S. 226
- 236.
Zusätzliche Informationen
-
S. Friedrichs, M Függer, C. Lenzen:
"Metastability-Containing Circuits";
IEEE Transactions on Computers,
67
(2018),
8;
S. 1167
- 1183.
Zusätzliche Informationen
-
M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner:
"The effect of forgetting on the performance of a synchronizer";
Performance Evaluation,
93
(2015),
S. 1
- 16.
Zusätzliche Informationen
-
M Függer, R. Najvirt, T. Nowak, U. Schmid:
"A Faithful Binary Circuit Model";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
10;
S. 2784
- 2797.
Zusätzliche Informationen
-
M Függer, T. Nowak, U. Schmid:
"Unfaithful Glitch Propagation in Existing Binary Circuit Models";
IEEE Transactions on Computers,
65
(2016),
3;
S. 964
- 978.
Zusätzliche Informationen
-
M Függer, T. Nowak, K. Winkler:
"On the radius of nonsplit graphs and information dissemination in dynamic networks";
Discrete Applied Mathematics,
282
(2020),
S. 257
- 264.
-
M Függer, U. Schmid:
"Reconciling fault-tolerant distributed computing and systems-on-chip";
Distributed Computing,
24
(2012),
6;
S. 323
- 355.
Zusätzliche Informationen
-
M Függer, A. Steininger, E. Armengaud:
"Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal and Experimental Approach";
IEEE Transactions on Industrial Informatics,
5
(2009),
2;
S. 132
- 145.
Zusätzliche Informationen
-
R. Ganian, M. Kronegger, A. Pfandler, A. Popa:
"Parameterized Complexity of Asynchronous Border Minimization";
Algorithmica,
81
(2019),
1;
S. 201
- 223.
Zusätzliche Informationen
-
E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson:
"A Nonparametric Bayesian Model for Sparse Temporal Multigraphs";
ArXiv,
.
(2019),
12 S.
Zusätzliche Informationen
-
E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson:
"Sequential Edge Clustering in Temporal Multigraphs";
ArXiv,
.
(2019),
6 S.
Zusätzliche Informationen
-
N. Giang, J. Im, D. Kim, M. Jung, W. Kastner:
"Integrating the EPCIS and Building Automation System into the Internet of Things: a Lightweight and Interoperable Approach";
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications,
6
(2015),
1;
56 S.
-
G. A. Gillani, M. Hanif, M. Krone, S. H. Gerez, M. Shafique, A. B. J. Kokkeler:
"SquASH: Approximate Square-Accumulate with Self-Healing";
IEEE Access,
6
(2018),
S. 49112
- 49128.
-
G. A. Gillani, M. Hanif, B. Verstoep, S. H. Gerez, M. Shafique, A. B. J. Kokkeler:
"MACISH: Designing Approximate MAC Accelerators With Internal-Self-Healing";
IEEE Access,
7
(2019),
S. 77142
- 77160.
-
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),
1758.
Zusätzliche Informationen
-
W. Granzer, F. Praus, W. Kastner:
"Security in building automation systems";
IEEE Transactions on Industrial Electronics,
57
(2010),
11;
S. 3622
- 3630.
Zusätzliche Informationen
-
R. Grosu:
"ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks";
ArXiv,
.
(2020),
9 S.
Zusätzliche Informationen
-
R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang:
"V-Formation via Model Predictive Control";
ArXiv,
.
(2020),
33 S.
Zusätzliche Informationen
-
S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu:
"Under the Hood of a Stand-Alone Lagrangian Reachability Tool";
EPiC Series in Computing,
.
(2019),
61;
S. 211
- 219.
Zusätzliche Informationen
-
S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu:
"Lagrangian Reachtubes: The Next Generation";
ArXiv,
.
(2020).
Zusätzliche Informationen
-
S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu:
"On The Verification of Neural ODEs with Stochastic Guarantees";
ArXiv,
.
(2020),
12 S.
Zusätzliche Informationen
-
A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu:
"Parallel reachability analysis of hybrid systems in XSpeed";
International Journal on Software Tools for Technology Transfer,
21
(2019),
1;
S. 401
- 423.
Zusätzliche Informationen
-
M. Gyimesi, A. Dielacher, T. Handl, C. Wittmann:
"An Object-oriented Solution to ARGESIM Benchmark C4 `Dining Philosophers Problem´ implemented with AnyLogic";
Simulation News Europe SNE,
18
(2008),
1;
S. 31
- 32.
-
H. Haberstroh, W. Kastner, U. Schmid:
"M-Module im Didaktik Einsatz";
Elektronik Industrie - Fachzeitschrift für Elektronik Entwicklung,
10
(1994),
S. 90
- 92.
-
M. Hanif, A. Manglik, M. Shafique:
"Resistive Crossbar-Aware Neural Network Design and Optimization";
IEEE Access,
8
(2020),
S. 229066
- 229085.
-
M. Hanif, A. Marchisio, T. Arif, R. Hafiz, S. Rehman, M. Shafique:
"X-DNNs: Systematic Cross-Layer Approximations for Energy-Efficient Deep Neural Networks";
ASP Journal of Low Power Electronics (JOLPE),
14
(2018),
4;
S. 520
- 534.
-
M. Hanif, M. Shafique:
"SalvageDNN: Salvaging Deep Neural Network Accelerators with Permanent Faults through Saliency-driven Fault-aware Mapping";
Philosophical Transactions of The Royal Society A,
378
(2019),
2164;
S. 1
- 23.
-
A. Hanzlik:
"SIDERA - a Simulation Model for Time-Triggered Distributed Systems";
International Review on Computers and Software (IRECOS),
1
(2006),
3;
S. 181
- 193.
Zusätzliche Informationen
-
A. Hanzlik:
"Stability and Performance Analysis of Clock Synchronization in FlexRay";
International Review on Computers and Software (IRECOS),
1
(2006),
2;
S. 146
- 155.
Zusätzliche Informationen
-
H. Haramina, A. Schöbel, M. Bojić:
"Računalno modeliranje i simulacija zeljezničkog prometa na relaciji Savski Marof - Dugo Selo primjenom programskog alata OpenTrack";
Zeljeznice 21,
13
(2014),
2;
S. 17
- 20.
-
A. Hassan, F. Khalid, H. Tariq, M. Hanif, R. Ahmed, S. Rehman:
"SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters.";
Ieee Design & Test,
37
(2020),
S. 1
- 8.
Zusätzliche Informationen
-
B. Heinzl, W. Kastner:
"Metaheuristic Simulation-based Production Planning for Energy Efficiency: A Case Study";
Simulation Notes Europe,
30
(2020),
3;
S. 105
- 116.
Zusätzliche Informationen
-
B. Heinzl, W. Kastner:
"Platform-independent Modeling for Simulation-based Energy Optimization in Industrial Production";
International Journal of Simulation: Systems, Science and Technology,
20
(2019),
6;
S. 10.1
- 10.10.
Zusätzliche Informationen
-
W. Herzner, B. Huber, C. György, A. Balogh:
"The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems";
ERCIM NEWS,
67
(2006),
S. 22
- 24.
Zusätzliche Informationen
-
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger:
"Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain";
IEEE Transactions on Nuclear Science,
vol 59
(2012),
S. 2778
- 2784.
-
M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger:
"Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation";
IEEE Transactions on Nuclear Science,
60
(2013),
4;
S. 2640
- 2646.
Zusätzliche Informationen
-
S. Hollerer, W. Kastner, T. Sauter:
"Safety und Security - ein Spannungsfeld in der industriellen Praxis";
Elektrotechnik und Informationstechnik,
138
(2021),
S. 449
- 453.
Zusätzliche Informationen
-
J. Hong, K. Hong, B. Burgstaller, J. Blieberger:
"StreamPI: A stream-parallel programming extension for object-oriented programming languages";
Journal of Supercomputing,
61
(2012),
1;
S. 118
- 140.
Zusätzliche Informationen
-
X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. Smolka, S. Stoller, E. Zadok:
"Software monitoring with controllable overhead";
International Journal on Software Tools for Technology Transfer,
14
(2012),
3;
S. 327
- 347.
Zusätzliche Informationen
-
B. Huber, W. Elmenreich:
"Wireless Time-Triggered Real-Time Communication";
Telematik,
3-4
(2004),
S. 44
- 50.
Zusätzliche Informationen
-
B. Huber, W. Puffitsch, M. Schoeberl:
"Worst-case execution time analysis-driven object cache design";
Concurrency and Computation: Practice and Experience,
Volume 24 Issue 8
(2012),
24/8;
S. 753
- 771.
Zusätzliche Informationen
-
F. Huemer, A. Steininger:
"Novel Approaches for Efficient Delay-Insensitive Communication";
Journal of Low Power Electronics and Applications,
9
(2019),
16;
41 S.
Zusätzliche Informationen
-
S. Hunold:
"One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints";
Concurrency and Computation: Practice and Experience,
Volume 27
(2015),
Issue 4;
S. 1010
- 1026.
Zusätzliche Informationen
-
M. Hutle, D. Malkhi, U. Schmid, L. Zhou:
"Chasing the Weakest System Model for Implementing Omega and Consensus";
IEEE Transactions on Dependable and Secure Computing,
6
(2009),
4;
S. 269
- 279.
Zusätzliche Informationen
-
S. Ibrahim, T. Phan, A. Carpen-Amarie, H. Chihoub, D. Moise, G. Antoniu:
"Governing energy consumption in Hadoop through CPU frequency scaling: An analysis";
Future Generation Computer Systems,
Volume 54
(2016),
S. 219
- 232.
Zusätzliche Informationen
-
T. Iggena, E. Ilyas, M. Fischer, R. Tönjes, T. Elsaleh, R. Rezvani, N. Pourshahrokhi, S. Bischof, A. Fernbach, J. Parreira, P. Schneider et al.:
"IoTCrawler: Challenges and Solutions for Searching the Internet of Things";
Sensors,
21(5)
(2021),
1559;
S. 1
- 32.
Zusätzliche Informationen
-
F. Iglesias Vazquez, W. Kastner:
"Analysis of similarity measures in times series clustering for the discovery of building energy patterns";
ENERGIES,
6
(2013),
2;
S. 579
- 597.
Zusätzliche Informationen
-
F. Iglesias Vazquez, W. Kastner, M. Kofler:
"Holistic smart home models for air quality and thermal comfort management";
International Journal of Intelligent Decision Technologies,
7
(2013),
1;
S. 23
- 43.
Zusätzliche Informationen
-
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),
October 2018;
S. 1043
- 1053.
Zusätzliche Informationen
-
A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka:
"Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans";
Theoretical Computer Science,
.
(2019),
765;
S. 158
- 169.
Zusätzliche Informationen
-
A. Ismail, W. Kastner:
"Vertical integration in industrial enterprises and distributed middleware";
International Journal of Internet Protocol Technology (IJIPT),
9
(2016),
2/3;
S. 79
- 89.
-
A. Ismail, H. Truong, W. Kastner:
"Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey";
Journal of Big Data,
6
(2019),
1;
S. 1
- 26.
-
M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna:
"Safety Relevant Automotive Electronic Solutions";
Automotive Electronics International,
March
(2004),
S. 21
- 23.
Zusätzliche Informationen
-
M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna:
"Sicherheitsrelevante elektronische Lösungen im Automobil";
Automotive Elektronics,
extra
(2004),
März;
S. 50
- 53.
Zusätzliche Informationen
-
S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic:
"Quantitative monitoring of STL with edit distance";
Formal Methods in System Design,
53
(2018),
1;
S. 83
- 112.
Zusätzliche Informationen
-
S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
"An algebraic framework for runtime verification";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
37
(2018),
11;
S. 2233
- 2243.
Zusätzliche Informationen
-
A. Jara, A. Olivieri, Y. Bocchi, M. Jung, W. Kastner, A. Skarmeta:
"Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence";
International Journal of Web and Grid Services,
10
(2014),
2/3;
S. 242
- 272.
Zusätzliche Informationen
-
M. Jung, B. Burgstaller, J. Blieberger:
"Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints";
CoRR - Computing Research Repository,
abs/1512.09228
(2015).
Zusätzliche Informationen
-
M. Jung, T. Hofer, W. Kastner, S. Döbelt:
"Protecting data assets in a Smart Grid SOA";
Journal of Internet Technology and Secured Transactions (JITST),
2
(2013),
1/2/3/4;
S. 155
- 166.
Zusätzliche Informationen
-
T. Kainrad, S. Hunold, T. Seidel, T. Langer:
"LigandScout Remote: A New User-Friendly Interface for HPC and Cloud Resources";
Journal of Chemical Information and Modeling,
Volume 59
(2019),
Issue 1;
S. 31
- 37.
Zusätzliche Informationen
-
F. Kamhuber, T. Sobottka, B. Heinzl, J. Henjes, W. Sihn:
"An efficient hybrid multi-criteria optimization approach for rolling production smoothing of a European food manufacturer";
Computers & Industrial Engineering,
147
(2020).
Zusätzliche Informationen
-
R. Kammerer, R. Obermaisser, B. Frömel:
"A router for the containment of timing and value failures in CAN";
EURASIP Journal on Embedded Systems,
2012
(2012),
4.
Zusätzliche Informationen
-
S. Kandl, S. Chandrashekar:
"Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation";
Computing,
607
(2014).
Zusätzliche Informationen
-
A. Kanduri, M.-H. Haghbayan, A. Rahmani, M. Shafique, A. Jantsch, P. Liljeberg:
"adBoost: Thermal Aware Performance Boosting Through Dark Silicon Patterning";
IEEE Transactions on Computers,
67
(2018),
8;
S. 1062
- 1077.
-
Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao:
"Scalable Algorithms for MPI Intergroup Allgather and Allgatherv";
Parallel Computing,
Volume 85
(2019),
S. 220
- 230.
Zusätzliche Informationen
-
W. Kastner:
""Wissen schaft": Gebäudeautomation - Security in KNX/EIB";
megaTECH,
12
(2006),
S. 16.
-
W. Kastner:
""Wissen schaft": Trends in der Gebäudeautomation";
megaTECH,
11
(2006),
S. 44.
-
W. Kastner:
"Gebäudesystemtechnik - quo vadis? Teil I: Grundlagen";
IUCCIM News,
4
(2000),
S. 12
- 13.
-
W. Kastner:
"Jini Connectivity for Fieldbus-systems -- a Case Study for Home and Building Networks";
Journal e&i: Elektrotechnik und Informationstechnik,
5
(2000),
S. 324
- 328.
-
W. Kastner:
"Trends in der Gebäudeautomation: Wireless Automation Networks";
megaTECH (eingeladen),
1/2
(2007),
2007;
S. 46.
-
W. Kastner, M. Kofler, C. Reinisch:
"Wissensrepräsentation für das adaptive Eigenheim im Kontext von Smart Cities";
Elektrotechnik und Informationstechnik (e&i),
129
(2012),
4;
S. 286
- 292.
Zusätzliche Informationen
-
W. Kastner, G. Neugschwandtner:
"Datenkommunikation in der verteilten Gebäudeautomation";
Bulletin SEV/VSE,
17
(2006),
S. 9
- 14.
-
W. Kastner, G. Neugschwandtner, S. Soucek, H.M. Newman:
"Communication Systems for Building Automation and Control";
Proceedings of the IEEE,
93
(2005),
6;
S. 1178
- 1203.
-
W. Kastner, N. Reiter:
"Netzmanagement in Feldbussystemen";
Journal it+ti: Informationstechnik und Technische Informatik,
42
(2000),
S. 45
- 51.
-
F. Khalid, I. H. Abbassi, S. Rehman, A. Mehmood Kamboh, O. Hassan:
"ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
""
(2021),
"";
S. ##.
-
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),
C;
S. 62
- 76.
Zusätzliche Informationen
-
F. Khalid, S. R. Hasan, O. Hasan, M. Shafique:
"SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan Detection";
Microprocessors and Microsystems,
77
(2020),
S. 1
- 17.
-
F. Khalid, S. R. Hasan, S. Zia, O. Hasan, F. Awwad, M. Shafique:
"MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 3748
- 3761.
-
K. Khdr, S. Pagani, E. Sousa, V. Lari, A. Pathania, F. Hannig, M. Shafique, J. Teich, J. Henkel:
"Power Density-Aware Resource Management for Heterogeneous Tiled Multicores";
IEEE Transactions on Computers,
66
(2017),
3;
S. 488
- 501.
Zusätzliche Informationen
-
K. Khdr, M. Shafique, S. Pagani, A. Herkersdorf, J. Henkel:
"Combinatorial Auctions for Temperature-Constrained Resource Management in Manycores";
IEEE Transactions on Parallel and Distributed Systems,
31
(2020),
7;
S. 1605
- 1620.
-
E. Kirda, Ch. Krügel:
"Protecting Users Against Phishing Attacks with AntiPhish";
Computer Journal,
49
(2006),
5.
-
R. Kirner, S. Kandl:
"Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems";
ERCIM NEWS,
75
(2008),
75;
S. 40
- 41.
Zusätzliche Informationen
-
R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis";
Journal of Software and Systems Modeling (online-edition),
oB
(2010).
Zusätzliche Informationen
-
R. Kirner, P. Puschner:
"A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses";
IEEE-ACM Transactions on Networking,
29
(2021),
4;
S. 1786
- 1797.
Zusätzliche Informationen
-
R. Kirner, P. Puschner, A. Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis";
Real-Time Systems,
45
(2010),
1-2;
S. 72
- 105.
Zusätzliche Informationen
-
P. Klinkoff, Ch. Krügel, E. Kirda, G. Vigna:
"Extending .NET Security to Unmanaged Code";
International Journal of Information Security,
6
(2007),
6;
S. 417
- 428.
-
M. J. Kofler, C. Reinisch, W. Kastner:
"A semantic representation of energy-related information in future smart homes";
Energy and Buildings,
47
(2012),
0;
S. 169
- 179.
Zusätzliche Informationen
-
C. Kolbitsch, M. Egele, Ch. Platzer:
"Removing web spam links from search engine results";
Journal in Computer Virology,
Online First
(2009),
11416;
S. 1
- 12.
Zusätzliche Informationen
-
I. Konnov, M. Lazić, H. Veith, J. Widder:
"Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms";
Formal Methods in System Design (eingeladen),
51
(2017),
2;
S. 270
- 307.
Zusätzliche Informationen
-
I. Konnov, H. Veith, J. Widder:
"On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability";
Information and Computation,
252
(2017),
S. 95
- 109.
Zusätzliche Informationen
-
H. Kopetz:
"Time Triggered Architecture";
ERCIM NEWS,
1
(2003),
52;
S. 24
- 25.
-
H. Kopetz, A. Ademaj, A. Hanzlik:
"Combination of clock-state and clock-rate correction in fault-tolerant distributed systems";
Real-Time Systems,
33
(2006),
S. 139
- 173.
Zusätzliche Informationen
-
H. Kopetz, G. Bauer:
"The Time-Triggered Architecture";
Proceedings of the IEEE,
91
(2003),
1;
S. 112
- 126.
Zusätzliche Informationen
-
H. Kopetz, M. Holzmann, W. Elmenreich:
"A Universal Smart Transducer Interface: TTP/A";
International Journal of Computer System, Science & Engineering,
16
(2001),
2;
S. 71
- 77.
Zusätzliche Informationen
-
H. Kopetz, R. Obermaisser:
"Temporal Composability";
IEE's Computing & Control Engineering Journal (eingeladen),
13
(2002),
4;
S. 156
- 162.
Zusätzliche Informationen
-
H. Kopetz, R. Obermaisser, U. Schmid:
"Dependable Embedded Systems Research at TU Vienna";
Elektrotechnik und Informationstechnik (e&i) (eingeladen),
1
(2005),
1;
S. 33
- 37.
Zusätzliche Informationen
-
L. Krammer, W. Kastner, T. Sauter:
"A Comprehensive Dependability Approach for Building Automation Networks";
Journal of Universal Computer Science,
22
(2016),
9;
S. 1225
- 1248.
-
C. Krieg, A. Dabrowski, H. Hobel, K. Krombholz, E. Weippl:
"Hardware Malware";
Synthesis Lectures on Information Security, Privacy, and Trust,
4
(2013),
2;
S. 1
- 115.
Zusätzliche Informationen
-
M. Kronegger, S. Ordyniak, A. Pfandler:
"Backdoors to planning";
Artificial Intelligence,
269
(2019),
S. 49
- 75.
Zusätzliche Informationen
-
Ch. Krügel, F. Valeur, G. Vigna:
"Using Alert Verification to Identify Successful Intrusion Attempts";
Praxis der Informationsverarbeitung und Kommunikation (PIK),
27
(2004),
4;
S. 220
- 228.
-
Ch. Krügel, G. Vigna, W. Robertson:
"A multi-model approach to the detection of web-based attacks";
Computer Networks,
48
(2005),
5;
S. 717
- 738.
-
R. Kuznets, B. Lellmann:
"Interpolation for intermediate logics via injective nested sequents";
Journal of Logic and Computation,
31
(2021),
3;
S. 797
- 831.
Zusätzliche Informationen
-
R. Kuznets, L. Strassburger:
"Maehara-style Modal Nested Calculi";
Archive for Mathematical Logic,
58
(2019),
3-4;
S. 359
- 385.
Zusätzliche Informationen
-
M. Landauer, F. Skopik, M. Wurzenberger, W. Hotwagner, A. Rauber:
"Have it Your Way: Generating Customized Log Datasets With a Model-Driven Simulation Testbed";
IEEE Transactions on Reliability,
70
(2021),
1;
S. 402
- 415.
-
M. Landauer, F. Skopik, M. Wurzenberger, A. Rauber:
"Dealing with Security Alert Flooding: Using Machine Learning for Domain-independent Alert Aggregation";
Acm Transactions On Privacy And Security,
25
(2022),
18;
S. 1
- 36.
-
M. Landauer, F. Skopik, M. Wurzenberger, A. Rauber:
"System Log Clustering Approaches for Cyber Security Applications: A Survey";
Computers & Security,
92
(2020),
S. 1
- 17.
Zusätzliche Informationen
-
M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser:
"Dynamic log file analysis: An unsupervised cluster evolution approach for anomaly detection";
Computers & Security,
79
(2018),
S. 94
- 116.
-
M. Lechner, R. Hasani, A. Amini, T. Henzinger, D. Rus, R. Grosu:
"Neural Circuit Policies Enabling Auditable Autonomy";
Nature Machine Intelligence,
2
(2020),
S. 642
- 652.
Zusätzliche Informationen
-
H. Lee, M. Shafique, M. Al Faruque:
"Aging-Aware Workload Management on Embedded GPU Under Process Variation";
IEEE Transactions on Computers,
67
(2018),
7;
S. 920
- 933.
-
G. Leeb, R. Posta, G. Schildt, M. Ochensthaler, D. Dietrich:
"A Configuration Tool for Homenet";
IEEE Transactions on Consumer Electronics,
42
(1996),
S. 387
- 394.
-
V. Legourski, Y. Huang, O. Cevan, F. Breitenecker:
"Statechart Modelling for ARGESIM Benchmark C10 `Dining Philosophers Problem II´ using Simulink/Stateflow";
Simulation News Europe SNE,
18
(2008),
1;
S. 39
- 40.
-
T. Li, M. Shafique, J. Ambrose, J. Henkel, S. Parameswaran:
"Fine-Grained Checkpoint Recovery for Application-Specific Instruction-Set Processors";
IEEE Transactions on Computers,
66
(2017),
4;
S. 647
- 660.
Zusätzliche Informationen
-
B. Löwenstein, M. Di Angelo:
"IDEs für die Schulbank";
Javamagazin (eingeladen),
12
(2011),
4;
S. 31
- 34.
Zusätzliche Informationen
-
B. Löwenstein, M. Di Angelo:
"Lego Mindstorms";
Javamagazin,
12
(2011),
6;
S. 23
- 26.
Zusätzliche Informationen
-
B. Löwenstein, M. Di Angelo:
"Mikrowelten";
Javamagazin (eingeladen),
12
(2011),
5;
S. 30
- 33.
Zusätzliche Informationen
-
B. Löwenstein, M. Di Angelo:
"Vermittlung von Java im Anfängerunterricht";
Javamagazin (eingeladen),
12
(2011),
3;
S. 20
- 24.
Zusätzliche Informationen
-
T. Losert, M. Schlager, W. Elmenreich:
"Fault-Tolerant Compensation of the Propagation Delay for Hard Real-Time Systems";
Journal of Advanced Computational Intelligence and Intelligent Informatics,
9
(2005),
4;
S. 346
- 352.
-
E. Lusk, J. Träff:
"MPI Is 25 Years Old!";
HPCwire (eingeladen),
May 1
(2017).
-
H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H. Rabiee:
"Identifying central nodes for information flow in social networks using compressive sensing";
Social Network Analysis and Mining,
8
(2018),
33.
Zusätzliche Informationen
-
J. Maier, C. Hartl-Nesic, A. Steininger:
"Simulation-Based Approaches for Comprehensive Schmitt-Trigger Analyses";
IEEE Transactions on Circuits and Systems-I: Regular Papers,
Dec
(2021),
S. 1
- 14.
Zusätzliche Informationen
-
R. Maier, G. Bauer, G. Stöger, S. Poledna:
"Time-Triggered Architecture: A Consistent Computing Platform";
IEEE Micro,
22
(2002),
4;
S. 36
- 45.
Zusätzliche Informationen
-
A. Marchisio, V. Mrazek, M. Hanif, M. Shafique:
"DESCNet: Developing Efficient Scratchpad Memories for Capsule Network Hardware";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Early Access
(2020),
S. 1
- 13.
-
A. Marchisio, V. Mrazek, M. Hanif, M. Shafique:
"FEECA: Design Space Exploration for Low-Latency and Energy-Efficient Capsule Network Accelerators";
IEEE Transactions on Very Large Scale Integration (VLSI) Systems,
29
(2021),
4;
S. 716
- 729.
Zusätzliche Informationen
-
E. J. Maroun, M. Schoeberl, P. Puschner:
"Compiling for time-predictability with dual-issue single-path code";
Journal of Systems Architecture,
118
(2021),
102230.
Zusätzliche Informationen
-
D. Maurer, V. Salapura, M. Gschwind:
"FPGA prototyping of a RISC processor core for embedded applications ";
IEEE Transactions on Computers,
9
(2001),
S. 241
- 250.
Zusätzliche Informationen
-
S. Mazahir, O. Hasan, R. Hafiz, M. Shafique:
"Probabilistic Error Analysis of Approximate Recursive Multipliers";
IEEE Transactions on Computers,
66
(2017),
11;
S. 1982
- 1990.
Zusätzliche Informationen
-
S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel:
"Probabilistic Error Modeling for Approximate Adders";
IEEE Transactions on Computers,
66
(2017),
3;
S. 515
- 530.
Zusätzliche Informationen
-
S. Mazahir, O. Hasan, M. Shafique:
"Adaptive Approximate Computing in Arithmetic Datapaths";
Ieee Design & Test,
35
(2018),
4;
S. 65
- 74.
-
S. Mazahir, O. Hasan, M. Shafique:
"Self-Compensating Accelerators for Efficient Approximate Computing";
Microelectronics Journal,
88
(2019),
S. 9
- 17.
-
U. Mehmood, S. Stoller, R. Grosu, S. Roy, A. Damare:
"A Distributed Simplex Architecture for Multi-Agent Systems";
ArXiv,
.
(2020),
17 S.
Zusätzliche Informationen
-
M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng:
"A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities";
IEEE Internet of Things Journal,
8
(2021),
15;
S. 11793
- 11806.
Zusätzliche Informationen
-
M. Meiyi, J. Stankovic, E. Bartocci, L. Feng:
"Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems";
ACM Transactions on Embedded Computing Systems,
20
(2021),
5s (101);
S. 1
- 25.
Zusätzliche Informationen
-
J. Meyer, U. Schmid:
"Zeit im Bild";
Elektronikschau,
3
(1995),
S. 28
- 30.
-
Stefan Mitterhofer, Ch. Platzer, E. Kirda, Ch. Krügel:
"Server-Side Bot Detection in Massively Multiplayer Online Games";
IEEE Security & Privacy,
7
(2009),
3;
S. 29
- 36.
Zusätzliche Informationen
-
R. Mittermayr, J. Blieberger:
"A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications";
Journal of Software Engineering and Applications,
9
(2016),
5;
S. 182
- 198.
Zusätzliche Informationen
-
R. Mittermayr, J. Blieberger:
"Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs";
Computing,
103
(2021),
5;
S. 749
- 770.
Zusätzliche Informationen
-
R. Mittermayr, J. Blieberger, A. Schöbel:
"Kronecker Algebra based Deadlock Analysis for Railway Systems";
Promet-Traffic & Transportation,
24
(2012),
5;
S. 359
- 369.
Zusätzliche Informationen
-
M. Molnar, D. Donoval, J. Kuzmik, J. Marek, A. Chvala, P. Pribytny, V. Mikolasek, K. Rendek, V. Palankovski:
"Simulation Study of Interface Traps and Bulk Traps in n++GaN/InAlN/AlN/GaN High Electron Mobility Transistors";
Applied Surface Science,
312
(2014),
S. 157
- 161.
Zusätzliche Informationen
-
H. Moser:
"Towards a real-time distribiuted computing model";
Theoretical Computer Science,
410
(2008),
6-7;
S. 631
- 659.
Zusätzliche Informationen
-
H. Moser, U. Schmid:
"Reconciling fault-tolerant distributed algorithms and real-time computing";
Distributed Computing,
27
(2014),
3;
S. 203
- 230.
Zusätzliche Informationen
-
A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu:
"Curvature Analysis of Cardiac Excitation Wavefronts";
IEEE/ACM Transactions on Computational Biology and Bioinformatics,
10
(2013),
2;
S. 323
- 336.
Zusätzliche Informationen
-
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),
2;
S. 272
- 286.
Zusätzliche Informationen
-
G. Music, B. Heinzl, W. Kastner:
"AVA: A Component-oriented Abstraction Layer for Virtual Plug&produce Automation Systems Engineering";
Journal of Industrial Information Integration,
1
(2021),
1;
S. 1
- 19.
-
D. Mutz, F. Valeur, Ch. Krügel, G. Vigna:
"Anomalous System Call Detection";
ACM Transactions on Information and System Security,
9
(2006),
1.
-
L. Naber, M. Köhle:
"E-nhance Lectures";
Journal of Digital Information,
3
(2003),
4.
-
L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti:
"A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems";
angenommen für Logical Methods in Computer Science
8(1)
(2022),
4;
S. 1
- 30.
Zusätzliche Informationen
-
L. Nenzi, E. Bartocci, L. Bortolussi, S. Silvetti, M. Loreti:
"MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties";
angenommen für International Journal on Software Tools for Technology Transfer.
Zusätzliche Informationen
-
T. Nomani, M. Mohsin, Z. Pervaiz, M. Shafique:
"xUAVs: Towards Efficient Approximate Computing for UAVs-Low Power Approximate Adders With Single LUT Delay for FPGA-Based Aerial Imaging Optimization";
IEEE Access,
8
(2020),
S. 102982
- 102996.
-
T. Nowak, M Függer, A. Kößler:
"On the performance of a retransmission-based synchronizer";
Theoretical Computer Science,
509
(2013),
S. 25
- 39.
-
R. Obermaisser, H. Kopetz, S. Kuster:
"GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems";
ARTEMIS Magazine,
5
(2009),
S. 32
- 34.
Zusätzliche Informationen
-
R. Obermaisser, P. Peti, B. Huber, C. El Salloum:
"DECOS: An Integrated Time-Triggered Architecture";
Journal e&i: Elektrotechnik und Informationstechnik,
3
(2006),
S. 83
- 95.
Zusätzliche Informationen
-
M. Ochensthaler, R. Posta, G. Schildt, D. Dietrich:
"Der vernetzte Haushalt - Technologie und Anwendung";
ÖVE Schriftenreihe,
14
(1997),
S. 63
- 96.
-
T. Odetola, F. Khalid, H. Mohammed, T. Sandefur, S. R. Hasan:
"FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack";
IEEE Access,
9
(2021),
S. 115370
- 115387.
Zusätzliche Informationen
-
D. Öhlinger, J. Maier, M Függer, U. Schmid:
"The Involution Tool for Accurate Digital Timing and Power Analysis";
Integration the VLSI journal,
76
(2021),
S. 87
- 98.
Zusätzliche Informationen
-
A. Oesterreicher, C. Gorsche, S. Ayalur-Karunakaran, A. Moser, M. Edler, G. Pinter, S. Schlögl, R. Liska, T. Griesser:
"Exploring Network Formation of Tough and Biocompatible Thiol-yne Based Photopolymers";
Macromolecular Rapid Communications,
37
(2016),
20;
S. 1701
- 1706.
Zusätzliche Informationen
-
J. Otepka, G. Mandlburger, M. Schütz, N. Pfeifer, M. Wimmer:
"Efficient Loading And Visualization Of Massive Feature-Rich Point Clouds Without Hierarchical Acceleration Structures";
International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives),
XLIII-B2-2020
(2020),
S. 293
- 300.
Zusätzliche Informationen
-
S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel:
"Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manycore Systems in Dark Silicon";
IEEE Transactions on Computers,
66
(2017),
1;
S. 147
- 162.
Zusätzliche Informationen
-
S. Pagani, A. Pathania, M. Shafique, J. Chen, J. Henkel:
"Energy Efficiency for Clustered Heterogeneous Multicores";
IEEE Transactions on Parallel and Distributed Systems,
28
(2017),
5;
S. 1315
- 1330.
Zusätzliche Informationen
-
A. Paltrinieri, R. Peloso, G. Masera, M. Shafique, M. Martina:
"On the Effect of Approximate-Computing in Motion Estimation";
ASP Journal of Low Power Electronics (JOLPE),
15
(2019),
1;
S. 40
- 50.
-
A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel:
"Defragmentation of Tasks in Many-Core Architecture";
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION,
14
(2017),
1;
S. 2:1
- 2:21.
Zusätzliche Informationen
-
A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel:
"Optimal Greedy Algorithm for Many-Core Scheduling";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
36
(2017),
6;
S. 1054
- 1058.
Zusätzliche Informationen
-
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee:
"Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 3981
- 3992.
Zusätzliche Informationen
-
D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller:
"Neural Simplex Architecture";
ArXiv,
.
(2019).
Zusätzliche Informationen
-
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),
1;
S. 62
- 86.
Zusätzliche Informationen
-
F. Pigozzi, E. Medvet, L. Nenzi:
"Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming";
Applied Sciences,
11(22)
(2021),
10573;
S. 1
- 16.
Zusätzliche Informationen
-
C. Pitter, M. Schoeberl:
"A real-time Java chip-multiprocessor";
ACM Transactions on Embedded Computing Systems,
10
(2010),
1;
S. 1
- 34.
Zusätzliche Informationen
-
R. Poisel, A. Zettler, D. Bach, D. Lakovits, W. Kastner:
"Rock Mass Rating based on Tunnel Boring Machine Data";
Journal for Engineering Geology, Geomechanics and Tunnelling,
3
(1999),
S. 167
- 176.
-
S. Poledna, P. Barrett, A. Burns, A. Wellings:
"Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems";
IEEE Transactions on Computers,
49
(2000),
2;
S. 100
- 111.
Zusätzliche Informationen
-
T. Polzer, F. Huemer, A. Steininger:
"An Experimental Study of Metastability-Induced Glitching Behavior";
Journal of Circuits, Systems, and Computers,
28
(2019),
Suppl 1;
21 S.
Zusätzliche Informationen
-
T. Polzer, F. Huemer, A. Steininger:
"Refined Metastability Characterization Using a Time-to-Digital Converter";
Microelectronics Reliability,
80
(2018),
S. 91
- 99.
Zusätzliche Informationen
-
T. Polzer, R. Najvirt, F. Beck, A. Steininger:
"On the Appropriate Handling of Metastable Voltages in FPGAs";
Journal of Circuits, Systems, and Computers,
25
(2015),
3;
S. 1640020-1
- 1640020-25.
Zusätzliche Informationen
-
T. Polzer, A. Steininger:
"A Model for the Metastability Delay of Sequential Elements";
Journal of Circuits, Systems, and Computers,
26
(2017),
8;
S. 174001001
- 174001022.
Zusätzliche Informationen
-
N. Popper, I. Hafner, M. Rössler, F. J. Preyser, B. Heinzl, P. Smolek, I. Leobner:
"A General Concept for Description of Production Plants";
Simulation Notes Europe SNE,
24(2)
(2014),
S. 105
- 114.
Zusätzliche Informationen
-
B. Prabakaran, A. Akhtar, S. Rehman, O. Hasan, M. Shafique:
"BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables";
IEEE Internet of Things Journal,
8
(2021),
17;
S. 13251
- 13265.
Zusätzliche Informationen
-
B. Prabakaran, M. Dave, F. Kriebel, S. Rehman, M. Shafique:
"Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar Processors";
IEEE Access,
7
(2019),
S. 145324
- 145339.
-
F. Praus, W. Kastner, P. Palensky:
"Secure Control Applications in Smart Homes and Buildings";
Journal of Universal Computer Science,
22
(2016),
9;
S. 1249
- 1273.
-
T. Preindl, J. Pannosch, W. Kastner, A. Redlein, C. Baretschneider:
"Decentralized Management Framework for heterogeneous Devices in FM";
Journal für Facility Management Heft 21/2021,
Wien
(2021),
ISSN: 2415-1858;
S. 26
- 38.
Zusätzliche Informationen
-
Franz Preyser, B. Heinzl, W. Kastner:
"RPDEVS Abstract Simulator";
Simulation Notes Europe,
29
(2019),
2;
S. 79
- 84.
Zusätzliche Informationen
-
S. Pudukotai Dinakarrao, A. Jantsch, M. Shafique:
"Computer-aided arrhythmia diagnosis with bio-signal processing: A survey of trends and techniques";
Acm Computing Surveys,
52
(2019),
2;
S. 1
- 37.
Zusätzliche Informationen
-
S. Pudukotai Dinakarrao, A. Jantsch, M. Shafique:
"SmartDPM: Machine Learning-based Dynamic Power Management for Multi-Core Microprocessors";
ASP Journal of Low Power Electronics (JOLPE),
14
(2018),
4;
S. 460
- 474.
-
S. Pudukotai Dinakarrao, A. Joseph, A. Haridass, M. Shafique, J. Henkel, H. Homayoun:
"Application and Thermal-reliability-aware Reinforcement Learning Based Multi-core Power Management";
ACM Journal on Emerging Technologies in Computing Systems,
15
(2019),
4;
S. 1
- 19.
-
P. Puschner, A. Burns:
"A Review of Worst-Case Execution-Time Analysis";
Real-Time Systems,
18
(2000),
2/3;
S. 115
- 128.
Zusätzliche Informationen
-
P. Puschner, R. Kirner:
"Asynchronous vs. synchronous interfacing to time-triggered communication systems";
Journal of Systems Architecture,
103
(2020).
Zusätzliche Informationen
-
R. Putra, M. Hanif, M. Shafique:
"ROMANet: Fine-Grained Reuse-Driven Off-Chip Memory Access Management and Data Organization for Deep Neural Network Accelerators";
IEEE Transactions on Very Large Scale Integration (VLSI) Systems,
29
(2021),
4;
S. 702
- 715.
Zusätzliche Informationen
-
R. Putra, M. Shafique:
"FSpiNN: An Optimization Framework for Memory-Efficient and Energy-Efficient Spiking Neural Networks";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 3601
- 3613.
-
J. Qadir, A. Sathiaseelan, U. Farooq, M. Usama, M. Imran, M. Shafique:
"Approximate Networking for Universal Internet Access";
Future Internet,
9
(2017),
4;
S. 1
- 23.
Zusätzliche Informationen
-
B. Rahbaran, M Függer, A. Steininger:
"Embedded Real-Time-Tracer -- An Approach with IDE";
Telematik,
3-4
(2004),
S. 16
- 20.
Zusätzliche Informationen
-
B. Rahbaran, A. Steininger:
"Is Asynchronous Logic More Robust Than Synchronous Logic?";
IEEE Transactions on Dependable and Secure Computing,
6
(2009),
4;
S. 282
- 294.
Zusätzliche Informationen
-
H. Rameder, M. Di Angelo, G. Salzer:
"Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum";
Frontiers in Blockchain,
5
(2022),
S. 1
- 20.
Zusätzliche Informationen
-
A. N. Rapaka, W. Elmenreich, D. Wunsch:
"TTP/A Protocol and Design";
Circuit Cellar,
(2004),
164;
S. 12
- 21.
Zusätzliche Informationen
-
D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci:
"A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems";
IEEE Access,
7
(2019),
1;
24 S.
Zusätzliche Informationen
-
V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, M. Shafique:
"Longevity Framework: Leveraging Online Integrated Aging-Aware Hierarchical Mapping and VF-Selection for Lifetime Reliability Optimization in Manycore Processors";
IEEE Transactions on Computers,
Early Access
(2020),
S. 1
- 14.
-
A. Redlein:
"AVA-Systeme: Zusatzprogramme im Überblick";
a3 BAU,
7a
(1997),
S. 27.
-
A. Redlein:
"CAD für Architektenbüros";
Deutsches Architektenblatt,
9
(1997),
S. 1387.
-
A. Redlein:
"CAD-Systeme: Marktübersicht der gängigsten Programme";
a3 BAU,
7a
(1997),
S. 27.
-
A. Redlein:
"EDV Unterstützung im Bereich Bauwesen";
bau & immobilienreport,
1
(1999).
-
A. Redlein:
"Neue FM-Welten";
bau & immobilienreport,
4
(1999),
S. 42.
-
A. Redlein et al.:
"Aktives Facility Management";
IUCCIM News,
2
(1997).
-
A. Redlein, R. Rohrhofer:
"AVA im Kundenfokus, Studie über AVA Systeme im Planungswesen";
bau & immobilienreport,
10
(2001),
S. 20.
-
A. Redlein, R. Rohrhofer:
"CAD-Systeme: Ein Anwendervergleich";
bau & immobilienreport,
10
(1999),
S. 7.
-
A. Redlein, R. Rohrhofer:
"CAD: Die neue Richtlinie";
bau & immobilienreport,
9
(1997),
S. 58.
-
A. Redlein, R. Rohrhofer:
"CAD: Frischer Wind";
bau & immobilienreport,
10
(1999),
S. 14.
-
A. Redlein, R. Rohrhofer:
"CAD: Und wie zufrieden sind Sie?";
bau & immobilienreport,
10
(1999),
S. 18.
-
A. Redlein, R. Rohrhofer:
"Chaos-Norm: Alternative der Kammer";
Konstruktiv,
199
(1997),
S. 38.
-
A. Redlein, R. Rohrhofer:
"Homenet - das intelligente Haus der Zukunft";
IUCCIM News,
1
(1997),
S. 6.
-
A. Redlein, R. Rohrhofer:
"Keine Einigung";
bau & immobilienreport,
4
(1999),
S. 40.
-
A. Redlein, R. Rohrhofer:
"Prozessmanagement: Auf zum Prozess, Facility Management";
bau & immobilienreport,
10
(2001),
S. 41.
-
A. Redlein, R. Rohrhofer:
"Technologievorsprung durch FM-Systeme";
Power Management,
4
(1997),
S. 21.
-
A. Redlein, R. Rohrhofer:
"Wettstreit der Großen, Studie über Einsatz von CAD Systemen im Planungswesen";
bau & immobilienreport,
10
(2001),
S. 16.
-
A. Redlein, R. Rohrhofer, H. Vogl:
"AVA heiß umkämpft";
bau & immobilienreport,
12/98 und 1/99
(1999),
S. 14.
-
T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski:
"Runtime verification of microcontroller binary code";
Science of Computer Programming,
80
(2014),
S. 109
- 129.
Zusätzliche Informationen
-
T. Reinbacher, M Függer, J. Brauer:
"Runtime verification of embedded real-time systems";
Formal Methods in System Design,
Nov 2013
(2013),
10703;
S. 1
- 37.
Zusätzliche Informationen
-
C. Reinisch, M. J. Kofler, F. Iglesias Vazquez, W. Kastner:
"ThinkHome Energy Efficiency in Future Smart Homes";
EURASIP Journal on Embedded Systems,
2011
(2011),
18.
Zusätzliche Informationen
-
H. Reiter, R. Posta, M. Ochensthaler, G. Schildt, D. Dietrich:
"Energieoptimierung im vernetzten Eigenheim durch verteilte Wetterdienste im Internet";
E&I Elektrotechnik und Informationstechnik,
114
(1997),
S. 263
- 266.
-
S. Resch, A. Steininger, C. Scherrer:
"A Composable Real-Time Architecture for Replicated Railway Applications";
Journal of Systems Architecture,
61
(2015),
9;
S. 472
- 485.
Zusätzliche Informationen
-
M. Riaz, R. Hafiz, S. Khaliq, M. Faisal, H. Iqbal, M. Ali, M. Shafique:
"CAxCNN: Towards the Use of Canonic Sign Digit Based Approximation for Hardware-Friendly Convolutional Neural Networks";
IEEE Access,
8
(2020),
S. 127014
- 127021.
-
P. Robinson, U. Schmid:
"The Asynchronous Bounded-Cycle Model";
Theoretical Computer Science,
412
(2011),
40;
S. 5580
- 5601.
Zusätzliche Informationen
-
G. Roda, V. Zenz, M. Lupu, K. Järvelin, M. Sanderson, C. Womser-Hacker::
"So many topics, so little time";
SIGIR Forum,
ACM
(2009),
S. 9
- 16.
Zusätzliche Informationen
-
S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari:
"Learning Distributed Controllers for V-Formation";
ArXiv,
.
(2020),
10 S.
Zusätzliche Informationen
-
S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari:
"Neural Flocking: MPC-based Supervised Learning of Flocking Controllers";
ArXiv,
.
(2019).
Zusätzliche Informationen
-
D. Rupprecht, A. Dabrowski, T. Holz, E. Weippl, C. Pöpper:
"On Security Research towards Future Mobile Network Generations";
IEEE Communications Surveys & Tutorials,
20
(2018),
3;
24 S.
Zusätzliche Informationen
-
D. Sabir, M. Hanif, A. Hassan, S. Rehman, M. Shafique:
"TiQSA: Workload Minimization in Convolutional Neural Networks Using Tile Quantization and Symmetry Approximation";
IEEE Access,
Volumen 9
(2021),
S. 53647
- 53668.
Zusätzliche Informationen
-
D. Sabir, M. Hanif, A. Hassan, S. Rehman, M. Shafique:
"Weight Quantization Retraining for Sparse and Compressed Spatial Domain Correlation Filters";
Electronics,
10(3)
(2021).
Zusätzliche Informationen
-
M. Sabou, S. Biffl, A. Einfalt, L. Krammer, W. Kastner, F. Ekaputra:
"Semantics for Cyber-Physical Systems: A Cross-Domain Perspective";
Semantic Web,
11
(2020),
1;
S. 115
- 124.
-
M. Salehi, A. Ejlali, M. Shafique:
"Run-Time Adaptive Power-Aware Reliability Management for Manycores";
Ieee Design & Test,
35
(2018),
5;
S. 36
- 44.
-
F. M. Sampaio, B. Zatt, M. Shafique, J. Henkel, S. Bampi:
"Hybrid Scratchpad Video Memory Architecture for Energy-Efficient Parallel HEVC";
IEEE Transactions on Circuits and Systems for Video Technology,
Early Access
(2018),
S. 1
- 12.
-
C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss:
"A survey of challenges for runtime verification from advanced application domains (beyond software)";
Formal Methods in System Design,
54
(2019),
3;
S. 279
- 335.
Zusätzliche Informationen
-
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),
1758.
Zusätzliche Informationen
-
T. Sauter, S. Soucek, W. Kastner, D. Dietrich:
"The Evolution of Factory and Building Automation";
IEEE Transactions on Industrial Electronics,
5
(2011),
3;
S. 35
- 48.
-
D. Schachinger, A. Fernbach, W. Kastner:
"Modeling framework for IoT integration of building automation systems";
at - Automatisierungstechnik,
65
(2017),
9;
11 S.
Zusätzliche Informationen
-
C. Scherrer, A. Steininger:
"Dealing With Dormant Faults in an Embedded Fault-Tolerant Computer System";
IEEE Transactions on Reliability,
52
(2003),
4;
S. 512
- 522.
Zusätzliche Informationen
-
G. Schildt, A. Redlein:
"Infosys das Fenster ins IUCCIM";
IUCCIM News,
1
(1995).
-
M. Schlager, R. Obermaisser, W. Elmenreich:
"A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture";
Lecture Notes in Computer Science,
4761
(2007),
S. 159
- 170.
Zusätzliche Informationen
-
U. Schmid:
"Applied Research: A Scientist's Perspective";
Annual Reviews in Control,
25
(2001),
S. 183
- 190.
-
U. Schmid:
"Design and Implementation of the Bachelor with Honors Program at TU Wien";
Journal of the European Honors Council,
3
(2019),
2;
9 S.
Zusätzliche Informationen
-
U. Schmid:
"ECCS-Related Research Activities in the Department of Automation, Technical University of Vienna";
IEEE Technical Segment Committee on Engineering of Complex Computer Systems (ECCS) Newsletter,
1
(1994),
2;
S. 2
- 5.
-
U. Schmid:
"Hochgenaue Uhrensynchronisation über LANs";
Elektronikschau,
10
(1997),
S. 20
- 23.
-
U. Schmid:
"Monitoring Distributed Real-Time Systems";
Real-Time Systems,
7
(1994),
S. 33
- 56.
-
U. Schmid:
"On a Tree Collision Resolution Algorithm in Presence of Capture";
RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications,
26
(1992),
2;
S. 163
- 197.
-
U. Schmid:
"On the Asymptotics of the Average CRI-Length of the Slotted ALOHA Collision Resolution Algorithm";
Applied Mathematics and Computation,
48
(1992),
S. 59
- 70.
-
U. Schmid:
"Orthogonal accuracy clock synchronization";
Chicago Journal of Theoretical Computer Science,
3
(2000),
S. 3
- 77.
-
U. Schmid:
"Random Trees in Queueing Systems with Deadlines";
Theoretical Computer Science,
144
(1995),
1-2;
S. 277
- 314.
-
U. Schmid:
"Static Priority Scheduling of Aperiodic Real-Time Tasks";
Random Structures and Algorithms,
10
(1997),
1-2;
S. 257
- 303.
-
U. Schmid:
"Synchronized Universal Time Coordinated for Distributed Real-Time Systems";
Control Engineering Practice,
3
(1995),
6;
S. 877
- 884.
-
U. Schmid:
"The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm";
Theoretical Computer Science,
108
(1993),
S. 291
- 310.
-
U. Schmid, J. Blieberger:
"On non-preemptive LCFS Scheduling with Deadlines";
Journal of Algorithms,
18
(1995),
S. 124
- 158.
-
U. Schmid, J. Blieberger:
"Some Investigations on FCFS Scheduling in Hard Real-Time Applications";
Journal of Computer and System Sciences,
45
(1992),
3;
S. 493
- 512.
-
U. Schmid, J. Klasek, T. Mandl, H. Nachtnebel, G. Cadek, N. Kerö:
"A Network Time Interface M-Module for Distributing GPS-time over LANs";
Real-Time Systems,
18
(2000),
1;
S. 25
- 57.
-
U. Schmid, A. Pusterhofer:
"SSCMP: The Sequenced Synchronized Clock Message Protocol";
Computer Networks and ISDN Systems,
27
(1995),
S. 1615
- 1632.
-
U. Schmid, K. Schossmaier:
"How to reconcile fault-tolerant interval intersection with the Lipschitz condition";
Distributed Computing,
14
(2001),
2;
S. 101
- 111.
-
U. Schmid, K. Schossmaier:
"Interval-Based Clock Synchronization";
Real-Time Systems,
12
(1997),
2;
S. 173
- 228.
-
U. Schmid, K. Schossmaier:
"Interval-based clock synchronization with optimal precision.";
Information and Computation,
186
(2003),
1;
S. 36
- 77.
-
U. Schmid, A. Steininger, M. Sust:
"FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung";
Elektrotechnik und Informationstechnik (e&i),
Heft 1-2
(2007),
S. 3
- 8.
Zusätzliche Informationen
-
U. Schmid, B. Weiss, I. Keidar:
"Impossibility Results and Lower Bounds For Consensus Under Link Failures";
SIAM JOURNAL ON COMPUTING,
38
(2009),
5;
S. 1912
- 1951.
Zusätzliche Informationen
-
A. Schöbel, J. Aksentijevic, M. Stefan, J. Blieberger:
"Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure";
Transportation Research Procedia,
27
(2017),
S. 545
- 552.
Zusätzliche Informationen
-
M. Schoeberl:
"A Java processor architecture for embedded real-time systems";
Journal of Systems Architecture,
Volume 54, Issues 1-2
(2008),
S. 265
- 286.
Zusätzliche Informationen
-
M. Schoeberl:
"Mission Modes for Safety Critical Java";
Lecture Notes in Computer Science,
4761
(2007),
S. 105
- 113.
Zusätzliche Informationen
-
M. Schoeberl:
"Scheduling of Hard Real-Time Garbage Collection";
Real-Time Systems,
45
(2010),
3;
S. 176
- 213.
Zusätzliche Informationen
-
M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi:
"T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems";
Journal of Systems Architecture,
Volume 61
(2015),
Issue 9;
S. 449
- 471.
Zusätzliche Informationen
-
M. Schoeberl, B. Huber, W. Puffitsch:
"Data cache organization for accurate timing analysis";
Real-Time Systems,
49
(2013),
1;
S. 1
- 28.
Zusätzliche Informationen
-
M. Schoeberl, W. Puffitsch, R. Pedersen, B. Huber:
"Worst-case execution time analysis for a Java processor";
Software: Practice and Experience,
40
(2010),
6;
S. 507
- 542.
Zusätzliche Informationen
-
K. Schossmaier, U. Schmid, M. Horauer, D. Loy:
"Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)";
Real-Time Systems,
12
(1997),
S. 295
- 327.
-
K. Schossmaier, U. Schmid, D. Loy, M. Horauer:
"Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)";
Special Issue Journal of Real-Time Systems,
?
(1997),
S. 51
- 84.
-
J. Seyster, K. Dixit, X. Huang, R. Grosu, K Havelund, S. Smolka, S. Stoller, E. Zadok:
"InterAspect: aspect-oriented instrumentation with GCC";
Formal Methods in System Design,
41
(2012),
3;
S. 295
- 320.
Zusätzliche Informationen
-
M. Shafique, S. Garg:
"Computing in the Dark Silicon Era: Current Trends and Research Challenges";
Ieee Design & Test,
34
(2017),
2;
S. 8
- 23.
-
M. Shafique, A. Ivanov, B. Vogel, J. Henkel:
"Scalable Power Management for On-Chip Systems with Malleable Applications";
IEEE Transactions on Computers,
65
(2016),
11;
S. 3398
- 3412.
Zusätzliche Informationen
-
M. Shafique, M. Naseer, T. Theocharides, C. Kyrkou, O. Mutlu, L. Orosa, J. Choi:
"Robust Machine Learning Systems: Challenges,Current Trends, Perspectives, and the Road Ahead";
Ieee Design & Test,
37
(2020),
2;
S. 30
- 57.
-
M. Shafique, S. Rehman, F. Kriebel, M. Khan, B. Zatt, A. Subramaniyan, B. Vizzotto, J. Henkel:
"Application-Guided Power-Efficient Fault Tolerance for H.264 Context Adaptive Variable Length Coding";
IEEE Transactions on Computers,
66
(2017),
4;
S. 560
- 574.
Zusätzliche Informationen
-
M. Shafique, M. Usman Karim Khan, J. Henkel:
"Content-Aware Low-Power Configurable Aging Mitigation for SRAM Memories";
IEEE Transactions on Computers,
65
(2016),
12;
S. 3617
- 3630.
Zusätzliche Informationen
-
F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani:
"Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems";
IEEE Access,
8
(2020),
8;
S. 180825
- 180843.
Zusätzliche Informationen
-
N. Shrivastava, M. Hanif, S. Mittal, S. Sarangi, M. Shafique:
"A survey of hardware architectures for generative adversarial networks";
Journal of Systems Architecture,
Volume 118
(2021).
Zusätzliche Informationen
-
C. Siebert, J. Träff:
"Perfectly Load-Balanced, Stable, Synchronization-Free Parallel Merge";
Parallel Processing Letters,
Volume 24
(2014),
Issue 1;
S. 1
- 11.
Zusätzliche Informationen
-
W. Sihn, T. Sobottka, B. Heinzl, F. Kamhuber:
"Interdisciplinary multi-criteria optimization using hybrid simulation to pursue energy efficiency through production planning";
CIRP Annals-Manufacturing Technology,
67
(2018),
1;
S. 447
- 450.
Zusätzliche Informationen
-
F. Skopik, M. Landauer, M. Wurzenberger, G. Vormayr, J. Milosevic, J. Fabini, W. Prüggler, O. Kruschitz, B. Widmann, K. Truckenthanner, S. Rass, M. Simmer, C. Zauner:
"synERGY: Cross-correlation of operational and contextual data to timely detect and mitigate attacks to cyber-physical systems";
Journal of Information Security and Applications,
54
(2020),
S. 102544
- 102566.
Zusätzliche Informationen
-
P. Smolek, I. Leobner, G. Gourlis, B. Mörzinger, B. Heinzl, K. Ponweiser:
"Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications";
Journal of Sustainable Development of Energy, Water and Environment Systems,
In Press
(2017),
S. 1
- 13.
Zusätzliche Informationen
-
P. Smolek, I. Leobner, B. Heinzl, G. Gourlis, K. Ponweiser:
"A Method for Real-Time Aggregation of a Product Footprint during Manufacturing";
Journal of Sustainable Development of Energy, Water and Environment Systems,
4
(2016),
4;
S. 360
- 378.
Zusätzliche Informationen
-
T. Sobottka, F. Kamhuber, B. Heinzl:
"Simulation-Based Multi-Criteria Optimization of Parallel Heat Treatment Furnaces at a Casting Manufacturer";
Journal of Manufacturing and Materials Processing,
4
(2020),
3.
Zusätzliche Informationen
-
M. Spiegel, E. Widl, B. Heinzl, W. Kastner, N. Akroud:
"Model-Based Virtual Components in Event-Based Controls: Linking the FMI and IEC 61499";
Applied Sciences,
10(5)
(2020),
1611;
S. 1
- 14.
-
M. Sreckovic, G. Sibenik, T. Preindl, W. Kastner, D. Breitfuss:
"Analysis of Design Phase Processes with BIM for Blockchain Implementation";
SSRN Electronic Journal,
1
(2020),
1;
S. 1
- 7.
-
S. Stankovic, E. Bartocci, L. Kovacs:
"Moment-based analysis of Bayesian network properties";
Theoretical Computer Science,
903
(2022),
S. 113
- 133.
Zusätzliche Informationen
-
M. Stefan, J. Blieberger, A. Schöbel:
"Application of Kronecker Algebra in Railway Operation";
Tehnicki Vjesnik-Technical Gazette,
24
(2017),
1;
S. 21
- 30.
-
M. Stefan, J. Blieberger, A. Schöbel:
"Kronecker Algebra zur Optimierung des Eisenbahnbetriebes";
Eisenbahntechnische Rundschau,
64
(2015),
9;
S. 78
- 84.
-
G. Steindl, W. Kastner:
"Semantic Microservice Framework for Digital Twins";
Applied Sciences,
11
(2021).
Zusätzliche Informationen
-
G. Steindl, W. Kastner, V. Stangl:
"Comparison of Data-Driven Thermal Building Models for Model Predictive Control";
Journal of Sustainable Development of Energy, Water and Environment Systems,
7
(2019),
4;
S. 730
- 742.
Zusätzliche Informationen
-
G. Steindl, M. Stagl, L. Kasper, W. Kastner, R. Hofmann:
"Generic Digital Twin Architecture for Industrial Energy Systems";
Applied Sciences,
10(24)
(2020),
8903;
S. 1
- 20.
-
W. Steiner:
"Advancements in Dependable Time-Triggered Communication";
Lecture Notes in Computer Science,
4761
(2007),
S. 57
- 66.
Zusätzliche Informationen
-
W. Steiner, M. Paulitsch, H. Kopetz:
"The TTA's Approach to Resilience after Transient Upsets";
Real-Time Systems,
32
(2006),
3;
S. 213
- 233.
Zusätzliche Informationen
-
A. Steininger:
"Testing and Built-in-Self-Test - A Survey";
Journal of Systems Architecture,
46
(2000),
S. 721
- 747.
-
A. Steininger, G. Fuchs:
"VLSI Implementation of a Distributed Algorithm for Fault-Tolerant Clock Generation";
Journal of Electrical and Computer Engineering,
Clock/Frequency Generation Circuits and Systems
(2011),
936712;
S. 23.
Zusätzliche Informationen
-
A. Steininger, C. Scherrer:
"Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault-Injection Experiments";
IEEE Transactions on Computers,
51
(2002),
2;
S. 235
- 239.
-
A. Steininger, C. Scherrer:
"Vom Lenkrad zum Joystick";
Elektrotechnik und Informationstechnik (e&i),
11
(2000),
S. 714
- 720.
-
A. Steininger, P Tummeltshammer:
"Replicated processors on a single die - How independently do they fail?";
Journal e&i: Elektrotechnik und Informationstechnik,
128
(2011),
S. 245
- 250.
Zusätzliche Informationen
-
A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, V. S. Veeravalli:
"Building reliable systems-on-chip in nanoscale technologies";
E&I Elektrotechnik und Informationstechnik,
132
(2015),
6;
S. 301
- 306.
Zusätzliche Informationen
-
S. Tauböck, P. Jahn, T. Polzer, A. Schuster:
"An Object-oriented DEV Approach to ARGESIM Benchmark C16 `Restaurant Business Dynamics´ using Enterprise Dynamics";
Simulation News Europe SNE,
18
(2008),
1;
S. 41
- 42.
-
K. Thaller, A. Steininger:
"A Transparent Online Memory Test for Simultaneous Detection of Functional Faults and Soft Errors in Memories";
IEEE Transactions on Reliability,
52
(2003),
4;
S. 413
- 422.
Zusätzliche Informationen
-
B. Thallner, H. Moser, U. Schmid:
"Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks";
Wireless Networks,
16
(2010),
21;
S. 388
- 404.
Zusätzliche Informationen
-
J. Träff:
"Alternative, uniformly expressive and more scalable interfaces for collective communication in MPI";
Parallel Computing (eingeladen),
Volume 38
(2012),
Issues 1-2;
S. 26
- 36.
Zusätzliche Informationen
-
J. Träff:
"On Optimal Trees for Irregular Gather and Scatter Collectives";
IEEE Transactions on Parallel and Distributed Systems,
Volume 30
(2019),
Issue 9;
S. 2060
- 2074.
Zusätzliche Informationen
-
J. Träff:
"Practical, distributed, low overhead algorithms for irregular gather and scatter collectives";
Parallel Computing,
Volume 75
(2018),
S. 100
- 117.
Zusätzliche Informationen
-
J. Träff:
"Viewpoint: (Mis)Managing Parallel Computing Research through EU Project Funding";
Communications of the ACM,
Volume 59
(2016),
Issue 12;
S. 46
- 48.
Zusätzliche Informationen
-
J. Träff, S. Benkner:
"Preface: Selected Papers from EuroMPI 2012";
Computing,
Volume 96, Special Issue on EuroMPI 2012
(2014),
Issue 4;
S. 259
- 261.
-
J. Träff, S. Hunold, G. Mercier, D. Holmes:
"MPI collective communication through a single set of interfaces: A case for orthogonality";
Parallel Computing,
Volume 107
(2021),
S. 102826:1
- 102826:11.
Zusätzliche Informationen
-
L. Treml, E. Bartocci, A. Gizzi:
"Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation";
Mathematics (MDPI),
9
(2021),
2.
Zusätzliche Informationen
-
F. Valeur, G. Vigna, Ch. Krügel, R. Kemmerer:
"A Comprehensive Approach to Intrusion Detection Alert Correlation";
IEEE Transactions on Dependable and Secure Computing,
1
(2004),
3;
S. 146
- 169.
-
D. Van Der Linden, P. De Bruyn, W. Kastner, H. Mannaert:
"Deriving guidelines for cross-vendor reuse of IEC 61131-3 modules based on Normalized Systems theorems";
Computer Standards & Interfaces,
32
(2014),
3;
S. 598
- 603.
Zusätzliche Informationen
-
D. Van Der Linden, H. Mannaert, W. Kastner, H. Peremans:
"Towards normalized connection elements in industrial automation";
Advances in Internet Technology,
4
(2011),
3&4;
S. 133
- 146.
-
D. Van Der Linden, G. Neugschwandtner, M. Reekmans, W. Kastner, H. Peremans:
"Supporting Adaptive Flexibility with Communications Middleware";
International Journal On Advances in Internet Technology,
6
(2013),
1&2;
S. 12
- 31.
Zusätzliche Informationen
-
V. S. Veeravalli, T. Polzer, U. Schmid, A. Steininger, M. Hofbauer, K. Schweiger, H. Dietrich, K. Schneider-Hornstein, H. Zimmermann, K. Voss, B. Merk, M. Hajek:
"An infrastructure for accurate characterization of single-event transients in digital circuits";
Microprocessors and Microsystems,
37
(2013),
S. 772
- 791.
Zusätzliche Informationen
-
V. S. Veeravalli, A. Steininger, U. Schmid:
"A versatile architecture for long-term monitoring of single-event transient durations";
Microprocessors and Microsystems,
53
(2017),
C;
S. 130
- 144.
Zusätzliche Informationen
-
K. von Kirchbach, C. Schulz, J. Träff:
"Better Process Mapping and Sparse Quadratic Assignment";
ACM Journal of Experimental Algorithmics,
Volume 25
(2020),
Issue 1;
S. 1.11:1
- 1.11:19.
Zusätzliche Informationen
-
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),
3;
S. 210
- 216.
Zusätzliche Informationen
-
G. Wang, A. Ledwoch, R. Hasani, R. Grosu, A. Brintrup:
"A generative neural network model for the quality prediction of work in progress products";
Applied Soft Computing,
85
(2019),
S. ##.
Zusätzliche Informationen
-
I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
Lecture Notes in Computer Science,
4761
(2007),
S. 137
- 148.
Zusätzliche Informationen
-
J. Widder, M. Biely:
"Optimal Message-Driven Implementations of Omega with Mute Processes";
ACM Transactions on Autonomous and Adaptive Systems.,
4
(2009),
1;
S. ?.
Zusätzliche Informationen
-
J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart:
"Consensus in the presence of mortal Byzantine faulty processes";
Distributed Computing,
24
(2012),
6;
S. 299
- 321.
Zusätzliche Informationen
-
J. Widder, U. Schmid:
"The Theta-Model: achieving synchrony without clocks";
Distributed Computing,
22
(2009),
1;
S. 29
- 47.
Zusätzliche Informationen
-
D. Widhalm, K. Göschka, W. Kastner:
"An Open-Source Wireless Sensor Node Platform with Active Node-Level Reliability for Monitoring Applications";
Sensors,
21
(2021),
22;
S. 1
- 44.
-
K. Winkler, U. Schmid:
"An Overview of Recent Results for Consensus in Directed Dynamic Networks";
Bulletin of the EATCS,
128
(2019),
30 S.
-
K. Winkler, M. Schwarz, U. Schmid:
"Consensus in rooted dynamic networks with short-lived stability";
Distributed Computing,
32
(2019),
5;
S. 443
- 458.
Zusätzliche Informationen
-
X. Xu, Z. Yu, J. Zeng, W. Xiong, Y. Hu, G. Wang:
"A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes";
SCIENCE CHINA Information Sciences,
.
(2020),
S. ##.
Zusätzliche Informationen
-
X. Xu, Z. Zao, X. Xu, J. Yang, L. Chang, X. Yan, G. Wang:
"Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models";
Knowledge-Based Systems,
190
(2019).
Zusätzliche Informationen
-
D. Yadav:
"Blood Coagulation Algorithm: A Novel Bio-Inspired Meta-Heuristic Algorithm for Global Optimization";
Mathematics (MDPI),
9
(2021),
23;
3011 S.
Zusätzliche Informationen
-
D. Yadav:
"Criteria for Good Qualitative Research: A Comprehensive Review";
Asia-Pacific Education Researcher,
-
(2021),
1 S.
Zusätzliche Informationen
-
Z. Yahya, M. Hassan, S. Younis, M. Shafique:
"Probabilistic Analysis of Targeted Attacks Using Transform-Domain Adversarial Examples";
IEEE Access,
8
(2020),
S. 33855
- 33869.
-
S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger:
"Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics";
Journal of Systems Architecture,
110
(2020).
Zusätzliche Informationen
-
M. Zeiner:
"On a family of $q$-binomial distributions";
Mathematica Slovaca,
64
(2014),
2;
S. 479
- 510.
Zusätzliche Informationen
-
M. Zeiner, U. Schmid:
"Upper and Lower Bounds for the Synchronizer Performance in Systems with Probabilistic Message Loss";
Methodology and Computing in Applied Probability,
23
(2020),
3;
S. 1023
- 1056.
Zusätzliche Informationen
-
M. Zeiner, U. Schmid, K. Chatterjee:
"Optimal strategies for selecting coordinators";
Discrete Applied Mathematics,
289
(2021),
S. 392
- 415.
Zusätzliche Informationen
-
M. Zeiner, M. Schwarz, U. Schmid:
"On Linear-Time Data Dissemination in Dynamic Rooted Trees";
Discrete Applied Mathematics,
255
(2019),
S. 307
- 319.
Zusätzliche Informationen
-
X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, R. Grosu:
"Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule";
Multidisciplinary Digital Publishing Institute (MDPI),
.
(2020),
22(7);
25 S.
Zusätzliche Informationen
-
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),
5;
S. 2843
- 2849.
Zusätzliche Informationen
-
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),
9.
Zusätzliche Informationen
-
G. Zucker, A. Sporr, S. Kollmann, A. Wendt, L. Siafara, A. Fernbach:
"A Cognitive System Architecture for Building Energy Management";
IEEE Transactions on Industrial Informatics,
14
(2018),
6;
S. 2521
- 2529.
Zusätzliche Informationen
Editorials in wiss. Zeitschriften
-
E. Bartocci, L. Bortolussi, S. Smolka:
"Hybrid Systems and Biology";
Information and Computation,
236
(2014),
S. 1
- 2.
-
E. Bartocci, P. Lio, N. Paoletti:
"Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)";
IEEE/ACM Transactions on Computational Biology and Bioinformatics,
15
(2018),
4;
S. 1122
- 1123.
-
E. Bartocci, C. Ramakrishnan:
"Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software";
International Journal on Software Tools for Technology Transfer,
18
(2016),
S. 355
- 357.
Zusätzliche Informationen
-
W. Kastner, T. Sauter:
"Safety und Security";
Elektrotechnik und Informationstechnik (e&i),
138
(2021),
7;
S. 447
- 448.
-
M. Krstic, I. Jones, A. Steininger, M Függer:
"Special Issue "Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018"";
Journal of Low Power Electronics and Applications,
9
(2019),
2;
2 S.
-
C. Lengauer, L. Bougé, J. Träff:
"Editorial: Special Issue: Euro-Par 2015";
Concurrency and Computation: Practice and Experience,
Volume 28
(2016),
Issue 12;
S. 3445
- 3446.
-
M. Shafique, S. Garg, V. Chandra:
"Guest Editors´ Introduction: Computing in the Dark Silicon Era";
Ieee Design & Test,
34
(2017),
2;
3 S.
Zusätzliche Informationen
-
A. Steininger, A. Pawlak, V. Stopjakova:
"Novel Trends in Design & Test";
Journal of Circuits, Systems, and Computers,
26
(2017),
80 S.
-
T. Theocharides, M. Shafique, J. Choi, O. Mutlu:
"Guest Editors´ Introduction: Robust Resource-Constrained Machine Learning";
Ieee Design & Test,
37
(2020),
2;
S. 5
- 7.
-
D. Zhu, M. Shafique, M. Lin, S. Pasricha:
"Guest Editorial: Special Issue on Low-Power Dependable Computing";
IEEE Transactions on Sustainable Computing,
3
(2018),
3;
S. 137
- 138.
Buchbeiträge
-
T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu:
"Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study";
in: "Solutions for Cyber-Physical Systems Ubiquity",
1;
N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (Hrg.);
herausgegeben von: IGI Global;
IGI Global,
Hershey, Pennsylvania, USA,
2017,
ISBN: 9781522528456,
S. 137
- 168.
Zusätzliche Informationen
-
S. Bachl, A. Mauczka, W. Schramm, F. Fankhauser:
"Exemplarische Vertiefungen";
in: "Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten.",
Pearson Studium,
München, Germany,
2009,
ISBN: 978-3-8689-4007-7,
S. 651
- 668.
-
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";
in: "Lectures on Runtime Verification - Introductory and Advanced Topics",
10457;
Springer-Verlag Berlin Heidelberg,
2018,
ISBN: 978-3-319-75631-8,
S. 135
- 175.
Zusätzliche Informationen
-
E. Bartocci, Y. Falcone, A. Francalanza, G. Reger:
"Introduction to Runtime Verification";
in: "Lectures on Runtime Verification - Introductory and Advanced Topics",
10457;
Springer-Verlag Berlin Heidelberg,
2018,
ISBN: 978-3-319-75631-8,
S. 1
- 33.
Zusätzliche Informationen
-
W. Binder, M. Schoeberl, P. Moret, A. Villazón:
"Cross-profiling for Java processors";
in: "Software: Practice and Experience",
herausgegeben von: Wiley InterScience;
John Wiley and Sons,
2009,
ISSN: 0038-0644,
S. 1439
- 1465.
Zusätzliche Informationen
-
J. Blieberger:
"Algorithmen (Überarbeitung)";
in: "Informatik - Grundlagen",
Springer,
Vienna,
2002,
ISBN: 3-211-83710-8,
S. 151
- 164.
-
J. Blieberger:
"Assemblersprachen";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 351
- 359.
-
J. Blieberger:
"CASE-Systeme";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 360
- 361.
-
J. Blieberger:
"Codierungstheorie";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 24
- 46.
-
J. Blieberger:
"Datenkompression";
in: "Informatik, third extended edition",
Springer,
Vienna,
1996,
ISBN: 3-211-82860-5,
S. 29
- 35.
-
J. Blieberger:
"Höhere Programmiersprachen";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 354
- 359.
-
J. Blieberger:
"Informationsreduzierende Codierungen";
in: "Informatik, third extended edition",
Springer,
Vienna,
1996,
ISBN: 3-211-82860-5,
S. 59
- 70.
-
J. Blieberger:
"Informationstheorie";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 14
- 23.
-
J. Blieberger:
"Informationstheorie (Überarbeitung & Ergänzung)";
in: "Informatik - Grundlagen",
Springer,
Vienna,
2002,
ISBN: 3-211-83710-8,
S. 15
- 32.
-
J. Blieberger:
"Inhaltsübersicht (Überarbeitung)";
in: "Informatik, third extended edition",
Springer,
Vienna,
1996,
ISBN: 3-211-82860-5,
S. 7
- 12.
-
J. Blieberger:
"Quanten-Computer";
in: "Informatik - Grundlagen",
Springer,
Vienna,
2002,
ISBN: 3-211-83710-8,
S. 195
- 217.
-
J. Blieberger:
"Zahlendarstellungen";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 47
- 73.
-
H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran:
"Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs";
in: "The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era",
Springer International Publishing,
Switzerland,
2017,
ISBN: 978-3-319-31596-6,
S. 291
- 325.
Zusätzliche Informationen
-
S. Bünte, M. Zolda, R. Kirner:
"Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility";
in: "Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility",
IGI Global,
2011,
ISBN: 9781609600860,
S. 110
- 129.
Zusätzliche Informationen
-
B. Burgstaller:
"Numerik";
in: "Informatik - Grundlagen",
Springer,
Vienna,
2002,
ISBN: 3-211-83710-8,
S. 107
- 150.
-
A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz:
"Basic Concepts on Systems of Systems";
in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy",
10099;
Springer International Publishing,
2016,
ISBN: 978-3-319-47589-9,
S. 1
- 39.
Zusätzliche Informationen
-
A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger:
"Time and Resilient Master Clocks in Cyber-Physical Systems";
in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy",
10099;
Springer International Publishing,
2016,
ISBN: 978-3-319-47589-9,
S. 165
- 185.
Zusätzliche Informationen
-
K. de Bruyn, R. Freingruber, J. Göllner, R. Gottwald, B. Haberler, T. Hecht, M. Kammerstetter, G. Kienesberger, C. Kudera, F. Kupzog, L. Langer, A. Mattern, M. Meisel, C. Meurers, S. Milojkovic, R. Montagna, A. Peer, J. Reichl, A. Sadofsky, F. Skopik, T. Stotter, M. Tischlinger:
"Teil V: Maßnahmenkatalog und Tool-Implementierung";
in: "Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich",
15/2016;
Schriftenreihe der Landesverteidigungsakademie,
Wien,
2016,
ISBN: 978-3-902944-98-6,
S. 1
- 253.
Zusätzliche Informationen
-
D. Dietrich, G. Fodor, W. Kastner, M. Ulieru:
"Considering a Technical Realization of a Neuropsychoanalyti-cal Model of the Mind - A Theoretical Framework";
in: "Simulating the Mind - A Technical Neuropsychoanalytical Approach",
D. Dietrich, G. Fodor, G. Zucker, D. Bruckner (Hrg.);
Springer-Verlag, Wien - New York,
Wien-New York,
2008,
ISBN: 9783211094501,
S. 99
- 114.
-
M. Dittenbach, D. Merkl, A. Rauber:
"Serendipity in text and audio information spaces: {O}rganizing and exploring high-dimensional data with the growing hierarchical self-organizing map";
in: "Classification and Clustering for Knowledge Discovery",
S. Halgamuge, L. Wang (Hrg.);
Springer,
Germany,
2005,
ISBN: 3-540-26073-0,
S. 43
- 60.
-
C. El Salloum, K. Bilic:
"Time-Triggered Communication (Book Chapter on FlexRay)";
in: "Time-Triggered Communication",
CRC Press,
2011, (eingeladen),
ISBN: 978-1-4398-4661-2,
S. 121
- 152.
-
W. Elmenreich, R. Kirner:
"A Robust Certainty Grid Algorithm for Robotic Vision";
in: "Intelligent Systems at the Service of Mankind",
UBooks Verlag,
Augsburg, Deutschland,
2003,
ISBN: 3-935798-25-3,
S. 67
- 78.
Zusätzliche Informationen
-
W. Elmenreich, P. Peti:
"Distributed Sensor Fusion Networks";
in: "Intelligent Engineering Systems at the Service of Mankind",
UBooks Verlag,
Augsburg, Deutschland,
2003,
ISBN: 3-935798-25-3,
S. 335
- 347.
Zusätzliche Informationen
-
W. Elmenreich, S. Pitzek:
"Smart Transducers - Principles, Communications and Configuration";
in: "Intelligent Systems at the Service of Mankind, Volume II",
W. Elmenreich, J.A.T. Machado, I. J. Rudas (Hrg.);
UBooks Verlag,
Augsburg,
2005,
ISBN: 3-86608-052-2,
S. 175
- 186.
Zusätzliche Informationen
-
D. Etz, T. Frühwirth, W. Kastner:
"Self-Configuring Safety Networks";
in: "Kommunikation und Bildverarbeitung in der Automation",
12;
J. Jasperneite, V. Lohweg (Hrg.);
herausgegeben von: inIT - Institut für industrielle Informationstechnik;
Springer,
Berlin, Deutschland,
2020,
ISBN: 978-3-662-59894-8,
S. 232
- 245.
Zusätzliche Informationen
-
A. Fernbach, W. Kastner:
"Gebäudemanagement durch Wissensbasierte Systeme";
in: "Kommunikation und Bildverarbeitung in der Automation",
herausgegeben von: Jürgen Jasperneite, Volker Lohweg;
Springer-Verlag Berlin Heidelberg,
2017,
ISBN: 978-3-662-55231-5,
S. 97
- 106.
-
B. Frömel, H. Kopetz:
"Interfaces in Evolving Cyber-Physical Systems-of-Systems";
in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy",
10099;
Springer International Publishing,
2016,
ISBN: 978-3-319-47589-9,
S. 40
- 72.
Zusätzliche Informationen
-
A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms";
in: "Formal Methods for Executable Software Models",
Springer,
2014, (eingeladen),
ISBN: 978-3-319-07316-3,
S. 122
- 171.
-
W. Granzer, A. Treytl:
"Security in industrial communication";
in: "Industrial Electronics Handbook Volume 2: Industrial Communication Systems",
herausgegeben von: B.M. Wilamowski and J.D. Irwin;
CRC Press,
2011, (eingeladen),
S. 22-1
- 22-18.
Zusätzliche Informationen
-
M. Hanif, R. Hafiz, M. Javed, S. Rehman, M. Shafique:
"Energy-Efficient Design of Advanced Machine Learning Hardware";
in: "Machine Learning in VLSI Computer-Aided Design",
Springer International Publishing,
Switzerland,
2019,
S. 647
- 678.
-
M. Hanif, R. Hafiz, M. Shafique:
"Configurable Models and Design Space Exploration for Low-Latency Approximate Adders";
in: "Approximate Circuits: Methodologies and CAD",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8,
S. 3
- 23.
-
M. Hanif, M. Javed, R. Hafiz, S. Rehman, M. Shafique:
"Hardware-Software Approximations for Deep Neural Networks";
in: "Approximate Circuits: Methodologies and CAD",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8,
S. 269
- 288.
-
M. Hanif, F. Khalid, R. Putra, M. T. Teimoori, F. Kriebel, J. Zhang, K. Liu, S. Rehman, T. Theocharides, A. Artusi, S. Garg, M. Shafique:
"Robust Computing for Machine Learning-Based Systems";
in: "Dependable Embedded Systems",
J. Henkel, N. Dutt (Hrg.);
Springer Nature Switzerland AG,
Switzerland,
2020,
ISBN: 978-3-030-52016-8,
S. 479
- 503.
-
K. Hendling, T. Losert, M. Jandl:
"An Intelligent Interference-Minimizing Routing Algorithm";
in: "Intelligent Systems at the Service of Mankind - Volume II",
W. Huber (Hrg.);
Ubooks,
Augsburg,
2006,
ISBN: 3866080522,
S. 187
- 204.
-
A. Herkersdorf, M. Engel, M. Glaß, J. Henkel, V. Kleeberger, J. Kühn, P. Marwedel, D. Mueller-Gritschneder, S. Nassif, S. Rehman, W. Rosenstiel, U. Schlichtmann, M. Shafique, J. Teich, N. Wehn, C. Weis:
"RAP Model-Enabling Cross-Layer Analysis and Optimization for System-on-Chip Resilience";
in: "Dependable Embedded Systems",
J. Henkel, N. Dutt (Hrg.);
Springer Nature Switzerland AG,
Switzerland,
2020,
ISBN: 978-3-030-52016-8,
S. 1
- 27.
-
B. Huber, R. Obermaisser:
"Platform Modeling in Safety-Critical Embedded Systems";
in: "Intelligent Technical Systems",
herausgegeben von: Springer;
Springer, LNEE Vol. 38,
2009,
ISBN: 978-1-4020-9822-2,
S. 145
- 158.
Zusätzliche Informationen
-
H. Isakovic, R. Grosu:
"A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform";
in: "Solutions for Cyber-Physical Systems Ubiquity",
1;
herausgegeben von: IGI Global;
IGI Global,
Hershey PA, USA 17033,
2018, (eingeladen),
ISBN: 9781522528456,
S. 169
- 194.
Zusätzliche Informationen
-
A. Ismail, W. Kastner:
"Service-Oriented Architectures for Interoperability in Industrial Enterprises";
in: "Multi-Disciplinary Engineering for Cyber-Physical Production Systems",
Springer International Publishing,
2017,
S. 369
- 398.
-
M. Jung, W. Kastner, S. Döbelt:
"Smart Web Grid";
in: "smart city: Wiener Know-how aus Wissenschaft und Forschung",
Erich Schmidt Verlag,
2013,
ISBN: 978-3-900607-50-0,
S. 184
- 190.
Zusätzliche Informationen
-
M. Jung, W. Kastner, S. Döbelt:
"The Smart Web Grid project";
in: "Smart City: Viennese expertise based on science and research",
Erich Schmidt Verlag,
2013,
ISBN: 978-3-900607-51-7,
S. 174
- 180.
Zusätzliche Informationen
-
R. Kammerer:
"TTCAN";
in: "Time-Triggered Communication",
CRC Press,
2011, (eingeladen),
ISBN: 9781439846612,
S. 223
- 245.
-
S. Kandl:
"Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems";
in: "Progress in Systems Engineering (Advances in Intelligent Systems and Computing)",
herausgegeben von: Henry Selvaraj, Dawid Zydek, Grzegorz Chmaj (Eds.);
Springer International Publishing,
Switzerland,
2015,
ISBN: 978-3-319-08421-3,
S. 595
- 601.
Zusätzliche Informationen
-
K. Kappel, C. Wimmer, S. Bachl:
"Usability Engineering in der Softwareentwicklung";
in: "Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten.",
Pearson Studium,
München, Germany,
2009,
ISBN: 978-3-8689-4007-7,
S. 523
- 592.
-
W. Kastner:
"Anwendungsumgebung und Netzwerkmanagement";
in: "EIB-Gebäudebussystem",
D. Dietrich, W. Kastner, T. Sauter (Hrg.);
Hüthig-Verlag,
Heidelberg,
2000,
ISBN: 3-7785-2795-9,
S. 140
- 154.
-
W. Kastner:
"EIB und Jini";
in: " EIB-Gebäudebussystem",
D. Dietrich, W. Kastner, T. Sauter (Hrg.);
Hüthig-Verlag,
Heidelberg,
2000,
ISBN: 3-7785-2795-9,
S. 297
- 301.
-
W. Kastner:
"EIB-Protokoll";
in: "EIB-Gebäudebussystem",
D. Dietrich, W. Kastner, T. Sauter (Hrg.);
Hüthig-Verlag,
Heidelberg,
2000,
ISBN: 3-7785-2795-9,
S. 54
- 139.
-
W. Kastner, M. Jung, M. Kofler et al.:
"Application and benefits of IPv6 for SMEs";
in: "IoT - IPv6 integration handbook for SMEs",
M. Palattella, L. Latif, S. Ziegler, W. Kastner et al. (Hrg.);
herausgegeben von: Maria Rita Palattella, Latif Ladid, Sebastien Ziegler Wolfgang Kastner, Markus Jung, Mario Kofler, Dejan D. Drajic, Srdjan Krco, Giang Nam, Rafael Marin Perez;
open source,
2014, (eingeladen),
S. 25
- 33.
Zusätzliche Informationen
-
W. Kastner, M. Jung, L. Krammer:
"Future Trends in Smart Homes and Buildings";
in: "Industrial Communication Technology Handbook, Second Edition",
CRC Press,
2014, (eingeladen),
ISBN: 9781482207323,
S. 59-1
- 59-20.
-
W. Kastner, M. Kofler:
"ThinkHome: Lernende Gebäude der Zukunft";
in: "smart city: Wiener Know-how aus Wissenschaft und Forschung",
Erich Schmidt Verlag,
2013,
ISBN: 978-3-900607-50-0,
S. 128
- 137.
Zusätzliche Informationen
-
W. Kastner, M. Kofler:
"ThinkHome: Self-learning buildings of the future";
in: "Smart City: Viennese expertise based on science and research",
Erich Schmidt Verlag,
2013,
ISBN: 978-3-900607-51-7,
S. 124
- 132.
Zusätzliche Informationen
-
W. Kastner, L. Krammer, A. Fernbach:
"State of the Art in Smart Homes and Buildings";
in: "Industrial Communication Technology Handbook, Second Edition",
CRC Press,
2014, (eingeladen),
ISBN: 9781482207323,
S. 55-1
- 55-20.
-
W. Kastner, G. Neugschwandtner:
"Data communications for distributed building automation";
in: "Embedded Systems Handbook, Second Edition, Volume 2: Networked Embedded Systems",
herausgegeben von: R. Zurawski;
CRC Press,
Boca Raton,
2009,
ISBN: 978-1-4398-0761-3,
S. 29-1
- 29-34.
-
W. Kastner, G. Neugschwandtner:
"EIB: European Installation Bus";
in: "The Industrial Communication Technology Handbook",
CRC Press,
2005,
ISBN: 0-8493-3077-7,
S. 1
- 18.
-
W. Kastner, F. Praus, G. Neugschwandtner, W. Granzer:
"KNX";
in: "Industrial Electronics Handbook, volume 2: Industrial Communication Systems",
CRC Press,
2011,
ISBN: 978-1439802892.
-
W. Kastner, S. Soucek, C. Reinisch, A. Klapproth:
"Building and Home Automation";
in: "Industrial Electronics Handbook, volume 2: Industrial Communication Systems",
CRC Press,
2011,
ISBN: 978-1439802892.
-
K. Khdr, S. Pagani, M. Shafique, J. Henkel:
"Dark Silicon Aware Resource Management for Many-Core Systems";
in: "Dark Silicon and Future On-chip Systems",
110;
herausgegeben von: Elsevier;
Elsevier,
United States,
2018,
ISBN: 978-0-12-815358-1,
S. 127
- 170.
-
J. Klasek:
"Betriebssysteme und Systemsoftware (Überarbeitung)";
in: "Informatik, third extended edition",
Springer,
Wien,
1996,
ISBN: 3-211-82860-5,
S. 247
- 379.
-
H. Kopetz, G. Bauer:
"Time Triggered Communication Networks";
in: "Industrial Information Technology Handbook",
CRC Press,
Boca Raton,FL 33431, USA,
2005,
ISBN: 0-8493-1985-4.
-
H. Kopetz, G. Bauer, W. Steiner:
"Dependable Time-Triggered Communication";
in: "The Industrial Communication Technology Handbook",
CRC Press,
Boca Raton,FL 33431, USA,
2005,
ISBN: 0-8493-3077-7.
-
H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob:
"Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)";
in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy",
10099;
Springer International Publishing,
2016,
ISBN: 978-3-319-47589-9,
S. 73
- 96.
Zusätzliche Informationen
-
F. Kriebel, K. Chen, S. Rehman, J. Henkel, J. Chen, M. Shafique:
"Dependable Software Generation and Execution on Embedded Systems";
in: "Dependable Embedded Systems",
J. Henkel, N. Dutt (Hrg.);
Springer Nature Switzerland AG,
Switzerland,
2020,
ISBN: 978-3-030-52016-8,
S. 139
- 160.
-
F. Kriebel, F. Khalid, B. Prabakaran, S. Rehman, M. Shafique:
"Fault-Tolerant Computing with Heterogeneous Hardening Modes";
in: "Dependable Embedded Systems",
J. Henkel, N. Dutt (Hrg.);
Springer Nature Switzerland AG,
Switzerland,
2020,
ISBN: 978-3-030-52016-8,
S. 161
- 180.
-
Ch. Krügel:
"Internet Security";
in: "The Industrial Communication Technology Handbook",
CRC Press,
2005,
ISBN: 0-8493-3077-7,
S. 1
- 14.
-
Ch. Krügel:
"Network Security and Secure Applications";
in: "The Industrial Information Technology Handbook",
CRC Press,
2004,
ISBN: 0-849-31985-4,
S. 3401
- 3413.
-
R. Kuznets:
"Through an Inference Rule, Darkly";
in: "Mathesis Universalis, Computability and Proof",
S. Centrone, S. Negri, D. Sarikaya, P. Schuster (Hrg.);
Springer International Publishing,
Cham,
2019,
ISBN: 978-3-030-20446-4,
S. 131
- 158.
Zusätzliche Informationen
-
M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser:
"Time series analysis: Unsupervised anomaly detection beyond outlier detection";
in: "Information Security Practice and Experience",
C. Su, H. Kikuch (Hrg.);
Springer,
2018,
S. 16
- 36.
-
A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu:
"Statistical model checking";
in: "Computing and Software Science",
Springer LNCS,
2019,
S. 478
- 504.
Zusätzliche Informationen
-
T. Losert, W. Huber, K. Hendling, M. Jandl:
"A CORBA-Based Architecture for Hard Real-Time Systems";
in: "Intelligent Systems at the Service of Mankind - Volume II",
Ubooks,
Augsburg,
2006,
ISBN: 3866080522,
S. 239
- 254.
-
S. Mazahir, M. Ayub, O. Hasan, M. Shafique:
"Probabilistic Error Analysis of Approximate Adders and Multipliers";
in: "Approximate Circuits: Methodologies and CAD",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8,
S. 99
- 120.
-
A. Mazak, M. Wimmer, C. Huemer, G. Kappel, W. Kastner:
"Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards für Industrie 4.0";
in: "Handbuch Industrie 4.0",
B. Vogel-Heuser et al. (Hrg.);
Springer-Verlag Berlin Heidelberg,
2016,
ISBN: 978-3-662-45537-1,
S. 22.
Zusätzliche Informationen
-
L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions Using SysML";
in: "Languages, Design Methods, and Tools for Electronic System Design",
Lecture Notes in Electrical Engineering 361;
herausgegeben von: Frank Oppenheimer, Julio Luis Medina Pasaje;
Springer International Publishing,
2016,
ISBN: 978-3-319-24457-0,
S. 57
- 81.
Zusätzliche Informationen
-
G. Neugschwandtner, W. Kastner:
"Integration in der Gebäudeautomation";
in: "Jahrbuch TGA-Planung 2008",
WEKA,
2008, (eingeladen),
S. 60
- 61.
-
R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz:
"From a Federated to an Integrated Automotive Architecture";
in: "IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems",
IEEE,
2009,
ISSN: 0278-0070,
S. 956
- 965.
Zusätzliche Informationen
-
S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel:
"Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon";
in: "The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era",
Springer International Publishing,
Switzerland,
2017,
ISBN: 978-3-319-31596-6,
S. 125
- 158.
Zusätzliche Informationen
-
S. Pagani, M. Shafique, J. Henkel:
"Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints";
in: "Handbook of Hardware/Software Codesign",
Springer Science+Business Media,
Dordrecht,
2017,
ISBN: 978-94-017-7267-9,
S. 301
- 332.
Zusätzliche Informationen
-
S. Pitzek, W. Elmenreich:
"Configuration and Management of Fieldbus Systems";
in: "The Industrial Communication Technology Handbook",
CRC Press,
Boca Raton,FL 33431, USA,
2005,
ISBN: 0-8493-3077-7,
S. 18-1
- 18-20.
-
B. Prabakaran, W. El-Harouni, S. Rehman, M. Shafique:
"Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation";
in: "Approximate Circuits: Methodologies and CAD",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8,
S. 249
- 268.
-
P. Puschner:
"Transforming Execution-Time Boundable Code into Temporally Predictable Code";
in: "Design and Analysis of Distributed Embedded Systems",
B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (Hrg.);
Kluwer Academic Publishers,
2002,
S. 163
- 172.
Zusätzliche Informationen
-
P. Puschner, G. Bernat, A. Wellings:
"Making Java Hard Real-Time";
in: "The Annals of the Marie Curie Fellowship Association (MCFA) Volume II",
N. Brambilla, O. Sparagano, L. Deneire (Hrg.);
Marie Curie Fellowship Association,
2002.
Zusätzliche Informationen
-
A. Redlein:
"Computersysteme (Überarbeitung)";
in: "Informatik, third extended edition",
Springer,
Wien,
1996,
ISBN: 3-211-82860-5,
S. 195
- 245.
-
A. Redlein:
"Facility Management";
in: "EIB-Gebäudebussystem",
D. Dietrich, W. Kastner, T. Sauter (Hrg.);
Hüthig-Verlag,
Heidelberg, Germany,
2000,
ISBN: 3-7785-2795-9,
S. 251
- 265.
-
A. Redlein:
"Logische Schaltungen (Überarbeitung)";
in: "Informatik, third extended edition",
Springer,
Wien,
1996,
ISBN: 3-211-82860-5,
S. 139
- 170.
-
A. Redlein:
"Mikroprozessoren (Überarbeitung)";
in: "Informatik, third extended edition",
Springer,
Wien,
1996,
ISBN: 3-211-82860-5,
S. 171
- 194.
-
A. Redlein, R. Rohrhofer:
"The use of CAD Systems - Economic and Organizational Impact";
in: "Opening Productive Partnerships",
IOS Press Ohmsha,
Amsterdam,
1995.
-
S. Rehman, B. Prabakaran, W. El-Harouni, M. Shafique, J. Henkel:
"Heterogeneous Approximate Multipliers: Architectures and Design Methodologies";
in: "Approximate Circuits: Methodologies and CAD",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-319-99321-8,
S. 45
- 66.
-
J. Reisinger, A. Steininger, G. Leber:
"The Implementation of the MARS Hardware and Software";
in: "Predicatbly Dependable Computing Systems",
B. Randell, J. Laprie, H. Kopetz, B. Littlewood (Hrg.);
herausgegeben von: ESPRIT Basic Research Series;
Springer International Publishing,
1995,
ISBN: 3-540-59334-9,
S. 209
- 224.
-
M. Salehi, F. Kriebel, S. Rehman, M. Shafique:
"Power-Aware Fault-Tolerance for Embedded Systems";
in: "Dependable Embedded Systems",
J. Henkel, N. Dutt (Hrg.);
Springer Nature Switzerland AG,
Switzerland,
2020,
ISBN: 978-3-030-52016-8,
S. 565
- 588.
-
G. Schildt:
"Datenübertragungsverfahren";
in: "Informatik - Grundlagen",
Springer,
Wien,
2002,
ISBN: 3-211-83710-8,
S. 67
- 74.
-
G. Schildt:
"Fuzzy-Logik";
in: "Informatik, third extended edition",
Springer,
Vienna,
1996,
ISBN: 3-211-82860-5,
S. 127
- 135.
-
G. Schildt:
"Periphere Geräte";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 205
- 221.
-
G. Schildt et al.:
"Safety Issues for Advanced Protection, Control and Human Machine Interface Systems in Operating Nuclear Power Plants";
in: "IAEA, Safety Reports Series",
IAEA,
1998,
ISBN: 92-0-103298-6.
-
U. Schmid:
"An optimally distributed global clock";
in: "START und Wittgenstein 1996-2000",
herausgegeben von: Margit Schwarz;
Forschungsförderungsfonds (FWF),
Wien,
2001, (eingeladen),
ISBN: 3-85224-089-1.
-
U. Schmid:
"Betriebssysteme";
in: "Informatik",
Springer,
Wien,
1990,
ISBN: 3-211-82232-1,
S. 222
- 350.
-
U. Schmid:
"Monitoring in verteilten Echtzeitsystemen";
in: "Echtzeitsysteme und Fuzzy Control",
Vieweg-Verlag,
1994,
S. 265
- 276.
-
U. Schmid, W. Kastner:
"DOBOS: A Distributed Object-Based Operating System for Soft Real-Time Systems";
in: "Echtzeitsysteme und objektorientierter Entwurf",
Vieweg-Verlag,
Braunschweig,
1996,
ISBN: 3-528-05542-1,
S. 3
- 13.
-
M. Schoeberl:
"Time-Predictable Computer Architecture";
in: "EURASIP Journal on Embedded Systems",
herausgegeben von: HIndawi;
Hindawi,
2009,
17 S.
Zusätzliche Informationen
-
M. Shafique, O. Hasan, R. Hafiz, S. Mazahir, M. Hanif, S. Rehman:
"Approximate Computing across the Hardware and Software Stacks";
in: "Many-Core Computing: Hardware and Software",
IET,
2019,
ISBN: 978-1-785-61583-2,
S. 497
- 522.
-
A. Steininger:
"Fifty Shades of Synchrony";
in: "This Asynchronous Woirld",
A. Mokhov (Hrg.);
Newcastle University,
Newcastle upon Tyne,
2016, (eingeladen),
ISBN: 978-0-7017-0257-1,
S. 294
- 300.
Zusätzliche Informationen
-
N. Stifter, A. Judmayer, E. Weippl:
"Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies";
in: "Security and Quality in Cyber-Physical Systems Engineering",
Springer International Publishing,
Switzerland,
2019,
ISBN: 978-3-030-25311-0.
Zusätzliche Informationen
-
S. Stöckler:
"Boolesche Algebra";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 87
- 104.
-
S. Stöckler:
"Logische Schaltungen";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 110
- 142.
-
S. Stöckler:
"Maschinen-Codes";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 168
- 205.
-
S. Stöckler:
"Micro-Codes";
in: "Informatik",
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1,
S. 143
- 165.
-
P Tummeltshammer, J.C Hoe, M. Pueschel:
"Time-Multiplexed Multiple Constant Multiplication";
in: "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
IEEE,
2007,
S. 1551
- 1563.
Zusätzliche Informationen
-
G. Vigna, Ch. Krügel:
"Host-Based Intrusion Detection";
in: "Handbook of Information Security",
John Wiley and Sons,
2005,
ISBN: 0-471-64833-7,
S. 1
- 12.
-
J. Widder, U. Schmid:
"Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures";
in: "Distributed Computing",
Springer-Verlag,
2007,
S. 115
- 140.
Zusätzliche Informationen
-
R. Willmann, W. Kastner:
"A Deterministic Product Ramp-up Process: How to Integrate a Multi-Disciplinary Knowledge Base";
in: "Multi-Disciplinary Engineering for Cyber-Physical Production Systems",
Springer International Publishing,
2017,
S. 399
- 432.
-
R. Willmann, W. Kastner:
"More Deterministic Product Ramp-up in Cloud Manufacturing Scenarios";
in: "Mit Innovationsmanagement zu Industrie 4.0: Grundlagen, Strategien, Erfolgsfaktoren und Praxisbeispiele",
herausgegeben von: Granig, Peter, Hartlieb, Erich, Heiden, Bernhard;
Springer-Verlag,
Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature,
2018,
ISBN: 978-3-658-11666-8,
S. 125
- 137.
-
R. Willmann, W. Kastner:
"Product Ramp-up for Semiconductor Manufacturing Automated Recommendation of Control System Setup";
in: "Semantic Web Technologies for Intelligent Engineering Applications",
herausgegeben von: Stefan Biffl; Marta Sabou;
Springer International Publishing Switzerland,
2016,
ISBN: 978-3-319-41488-1,
S. 219
- 255.
-
S. Ziegler, W. Kastner, M. Jung et al.:
"IoT6 - Moving to an IPv6-Based Future IoT";
in: "The Future Internet",
herausgegeben von: Springer;
Springer LNCS,
2013, (eingeladen),
S. 161
- 172.
Zusätzliche Informationen
Beiträge in Tagungsbänden
-
Y. Afek, I. Keidar, B. Patt-Shamir, S. Rajsbaum, U. Schmid, G. Taubenfeld:
"2018 Edsger W. Dijkstra Prize in Distributed Computing";
in: "Proceedings 2018 ACM Symposium on Principles of Distributed Computing (PODC'18)",
ACM Press,
2018,
ISBN: 978-1-4503-5795-1,
S. 1.
-
H. Aghakhani, F. Gritti, F. Mecca, M. Lindorfer, S. Ortolani, D. Balzarotti, G. Vigna, C. Krügel:
"When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features";
in: "Network and Distributed System Security Symposium (NDSS)",
Internet Society,
2020,
ISBN: 1-891562-61-4.
Zusätzliche Informationen
-
K. Ambrosch, C. Helpa, J. Lechner, R. Leidenfrost, T. Panhofer, A. platschek, S. Ramberger, U. Stadler, D. Steiner, H. Trinkl, C. Widtmann, M. Delvai:
"Design Variety in Hardware/Software Codesign - Implementations of an AES Encoder";
in: "Austrochip Mikroelektroniktagung",
Austrochip 2006,
2006,
S. 181
- 188.
Zusätzliche Informationen
-
E. Armengaud, F Rothensteiner, A. Steininger, R. Pallierer, M. Horauer, M Zauner:
"A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems";
in: "Proceedings International Test Conference 2005",
IEEE Computer Society,
2005,
ISBN: 0-7803-9039-3,
S. 21
- 28.
Zusätzliche Informationen
-
M. Bader, G. Todoran, F. Beck, B. Binder, K. Buchegger:
"TransportBuddy: Navigation in Human Accessible Spaces";
in: "Proceedings of 7th Transport Research Arena TRA 2018",
Zenodo,
2018,
10 S.
Zusätzliche Informationen
-
M. Balduzzi, Ch. Platzer, T. Holz, E. Kirda, D. Balzarotti, Ch. Krügel:
"Abusing Social Networks for Automated User Profiling";
in: "Recent Advances in Intrusion Detection (RAID 2010)",
Springer,
2010,
ISBN: 978-3-642-15511-6,
20 S.
Zusätzliche Informationen
-
N. Bertrand, I. Konnov, M. Lazić, J. Widder:
"Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries";
in: "30th International Conference on Concurrency Theory",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2019,
S. 33:1
- 33:15.
Zusätzliche Informationen
-
P. Carter, C. Mulliner, M. Lindorfer, W. Robertson, E. Kirda:
"CuriousDroid: Automated User Interface Interaction for Android Application Analysis Sandboxes";
in: "International Conference on Financial Cryptography and Data Security (FC)",
Springer,
2016,
ISBN: 978-3-662-54969-8,
S. 231
- 249.
Zusätzliche Informationen
-
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";
in: "Network and Distributed System Security Symposium (NDSS)",
Internet Society,
2017.
Zusätzliche Informationen
-
H. Fallmann, G. Wondracek, Ch. Platzer:
"Covertly Probing Underground Economy Marketplaces";
in: "Seventh Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2010)",
herausgegeben von: IEEE;
IEEE Computer Society,
2010,
10 S.
Zusätzliche Informationen
-
C. Fetzer, M. Süßkraut, U. Schmid:
"On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times";
in: "On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times",
IEEE Computer Society,
2005,
S. 271
- 280.
Zusätzliche Informationen
-
A. Goiser, S. Khattab, G. Fassl, U. Schmid:
"A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization";
in: "CTRQ-2010",
herausgegeben von: IEEE-Explore;
IEEE Computer Society,
2010,
ISBN: 978-0-7695-4070-2,
5 S.
Zusätzliche Informationen
-
A. Goiser, S. Khattab, G. Fassl, U. Schmid:
"A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance";
in: "CTRQ-2010",
herausgegeben von: IEEE-Explore;
IEEE Conference Proceedings,
2010,
ISBN: 978-0-7695-4070-2,
7 S.
Zusätzliche Informationen
-
D. Henneke, C. Freudenmann, M. Kammerstetter, D. Rua, L. Wisniewski, J. Jasperneite:
"Communications for AnyPLACE: A Smart Metering Platform with Management and Control Functionalities";
in: "21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016)",
IEEE,
2016.
Zusätzliche Informationen
-
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, B Merk:
"Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL";
in: "GSI Scientific Report 2011",
GSI Helmholtzzentrum für Schwerionenforschung GmbH,
Darmstadt,
2012,
ISSN: 0174-0814,
S. 424.
-
N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2008,
ISBN: 978-3-939897-10-1,
23 S.
Zusätzliche Informationen
-
F. Huemer, T. Polzer, A. Steininger:
"Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA";
in: "2018 IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)",
herausgegeben von: IEEE CS Press;
IEEE Xplore Digital Library,
2018,
ISBN: 978-1-5386-5754-6,
S. 141
- 146.
Zusätzliche Informationen
-
F. Huemer, A. Steininger:
"Advanced Delay-Insensitive 4-Phase Protocols";
in: "2018 Austrochip Workshop on Microelectronics (Austrochip)",
herausgegeben von: IEEE CS Press;
IEEE Xplore Digital Library,
2018,
ISBN: 978-1-5386-8200-5,
S. 50
- 55.
Zusätzliche Informationen
-
F. Huemer, A. Steininger:
"Partially Systematic Constant-Weight Codes for Delay-Insensitive Communication";
in: "2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)",
herausgegeben von: IEEE CS Press;
IEEE Xplore Digital Library,
2018,
ISBN: 978-1-5386-5883-3,
S. 17
- 25.
Zusätzliche Informationen
-
S. Hunold, A. Carpen-Amarie, J. Träff:
"The art of benchmarking MPI libraries";
in: "Austrian HPC Meeting 2016 - AHPC 2016",
I. Reichl, C. Blaas-Schenner, J. Zabloudil (Hrg.);
Vienna Scientific Cluster (VSC),
2016,
S. 45.
Zusätzliche Informationen
-
H. Isakovic, S. Dangl, Z. Tucakovic, R. Grosu:
"Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem";
in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)",
IEEE,
2021,
S. 1391
- 1396.
Zusätzliche Informationen
-
H. Isakovic, L. L. Ferreira, I. Okic, A. Dukkon, Z. Tucakovic, R. Grosu:
"QoS for Dynamic Deployment of IoT Services";
in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)",
IEEE,
2021,
S. 1144
- 1151.
Zusätzliche Informationen
-
M. Jaros, M. Di Angelo, P. Ferschin:
"Modeling and Simulation of Pedestrian Behaviour";
in: "Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications",
Y. Merkuryev et al. (Hrg.);
herausgegeben von: SIMULTECH;
SciTePress,
2016,
ISBN: 978-989-758-199-1,
S. 149
- 156.
Zusätzliche Informationen
-
M. Jaros, P. Ferschin, M. Di Angelo:
"Visualisation and Simulation of Pedestrians at Train Stations";
in: "Proceedings of Pedestrian and Evacuation Dynamics 2016",
W. Song, J. Ma, L. Fu (Hrg.);
herausgegeben von: PED 2016;
University of Science and Technology of China Press,
Hefei,
2016,
ISBN: 978-7-312-04077-1,
S. 453
- 458.
Zusätzliche Informationen
-
O. Jung, S. Fenz, M. Kammerstetter, A. Hudic:
"Eine Architektur für sichere Smart Grids in Österreich";
in: "D-A-CH Security 2016",
herausgegeben von: Klagenfurt;
Forschungsgruppe Systemsicherheit,
Klagenfurt,
2016,
S. 1
- 9.
Zusätzliche Informationen
-
C. Kessler, U. Dastgeer, M. Majeed, N. Furmento, S. Thibault, R. Namyst, S. Benkner, S. Pllana, J. Träff, M. Wimmer:
"Leveraging PEPPHER Technology for Performance Portable Supercomputing";
in: "Proceedings of the 2012 SC Companion: High Performance Computing, Networking, Storage and Analysis",
IEEE Computer Society,
2012,
ISBN: 978-0-7695-4956-9,
S. 1395
- 1396.
Zusätzliche Informationen
-
F. Khalid, A. Hassan, M. Hanif, S. Rehman, R. Ahmed, M. Shafique:
"FaDec: A Fast Decision-based Attack for Adversarial Machine Learning";
in: "IEEE International Joint Conference on Neural Networks (IJCNN)",
IJCNN,
2020,
ISBN: 978-1-7281-6926-2,
S. 1
- 8.
Zusätzliche Informationen
-
C. Kolbitsch, T. Holz, C. Krügel, E. Kirda:
"Automated Extraction of Proprietary Gadgets from Malware Binaries";
in: "Proceedings of the 2010 IEEE Symposium on Security and Privacy",
herausgegeben von: IEEE;
IEEE Computer Society,
Oakland,
2010,
ISBN: 978-0-7695-4035-1,
S. 29
- 44.
Zusätzliche Informationen
-
C. Kolbitsch, C. Krügel, E. Kirda:
"Extending Mondrian Memory Protection";
in: "IST-091 Information Assurance and Cyber Defence",
herausgegeben von: NATO;
NATO Research and Technology Organization (NATO RTO),
2010,
ISBN: 978-92-837-0115-6,
18 S.
Zusätzliche Informationen
-
R. Konoth, E. Vineti, V. Moonsamy, M. Lindorfer, C. Krügel, H. Bos, G. Vigna:
"MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense";
in: "Proceedings of the 2018 ACM Conference on Computer and Communications Security (CCS)",
ACM (Hrg.);
ACM,
2018,
ISBN: 978-1-4503-5693-0,
S. 1714
- 1730.
Zusätzliche Informationen
-
L. Langer, F. Skopik, P. Smith, M. Kammerstetter:
"From old to new: Assessing cybersecurity risks for an evolving smart grid";
in: "Elsevier Journal on Computers & Security",
62;
herausgegeben von: Elsevier;
Elsevier,
2016,
S. 165
- 176.
Zusätzliche Informationen
-
C. Leita, U. Bayer, E. Kirda:
"Exploiting diverse observation perspectives to get insights on the malware landscape";
in: "Proceedings of the 40th Dependable Systems & Networks Conference (DSN)",
herausgegeben von: IEEE;
IEEE Computer Society,
2010,
S. 393
- 402.
Zusätzliche Informationen
-
M. Lindorfer, A. Di Federico, F. Maggi, P. Milani Comparetti, S. Zanero:
"Lines of Malicious Code: Insights Into the Malicious Software Industry";
in: "Proceedings of the 28th Annual Computer Security Applications Conference",
ACM,
New York,
2012,
ISBN: 978-1-4503-1312-4,
S. 349
- 358.
Zusätzliche Informationen
-
M. Lindorfer, C. Kolbitsch, P. Milani Comparetti:
"Detecting Environment-Sensitive Malware";
in: "Proceedings of the 14th International Symposium on Recent Advances in Intrusion Detection (2011)",
Springer,
2011,
ISBN: 978-3-642-23643-3.
Zusätzliche Informationen
-
M. Lindorfer, B. Miller, M. Neugschwandtner, Ch. Platzer:
"Take a Bite - Finding the Worm in the Apple";
in: "International Conference on Information, Communications and Signal Processing (ICICS)",
IEEE,
2013.
Zusätzliche Informationen
-
M. Lindorfer, M. Neugschwandtner, Ch. Platzer:
"Marvin: Efficient and Comprehensive Mobile App Classification Through Static and Dynamic Analysis";
in: "Proceedings of the IEEE 39th Annual Computer Software and Applications Conference (COMPSAC)",
IEEE,
2015,
ISBN: 978-1-4673-6564-2,
S. 422
- 433.
Zusätzliche Informationen
-
M. Lindorfer, M. Neugschwandtner, L. Weichselbaum, Y. Fratantonio, V. van der Veen, Ch. Platzer:
"Andrubis - 1,000,000 Apps Later: A View on Current Android Malware Behaviors";
in: "Proceedings of the 3rd International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security (BADGERS)",
IEEE,
2014,
ISBN: 978-1-4799-8308-7,
S. 3
- 17.
Zusätzliche Informationen
-
M. Lindorfer, V. Volanis, A. Sisto, M. Neugschwandtner, E. Athanasopoulos, F. Maggi, Ch. Platzer, S. Zanero, S. Ioannidis:
"AndRadar: Fast Discovery of Android Applications in Alternative Markets";
in: "Proceedings of the 11th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA)",
Springer,
LNCS 8550,
2014,
ISBN: 978-3-319-08508-1,
S. 51
- 71.
Zusätzliche Informationen
-
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";
in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems",
IEEE Computer Society,
Porto, Portugal,
2018,
S. 353
- 354.
Zusätzliche Informationen
-
A. Lukina, A. Tiwari, S. Smolka, R. Grosu:
"Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems";
in: "SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing",
Association for Computing Machinery,
New YorkNYUnited States,
2019,
ISBN: 978-1-4503-5933-7,
S. ##.
Zusätzliche Informationen
-
S. Mätzler, M. Wollschlaeger, A. Fernbach, W. Kastner:
"Domänenübergreifende vertikale Integration mit OPC UA";
in: "5. Jahreskolloquium "Kommunikation in der Automation" ( KommA 2014)",
Hochschule Ostwestfalen-Lippe, Institut für industrielle Informationstechnik (inIT),
Lemgo,
2014,
ISBN: 978-3-9814062-4-5.
Zusätzliche Informationen
-
M. Meisel, S. Wilker, J. Fabini, R. Annessi, T. Zseby, M. Müllner, W. Kastner, M. Litzlbauer, W. Gawlik, C. Neureiter:
"Methodical Reference Architecture Development Progress";
in: "energieinformatik 2016",
OVE-Schriftenreihe Nr. 84;
F. Kupzog (Hrg.);
herausgegeben von: AIT Austrian Institute of Technology GmbH;
Österreichischer Verband für Elektrotechnik,
Klagenfurt,
2016, (eingeladen),
ISBN: 978-3-85133-090-8,
S. 40
- 43.
Zusätzliche Informationen
-
M. Meisel, S. Wilker, M. Kammerstetter, M. Müllner, D. Fasthuber, W. Kastner, W. Gawlik:
"Reference Architecture as Foundation for Risk and Threat Analysis";
in: "Symposium on Innovative Smart Grid Cybersecurtity Solutions - Research-driven solutions for the critical cybersecurity challenges facing the future smart grid",
herausgegeben von: AIT Austrian Institute of Technology GmbH;
Facultas Universitätsverlag,
Wien,
2016, (eingeladen),
S. 98
- 103.
Zusätzliche Informationen
-
P. Milani Comparetti, G. Salvaneschi, E. Kirda, C. Kolbitsch, C. Krügel, S. Zanero:
"Identifying Dormant Functionality in Malware Programs";
in: "Proceedings of the 2010 IEEE Symposium on Security and Privacy",
herausgegeben von: IEEE;
IEEE Computer Society,
Oakland,
2010,
ISBN: 978-0-7695-4035-1,
S. 61
- 76.
Zusätzliche Informationen
-
D. Naydenov, M. Bader:
"Position tracking of a model race car with Inertial Measurement Unit, laser mouse sensor and Extended Kalman Filter";
in: "Proceedings of the 25th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD)",
Springer,
2016,
8 S.
Zusätzliche Informationen
-
E. A. Neufeld:
"Reinforcement Learning Guided by Provable Normative Compliance";
in: "Proceedings of the 14th International Conference on Agents and Artificial Intelligence",
INSTICC Press,
2022,
S. 444
- 453.
Zusätzliche Informationen
-
M. Neugschwandtner, M. Lindorfer, Ch. Platzer:
"A View to a Kill: WebView Exploitation";
in: "USENIX Workshop on Large-Scale Exploits and Emergent Threats (LEET)",
USENIX,
2013.
Zusätzliche Informationen
-
M. Neugschwandtner, Ch. Platzer, P. Milani Comparetti, U. Bayer:
"dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection";
in: "Seventh Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA)",
IEEE Computer Society,
2010,
20 S.
Zusätzliche Informationen
-
S. Neuner, v. Victor, M. Lindorfer, M. Huber, M. Georg, M. Mulazzani, E. Weippl:
"Enter Sandbox: Android Sandbox Comparison";
in: "Proceedings of the IEEE Mobile Security Technologies Workshop (MoST)",
IEEE,
2014.
Zusätzliche Informationen
-
R. Pallierer, M. Horauer, M Zauner, A. Steininger, E. Armengaud, F Rothensteiner:
"A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems";
in: "Embedded World 2005",
unbekannt,
2005.
Zusätzliche Informationen
-
E. Pan, J. Ren, M. Lindorfer, C. Wilson, D. Choffnes:
"Panoptispy: Characterizing Audio and Video Exfiltration from Android Applications";
in: "Privacy Enhancing Technologies Symposium (PETS)",
DeGruyter,
4,
2018,
S. 33
- 50.
Zusätzliche Informationen
-
Ch. Platzer, M. Stütz, M. Lindorfer:
"Skin Sheriff: A Machine Learning Solution for Detecting Explicit Images";
in: "Proceedings of the 2nd International Workshop on Security and Forensics in Communication Systems (ASIACCS-SFCS)",
IEEE,
2014,
ISBN: 978-1-4503-2802-9,
S. 45
- 56.
Zusätzliche Informationen
-
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis",
N. Holsti (Hrg.);
herausgegeben von: Oesterreichische Computer Gesellschaft / Austrian Computer Society;
Verlag Oesterreichische Computer Gesellschaft,
Wien,
2009,
ISBN: 978-3-85403-252-6,
S. 39
- 49.
-
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
in: "Worst-Case Execution Time Analysis",
N. Holsti (Hrg.);
herausgegeben von: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Deutschland,
2009,
ISBN: 978-3-939897-14-9,
Paper-Nr. 8,
11 S.
-
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"Towards an Orchestrated Approach for Annotation Verification";
in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"",
M. Hanus, F. Reck (Hrg.);
Christian-Albrechts-Universität Kiel, Deutschland,
Kiel, Bericht Nr. 1010,
2010,
S. 71
- 85.
-
M. Proske, C. Trödhandl:
"Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract";
in: "Proceedings of ICTTA 2006",
IEEE,
2006,
S. 205
- 206.
-
D. Quarta, M. Ianni, A. Machiry, Y. Fratantonio, E. Gustafson, D. Balzarotti, M. Lindorfer, G. Vigna, C. Krügel:
"Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM´s TrustZone";
in: "Research on offensive and defensive techniques in the Context of Man At The End (MATE) Attacks (Checkmate ´21)",
ACM (Hrg.);
herausgegeben von: ACM;
ACM,
New York,
2021,
ISBN: 978-1-4503-8552-7.
Zusätzliche Informationen
-
J. Ren, M. Lindorfer, D. Dubois, A. Rao, D. Choffnes, N. Vallina-Rodriguez:
"Bug Fixes, Improvements, ... and Privacy Leaks - A Longitudinal Study of PII Leaks Across Android App Versions";
in: "Network and Distributed System Security Symposium (NDSS)",
Internet Society,
2018.
Zusätzliche Informationen
-
J. Ren, A. Rao, M. Lindorfer, A. Legout, D. Choffnes:
"ReCon: Revealing and Controlling PII Leaks in Mobile Network Traffic";
in: "International Conference on Mobile Systems, Applications and Services (MobiSys)",
ACM,
2016,
S. 361
- 374.
Zusätzliche Informationen
-
G. Roda, J. Tait, F. Piroi, V. Zenz:
"CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain";
in: "Multilingual Information Access Evaluation I. Text Retrieval Experiments",
Lecture Notes in Computer Science;
herausgegeben von: Springer-Verlag Berlin Heidelberg 2010;
Springer,
2010,
ISBN: 978-3-642-15753-0,
S. 385
- 409.
Zusätzliche Informationen
-
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";
in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems",
IEEE Computer Society,
Porto, Portugal,
2018,
S. 130
- 139.
Zusätzliche Informationen
-
A. Schöbel, C. Schöbel, J. Blieberger:
"Kronecker Algebra for Managing Rail Capacity";
in: "ISEP2018 -- 26th International Symposium on Electronics in Transport",
ISEP2018,
Ljubljana,
2018,
ISBN: 978-961-6187-69-5.
Zusätzliche Informationen
-
A. Schöbel, M. Volcic, J. Blieberger:
"Analysis and optimisation of railway systems";
in: "EURO_ZEL 2014, 22nd International Symposium",
herausgegeben von: EURO-ZEL;
University of Zilina,
Zilina,
2014,
Paper-Nr. 29,
6 S.
Zusätzliche Informationen
-
M. Schütz, A. Steininger, F. Huemer, J. Lechner:
"State Recovery for Coarse-Grain TMR Designs in FPGAs Using Partial Reconfiguration";
in: "2018 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)",
herausgegeben von: IEEE CS Press;
IEEE Xplore Digital Library,
2018,
ISBN: 978-1-5386-8398-9,
6 S.
Zusätzliche Informationen
-
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner:
"Interactive Analysis of CNN Robustness";
in: "Computer Graphics Forum",
40;
John Wiley and Sons,
2021,
ISSN: 1467-8659,
S. 253
- 264.
Zusätzliche Informationen
-
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking";
in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
Springer,
2019,
S. 357
- 374.
-
N. TaheriNejad, P. Lewis, A. Jantsch, A. Rahmani, L. Esterle:
"Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial)";
in: "2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W)",
IEEE,
Umea,
2019,
ISBN: 978-1-7281-2406-3,
S. 259
- 260.
Zusätzliche Informationen
-
G. Todoran, M. Bader:
"Autonomous Navigation using Just-in-Time Emergency Trajectories";
in: "2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
IEEE Xplore Digital Library,
Madrid, Spain,
2018,
S. 3422
- 3429.
Zusätzliche Informationen
-
O. van der Toorn, R. van Rijswijk-Deij, T. Fiebig, M. Lindorfer, A. Sperotto:
"TXTing 101: Finding Security Issues in the Long Tail of DNS TXT Records";
in: "International Workshop on Traffic Measurements for Cybersecurity (WTMC)",
IEEE,
2020,
ISBN: 978-1-7281-8598-9.
Zusätzliche Informationen
-
V. van der Veen, Y. Fratantonio, M. Lindorfer, D. Gruss, C. Maurice, G. Vigna, H. Bos, K. Razavi, C. Giuffrida:
"Drammer: Deterministic Rowhammer Attacks on Mobile Platforms";
in: "ACM Conference on Computer and Communications Security (CCS)",
ACM,
2016,
ISBN: 978-1-4503-4139-4,
S. 1675
- 1689.
Zusätzliche Informationen
-
V. van der Veen, M. Lindorfer, Y. Fratantonio, H. Padmanabha Pillai, G. Vigna, C. Krügel, H. Bos, K. Razavi:
"GuardION: Practical Mitigation of DMA-based Rowhammer Attacks on ARM";
in: "Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA)",
Springer,
2018,
ISBN: 978-3-319-93410-5,
S. 92
- 113.
Zusätzliche Informationen
-
T. van Ede, R. Bortolameotti, A. Continella, J. Ren, D. Dubois, M. Lindorfer, D. Choffnes, M. van Steen, A. Peter:
"FlowPrint: Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic";
in: "Network and Distributed System Security Symposium (NDSS)",
Internet Society,
2020,
ISBN: 1-891562-61-4.
Zusätzliche Informationen
-
G. Wondracek, T. Holz, E. Kirda, C. Krügel:
"A Practical Attack to De-Anonymize Social Network Users";
in: "Proceedings of the 2010 IEEE Symposium on Security and Privacy",
herausgegeben von: IEEE;
IEEE Computer Society,
Oakland,
2010,
ISBN: 978-0-7695-4035-1,
S. 223
- 238.
Zusätzliche Informationen
-
G. Wondracek, T. Holz, Ch. Platzer, E. Kirda, C. Krügel:
"Is the Internet for Porn? An Insight Into the Online Adult Industry";
in: "The Ninth Workshop on the Economics of Information Security (WEIS 2010)",
ACM Press,
2010,
14 S.
Zusätzliche Informationen
Editorials in Tagungsbänden
-
E. Bartocci, Y. Falcone, M. Leucker:
"Preface";
in: "Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.",
13065;
Springer, Lecture Notes in Computer Science,
Rhodes, Greece,
2021, (eingeladen),
ISBN: 978-3-030-87348-6,
S. 1.
-
E. Brunvand, K. Stevens, M. Moreira, A. Steininger:
"Welcome Message: ASYNC 2020";
in: "Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)",
IEEE Computer Society,
2020, (eingeladen),
ISBN: 978-1-7281-5495-4,
2 S.
-
S. Hunold, A. Legrand, L. Nussbaum:
"Introduction to REPPAR Workshop";
in: "Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium (IPDPS 2017) Workshops",
IEEE,
2017,
ISBN: 978-1-5386-3408-0,
S. 1559.
Zusätzliche Informationen
-
P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid:
"2019 Principles of Distributed Computing Doctoral Dissertation Award";
in: "Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19)",
ACM,
2019,
S. 2.
Zusätzliche Informationen
-
L. Sekanina, M. Shafique, M. Krstic, A. Steininger, G. Stojanovic:
"Foreword";
in: "Proceedings 24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems",
IEEE,
2021, (eingeladen),
ISBN: 978-1-6654-3595-6,
1 S.
-
J. Träff, T. Hoefler:
"Foreword EuroMPI 2019";
in: "Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019",
T. Hoefler, J. Träff (Hrg.);
ACM,
New York, NY, USA,
2019,
ISBN: 978-1-4503-7175-9,
S. 1:1
- 1:2.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu:
"Quantitative Regular Expressions for Arrhythmia Detection Algorithms";
Vortrag: CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology,
Darmstadt, Germany;
27.09.2017
- 29.09.2017; in: "Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology",
Springer,
10545
(2017),
S. 23
- 39.
-
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";
Vortrag: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19),
Florence, Italy;
25.03.2019
- 29.03.2019; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)",
IEEE,
(2019),
ISBN: 978-3-9819263-2-3;
S. 914
- 919.
-
T. Abinger, W. Kastner, G. Luber, G. Neugschwandtner:
"Enhancing residential automation systems with artificial intelligence";
Vortrag: Konnex Scientific Conference,
St. Katelijne-Waver, Belgien;
20.11.2008
- 21.11.2008; in: "Proc. of Konnex Scientific Conference 2008",
(2008),
ISBN: 907781101x;
13 S.
Zusätzliche Informationen
-
E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe:
"Parameter Synthesis for Probabilistic Hyperproperties";
Vortrag: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming,
Alicante, Spain (Virtual due to covid19);
22.05.2020
- 27.05.2020; in: "Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming",
(2020),
S. 12
- 31.
Zusätzliche Informationen
-
E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe:
"Probabilistic Hyperproperties with Nondeterminism";
Vortrag: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis,
Hanoi, Vietnam;
19.10.2020
- 23.10.2020; in: "Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis",
12302
(2020),
ISBN: 978-3-030-59151-9;
S. 518
- 534.
Zusätzliche Informationen
-
A. Ademaj:
"A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection";
Vortrag: European Dependable Computing Conference,
Tolouse, France;
23.10.2002
- 25.10.2002; in: "Proceedings of the 4th European Dependable Computing Conference",
(2002),
S. 172
- 190.
Zusätzliche Informationen
-
A. Ademaj:
"Achieving Fail Silence in the Time-Triggered Architecture";
Vortrag: 6th IEEE International Workshop on Design and diagnostics of Electronics Circuits and Systems (DDECS'03),
Poznan, Poland;
14.04.2003
- 16.04.2003; in: "Proceedings of the 6th IEEE Int. Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03)",
(2003),
S. 165
- 170.
-
A. Ademaj:
"Slightly-Off-Specification Failures in the Time-Triggered Architecture";
Vortrag: IEEE International Workshop on High Level Design Validation and Test,
Cannes, France;
26.10.2002
- 28.10.2002; in: "Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test ",
(2002),
S. 7
- 12.
Zusätzliche Informationen
-
A. Ademaj, G. Bauer, H. Sivencrona, J. Torin:
"Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology";
Vortrag: IEEE International Conference on Dependable Systems and Networks,
San Francisco, USA;
22.06.2003
- 25.06.2003; in: "Proceedings of the IEEE International Conference on Dependable Systems and Networks",
(2003),
S. 123
- 132.
-
A. Ademaj, P. Grillinger, J. Hlavicka:
"Fault Tolerance Evaluation Using two Software Based Fault Injection Methods";
Vortrag: International On-Line testing Workshop,
France;
01.07.2002; in: "Proceedings of the International On-Line testing Workshop",
(2002).
-
A. Ademaj, A. Hanzlik, H. Kopetz:
"Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast";
Vortrag: International Conference on Real-Time and Network Systems (RTNS),
Nancy, Frankreich;
29.03.2007
- 30.03.2007; in: "Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)",
Institut National Polytechnique de Lorraine,
Nancy, Frankreich
(2007),
ISBN: 2-905267-53-4;
S. 215
- 224.
Zusätzliche Informationen
-
A. Ademaj, H. Kopetz:
"Time-Triggered Ethernet and IEEE 1588 Clock Synchronization";
Vortrag: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication,
Vienna;
01.10.2007
- 03.10.2007; in: "ISPCS 2007 Proceedings",
(2007),
ISBN: 1-4244-1064-9;
Paper-Nr. 07 (Session 2/2),
3 S.
Zusätzliche Informationen
-
A. Ademaj, H. Kopetz, P. Grillinger, K. Steinhammer, M. Prammer:
"Integration of Predictable and Flexible In-Vehicle Communication using Time-Triggered Ethernet";
Vortrag: SAE World Congress,
Detroit, USA;
03.04.2006
- 06.04.2006; in: "SAE Worl Congress",
SAE International,
(2006),
ISBN: 0-7680-1763-7.
Zusätzliche Informationen
-
A. Ademaj, I. Smaili:
"Setting Break-Points in Distributed Time-Triggered Architecture";
Vortrag: IEEE International Workshop on High Level Design Validation and Test,
Cannes, France;
01.10.2002; in: "Proceedings of the 7th Annual IEEE International Workshop on High Level Design Validation and Test",
(2002).
-
A. Ademaj, K. Steinhammer, P. Grillinger, H. Kopetz, A. Hanzlik:
"Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology";
Vortrag: 19th International Conference on Architecture of Computing systems (ARCS),
Frankfurt/Main, Germany;
13.03.2006
- 16.03.2006; in: "19th International Conference on Architecture of Computing systems (ARCS'06), Proceedings of the",
Springer-Verlag,
(2006),
ISBN: 3-540-32765-7.
Zusätzliche Informationen
-
A. Adeyemo, F. Khalid, T. Odetola, S. R. Hasan:
"Security Analysis of Capsule Network Inference using Horizontal Collaboration";
Vortrag: 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS),
Virtual Conference;
09.08.2021
- 11.08.2021; in: "Proceedings of the 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)",
(2021),
S. 1074
- 1077.
Zusätzliche Informationen
-
J. Ajanohoun, I. Vardas, J. Träff, S. Hunold:
"MPI Performance Tools under the Microscope: A Thorough Overhead Analysis";
Vortrag: Austrian-Slovenian HPC Meeting 2022 - ASHPC22,
Grundlsee, Austria;
31.05.2022
- 02.06.2022; in: "Austrian-Slovenian HPC Meeting 2022 - ASHPC22",
E. Reiter (Hrg.);
EuroCC Austria,
(2022),
ISBN: 978-3-200-08499-5;
S. 16.
-
O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique:
"PX-CGRA: Polymorphic Approximate Coarse-Grained Reconfigurable Architecture";
Vortrag: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18),
Dresden, Deutschland;
19.03.2018
- 23.03.2018; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)",
(2018),
ISBN: 978-3-9819263-1-6;
S. 413
- 418.
Zusätzliche Informationen
-
D. Albeseder:
"Evaluation of Message Delay Correlation in Distributed Systems";
Vortrag: 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05),
Hamburg, Deutschland;
20.05.2005; in: "Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems",
(2005),
S. 139
- 150.
Zusätzliche Informationen
-
D. Albeseder, J. Widder:
"Simulating Distributed Real-Time Systems";
Poster: Junior Scientist Conference,
Wien;
19.04.2006
- 21.04.2006; in: "Junior Scientist Conference 2006",
(2006),
S. 83
- 84.
Zusätzliche Informationen
-
L. Alrahis, S. Patnaik, M. Hanif, M. Shafique, O. Sinanoglu:
"UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction";
Vortrag: 2021 International Conference On Computer-Aided Design,
Virtual Conference;
01.11.2021
- 05.11.2021; in: "Proceedings of the 2021 International Conference On Computer-Aided Design",
(2021).
Zusätzliche Informationen
-
L. Alrahis, S. Patnaik, F. Khalid, M. Hanif, H. Saleh, M. Shafique, O. Sinanoglu:
"GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking";
Vortrag: 2021 Design, Automation & Test in Europe,
Online;
01.02.2021
- 05.02.2021; in: "Proceedings of the 2021 Design, Automation & Test in Europe",
(2021),
S. 780
- 785.
Zusätzliche Informationen
-
S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta:
"Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications";
Vortrag: CDC 2021: the 60th IEEE Conference on Decision and Control,
Austin, Texas;
13.12.2021
- 15.12.2021; in: "Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control",
(2021),
S. 5110
- 5115.
Zusätzliche Informationen
-
O. Alt, W. Kastner:
" BASys: A New Setup Tool for Home and Building Automation";
Vortrag: Konnex Scientific Conference,
Kassel, Germany;
08.10.2003
- 09.10.2003; in: "Proceedings Konnex Scientific Conference 2003",
(2003),
19 S.
-
K. Ambrosch, M. Humenberger, W. Kubinger, A. Steininger:
"Extending two non-parametric transforms for FPGA based stereo matching using bayer filtered cameras";
Vortrag: IEEE Conference on Computer Vision and Pattern Recognition, 2008. CVPR '08,
Anchorage, Alaska, USA;
23.06.2008
- 28.06.2008; in: "CVPR Workshops 2008. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2008.",
(2008),
ISBN: 978-1-4244-2339-2;
S. 1
- 8.
Zusätzliche Informationen
-
K. Ambrosch, M. Humenberger, W. Kubinger, A. Steininger:
"Hardware Implementation of an SAD based stereo vision algorithm";
Vortrag: Third IEEE Workshop on Embedded Computer Vision,
Minneapolis;
23.06.2007; in: "Proceedings of Third IEEE Workshop on Embedded Computer Vision",
(2007).
Zusätzliche Informationen
-
B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "VMCAI",
LNCS/Springer,
10747
(2018),
S. 1
- 24.
Zusätzliche Informationen
-
E. Anceaume, C. Delporte-Gallet, H. Fauconnier, M. Hurfin, J. Widder:
"Clock Synchronization in the Byzantine-Recovery Failure Model";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Guadeloupe;
17.12.2007
- 20.12.2007; in: "International Conference On Principles Of DIstributed System",
(2007),
S. 90
- 104.
Zusätzliche Informationen
-
M. Andjelkovic, M. Krstic, R. Kraemer, V. S. Veeravalli, A. Steininger:
"A Critical Charge Model for Estimating the SET and SEU Sensitivity: A Muller C-Element Case Study";
Vortrag: The 26th IEEE Asian Test Symposium (ATS´17),
Taipei, Taiwan;
27.11.2017
- 30.11.2017; in: "Proceedings of the 26th IEEE Asian Test Symposium (ATS´17)",
(2017),
S. 1
- 6.
Zusätzliche Informationen
-
F. Andren, T. Strasser, W. Kastner:
"Applying the SGAM methodology for rapid prototyping of smart Grid applications";
Vortrag: 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON2016),
Florenz;
24.10.2016
- 27.10.2016; in: "Proceedings of the IECON2016 - 42nd Annual Conference of the Industrial Electronics Society",
(2016),
S. 3812
- 3818.
-
F. Andren, T. Strasser, W. Kastner:
"From textual programming to IEC 61499 artifacts: Towards a model-driven engineering approach for smart grid applications";
Vortrag: 2015 IEEE International Conference on Industrial Informatics (INDIN 2015),
Cambridge;
22.07.2015
- 24.07.2015; in: "INDIN",
IEEE,
(2015),
S. 1524
- 1530.
-
F. Andren, T. Strasser, W. Kastner:
"Model-Driven Engineering applied to Smart Grid Automation using IEC 61850 and IEC 61499";
Hauptvortrag: Power Systems Computation Conference,
Wroclaw, Poland;
18.08.2014
- 22.08.2014; in: "Proceedings 18th Power Systems Computation Conference",
(2014),
S. 1
- 7.
-
F. Andren, T. Strasser, W. Kastner:
"Towards a common modeling approach for Smart Grid automation";
Vortrag: 39th Annual Conference of the IEEE Industrial Electronics Society (IECON),
Vienna;
10.11.2013
- 13.11.2013; in: "IECON",
IEEE,
(2013),
ISBN: 978-1-4799-0223-1;
S. 1
- 7.
-
C. Angerer, O. Cevan, L. Fauster, Y. Huang, B. Huber, V. Legourski, S. Pirker, T. Polzer, D. Reichhard, D. Rigler, A. Schuster, B. Weirich, P Tummeltshammer, M. Delvai:
"Exploring Hardware Software Partitioning on the Example of a Face Recognition System";
Poster: Austrochip,
Graz;
11.10.2007; in: "Austrochip - Workshop on Microelectronics",
(2007),
ISBN: 978-3-902465-87-0;
S. 121
- 127.
Zusätzliche Informationen
-
L. Anghel, V. S. Veeravalli, D. Alexandrescu, A. Steininger, K. Schneider, E. Costenaro:
"Single Event Effects in Muller C-Elements and Asynchronous Circuits Over a Wide Energy Spectrum";
Vortrag: 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10),
Stanford University, USA;
01.04.2014
- 02.04.2014; in: "Proceedings 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10)",
(2014),
6 S.
Zusätzliche Informationen
-
I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu:
"Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control";
Vortrag: Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO),
Chamonix, France;
20.04.2014
- 24.04.2014; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies",
IARIA,
(2014),
ISBN: 978-1-61208-335-3;
S. 52
- 58.
-
E. Armengaud:
"Experimental Evaluation of the FlexRay Clock Synchronization Service";
Vortrag: 20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen,
Wien;
24.02.2008
- 26.02.2008; in: "20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen",
(2008),
S. 85
- 89.
Zusätzliche Informationen
-
E. Armengaud:
"ExTraCT: A New Approach for the Transparent Test of Time-Triggered Communication Systems";
Vortrag: 18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen,
Titisee;
12.03.2006
- 14.03.2006; in: "18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen",
(2006).
Zusätzliche Informationen
-
E. Armengaud:
"Low Level Bus Traffic Replay for the Test of Time-Triggered Communication Systems";
Poster: 9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS06),
Prag;
18.04.2006
- 21.04.2006; in: "9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems",
(2006),
S. 155
- 156.
Zusätzliche Informationen
-
E. Armengaud, W. Forster:
"A Novel Interconnection Approach for Globally Asynchronous Locally Synchronous Circuits";
Poster: Austrochip,
Graz;
11.10.2007; in: "Austrochip - Workshop on Microelectronics",
(2007),
S. 107
- 113.
Zusätzliche Informationen
-
E. Armengaud, M Függer, A. Steininger:
"Safe deterministic replay for stimulating the clock synchronization algorithm in time-triggered systems";
Vortrag: WFCS,
Dresden, Germany;
20.05.2008
- 23.05.2008; in: "IEEE International Workshop on Factory Communication Systems, 2008. WFCS 2008.",
(2008),
ISBN: 978-1-4244-2349-1;
S. 277
- 286.
Zusätzliche Informationen
-
E. Armengaud, F Rothensteiner, A. Steininger, M. Horauer:
"A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories";
Vortrag: IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems,
Sopron;
13.04.2005
- 16.04.2005; in: "Proceedings of IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005",
(2005),
S. 113
- 120.
Zusätzliche Informationen
-
E. Armengaud, A. Steininger:
"A Remote and Transparent Approach for the Test and Diagnosis of Automotive Networks";
Poster: Junior Scientist Conference,
Wien;
19.04.2006
- 21.04.2006; in: "Junior Scientist Conference 2006",
(2006).
Zusätzliche Informationen
-
E. Armengaud, A. Steininger:
"Automatic Parameter Identification in FlexRay Based Automotive Communication Networks";
Vortrag: IEEE International Conference on Emerging Technologies and Factory Automation,
Prag;
20.09.2006
- 22.09.2006; in: "11th IEEE International Conference on Emerging Technologies and Factory Automation",
(2006),
S. 897
- 904.
Zusätzliche Informationen
-
E. Armengaud, A. Steininger:
"Pushing the Limits of Remote Online Diagnosis in FlexRay Networks";
Vortrag: IEEE International Workshop on Factory Communication Systems,
Torino;
27.06.2006
- 30.06.2006; in: "6th IEEE International Workshop on Factory Communication Systems",
(2006).
Zusätzliche Informationen
-
E. Armengaud, A. Steininger:
"Remote Measurement of Local Oscillator Drifts in FlexRay Networks";
Vortrag: DATE 2009 (Design, Automation and Test in Europe),
Nice, France;
20.04.2009
- 24.04.2009; in: "DATE09",
Springer,
(2009),
ISBN: 9783981080155;
S. 1082
- 1087.
Zusätzliche Informationen
-
E. Armengaud, A. Steininger, A. Hanzlik:
"The Effect of Quartz Drift on Convergence-Average based Clock Synchronization";
Vortrag: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
Patras;
25.09.2007
- 28.09.2007; in: "Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation",
(2007),
S. 1123
- 1130.
Zusätzliche Informationen
-
E. Armengaud, A. Steininger, M. Horauer:
"A Method for Bit Level Test and Diagnosis of Communication Services";
Vortrag: IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems,
Sopron;
13.04.2005
- 16.04.2005; in: "Proceedings of IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005",
(2005),
S. 69
- 74.