Publications

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

Currently viewing all publications in category Journal Papers - back to overwiew...

Journal Papers

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting concurrent memory access in TCF processor architectures
Microprocessors and Microsystems, Volume 63 (2018), p. 226 - 236
bib details doi

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), p. 62 - 76
bib details doi

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), p. 1043 - 1053
bib details doi

K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid: Automated Competitive Analysis of Real-time Scheduling with Graph Games
Real-Time Systems, 54 (2018), p. 166 - 207
bib details doi

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), p. 250 - 255
bib details doi

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

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

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

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)
bib details doi

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

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

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

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

A. Ismail, H. Truong, W. Kastner: Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey
Journal of Big Data, 6 (2019), p. 1 - 26
bib details doi

S. Friedrichs, M Függer, C. Lenzen: Metastability-Containing Circuits
IEEE Transactions on Computers, 67 (2018), p. 1167 - 1183
bib details doi pdf

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); 24 pages
bib details doi pdf

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), p. 460 - 474
bib details doi

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), p. 520 - 534
bib details doi

O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique: Towards Approximate Computing for Coarse-Grained Reconfigurable Architectures
IEEE Micro, Early Access (2018), p. 1 - 10
bib details doi

M. Salehi, A. Ejlali, M. Shafique: Run-Time Adaptive Power-Aware Reliability Management for Manycores
Ieee Design & Test, 35 (2018), p. 36 - 44
bib details doi

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), p. 1 - 12
bib details doi

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), p. 49112 - 49128
bib details doi

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), p. 1062 - 1077
bib details doi

S. Mazahir, O. Hasan, M. Shafique: Adaptive Approximate Computing in Arithmetic Datapaths
Ieee Design & Test, 35 (2018), p. 65 - 74
bib details doi

H. Lee, M. Shafique, M. Al Faruque: Aging-Aware Workload Management on Embedded GPU Under Process Variation
IEEE Transactions on Computers, 67 (2018), p. 920 - 933
bib details doi

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), p. 32240 - 32257
bib details doi

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, in press (2018), p. 1 - 23
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic: Quantitative monitoring of STL with edit distance
Formal Methods in System Design, 53 (2018), p. 83 - 112
bib details doi

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), p. 2233 - 2243
bib details doi

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); 24 pages
bib details doi

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), p. 41 - 77
bib details doi

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), p. 447 - 450
bib details doi pdf

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), p. 94 - 116
bib details

J. Träff: Practical, distributed, low overhead algorithms for irregular gather and scatter collectives
Parallel Computing, Volume 75 (2018), p. 100 - 117
bib details doi

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
Archive for Mathematical Logic, Online First (2018)
bib details doi pdf

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), p. 2521 - 2529
bib details doi

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

B. Charron-Bost, M Függer, T. Nowak: New transience bounds for max-plus linear systems
Discrete Applied Mathematics, 219 (2017), p. 83 - 99
bib details doi

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), p. 545 - 552
bib details doi

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), p. 1 - 13
bib details doi

T. Polzer, A. Steininger: A Model for the Metastability Delay of Sequential Elements
Journal of Circuits, Systems, and Computers, 26 (2017), p. 174001001 - 174001022
bib details doi

J. Qadir, A. Sathiaseelan, U. Farooq, M. Usama, M. Imran, M. Shafique: Approximate Networking for Universal Internet Access
Future Internet, 9 (2017), p. 1 - 23
bib details doi

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique: Probabilistic Error Analysis of Approximate Recursive Multipliers
IEEE Transactions on Computers, 66 (2017), p. 1982 - 1990
bib details doi

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), p. 1054 - 1058
bib details doi

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), p. 1315 - 1330
bib details doi

M. Shafique, S. Garg: Computing in the Dark Silicon Era: Current Trends and Research Challenges
Ieee Design & Test, 34 (2017), p. 8 - 23
bib details doi

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), p. 2:1 - 2:21
bib details doi

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), p. 647 - 660
bib details doi

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), p. 560 - 574
bib details doi

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel: Probabilistic Error Modeling for Approximate Adders
IEEE Transactions on Computers, 66 (2017), p. 515 - 530
bib details doi

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), p. 488 - 501
bib details doi

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), p. 147 - 162
bib details doi

V. S. Veeravalli, A. Steininger, U. Schmid: A versatile architecture for long-term monitoring of single-event transient durations
Microprocessors and Microsystems, 53 (2017), p. 130 - 144
bib details doi pdf

I. Konnov, M. Lazić, H. Veith, J. Widder (invited): Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms
Formal Methods in System Design, 51 (2017), p. 270 - 307
bib details doi

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

F. Andren, T. Strasser, W. Kastner: Engineering Smart Grids: Applying Model-Driven Development from Use Case Design to Deployment
ENERGIES, 10 (2017)
bib details doi

D. Schachinger, A. Fernbach, W. Kastner: Modeling framework for IoT integration of building automation systems
at - Automatisierungstechnik, 65 (2017); 11 pages
bib details doi pdf

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), p. 84 - 100
bib details doi

A. Carpen-Amarie, S. Hunold, J. Träff: On expected and observed communication performance with MPI derived datatypes
Parallel Computing, Volume 69 (2017), p. 98 - 117
bib details doi

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), p. 2689 - 2702
bib details doi

E. Lusk, J. Träff (invited): MPI Is 25 Years Old!
HPCwire, May 1 (2017)
bib details

R. Mittermayr, J. Blieberger: Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs
Computing, 1 (2017), p. 1 - 22
bib details doi

I. Konnov, H. Veith, J. Widder: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Information and Computation, 252 (2017), p. 95 - 109
bib details doi pdf

M. Shafique, A. Ivanov, B. Vogel, J. Henkel: Scalable Power Management for On-Chip Systems with Malleable Applications
IEEE Transactions on Computers, 65 (2016), p. 3398 - 3412
bib details doi pdf

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), p. 3441 - 3454
bib details doi pdf

M. Shafique, M. Usman Karim Khan, J. Henkel: Content-Aware Low-Power Configurable Aging Mitigation for SRAM Memories
IEEE Transactions on Computers, 65 (2016), p. 3617 - 3630
bib details doi pdf

M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in Existing Binary Circuit Models
IEEE Transactions on Computers, 65 (2016), p. 964 - 978
bib details doi

F. Praus, W. Kastner, P. Palensky: Secure Control Applications in Smart Homes and Buildings
Journal of Universal Computer Science, 22 (2016), p. 1249 - 1273
bib details

L. Krammer, W. Kastner, T. Sauter: A Comprehensive Dependability Approach for Building Automation Networks
Journal of Universal Computer Science, 22 (2016), p. 1225 - 1248
bib details

J. Träff: Viewpoint: (Mis)Managing Parallel Computing Research through EU Project Funding
Communications of the ACM, Volume 59 (2016), p. 46 - 48
bib details doi

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

A. Ismail, W. Kastner: Vertical integration in industrial enterprises and distributed middleware
International Journal of Internet Protocol Technology (IJIPT), 9 (2016), p. 79 - 89
bib details doi

L. Esterle, R. Grosu (invited): Cyber-physical systems: challenge of the 21st century
Elektrotechnik und Informationstechnik, 133 (2016), p. 299 - 303
bib details doi pdf

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
ACM SIGACT News, 47 (2016), p. 53 - 64
bib details doi pdf

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), p. 360 - 378
bib details doi

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)
bib details pdf

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), p. 1701 - 1706
bib details doi pdf

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), p. 219 - 232
bib details

R. Mittermayr, J. Blieberger: A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications
Journal of Software Engineering and Applications, 9 (2016), p. 182 - 198
bib details doi

M. Stefan, J. Blieberger, A. Schöbel: Application of Kronecker Algebra in Railway Operation
Tehnicki Vjesnik-Technical Gazette, 24 (2017), p. 21 - 30
bib details doi

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), p. 105 - 114
bib details

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), p. 929 - 956
bib details doi

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), p. 449 - 471
bib details doi

S. Resch, A. Steininger, C. Scherrer: A Composable Real-Time Architecture for Replicated Railway Applications
Journal of Systems Architecture, 61 (2015), p. 472 - 485
bib details doi

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), p. 1640020-1 - 1640020-25
bib details doi pdf

D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger: Fault-tolerant Distributed Systems in Hardware
Bulletin of the EATCS, 2 (2015); 43 pages
bib details

P. Domingues, P. Carreira, R. Vieira, W. Kastner: Building automation systems: Concepts and technology review
Computer Standards & Interfaces, 45 (2016), p. 1 - 12
bib details doi

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); 56 pages
bib details pdf

E. Bartocci, P. Lio: Computational modeling, formal analysis and tools for systems biology
PLoS Computational Biology, 12 (2016), p. 1 - 22
bib details doi

B. Charron-Bost, M Függer, L. Welch, J. Widder: Time Complexity of Link Reversal Routing
ACM Transactions on Algorithms, 11 (2015), p. 1 - 39
bib details doi pdf

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), p. 301 - 306
bib details doi

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), p. 1 - 16
bib details doi

M. Stefan, J. Blieberger, A. Schöbel: Kronecker Algebra zur Optimierung des Eisenbahnbetriebes
Eisenbahntechnische Rundschau, 64 (2015), p. 78 - 84
bib details pdf

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), p. 427 - 437
bib details doi

R. Alfieri, E. Bartocci, E. Merelli, L. Milanesi: Modeling the cell cycle: From deterministic models to hybrid systems
Biosystems, 105 (2011), p. 34 - 40
bib details doi

E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: System Design of Stochastic Models using Robustness of Temporal Properties
Theoretical Computer Science, 587 (2015), p. 3 - 25
bib details doi

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), p. 1010 - 1026
bib details doi

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), p. 1078 - 1088
bib details doi

H. Moser, U. Schmid: Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed Computing, 27 (2014), p. 203 - 230
bib details doi

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), p. 1 - 74
bib details doi

E. Bartocci, O. Höftberger, R. Grosu (invited): Cyber-Physical Systems: Theoretical and Practical Challenges
ERCIM NEWS, 2014 (2014), p. 8 - 9
bib details

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), p. 34 - 46
bib details doi

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), p. 157 - 161
bib details doi pdf

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), p. 17 - 20
bib details

S. Kandl, S. Chandrashekar: Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation
Computing, 607 (2014)
bib details doi

C. Siebert, J. Träff: Perfectly Load-Balanced, Stable, Synchronization-Free Parallel Merge
Parallel Processing Letters, Volume 24 (2014), p. 1 - 11
bib details doi

J. Träff, S. Benkner: Preface: Selected Papers from EuroMPI 2012
Computing, Volume 96, Special Issue on EuroMPI 2012 (2014), p. 259 - 261
bib details doi

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), p. 242 - 272
bib details doi

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), p. 441 - 444
bib details doi

T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Runtime verification of microcontroller binary code
Science of Computer Programming, 80 (2014), p. 109 - 129
bib details doi

B. Rahbaran, A. Steininger: Is Asynchronous Logic More Robust Than Synchronous Logic?
IEEE Transactions on Dependable and Secure Computing, 6 (2009), p. 282 - 294
bib details doi

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), p. 860 - 900
bib details doi pdf

M. Zeiner: On a family of $q$-binomial distributions
Mathematica Slovaca, 64 (2014), p. 479 - 510
bib details doi

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), p. 103 - 116
bib details

J. Blieberger, A. Schöbel, M. Volcic: Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich
Signal + Draht, 106 (2014), p. 15 - 18
bib details

C. Krieg, A. Dabrowski, H. Hobel, K. Krombholz, E. Weippl: Hardware Malware
Synthesis Lectures on Information Security, Privacy, and Trust, 4 (2013), p. 1 - 115
bib details

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), p. 12 - 31
bib details

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), p. 598 - 603
bib details doi

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), p. 155 - 166
bib details

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), p. 2640 - 2646
bib details

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), p. 772 - 791
bib details

T. Nowak, M Függer, A. Kößler: On the performance of a retransmission-based synchronizer
Theoretical Computer Science, 509 (2013), p. 25 - 39
bib details doi

T. Reinbacher, M Függer, J. Brauer: Runtime verification of embedded real-time systems
Formal Methods in System Design, Nov 2013 (2013), p. 1 - 37
bib details doi

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), p. 1020 - 1032
bib details doi

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), p. 1 - 16
bib details

F. Iglesias Vazquez, W. Kastner: Analysis of similarity measures in times series clustering for the discovery of building energy patterns
ENERGIES, 6 (2013), p. 579 - 597
bib details doi pdf

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), p. 23 - 43
bib details doi pdf

M. Elshuber, R. Obermaisser: Dependable and predictable time-triggered Ethernet networks with COTS components
Journal of Systems Architecture, Volume 59, Issue 9 (2013), p. 667 - 690
bib details doi

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), p. 295 - 320
bib details doi

M Függer, U. Schmid: Reconciling fault-tolerant distributed computing and systems-on-chip
Distributed Computing, 24 (2012), p. 323 - 355
bib details

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), p. 2778 - 2784
bib details

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), p. 1429 - 1437
bib details doi

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), p. 323 - 336
bib details doi

M. Schoeberl, B. Huber, W. Puffitsch: Data cache organization for accurate timing analysis
Real-Time Systems, 49 (2013), p. 1 - 28
bib details doi

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)
bib details doi pdf

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), p. 327 - 347
bib details doi

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), p. 1 - 20
bib details doi pdf

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), p. 53 - 76
bib details doi

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), p. 753 - 771
bib details doi

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), p. 286 - 292
bib details doi

R. Mittermayr, J. Blieberger, A. Schöbel: Kronecker Algebra based Deadlock Analysis for Railway Systems
Promet-Traffic & Transportation, 24 (2012), p. 359 - 369
bib details doi

J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart: Consensus in the presence of mortal Byzantine faulty processes
Distributed Computing, 24 (2012), p. 299 - 321
bib details doi pdf

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), p. 736 - 741
bib details doi

B. Burgstaller, B. Scholz, J. Blieberger: A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software, 85 (2012), p. 1418 - 1439
bib details doi

J. Träff (invited): Alternative, uniformly expressive and more scalable interfaces for collective communication in MPI
Parallel Computing, Volume 38 (2012), p. 26 - 36
bib details doi

D. Van Der Linden, H. Mannaert, W. Kastner, H. Peremans: Towards normalized connection elements in industrial automation
Advances in Internet Technology, 4 (2011), p. 133 - 146
bib details

P. Robinson, U. Schmid: The Asynchronous Bounded-Cycle Model
Theoretical Computer Science, 412 (2011), p. 5580 - 5601
bib details doi

M. Biely, U. Schmid, B. Weiss: Synchronous consensus under hybrid process and link failures
Theoretical Computer Science, 412 (2011), p. 5602 - 5630
bib details doi

A. Ehringfeld: ITIL als Methode gegen Social Engineering Attacken
Hakin9, 10 (2011), p. 28 - 34
bib details

M. J. Kofler, C. Reinisch, W. Kastner: A semantic representation of energy-related information in future smart homes
Energy and Buildings, 47 (2012), p. 169 - 179
bib details doi

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), p. 23
bib details doi

A. Steininger, P Tummeltshammer: Replicated processors on a single die - How independently do they fail?
Journal e&i: Elektrotechnik und Informationstechnik, 128 (2011), p. 245 - 250
bib details doi

M. Ferringer: On Self-Timed Circuits in Real-Time Systems
International Journal of Reconfigurable Computing, 2011 (2011)
bib details doi

C. Reinisch, M. J. Kofler, F. Iglesias Vazquez, W. Kastner: ThinkHome Energy Efficiency in Future Smart Homes
EURASIP Journal on Embedded Systems, 2011 (2011)
bib details

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), p. 28 - 41
bib details doi

T. Sauter, S. Soucek, W. Kastner, D. Dietrich: The Evolution of Factory and Building Automation
IEEE Transactions on Industrial Electronics, 5 (2011), p. 35 - 48
bib details

J. Hong, K. Hong, B. Burgstaller, J. Blieberger: StreamPI: A stream-parallel programming extension for object-oriented programming languages
Journal of Supercomputing, 61 (2012), p. 118 - 140
bib details doi

B. Löwenstein, M. Di Angelo: Lego Mindstorms
Javamagazin, 12 (2011), p. 23 - 26
bib details

B. Löwenstein, M. Di Angelo (invited): Mikrowelten
Javamagazin, 12 (2011), p. 30 - 33
bib details

B. Löwenstein, M. Di Angelo (invited): IDEs für die Schulbank
Javamagazin, 12 (2011), p. 31 - 34
bib details

B. Löwenstein, M. Di Angelo (invited): Vermittlung von Java im Anfängerunterricht
Javamagazin, 12 (2011), p. 20 - 24
bib details

B. Thallner, H. Moser, U. Schmid: Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks
Wireless Networks, 16 (2010), p. 388 - 404
bib details doi

B. Charron-Bost, M. Hutle, J. Widder: In search of lost time
Information Processing Letters, 110 (2010), p. 928 - 933
bib details doi

C. Pitter, M. Schoeberl: A real-time Java chip-multiprocessor
ACM Transactions on Embedded Computing Systems, 10 (2010), p. 1 - 34
bib details doi

R. Kirner, P. Puschner, A. Prantl: Transforming Flow Information during Code Optimization for Timing Analysis
Real-Time Systems, 45 (2010), p. 72 - 105
bib details doi

W. Granzer, F. Praus, W. Kastner: Security in building automation systems
IEEE Transactions on Industrial Electronics, 57 (2010), p. 3622 - 3630
bib details

M. Schoeberl: Scheduling of Hard Real-Time Garbage Collection
Real-Time Systems, 45 (2010), p. 176 - 213
bib details doi

M. Schoeberl, W. Puffitsch, R. Pedersen, B. Huber: Worst-case execution time analysis for a Java processor
Software: Practice and Experience, 40 (2010), p. 507 - 542
bib details doi

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)
bib details doi

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), p. 32 - 34
bib details

C. Kolbitsch, M. Egele, Ch. Platzer: Removing web spam links from search engine results
Journal in Computer Virology, Online First (2009), p. 1 - 12
bib details doi pdf

U. Schmid, B. Weiss, I. Keidar: Impossibility Results and Lower Bounds For Consensus Under Link Failures
SIAM JOURNAL ON COMPUTING, 38 (2009), p. 1912 - 1951
bib details doi

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), p. 269 - 279
bib details doi

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), p. 132 - 145
bib details doi

Stefan Mitterhofer, Ch. Platzer, E. Kirda, Ch. Krügel: Server-Side Bot Detection in Massively Multiplayer Online Games
IEEE Security & Privacy, 7 (2009), p. 29 - 36
bib details doi pdf

H. Moser: Towards a real-time distribiuted computing model
Theoretical Computer Science, 410 (2008), p. 631 - 659
bib details doi

J. Widder, M. Biely: Optimal Message-Driven Implementations of Omega with Mute Processes
ACM Transactions on Autonomous and Adaptive Systems., 4 (2009), p. ?
bib details doi

J. Widder, U. Schmid: The Theta-Model: achieving synchrony without clocks
Distributed Computing, 22 (2009), p. 29 - 47
bib details doi

J. Blieberger, N. Ostermann, A. Schöbel: Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur
Signal&Draht, 101 (2009), p. 33 - 36
bib details

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), p. 41 - 42
bib details

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), p. 39 - 40
bib details

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), p. 31 - 32
bib details

R. Kirner, S. Kandl: Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems
ERCIM NEWS, 75 (2008), p. 40 - 41
bib details

E. Armengaud, A. Steininger, M. Horauer: Towards a Systematic Test for Embedded Automotive Communication Systems
IEEE Transactions on Industrial Informatics, 4 (2008), p. 145 - 208
bib details doi pdf

M. Schoeberl: A Java processor architecture for embedded real-time systems
Journal of Systems Architecture, Volume 54, Issues 1-2 (2008), p. 265 - 286
bib details doi

P. Klinkoff, Ch. Krügel, E. Kirda, G. Vigna: Extending .NET Security to Unmanaged Code
International Journal of Information Security, 6 (2007), p. 417 - 428
bib details

U. Schmid, A. Steininger, M. Sust: FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung
Elektrotechnik und Informationstechnik (e&i), Heft 1-2 (2007), p. 3 - 8
bib details

W. Kastner (invited): Trends in der Gebäudeautomation: Wireless Automation Networks
megaTECH, 1/2 (2007), p. 46
bib details

W. Steiner: Advancements in Dependable Time-Triggered Communication
Lecture Notes in Computer Science, 4761 (2007), p. 57 - 66
bib details

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), p. 159 - 170
bib details

M. Schoeberl: Mission Modes for Safety Critical Java
Lecture Notes in Computer Science, 4761 (2007), p. 105 - 113
bib details

W. Elmenreich: A Review on System Architectures for Sensor Fusion Applications
Lecture Notes in Computer Science, 4761 (2007), p. 547 - 559
bib details

W. Elmenreich: Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging
Journal of Vibration and Control, 13 (2007), p. 1303 - 1312
bib details doi

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Cross-Platform Verification Framework for Embedded Systems
Lecture Notes in Computer Science, 4761 (2007), p. 137 - 148
bib details

A. Hanzlik: SIDERA - a Simulation Model for Time-Triggered Distributed Systems
International Review on Computers and Software (IRECOS), 1 (2006), p. 181 - 193
bib details

A. Hanzlik: Stability and Performance Analysis of Clock Synchronization in FlexRay
International Review on Computers and Software (IRECOS), 1 (2006), p. 146 - 155
bib details

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), p. 22 - 24
bib details

R. Obermaisser, P. Peti, B. Huber, C. El Salloum: DECOS: An Integrated Time-Triggered Architecture
Journal e&i: Elektrotechnik und Informationstechnik, 3 (2006), p. 83 - 95
bib details

E. Kirda, Ch. Krügel: Protecting Users Against Phishing Attacks with AntiPhish
Computer Journal, 49 (2006)
bib details

D. Mutz, F. Valeur, Ch. Krügel, G. Vigna: Anomalous System Call Detection
ACM Transactions on Information and System Security, 9 (2006)
bib details

U. Bayer, A. Moser, Ch. Krügel, E. Kirda: Dynamic Analysis of Malicious Code
Journal in Computer Virology, 2 (2006)
bib details

W. Kastner: "Wissen schaft": Gebäudeautomation - Security in KNX/EIB
megaTECH, 12 (2006), p. 16
bib details

W. Kastner: "Wissen schaft": Trends in der Gebäudeautomation
megaTECH, 11 (2006), p. 44
bib details

W. Kastner, G. Neugschwandtner: Datenkommunikation in der verteilten Gebäudeautomation
Bulletin SEV/VSE, 17 (2006), p. 9 - 14
bib details

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), p. 26 - 32
bib details

H. Kopetz, A. Ademaj, A. Hanzlik: Combination of clock-state and clock-rate correction in fault-tolerant distributed systems
Real-Time Systems, 33 (2006), p. 139 - 173
bib details

W. Steiner, M. Paulitsch, H. Kopetz: The TTA's Approach to Resilience after Transient Upsets
Real-Time Systems, 32 (2006), p. 213 - 233
bib details

W. Elmenreich: Time-Triggered Smart Transducer Networks
IEEE Transactions on Industrial Informatics, 2 (2006), p. 192 - 199
bib details

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), p. 613 - 624
bib details

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), p. 346 - 352
bib details

M. Delvai, U. Eisenmann, W. Elmenreich: A Generic Architecture for Integrated Smart Transducers
Lecture Notes in Computer Science, 2778 (2003), p. 733 - 744
bib details

W. Kastner, G. Neugschwandtner, S. Soucek, H.M. Newman: Communication Systems for Building Automation and Control
Proceedings of the IEEE, 93 (2005), p. 1178 - 1203
bib details

Ch. Krügel, G. Vigna, W. Robertson: A multi-model approach to the detection of web-based attacks
Computer Networks, 48 (2005), p. 717 - 738
bib details

J. Blieberger: Average Case Analysis of DJ Graphs
Journal of Discrete Algorithms, 4 (2006), p. 649 - 675
bib details doi

A. N. Rapaka, W. Elmenreich, D. Wunsch: TTP/A Protocol and Design
Circuit Cellar, 2004, p. 12 - 21
bib details

H. Kopetz, R. Obermaisser, U. Schmid (invited): Dependable Embedded Systems Research at TU Vienna
Elektrotechnik und Informationstechnik (e&i), 1 (2005), p. 33 - 37
bib details

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), p. 107 - 116
bib details

Ch. Krügel, F. Valeur, G. Vigna: Using Alert Verification to Identify Successful Intrusion Attempts
Praxis der Informationsverarbeitung und Kommunikation (PIK), 27 (2004), p. 220 - 228
bib details

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), p. 146 - 169
bib details

B. Rahbaran, M Függer, A. Steininger: Embedded Real-Time-Tracer -- An Approach with IDE
Telematik, 3-4 (2004), p. 16 - 20
bib details

B. Huber, W. Elmenreich: Wireless Time-Triggered Real-Time Communication
Telematik, 3-4 (2004), p. 44 - 50
bib details

M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna: Safety Relevant Automotive Electronic Solutions
Automotive Electronics International, March (2004), p. 21 - 23
bib details

M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna: Sicherheitsrelevante elektronische Lösungen im Automobil
Automotive Elektronics, extra (2004), p. 50 - 53
bib details

L. Naber, M. Köhle: E-nhance Lectures
Journal of Digital Information, 3 (2003)
bib details

F. Beranek, U. Schmid: Assembler mit Pascalelementen
Elektronikschau, 2 (1983), p. 32 - 34
bib details

C. Scherrer, A. Steininger: Dealing With Dormant Faults in an Embedded Fault-Tolerant Computer System
IEEE Transactions on Reliability, 52 (2003), p. 512 - 522
bib details

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), p. 413 - 422
bib details

U. Schmid, K. Schossmaier: Interval-based clock synchronization with optimal precision.
Information and Computation, 186 (2003), p. 36 - 77
bib details pdf

H. Kopetz: Time Triggered Architecture
ERCIM NEWS, 1 (2003), p. 24 - 25
bib details

H. Kopetz, G. Bauer: The Time-Triggered Architecture
Proceedings of the IEEE, 91 (2003), p. 112 - 126
bib details pdf

U. Schmid: On the Asymptotics of the Average CRI-Length of the Slotted ALOHA Collision Resolution Algorithm
Applied Mathematics and Computation, 48 (1992), p. 59 - 70
bib details

U. Schmid: On a Tree Collision Resolution Algorithm in Presence of Capture
RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications, 26 (1992), p. 163 - 197
bib details pdf

A. Bezirgan, G. Schildt: Ansätze einer neuen Fertigungssteuerung im Interuniversitären CIM-Zentrum
VDI-Berichte, 1067 (1993)
bib details

M. Drmota, U. Schmid: The Analysis of the Expected Successful Operation Time of Slotted ALOHA
IEEE Transactions on Information Theory, 39 (1993), p. 1567 - 1577
bib details pdf

M. Drmota, U. Schmid: Exponential Limiting Distributions in Queueing Systems with Deadlines
SIAM Journal on Applied Mathematics, 53 (1993), p. 301 - 318
bib details

U. Schmid: The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm
Theoretical Computer Science, 108 (1993), p. 291 - 310
bib details

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), p. 2 - 5
bib details

U. Schmid: Monitoring Distributed Real-Time Systems
Real-Time Systems, 7 (1994), p. 33 - 56
bib details

T. Enengl, G. Schildt: Ein neuer Ansatz zur Integration eines objektorientierten Expertensystems in PPS-Landschaften
Elektrotechnik und Informationstechnik (e&i), 3 (1995), p. 125 - 128
bib details

G. Schildt, A. Redlein: Infosys das Fenster ins IUCCIM
IUCCIM News, 1 (1995)
bib details

J. Meyer, U. Schmid: Zeit im Bild
Elektronikschau, 3 (1995), p. 28 - 30
bib details

U. Schmid: Random Trees in Queueing Systems with Deadlines
Theoretical Computer Science, 144 (1995), p. 277 - 314
bib details pdf

U. Schmid, A. Pusterhofer: SSCMP: The Sequenced Synchronized Clock Message Protocol
Computer Networks and ISDN Systems, 27 (1995), p. 1615 - 1632
bib details pdf

U. Schmid: Synchronized Universal Time Coordinated for Distributed Real-Time Systems
Control Engineering Practice, 3 (1995), p. 877 - 884
bib details pdf

A. Redlein et al.: Aktives Facility Management
IUCCIM News, 2 (1997)
bib details

A. Redlein, R. Rohrhofer: CAD: Die neue Richtlinie
bau & immobilienreport, 9 (1997), p. 58
bib details

A. Redlein: CAD für Architektenbüros
Deutsches Architektenblatt, 9 (1997), p. 1387
bib details

A. Redlein: AVA-Systeme: Zusatzprogramme im Überblick
a3 BAU, 7a (1997), p. 27
bib details

A. Redlein: CAD-Systeme: Marktübersicht der gängigsten Programme
a3 BAU, 7a (1997), p. 27
bib details

A. Redlein, R. Rohrhofer: Technologievorsprung durch FM-Systeme
Power Management, 4 (1997), p. 21
bib details

A. Redlein, R. Rohrhofer: Chaos-Norm: Alternative der Kammer
Konstruktiv, 199 (1997), p. 38
bib details

A. Redlein, R. Rohrhofer: Homenet - das intelligente Haus der Zukunft
IUCCIM News, 1 (1997), p. 6
bib details

U. Schmid, K. Schossmaier: Interval-Based Clock Synchronization
Real-Time Systems, 12 (1997), p. 173 - 228
bib details pdf

U. Schmid: Static Priority Scheduling of Aperiodic Real-Time Tasks
Random Structures and Algorithms, 10 (1997), p. 257 - 303
bib details

U. Schmid: Hochgenaue Uhrensynchronisation über LANs
Elektronikschau, 10 (1997), p. 20 - 23
bib details

A. Redlein, R. Rohrhofer: Keine Einigung
bau & immobilienreport, 4 (1999), p. 40
bib details

A. Redlein, R. Rohrhofer, H. Vogl: AVA heiß umkämpft
bau & immobilienreport, 12/98 und 1/99 (1999), p. 14
bib details

A. Redlein: Neue FM-Welten
bau & immobilienreport, 4 (1999), p. 42
bib details

A. Redlein, R. Rohrhofer: CAD: Und wie zufrieden sind Sie?
bau & immobilienreport, 10 (1999), p. 18
bib details

A. Redlein, R. Rohrhofer: CAD: Frischer Wind
bau & immobilienreport, 10 (1999), p. 14
bib details

A. Redlein, R. Rohrhofer: CAD-Systeme: Ein Anwendervergleich
bau & immobilienreport, 10 (1999), p. 7
bib details

A. Redlein: EDV Unterstützung im Bereich Bauwesen
bau & immobilienreport, 1 (1999)
bib details

W. Kastner: Gebäudesystemtechnik - quo vadis? Teil I: Grundlagen
IUCCIM News, 4 (2000), p. 12 - 13
bib details

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), p. 25 - 57
bib details

U. Schmid: Orthogonal accuracy clock synchronization
Chicago Journal of Theoretical Computer Science, 3 (2000), p. 3 - 77
bib details pdf

A. Redlein, R. Rohrhofer: AVA im Kundenfokus, Studie über AVA Systeme im Planungswesen
bau & immobilienreport, 10 (2001), p. 20
bib details

A. Redlein, R. Rohrhofer: Prozessmanagement: Auf zum Prozess, Facility Management
bau & immobilienreport, 10 (2001), p. 41
bib details

A. Redlein, R. Rohrhofer: Wettstreit der Großen, Studie über Einsatz von CAD Systemen im Planungswesen
bau & immobilienreport, 10 (2001), p. 16
bib details

U. Schmid: Applied Research: A Scientist's Perspective
Annual Reviews in Control, 25 (2001), p. 183 - 190
bib details pdf

U. Schmid, K. Schossmaier: How to reconcile fault-tolerant interval intersection with the Lipschitz condition
Distributed Computing, 14 (2001), p. 101 - 111
bib details pdf

W. Kastner, N. Reiter: Netzmanagement in Feldbussystemen
Journal it+ti: Informationstechnik und Technische Informatik, 42 (2000), p. 45 - 51
bib details

W. Kastner: Jini Connectivity for Fieldbus-systems -- a Case Study for Home and Building Networks
Journal e&i: Elektrotechnik und Informationstechnik, 5 (2000), p. 324 - 328
bib details

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), p. 167 - 176
bib details

H. Haberstroh, W. Kastner, U. Schmid: M-Module im Didaktik Einsatz
Elektronik Industrie - Fachzeitschrift für Elektronik Entwicklung, 10 (1994), p. 90 - 92
bib details

J. Blieberger: Monotonically Labelled Motzkin Trees
Discrete Applied Mathematics, 18 (1987), p. 9 - 24
bib details pdf

J. Blieberger, U. Schmid: Preemptive LCFS Scheduling in Hard Real-Time Applications
Performance Evaluation, 15 (1992), p. 203 - 215
bib details doi

U. Schmid, J. Blieberger: Some Investigations on FCFS Scheduling in Hard Real-Time Applications
Journal of Computer and System Sciences, 45 (1992), p. 493 - 512
bib details doi

J. Blieberger, U. Schmid: FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions
BIT Numerical Mathematics, 32 (1992), p. 370 - 383
bib details doi

J. Blieberger: Discrete Loops and Worst Case Performance
Computer Languages, 20 (1994), p. 193 - 212
bib details doi

U. Schmid, J. Blieberger: On non-preemptive LCFS Scheduling with Deadlines
Journal of Algorithms, 18 (1995), p. 124 - 158
bib details doi

J. Blieberger: Real-Time Properties of Indirect Recursive Procedures
Information and Computation, 171 (2001), p. 156 - 182
bib details doi

J. Blieberger: Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems, 22 (2002), p. 183 - 227
bib details doi

J. Blieberger, R. Lieger: Worst-Case Space and Time Complexity of Recursive Procedures
Real-Time Systems, 11 (1996), p. 115 - 144
bib details doi

J. Blieberger, T. Fahringer, B. Scholz: Symbolic Cache Analysis for Real-Time Systems
Real-Time Systems, 18 (2000), p. 181 - 215
bib details doi

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), p. 100 - 111
bib details pdf

P. Puschner, A. Burns: A Review of Worst-Case Execution-Time Analysis
Real-Time Systems, 18 (2000), p. 115 - 128
bib details pdf

W. Elmenreich: Kostengünstig vernetzen mit TTP/A
Markt & Technik, 38 (2000), p. 42 - 44
bib details pdf

H. Kopetz, R. Obermaisser (invited): Temporal Composability
IEE's Computing & Control Engineering Journal, 13 (2002), p. 156 - 162
bib details pdf

R. Maier, G. Bauer, G. Stöger, S. Poledna: Time-Triggered Architecture: A Consistent Computing Platform
IEEE Micro, 22 (2002), p. 36 - 45
bib details pdf

D. Maurer, V. Salapura, M. Gschwind: FPGA prototyping of a RISC processor core for embedded applications
IEEE Transactions on Computers, 9 (2001), p. 241 - 250
bib details

A. Steininger, C. Scherrer: Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault-Injection Experiments
IEEE Transactions on Computers, 51 (2002), p. 235 - 239
bib details

A. Steininger, C. Scherrer: Vom Lenkrad zum Joystick
Elektrotechnik und Informationstechnik (e&i), 11 (2000), p. 714 - 720
bib details

A. Steininger: Testing and Built-in-Self-Test - A Survey
Journal of Systems Architecture, 46 (2000), p. 721 - 747
bib details

H. Kopetz, M. Holzmann, W. Elmenreich: A Universal Smart Transducer Interface: TTP/A
International Journal of Computer System, Science & Engineering, 16 (2001), p. 71 - 77
bib details pdf

M. Ochensthaler, R. Posta, G. Schildt, D. Dietrich: Der vernetzte Haushalt - Technologie und Anwendung
ÖVE Schriftenreihe, 14 (1997), p. 63 - 96
bib details

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), p. 263 - 266
bib details

G. Leeb, R. Posta, G. Schildt, M. Ochensthaler, D. Dietrich: A Configuration Tool for Homenet
IEEE Transactions on Consumer Electronics, 42 (1996), p. 387 - 394
bib details

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), p. 51 - 84
bib details

K. Schossmaier, U. Schmid, M. Horauer, D. Loy: Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)
Real-Time Systems, 12 (1997), p. 295 - 327
bib details pdf