Publications

Shows publications by members of the Cyber-Physical Systems group.

Currently viewing all publications chronologically - show overwiew...

D. Ratasich, O. Hoftberger, H. Isakovic, M. Shafique, R. Grosu: A Self-Healing Framework for Building Resilient Cyber-Physical Systems
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISSN: 2375-5261, p. 133 - 140
bib details doi

R. Hasani, M. Fuchs, V. Beneder, R. Grosu: Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans
Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; in: Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, 2017; 5 pages
bib details pdf

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

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

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

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

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

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

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

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

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

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

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

H. Isakovic, R. Grosu, D. Ratasich, J. Kadlec, Z. Pohl, S. Kerrison, K. Georgiou, N. Druml, L. Tadros, F. Christiansen, E. Wheatley, B. Farkas, R. Meyer, M. Berekovic (invited): A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC2
SAFECOMP 2017 DECSoS, Trento; in: Computer Safety, Reliability, and Security, Lecture Notes in Computer Science / Springer, Volume 10486 (2017), ISBN: 978-3-319-66284-8, p. 124 - 140
bib details doi

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

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
Solutions for Cyber-Physical Systems Ubiquity, N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); IGI Global, Hershey, Pennsylvania, USA, 1 (2017), ISBN: 9781522528456, p. 137 - 168
bib details doi

D. Ratasich, O. Höftberger, H. Isakovic, M. Shafique, R. Grosu: A Self-Healing Framework for Building Resilient Cyber-Physical Systems
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Real-Time Distributed Computing (ISORC), 2017 IEEE 20th International Symposium on, IEEE, 2017, ISBN: 978-1-5386-1574-4, p. 133 - 140
bib details doi

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

S. Arming, E. Bartocci, A. Sokolova: SEA-PARAM: Exploring Schedulers in Parametric MDPs
QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; in: Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, EPCTS, 250 (2017), p. 25 - 38
bib details doi

K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu: Runtime Monitoring with Recovery of the SENT Communication Protocol
CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; in: Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, Springer, 10426 (2017), p. 336 - 355
bib details doi

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi: Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; in: Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2017, p. 146 - 155
bib details doi

K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu: Computing with Biophysical and Hardware-efficient Neural Models
IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; in: Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Springer, 10305 (2017), p. 535 - 547
bib details doi

A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu: ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; in: Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 10206 (2017), p. 286 - 302
bib details doi

M. Baldi, E. Bartocci, F. Chiaraluce, A. Cucchiarelli, L. Senigagliesi, L. Spalazzi, F. Spegni: A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Berlin, Germany; in: Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Springer, 10503 (2017), ISBN: 978-3-319-66335-7, p. 123 - 139
bib details doi

M. Ben Sassi, E. Bartocci, S. Sankaranarayanan: A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Toulouse, France; in: IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Elsevier, 50 (1) (2017), p. 10462 - 10469
bib details doi

H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection Algorithms
CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; in: Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Springer, 10545 (2017), p. 23 - 39
bib details doi

M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner: Best Practice for Caching of Single-Path Code
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; in: Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6, p. 1 - 12
bib details doi pdf

B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner: Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISBN: 978-1-5386-1574-4, p. 76 - 83
bib details doi

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger: Time and Resilient Master Clocks in Cyber-Physical Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 165 - 185
bib details doi

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob: Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 73 - 96
bib details doi pdf

B. Frömel, H. Kopetz: Interfaces in Evolving Cyber-Physical Systems-of-Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 40 - 72
bib details doi

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz: Basic Concepts on Systems of Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 1 - 39
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: 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 pages
bib details doi

J. Schumann, P. Moosbrugger, K. Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; in: Proc. of RV 2015, the 6th International Conference on Runtime Verification, Springer, 9333 (2015), p. 233 - 249
bib details doi pdf

J. Schumann, P. Moosbrugger, K. Rozier: Runtime Analysis with R2U2: A Tool Exhibition Report
7th International Conference on Runtime Verification, Madrid; in: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Springer International Publishing, 10012 (2016), ISSN: 0302-9743, p. 504 - 509
bib details doi pdf

G. Wang, R. Grosu: Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks
S2M'16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal; in: Proceedings of S2M'16, the International Conference on Sustaniable Smart Manufacturing, Taylor & Francis, 2016
bib details

A. Islam, G. Byrne, S. Kong, E. Clarke, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka: Bifurcation Analysis of Cardiac Alternans using Delta-Decidability
CMSB 2016: 14th International Conference on Computational Methods in Systems Biology, Cambridge, UK; in: Proceedings of CMSB'16, the 14th International Conference on Computational Methods in Systems Biology, LNCS, Springer, Lecture Notes in Computer Science, Vol. 9859, Cambridge, UK (2016), ISBN: 978-3-319-45176-3, p. 132 - 146
bib details doi pdf

W. Wallner, A. Wasicek, R. Grosu: A simulation framework for IEEE 1588
2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden; in: Proceedings of IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, IEEE, 2016, ISSN: 1949-0313, p. 1 - 6
bib details doi pdf

K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu: Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties
Design and Verification Conference and Exhibition, San Jose, USA; in: Design and Verification Conference and Exhibition, Online, 2016; 8 pages
bib details pdf

A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka: Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans
18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; in: 18th IEEE International High-Level Design Validation and Test Workshop, IEEE, 2016, ISSN: 2471-7827, p. 170 - 177
bib details doi

R. M. Hasani, L. Esterle, R. Grosu: Investigations on the Nervous System of Caenorhabditis elegans
Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt
bib details

O. Balún: Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network (Master's Thesis)
reviewers: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; oral examination: 2016-12-22
bib details

R. M. Hasani, D. Haerle, R. Grosu: Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks
12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal; in: Proc. of PRIME 2016: 12th conference on PhD research on microelectronics and electronics, IEEE, 2016, ISBN: 978-1-5090-0493-5, p. 1 - 4
bib details doi

P. Puschner, B. Frömel: Composable Component Interfaces for Time-Triggered Systems
12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK; in: Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops, 2016
bib details

P. Puschner, B. Cilku, D. Prokesch: Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control
IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; in: Proceedings IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems on Chip; ISBN 978-1-5090-3530-4, 2016, ISBN: 978-1-5090-3530-4, p. 321 - 328
bib details doi

T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin (invited): The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 371 - 379
bib details doi

E. Bartocci, Y. Falcone (invited): Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 333 - 338
bib details doi

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

bib details doi

E. Bartocci, P. Lio, N. Paoletti: 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 pages
bib details doi

H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling: Discrete Abstraction of Multiaffine Systems
Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Grenoble, France; in: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Springer International Publishing, 9957 (2016), ISBN: 978-3-319-47151-8, p. 128 - 144
bib details doi

K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu: Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2, p. 46 - 61
bib details doi

K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu: Monitoring of MTL Specifications With IBM's Spiking-Neuron Model
Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; in: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, IEEE Computer Society, 2016, ISBN: 978-3-9815-3707-9, p. 924 - 929
bib details

A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray: Parallel Reachability Analysis for Hybrid Systems
Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; in: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, 2016, p. 12 - 22
bib details doi

A. Rodionova, E. Bartocci, D. Nickovic, R. Grosu: Temporal Logic as Filtering
Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; in: Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, ACM, 2016, ISBN: 978-1-4503-3955-1, p. 11 - 20
bib details doi

E. Bartocci, L. Bortolussi, T. Brazdil, M. Dimitrios, G. Sanguinetti: Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Quebec City, QC, Canada; in: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Springer International Publishing, 9826 (2016), ISBN: 978-3-319-43424-7, p. 244 - 259
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic: Quantitative Monitoring of STL with Edit Distance
7th International Conference on Runtime Verification, Madrid; in: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Springer International Publishing, 10012 (2016), ISSN: 0302-9743, p. 201 - 218
bib details doi

K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu: Applying Runtime Monitoring for Automotive Electronic Development
7th International Conference on Runtime Verification, Madrid; in: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Springer International Publishing, 10012 (2016), ISSN: 0302-9743, p. 462 - 469
bib details doi pdf

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

C. Vazcula: The Hobel algorithm - SAT Lösung mit GPU über DPLL (Master's Thesis)
reviewers: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016
bib details pdf

H. Isakovic, R. Grosu: A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform
2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA; in: IEEE 25th International Symposium on Industrial Electronics (ISIE), IEEE, 2016, ISSN: 2163-5145, p. 244 - 253
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

C. Gabriel: Development of an Advanced Protection Concept for Automotive Wire Harnesses (Master's Thesis)
reviewers: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; oral examination: 2016-10-04
bib details

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

K. Pollhammer: Automated Buildings as Energy Storages (PhD Thesis)
reviewers: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05
bib details

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions Using SysML
Languages, Design Methods, and Tools for Electronic System Design, Springer International Publishing, Lecture Notes in Electrical Engineering 361 (2016), ISBN: 978-3-319-24457-0, p. 57 - 81
bib details doi

A. Murthy, A. Islam, S. Smolka, R. Grosu: Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: HSCC 2015, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 78 - 87
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 Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner: The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

D. Prokesch, P. Puschner: A Strategy for Generating Time-Predictable Code
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

B. Cilku, D. Prokesch, P. Puschner: A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking
11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; in: Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015) Workshops, IEEE, 2015, ISBN: 978-1-4673-7709-6, p. 74 - 79
bib details doi

D. Prokesch, S Hepp, P. Puschner: A Generator for Time-Predictable Code
18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; in: Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), IEEE, 2015, ISBN: 978-1-4799-8781-8, p. 27 - 34
bib details doi

H. Kopetz (invited): From Embedded Systems to System of Systems
ITASC Workshop: Intelligent Transportation and Smart City, Shanghai
bib details

H. Kopetz (invited): Simplification Principles in the Design of Cyber-Physical System-of-Systems
Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris; in: Complex Systems Design & Management, Springer International Publishing, 2015, ISBN: 978-3-319-26109-6, p. 39 - 51
bib details doi

M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel: A holistic viewpoint-based SysML Profile to Design Systems-of-Systems
17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA; in: High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on, 2016, ISSN: 1530-2059, p. 276 - 283
bib details doi

H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli: Towards an Understanding of Emergence in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 214 - 219
bib details doi

H. Kopetz, B. Frömel, O. Höftberger: Direct versus Stigmergic Information Flow in Systems-of-Systems
10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; in: 10th Annual Systems of Systems Engineering Conference 2015, 2015, p. 36 - 41
bib details doi

K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu: Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
54th IEEE Conference on Decision and Control, Osaka, Japan; in: Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, IEEE Computer Society, 2015, ISBN: 978-1-4799-7884-7, p. 6978 - 6985
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic: From Signal Temporal Logic to FPGA Monitors
13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; in: Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2015, p. 218 - 227
bib details doi

S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu: Abstraction-based Parameter Synthesis for Multiaffine Systems
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 19 - 35
bib details doi

R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu: XSpeed: Accelerating Reachability Analysis on MultiCore Processors
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 3 - 18
bib details doi

E. Bartocci, L. Bortolussi, M. Dimitrios, L. Nenzi, G. Sanguinetti: Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
4th International Workshop on Hybrid Systems Biology (HSB), Madrid; in: Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, LNCS / LNBI / Springer, vol. 9271 (2015), p. 1 - 17
bib details doi

E. Bartocci, R. Majumdar: 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 pages
bib details doi

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. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador: A TDMA-Based arbitration scheme for mixed-criticality multicore platforms
The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; in: Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, IEEE, 2015, p. 1 - 6
bib details doi

L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz: Requirement Semi-formalization Methodology for SoC Design (Best Paper Award)
12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; in: Proceedings of the 12th International SoC Design Conference (IEEE), 2015
bib details

W. Zischka: Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien (Master's Thesis)
reviewer: S. Poledna; E182, 2015; oral examination: 2015-11-19
bib details

D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments
RV 2015, the 6th International Conference on Runtime Verification, Vienna; in: Runtime Verification, 6th International Conference (RV 2015), Springer, 9333 (2015), ISBN: 978-3-319-23819-7, p. 201 - 215
bib details doi

D. Ratasich, B. Frömel, O. Höftberger, R. Grosu: Generic Sensor Fusion Package for ROS
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; in: Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, IEEE, 2015, p. 286 - 291
bib details doi

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

E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka: Model Repair for Probabilistic Systems
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken, Germany; in: Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS / Springer, vol. 6605 (2011), ISBN: 978-3-642-19834-2, p. 326 - 340
bib details doi

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu: Curvature analysis of cardiac excitation wavefronts
CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; in: Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, ACM, 2011, ISBN: 978-1-4503-0817-5, p. 103 - 112
bib details doi

E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka: Toward real-time simulation of cardiac dynamics
CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; in: Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, ACM, 2011, ISBN: 978-1-4503-0817-5, p. 103 - 112
bib details doi

R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci: From Cardiac Cells to Genetic Regulatory Network
CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; in: CAV 2011: the 23rd International Conference on Computer Aided Verification, LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743, p. 396 - 411
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

S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok: Runtime Verification with State Estimation
RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; in: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 978-3-642-29859-2, p. 193 - 207
bib details doi

E. Bartocci, L. Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
bib details doi

E. Bartocci, C. Ramakrishnan: 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 pages
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

I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta: SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 189 - 198
bib details doi

S. Kandl (invited): Applicability of Structural Code Coverage Metrics for Safety-Critical Systems
AUTOSAR Safety-Group (WP 1.3) Meeting, Paris, France
bib details

S. Kandl (invited): How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations
Design, Automation and Test in Europe Conference (DATE), Grenoble, France; in: DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain, 2015
bib details

S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

D. Prokesch: Single-Path Code Generation for the Patmos Processor
TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande
bib details

P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl: A Method Cache for Patmos
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing, 2014, ISSN: 1555-0885, p. 100 - 108
bib details doi

B. Huber, S Hepp, M. Schöberl: Scope-based Method Cache Analysis
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; in: 14th International Workshop on Worst-Case Execution Time Analysis, OpenAccess Series in Informatics (OASIcs), 2014, ISBN: 978-3-939897-69-9, p. 73 - 82
bib details doi pdf

S Hepp, B. Huber, D. Prokesch: platin -­ A Toolkit for Compiler and WCET-Analysis Integration
TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark
bib details pdf

D. Prokesch: Single-Path Code Generation and Input-Data Dependence Analysis
T-CREST/parMERASA/CERTAINTY Workshop, Madrid
bib details pdf

S. Resch: Composability for Fail-Safe Safety-Critical Systems (PhD Thesis)
reviewers: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26
bib details

R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump: Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems
Haifa Verification Conference HVC 2014, Haifa, Isral; in: Proc. of HVC'14, the Haifa Verification Conference, 2014
bib details pdf

R. Grosu, D. Peled, C. Ramakrishnan, S. Smolka, S. Stoller, J. Yang: Using Statistical Model Checking for Measuring Systems
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; in: Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2014
bib details pdf

R. Grosu, A. Islam, A. Murthy, A. Girard, S. Smolka: Compositionality Results for Cardiac Cell Dynamics
HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol, Berlin; in: Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control, 2014, ISBN: 978-1-4503-2732-9, p. 243 - 252
bib details pdf

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
Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; in: Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, IARIA, 2014, ISBN: 978-1-61208-335-3, p. 52 - 58
bib details

E. Bartocci, R. DeFrancisco, S. Smolka: Towards a GPGPU-parallel SPIN model checker
21th International SPIN Symposium on Model Checking of Software, San Jose, California; in: SPIN 2014: International SPIN Symposium on Model Checking of Software, ACM, 2014, ISBN: 978-1-4503-2452-6, p. 87 - 96
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

E. Bartocci, B. Bonakdarpour, Y. Falcone (invited): First International Competition of Software for Runtime Verification
14th International Conference on Runtime Verification, Canada; in: Proc. of RV 2014: the 14th International Conference on Runtime Verification, 2014, p. 1 - 9
bib details doi

E. Bartocci, S. Gao, S. Smolka (invited): Medical Cyber-Physical Systems - (Track Introduction)
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; in: Proc. of ISoLA: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2014, p. 353 - 355
bib details doi

S. Bufo, E. Bartocci, G. Sanguinetti, M. Borelli, U. Lucangelo, L. Bortolussi (invited): Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients
6th International Symposium On Leveraging Applications of Formal Methods, Corfu', Greece; in: Proc. of ISoLA: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2014, p. 391 - 403
bib details doi

E. Bartocci, L. Bortolussi, G. Sanguinetti: Data-driven Statistical Learning of Temporal Properties
12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Florence, Italy; in: Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS/Springer, vol. 8711 (2014), ISBN: 978-3-319-10511-6, p. 23 - 37
bib details doi

E. Aydin Gol, E. Bartocci, C. Belta: A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
53rd IEEE Inter. Conference on Decision and Control (CDC), Los Angeles; in: Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control, IEEE, 2014, ISBN: 978-1-4799-7746-8, p. 108 - 113
bib details doi

E. Bartocci, L. Bortolussi, S. Smolka: Hybrid Systems and Biology

bib details doi

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

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC), IEEE, 2014, ISSN: 1555-0885, p. 180 - 187
bib details doi

I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner: Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC
The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; in: Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2014, ISBN: 978-1-4799-4827-7, p. 77 - 80
bib details doi

C. Schmittner, T. Gruber, P. Puschner, E. Schoitsch: Security Application of Failure Mode and Effect Analysis (FMEA)
International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; in: Computer Safety, Reliability and Security, Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2, p. 310 - 325
bib details

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; in: Computer Safety, Reliability and Security, Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2, p. 1 - 16
bib details

P. Puschner (invited): Constructing Time-Critical Embedded Systems: Decide Before Runtime
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 3
bib details

P. Puschner (invited): Embedded Systems for Safety-Critical and Mixed-Criticality Applications
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 15
bib details

I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner: A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems
Forum on specification & Design Languages (FDL), Munich, Germany; in: Proceedings of the Forum on Specification & Design Languages (FDL 2014), 2014
bib details

B. Cilku, P. Puschner et al.: A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms
2 nd International Workshop on Mixed Criticality Systems (WMC14), Rome, Italy; in: Proceedings of the 2 nd International Workshop on Mixed Criticality Systems, 2014, p. 27 - 32
bib details pdf

B. Cilku, P. Puschner: Designing a Time-Predictable Memory Hierarchy for Single-Path Code
7 th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS14), Rome, Italy; in: Designing a Time-Predictable Memory Hierarchy for Single-Path Code, 2014, p. 9 - 14
bib details pdf

B. Cilku, B. Frömel, P. Puschner: A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors
12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISBN: 978-1-4799-4906-9, p. 147 - 151
bib details doi pdf

H. Kopetz (invited): From Embedded Systems to Systems of Systems
27th International Conference on VLSI Design 2014, Mumbai, India
bib details

W. Steiner, F. Bonomi, H. Kopetz: Towards synchronous deterministic channels for the Internet of Things
IEEE World Forum on Internet of Things 2014 (WF-IoT2014), Seoul, Korea; in: Proc. of the IEEE World Forum on Internet of Things 2014 (WF-IoT2014), IEEE, 2014, p. 433 - 436
bib details doi

H. Kopetz (invited): Why a Global Time is Needed in a Dependable SoS
Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom
bib details

H. Kopetz (invited): From Embedded Systems to Systems of Systems
10th IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Reno, Nevada, USA
bib details doi

H. Kopetz (invited): Systems of Systems Need a Global Time
23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA
bib details

H. Kopetz: A Conceptual Model for the Information Transfer in System of Systems
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing, 2014, ISSN: 1555-0885, p. 17 - 24
bib details doi

D. Ratasich: Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

D. Macher: Intercommunication framework for autonomous real-time systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

S. Brugger: Integrating probabilistic information of dynamic environment into maps for enhanced action planning (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-03-26
bib details pdf

A. Wasicek, O. Höftberger, M. Elshuber, H. Isakovic, A Fleck: Virtual CAN Lines in an Integrated MPSoC Architecture
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISSN: 1555-0885, p. 158 - 165
bib details doi

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions using SysML
Forum on specification & Design Languages (FDL), Munich, Germany; in: Proceedings of the Forum on Specification & Design Languages (FDL 2014), 2014
bib details

S. Kandl, J. Forey: Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award)
Seventh International Conference on Dependability (DEPEND 2014), Lisbon, Portugal; in: Proceedings of the Seventh International Conference on Dependability (DEPEND 2014), 2014, ISBN: 978-1-61208-378-0
bib details

D. Prokesch, B. Huber, P. Puschner: Towards Automated Generation of Time-Predictable Code
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; in: 14th International Workshop on Worst-Case Execution Time Analysis, Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9, p. 103 - 112
bib details doi pdf

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

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas, Nevada, USA; in: Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014), 2014
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

O. Höftberger, R. Obermaisser: Runtime Evaluation of Ontology-based Reconfiguration of Distributed Embedded Real-Time Systems
12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISBN: 978-1-4799-4906-9, p. 544 - 550
bib details doi

S. Kandl, M. Elshuber: A Formal Approach to System Integration Testing
Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK; in: Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014), 2014
bib details

S. Kandl, M. Elshuber, P. Puschner: Formal Verification at System Level
HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna
bib details

O. Melnychenko, H.-P. Kreuter: Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification
21st Austrian Workshop on Microelectronics (Austrochip), Linz; in: Austrochip 2013. Tagungsband, 2013, p. 17 - 21
bib details pdf

O. Melnychenko, H.-P. Kreuter: A Metric Driven Verification and Validation Approach for Smart Power Devices
9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach; in: Conference Proceedings. 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), 2013, ISBN: 978-1-4673-4580-4, p. 289 - 292
bib details doi

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The T-CREST Approach of Compiler and WCET-Analysis Integration
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2013
bib details

C. Geyer, B. Huber, D. Prokesch, P. Puschner: Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details

B. Cilku, R. Kammerer, P. Puschner: Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses
6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada; in: Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2013
bib details pdf

B. Cilku, P. Puschner: Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors
1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; in: Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 1st workshop on Real-Time Mixed Criticality Systems, 2013
bib details pdf

R. Kammerer, B. Frömel, R. Obermaisser, P. Milbredt: Composability and Compositionality in CAN-Based Automotive Systems based on Bus and Star Topologies
IEEE 11th International Conference on Industrial Informatics INDIN´2013, Bochum, Germany; in: Proceedings of the 11th International Conference on Industrial Informatics INDIN2013, 2013, p. 116 - 122
bib details doi pdf

E. Bartocci, R. Grosu (invited): Monitoring with uncertainty
HAS 2013, Rome, Italy; in: Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems, Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180; 4 pages
bib details doi

E. Bartocci: Sampling-based Decentralized Monitoring for Networked Embedded Systems
HAS 2013, Rome, Italy; in: Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems, Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180, p. 85 - 99
bib details doi

S. Bogomolov, D. Donze, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle: Abstraction-Based Guided Search for Hybrid Systems
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), p. 117 - 134
bib details doi

H. Isakovic, A. Wasicek: Secure Channels in an Integrated MPSoC Architecture
39th Annual Conference of the IEEE Industrial Electronics Society, Wien; in: Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE, 2013, ISSN: 1553-572x, p. 4488 - 4493
bib details doi pdf

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

E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: On the Robustness of Temporal Properties for Stochastic Models
HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; in: Proceedings of the Second International Workshop on Hybrid Systems and Biology, Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 2075-2180, p. 3 - 19
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

S. Kandl, S. Chandrashekar: Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Proceedings, 2013
bib details pdf

E. Bartocci, L. Bortolussi, L. Nenzi: A temporal logic approach to modular design of synthetic biological circuits
CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; in: Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, LNCS/Springer, vol. 8130 (2013), ISBN: 978-3-642-40707-9, p. 164 - 178
bib details doi

K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu: Runtime Verification with Particle Filtering
RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; in: Proc. of RV 2013, the Fourth International Conference on Runtime Verification, LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4, p. 149 - 166
bib details doi

O. Höftberger, R. Obermaisser: Ontology-based Runtime Reconfiguration of Distributed Embedded Real-Time Systems
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details doi pdf

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration
July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris
bib details

M. Elshuber, S. Kandl, P. Puschner: Improving System-Level Verification of SystemC Models with SPIN
1st French Singaporean Workshop on Formal Methods and Applications, Singapore; in: 1st French Singaporean Workshop on Formal Methods and Applications, 2013, ISBN: 978-3-939897-56-9; 6 pages
bib details doi

B. Huber, D. Prokesch, P. Puschner: Combined WCET analysis of bitcode and machine code using control-flow relation graphs
Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; in: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, The Association for Computing Machinery, 2013, ISBN: 978-1-4503-2085-6, p. 163 - 172
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

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

S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski: A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA; in: Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification, LNCS / Springer, 7358 (2012), ISBN: 978-3-642-31423-0, p. 479 - 494
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

D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka: On Temporal Logic and Signal Processing
Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; in: Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, LNCS/Springer, vol. 7561 (2012), ISBN: 978-3-642-33385-9, p. 92 - 106
bib details doi

A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Approximate Bisimulations for Sodium Channel Dynamics
The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; in: Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology, LNCS / Springer, vol. 7605 (2012), ISBN: 978-3-642-33635-5, p. 267 - 287
bib details doi

E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster: Adaptive Runtime Verification
RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; in: Proc. of RV 2012: the 3rd International Conference on Runtime Verification, LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743, p. 168 - 182
bib details doi

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

R. Kammerer, R. Obermaisser, B. Frömel: Dynamic Configuration of a Time-Triggered Router for Controller Area Network
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Krakow, Poland; in: 17th IEEE International Conference on Emerging Technologies and Factory Automation, 2012
bib details pdf

P. Puschner, R. Kirner, D. Prokesch, B. Huber: Compiling for Time Predictability
ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany; in: Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops, Lecture Notes in Computer Science / Springer, 7613 (2012), ISBN: 978-3-642-33674-4, p. 382 - 391
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

B. Huber, D. Prokesch, P. Puschner: A Formal Framework for Precise Parametric WCET Formulas
12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; in: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Oasics / 23 (2012), ISBN: 978-3-939897-41-5, p. 91 - 102
bib details doi pdf

R. Kammerer, B. Frömel, A. Wasicek: Enhancing Security in CAN Systems using a Star Coupling Router
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe; in: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), IEEE, 2012, ISBN: 978-1-4673-2685-8, p. 237 - 246
bib details doi pdf

C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek (invited): The ACROSS MPSoC - A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems
DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey; in: 2012 15th Euromicro Conference on Digital System Design (DSD 2012), Proceedings, IEEE Computer Society, 2012, ISBN: 978-1-4673-2498-4, p. 105 - 113
bib details doi pdf

R. Obermaisser, O. Höftberger: Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip
21st IEEE International Symposium on Industrial Electronics (ISIE 2011), Gdansk, Poland; in: 21st IEEE International Symposium on Industrial Electronics (ISIE 2011, IEEE, 2011, ISBN: 978-1-4244-9312-8, p. 1561 - 1568
bib details

C. El Salloum, K. Bilic (invited): Time-Triggered Communication (Book Chapter on FlexRay)
Time-Triggered Communication, CRC Press, 2011, ISBN: 978-1-4398-4661-2, p. 121 - 152
bib details

R. Kammerer (invited): TTCAN
Time-Triggered Communication, CRC Press, 2011, ISBN: 9781439846612, p. 223 - 245
bib details

S. Bünte, M. Zolda, R. Kirner: Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, 2011, ISBN: 9781609600860, p. 110 - 129
bib details doi

B. Cilku, P. Puschner: Using a Local Prefetch Strategy to Obtain Temporal Time Predictability
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Newport Beach, California, USA; in: Proc. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE, 2011, ISBN: 978-1-4577-0303-4, p. 227 - 234
bib details

S. Hanke, C. Mayer, O. Höftberger, H. Boos, R. Wichert, P. Wolf et al.: universAAL - an open and consolidated AAL platform
4. Deutsche AAL-Kongress, Berlin, Deutschland; in: Demographischer Wandel - Assistenzsysteme aus der Forschung in den Markt (AAL 2011), 2011, ISBN: 978-3-8007-3323-1
bib details

R. Obermaisser, R. Kammerer, A. Kasper (invited): Sternkoppler für Controller Area Network (CAN) auf Basis eines Multi-Processor System-on-a-Chip (MPSoC)
AmE 2011 - Automotive meets Electronics, Dortmund, Deutschland; in: Proc. of AmE 2011 - Automotive meets Electronics, 2011
bib details

W. Puffitsch: Hard Real-Time Garbage Collection for a Java Chip Multi-Processor
9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011), York, United Kingdom; in: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, ACM, 2011
bib details

M. Schoeberl, P. Schleuniger, W. Puffitsch, F. Brandner et al.: Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach
First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, France; in: First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011), 2011, ISBN: 978-3-939897-28-6, p. 11 - 21
bib details

S. Kuster: Successful communication in European research projects - the GENESYS project as best practice
2. Projekt Management Symposium der Fachhochschule des bfi Wien, Wien; in: Wirtschaft und Management, Schriftenreihe zur Wissenschaftlichen Forschung und Praxis, Band 15, Wirtschaft und Management, Heft 15 (2011), p. 75 - 89
bib details

M. Zolda, R. Kirner, S. Bünte: Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation
17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan; in: Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), 2011, ISBN: 978-1-4577-1118-3, p. 243 - 250
bib details

S. Bünte, M. Zolda, R. Kirner: Let's Get Less Optimistic In Measurement-Based Timing Analysis
6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden; in: Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11), 2011, ISBN: 978-1-61284-818-1, p. 204 - 212
bib details

R. Kirner, M. Zolda (invited): Compiler Support for Measurement-based Timing Analysis
11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal; in: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2011, p. 62 - 71
bib details

B. Huber, W. Puffitsch, P. Puschner: Towards an open timing analysis platform
11th International Workshop on Worst-Case Execution Time Analysis, Porto; in: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2011, p. 6 - 15
bib details

V. Mikolasek, H. Kopetz: Roll-Forward Recovery with State Estimation
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 179 - 186
bib details

A. Wasicek, C. El Salloum, H. Kopetz: Authentication in Time-Triggered Systems using Time-delayed Release of Keys
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 31 - 39
bib details

S. Bünte, M. Zolda, M. Tautschnig, R. Kirner: Improving the Confidence in Measurement-Based Timing Analysis
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 144 - 151
bib details

W. Elmenreich, S. Pitzek: Smart Transducers - Principles, Communications and Configuration
Intelligent Systems at the Service of Mankind, Volume II, W. Elmenreich, J.A.T. Machado, I. J. Rudas (ed.); UBooks Verlag, Augsburg, 2005, ISBN: 3-86608-052-2, p. 175 - 186
bib details pdf

S. Kandl: A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems (PhD Thesis)
reviewers: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17
bib details

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: Towards an Orchestrated Approach for Annotation Verification
27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, p. 71 - 85
bib details

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. Obermaisser, R. Kammerer: A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN
IEEE International Conference on Industrial Informatics (INDIN 2010), Osaka, Japan; in: A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN, 2010, p. 121 - 127
bib details

W. Puffitsch, B. Huber, M. Schoeberl: Worst-Case Analysis of Heap Allocations
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; in: Worst-Case Analysis of Heap Allocations, Lecture Notes in Computer Science, 6416 (2010), p. 464 - 478
bib details doi

S. Kandl, R. Kirner: Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; in: Software Technologies for Embedded and Ubiquitous Systems, Lecture Notes in Computer Science, Volume 6399 (2010), p. 131 - 142
bib details

R. Obermaisser, J. Perez, C. El Salloum, Carlos Nicolas: Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC
Forum on specification & Design Languages (FDL), Southampton, UK; in: Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC, 2010
bib details

R. Kirner, P. Puschner: Time-Predictable Computing
8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; in: Time-Predictable Computing, 2010, p. 23 - 34
bib details

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

A. Kadlec, R. Kirner, P. Puschner: Avoiding Timing Anomalies Using Code Transformations
Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; in: Avoiding Timing Anomalies Using Code Transformations, IEEE, 2010, ISBN: 978-1-4244-7083-9, p. 123 - 132
bib details

B. Cilku, P. Puschner: Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored
Proc. 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010), Carmona, Sevilla, Spain; in: Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored, 2010, p. 219 - 225
bib details doi

M. Zolda, S. Bünte, R. Kirner: Context-Sensitivity in IPET for Measurement-Based Timing Analysis
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; in: Context-Sensitivity in IPET for Measurement-Based Timing Analysis, Lecture Notes in Computer Science, 6416 (2010), p. 487 - 490
bib details doi

B. Huber, P. Puschner: A Code Policy Guaranteeing Fully Automated Path Analysis
10th International Workshop on Worst-Case Execution-Time Analysis, Brussels, Belgium; in: A Code Policy Guaranteeing Fully Automated Path Analysis, Austrian Computer Society, 2010, ISBN: 978-3-85403-268-7, p. 80 - 90
bib details

B. Huber, W. Puffitsch, M. Schoeberl: WCET driven design space exploration of an object cache
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Prague, Czech Republic; in: WCET driven design space exploration of an object cache, ACM, 2010, ISBN: 978-1-4503-0122-0, p. 26 - 35
bib details doi

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

A. Wasicek, H. Kopetz, C. El Salloum: A System-on-a-Chip Platform for Mixed-Criticality Applications
Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spain; in: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), IEEE, 2010, ISBN: 978-1-4244-7083-9, p. 210 - 216
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

A. Benz: Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities (PhD Thesis)
reviewers: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15
bib details

M. Schoeberl, P. Puschner, R. Kirner: A Single-Path Chip-Multiprocessor System
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; in: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6, p. 47 - 57
bib details doi

M. Schoeberl, W. Puffitsch, B. Huber: Towards Time-predictable Data Caches for Chip-Multiprocessors
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; in: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6, p. 180 - 191
bib details doi

H. Paulitsch, C. Paukovits, C. El Salloum: Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture
2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009 Proceedings, Lausanne, Switzerland; in: Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on, IEEE, 2009, ISBN: 978-1-4244-4110-5, p. 90 - 99
bib details doi

C. Pitter: Time-Predictable Java Chip-Multiprocessor (PhD Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

B. Huber: Worst-Case Execution Time Analysis for Real-Time Java (Master's Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

M. Zolda, S. Bünte, R. Kirner: Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis
International Conference on Real-Time and Network Systems (RTNS), Paris, France; in: 17th International Conference on Real-Time and Network Systems, Proceedings, 2009; 10 pages
bib details

R. Kirner: Towards Automatic Verification of Structural Code-Coverage Preservation
Timing Analysis and Symbolic Computation, TASCo 2009, Wien; in: Timing Analysis and Symbolic Computation, TASCo 2009, 2009; 1 pages
bib details

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

R. Kirner, W. Zimmermann, D. Richter: On Undecidability Results of Real Programming Languages
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; in: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), p. 141 - 154
bib details

R. Kirner, W. Haas: Automatic Calculation of Coverage Profiles for Coverage-based Testing
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; in: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), p. 126 - 140
bib details

B. Huber, R. Obermaisser: A Comparison of NoTA and GENESYS
Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings, Samos, Greece; in: Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings, LNCS / Springer, 5657 (2009), ISBN: 3-642-03137-4, p. 181 - 192
bib details doi

P. Jahn: Automated Regression Testing of Embedded Devices (Master's Thesis)
reviewers: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009
bib details

W. Puffitsch: Data Caching, Garbage Collection, and the Java Memory Model
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES09), Madrid, Spain; in: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, ACM Digital Library, 2009, ISBN: 978-1-60558-732-5, p. 130 - 139
bib details

S. Edwards, S. Kim, E. Lee, I. Liu, H. Patel, M. Schoeberl: A Disruptive Computer Design Idea: Architectures with Repeatable Timing
2009 IEEE International Conference on Computer Design, Resort at Squaw Creek, Lake Tahoe, California; in: 2009 IEEE International Conference on Computer Design, IEEE, CFP09ICD (2009), ISBN: 978-1-4244-5028-2, p. 54 - 59
bib details

M. Schoeberl: JOP Reference Handbook
CreateSpace, 2009, ISBN: 978-1438239699; 362 pages
bib details

J. Whitham, N. Audsley, M. Schoeberl: Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES09), Madrid, Spain; in: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, ACM Digital Library, 2009, ISBN: 978-1-60558-732-5, p. 130 - 139
bib details doi

W. Binder, M. Schoeberl, P. Moret, A. Villazón: Cross-profiling for Java processors
Software: Practice and Experience, John Wiley and Sons, 2009, ISSN: 0038-0644, p. 1439 - 1465
bib details doi

M. Schoeberl, W. Binder, P. Moret, A. Villazón: Design Space Exploration for Java Processors with Cross-Profiling
Sixth International Conference on the Quantitative Evaluation of Systems QEST 2009, Budapest, Hungary; in: Sixth International Conference on Quantitative Evaluation of Systems, IEEE computer society, CPS, 2009, 978-0-7695-33808-2, p. 109 - 118
bib details doi

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: From a Federated to an Integrated Automotive Architecture
IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems, IEEE, 2009, ISSN: 0278-0070, p. 956 - 965
bib details doi

B. Huber, M. Schoeberl: Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis
9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; in: Worst-Case Execution Time (WCET) Analsysis, Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6, p. 27 - 38
bib details

M. Schoeberl, P. Puschner: Is Chip-Multiprocessing the End of Real-Time Scheduling?
9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; in: Worst-Case Execution Time (WCET) Analsysis, Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6, p. 96 - 106
bib details

H. Paulitsch, C. Paukovits, C. El Salloum, H. Kopetz: Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture
DSNOC'09 (DATE Friday Workshop), Nice, France
bib details

R. Kirner, A. Kadlec, P. Puschner: Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; in: Proceedings of The 21th Euromicro Conference on Real-Time Systems, IEEE computer society, CPS, 2009, ISBN: 978-0-7695-3724-5, p. 119 - 128
bib details doi

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: From Trusted Annotations to Verified Knowledge
Worst-Case Execution Time Analysis, N. Holsti (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9; 11 pages
bib details

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: From Trusted Annotations to Verified Knowledge
Worst-Case Execution Time Analysis, N. Holsti (ed.); Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, p. 39 - 49
bib details

P. Puschner, R. Kirner: Model-Driven Design and Organic Computing -- Combinable Strategies?
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; in: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE, 2009, p. 101
bib details doi

M. Schoeberl: Time-Predictable Computer Architecture
EURASIP Journal on Embedded Systems, Hindawi, 2009; 17 pages
bib details doi

B. Huber, R. Obermaisser: Platform Modeling in Safety-Critical Embedded Systems
Intelligent Technical Systems, Springer, LNEE Vol. 38, 2009, ISBN: 978-1-4020-9822-2, p. 145 - 158
bib details doi

P. Puschner, R. Kirner, R. Pettit: Towards Composable Timing for Real-Time Software
First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; in: 2009 Software Technologies for Future Dependable Distributed Systems, IEEE, 2009, ISBN: 978-0-7695-3572-2, p. 1 - 5
bib details

M. Schoeberl (invited): Time-predictable Cache Organization
First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; in: 2009 Software Technologies for Future Dependable Distributed Systems, IEEE, 2009, ISBN: 978-0-7695-3572-2, p. 11 - 16
bib details

V. Mikolasek: Dependability and Robustness: State of the Art and Challenges
First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; in: 2009 Software Technologies for Future Dependable Distributed Systems, IEEE, 2009, ISBN: 978-0-7695-3572-2, p. 25 - 31
bib details doi

F. Brandner, T. Thorn, M. Schoeberl: Embedded JIT Compilation with CACAO on YARI
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; in: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE, 2009, p. 63 - 70
bib details doi

A. Wellings, M. Schoeberl: Thread-Local Scope Caching for Real-time Java
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; in: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE, 2009, p. 275 - 282
bib details doi

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; in: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE, 2009, p. 3 - 11
bib details doi

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: From Trusted Annotations to Verified Knowledge
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; in: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), p. 155 - 166
bib details

A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec: From Trusted Annotations to Verified Knowledge
9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; in: Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), N. Holsti (ed.); 2009, p. 35 - 45
bib details

B. Rieder: Measurement-Based Timing Analysis of Applications written in ANSI-C (PhD Thesis)
reviewers: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26
bib details

W. Elmenreich: Time-triggered Transducer Networks
Fakultät für Informatik, 2007
bib details

R. Wolfig: A Distributed Platform for an Integrated Modular Avionics (PhD Thesis)
reviewers: S. Poledna, D. Dietrich; 182/1, 2008
bib details

R. Obermaisser, Y. Nah, P. Puschner, F. Rammig: Software Technologies for Embedded Systems and Ubiquitous Systems
Springer LNCS 4761, 2007, ISBN: 978-3-540-75663-7; 563 pages
bib details

S. Bünte, M. Tautschnig: A Benchmarking Suite for Measurement-Based WCET Analysis Tools
International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE, Lillehammer, Norway; in: International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE, IEEE Computer Society, 2008, ISBN: 978-0-7695-3388-9, p. 353 - 356
bib details doi

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

H. Kopetz: Composability in the time-triggered system-on-chip architecture
Proceedings of the 21st Annual IEEE International SoC Conference, Vienna, Austria; in: Proceedings of the 21st Annual IEEE International SoC Conference, 2008, ISBN: 978-1-4244-2596-9, p. 87 - 90
bib details

M. Zolda: INFER: Interactive Timing Profiles based on Bayesian Networks
WCET 2008, Prague, Czech Republic; in: Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008), Österreichische Computer Gesellschaft, 2008, ISBN: 978-3-85403-237-3, p. 39 - 51
bib details

B. Rieder, P. Puschner, I. Wenzel: Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis
Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; in: Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems, IEEE Computer Society, 2008, ISBN: 978-3-00-024989-1, p. 3 - 9
bib details

H. Kaiser, R. Kirner: Junior Scientist Conference 2008, Proceedings
TU Wien, 2008
bib details

B. Rieder, P. Puschner: Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 101 - 102
bib details

E. Suethanuwong, C. El Salloum: A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 95 - 96
bib details

M. Zolda, R. Kirner: Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 117 - 118
bib details

A. Kadlec: Neutralizing Timing Anomalies in Superscalar Microprocessors
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 119 - 120
bib details

S. Bünte, R. Kirner: The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 115 - 116
bib details

M. Schoeberl: Application Experiences with a Real-Time Java Processor
IFAC World Congress, Seoul, Korea; in: Proceedings of the 17th IFAC World Congress, 2008; 6 pages
bib details doi

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 pages
bib details

B. Huber, C. El Salloum, R. Obermaisser: A Resource Management Framework for Mixed-Criticality Embedded Systems
34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), Orlando, FL, U.S.A.; in: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), IEEE Computer Society, 2008, ISBN: 978-1-4244-1766-7, p. 2425 - 2431
bib details

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 pages
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Measurement-Based Timing Analysis
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; in: Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 2008, ISBN: 978-3-540-88478-1, p. 430 - 444
bib details doi

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

W. Puffitsch: Decoupled Root Scanning in Multi-Processor Systems
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Embedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 8 pages
bib details

A. Wasicek, C. El Salloum: End-to-End Encryption in the TTSoC Architecture
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Ebedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 6 pages
bib details

B. Huber: Resource Management in an Integrated Time-Triggered Architecture (PhD Thesis)
reviewers: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01-01
bib details

M. Schlager: Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems (PhD Thesis)
reviewers: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09
bib details

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop: Towards a Common WCET Annotation Language: Essential Ingredients
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; in: Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008); 12 pages
bib details

A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel: WCET Annotation Languages Reconsidered: The Annotation Language Challenge
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; in: Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008); 10 pages
bib details

M. Wächter: A Self-Checking Pair Architecture for a TT-Ethernet Switch (Master's Thesis)
reviewer: S. Poledna; Institut für Technische Informatik, 2008; oral examination: 2008-10-10
bib details

S. Hepp, G. Klima, A. Kadlec, L. Krammer, W. Luckner, D. Prokesch, S. Resch, A. Wasicek, J. Wilhelm, P Tummeltshammer, M. Delvai: Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System
16th Austrian Workshop on Microelectronics (Austrochip), Linz; in: Proc. of the 16th Austrian Workshop on Microelectronics 2008, 2008, p. 7 - 12
bib details

G. Khyo, P. Puschner, M. Delvai: An Operating System for a Time-Predictable Computing Node
The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri, Italien; in: Software Technologies for Embedded and Ubiquitous Systems, Lecture Notes in Computer Science / Springer Verlag, 5287 (2008), ISBN: 978-3-540-87784-4, p. 150 - 161
bib details doi

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
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 pages
bib details

C. Pitter: Time-predictable memory arbitration for a Java chip-multiprocessor
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Santa Clara, California; in: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, ACM, 2008, ISBN: 978-1-60558-337-2, p. 115 - 122
bib details doi

M. Schoeberl, W. Puffitsch: Non-blocking object copy for real-time garbage collection
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Santa Clara, California; in: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, ACM, 2008, ISBN: 978-1-60558-337-2, p. 77 - 84
bib details doi

P. Puschner, M. Schoeberl: On Composable System Timing, Task Timing, and WCET Analysis
WCET 2008, Prague, Czech Republic; in: Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008), Österreichische Computer Gesellschaft, 2008, ISBN: 978-3-85403-237-3, p. 91 - 101
bib details

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

W. Binder, A. Villazón, M. Schoeberl, P. Moret: Cache-aware Cross-profiling for Java Processors
International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Atlanta,Georgia, USA; in: Ebedded Systems Week, 2008, ISBN: 978-1-60558-471-3; 9 pages
bib details

R. Obermaisser, B. Frömel, C. El Salloum, B. Huber: Integrating safety and multimedia subsystems on a Time-Triggered System-on-a-Chip
Proceedings IEEE INDIN 2008, 6th IEEE International Conference on Industrial Informatics, Daejeon, Korea; in: Proceedings IEEE INDIN 2008, 6th IEEE International Conference on Industrial Informatics, IEEE, 2008, ISBN: 978-1-4244-2171-8, p. 270 - 275
bib details doi

R. Obermaisser, H. Kraut, C. El Salloum: A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR
Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania; in: Seventh European Dependable Computing Conference (EDCC-7), IEEE Computer Society, 2008, ISBN: 978-0-7695-3138-0, p. 123 - 134
bib details doi

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: The Time-Triggered System-on-a-Chip Architecture
IEEE International Symposium on Industrial Electronics, 2008. ISIE 2008, Cambridge, UK; in: IEEE International Symposium on Industrial Electronics, 2008. ISIE 2008, 2008, ISBN: 978-1-4244-1666-0, p. 1941 - 1947
bib details doi

C. Pitter: JopCMP - A Java Chip-Multiprocessor for Real-time Systems
4th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings (ReCoSoC), Barcelona, Spain; in: 4th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings, DFG, 2008, ISBN: 978-84-691-3603-4; 3 pages
bib details

W. Binder, M. Schoeberl, P. Moret, A. Villazón: Cross-Profiling for Embedded Java Processors
Fifth International Conference on the Quantitative Evaluation of Systems, St. Malo, France; in: Fifth International Conference on the Quantitative Evaluation of Systems, IEEE Computer Society, 2008, ISBN: 978-0-7695-3360-5, p. 287 - 296
bib details doi

C. Pitter, M. Schoeberl: Performance Evaluation of a Java Chip-Multiprocessor
SIES´2008 Third international symposium on industrial embedded systems, Montpellier - La Grande Motte, France; in: SIES´2008 Third international symposium on industrial embedded systems, 2008, ISBN: 978-1-4244-1995-1, p. 34 - 42
bib details doi

C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz: A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management
Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania; in: Seventh European Dependable Computing Conference (EDCC-7), IEEE Computer Society, 2008, ISBN: 978-0-7695-3138-0, p. 135 - 144
bib details doi

V. Mikolasek, A. Ademaj, S. Racek: Segmentation of Standard Ethernet Messages in the Time-Triggered Ethernet
IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany; in: Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2008, ISBN: 1-4244-1506-3, p. 392 - 399
bib details doi

C. Paukovits, H. Kopetz: Concepts of Switching in the Time-Triggered Network-on-Chip
14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Kaohsiung, Taiwan; in: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2008, ISSN: 1533-2306, p. 120 - 129
bib details doi

H. Kopetz: Wrong Assumptions and Neglected Areas in Embedded Systems Research
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 360
bib details doi

H. Kopetz: The Complexity Challenge in Embedded System Design
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 3 - 12
bib details doi

R. Kirner, P. Puschner: Obstacles in Worst-Case Execution Time Analysis
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 333 - 339
bib details doi

S. Korsholm, M. Schoeberl, A. Ravn: Interrupt Handlers in Java
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 453 - 457
bib details doi

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad: Toward Libraries for Real-time Java
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 458 - 462
bib details doi

M. Schoeberl, C. Thalinger, S. Korsholm, A. Ravn: Hardware Objects for Java
The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; in: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, IEEE Computer Society, 2008, ISBN: 978-0-7695-3132-8, p. 445 - 452
bib details doi

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad: A Modular Worst-case Execution Time Analysis Tool for Java Processors
14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA; in: 14th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2008, ISBN: 978-0-7695-3146-5; 11 pages
bib details doi

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
WCET 2008, Prague, Czech Republic; in: Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008), Österreichische Computer Gesellschaft, 2008, ISBN: 978-3-85403-237-3, p. 149 - 171
bib details

D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec: Generalized instruction selection using SSA-graphs
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Tucson, Arizona, USA; in: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, ACM - Association for Computing Machinery, 2008, ISBN: 978-1-60558-104-0, p. 31 - 40
bib details doi

R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop: Towards a Common WCET Annotation Languge: Essential Ingredients
WCET 2008, Prague, Czech Republic; in: Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008), Österreichische Computer Gesellschaft, 2008, ISBN: 978-3-85403-237-3, p. 53 - 65
bib details

R. Kirner: 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 pages
bib details

W. Elmenreich, G. Klingler: Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled Robot
Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico; in: Sixth Mexican International Conference on Artificial Intelligence, A. Gelbukh, á. Kuri Morales (ed.); IEEE Computer Society, 2007, ISBN: 978-0-7695-3124-3, p. 396 - 406
bib details doi

M. Umlauft, W. Elmenreich (invited): QoS-aware Ant Routing with Colored Pheromones in Wireless Mesh Networks
Self-Organization Workshop at Autonomics '08, Turin, Italien; in: Second International Conference on Autonomic Computing and Communication Systems (AUTONOMICS '08), A. Manzalini et al. (ed.); Acm / Icst, 2008, ISBN: 978-963-9799-34-9; 6 pages
bib details pdf

T. Wilson: Low-Complexity Linear-Feedback Equalization for ATSC DTV
International Conference on Consumer Electronics (ICCE), LasVegas, USA; in: 2008 Digest of Technical Papers International Conference on Consumer Electronics, IEEE, 2008, ISBN: 1-4244-1459-8
bib details

T. Wilson: Baud Rate Symbol Timing Synchronization for 8-VSB ATSC DTV Receivers
ISCE 2007, Dallas, TExas, USA; in: The 11th Annual IEEE International Symposium on Consumer Electronics, IEEE, 2007
bib details

T. Wilson: Robust Baud Rate Blind Equalization for ATSC DTV Receivers
Sixth International Conference on Information, Communication & Signal Processing [ICICS07], Singapore; in: Sixth International Conference on Information, Communication & Signal Processing, IEEE, 2007, ISBN: 1-4244-0983-7
bib details

T. Wilson: Blind Linear Feedback Equalization for ATSC DTV Reception
International Conference on Intelligent & Advanced Systems (ICIAS07), Kuala Lumpur, MALAYSIA; in: ICIAS2007 Conference Proceedings, IEEE, 2007, ISBN: 1-4244-1355-9
bib details

B. Krizan: A unit-test platform for design tools for fault-tolerant real-time systems (Master's Thesis)
reviewers: P. Puschner, R. Kirner; E188-1, 2007
bib details

A. Kadlec, R. Kirner: On the Difficulty of Building a Precise Timing Model for Real-Time Programming
14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; in: 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 2007; 7 pages
bib details pdf

H. Kopetz: Zuverlässige Elektronik-Systeme im Verkehrswesen
Conference of the Academy of Science of Northrhine - Westfalia, Northrhine - Westfalia, Germany; in: Informatik bewegt - Informationstechnik in Verkehr und Logistik, acatech, 2007, ISBN: 978-3-8167-7368-9, p. 55 - 79
bib details

M. Schoeberl: SimpCon - a Simple and Efficient SoC Interconnect
Austrochip, Graz, Austria; in: Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 2007, IEEE Austria Section / TU Graz, 2007, ISBN: 978-3-902465-87-0, p. 153 - 161
bib details

R. Obermaisser, P. Peti: The Fault Assumptions in Distributed Integrated Architectures
SAE 2007 AeroTech Congress & Exhibition, Los Angeles, California, USA; in: Aerospace Safety- Design, Maintenance/Operations, and Safety/Security, SAE, SP-2141 (2007), ISBN: 978-0-7680-1961-2
bib details

R. Obermaisser, D. Riezler: HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol
SAE World Congress & Exhibition, Detroit, MI, USA; in: Proc. of the SAE World Congress & Exhibition, SAE, In-Vehicle Networks, 2007 - SP-2102 (2007), ISBN: 978-0-7680-1892-9
bib details

B. Leiner, M. Schlager, R. Obermaisser, B. Huber: A Comparison of Partitioning Operating Systems for Integrated Systems
SAFECOMP, Nuremberg, Germany; in: Computer Safety, Reliability, and Security, Springer, LNCS Vol 4680 (2007), ISBN: 978-3-540-75100-7, p. 342 - 355
bib details doi

H. Kopetz, R. Obermaisser, C. El Salloum, B. Huber: Automotive Software Development for a Multi-Core System-on-a-Chip
SEAS'07, Minneapolis, USA; in: Fourth International Workshop on Software Engineering for Automotive Systems, IEEE, 2007, ISBN: 978-84-89315-47-1, p. 101 - 113
bib details doi

R. Obermaisser, P. Peti: Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; in: 5th IEEE International Conference on Industrial Informatics (INDIN 2007), IEEE, VOL2 (2007), ISBN: 978-1-4244-0851-1, p. 971 - 976
bib details doi

A. Wasicek, W. Elmenreich: Internet Firewalls in the DECOS System-on-a-Chip Architecture
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; in: Proceedings of the 5th International Conference on Industrial Informatics, IEEE, VOL2 (2007), ISBN: 978-1-4244-0851-1, p. 983 - 988
bib details doi

R. Kirner: On the Halting Problem of Finite-State Programs
14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; in: 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 2007; 6 pages
bib details

B. Rieder, I. Wenzel, K. Steinhammer, P. Puschner: Using a Runtime Measurement Device with Measurement-Based WCET Analysis
International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); in: Embedded System Design: Topics, Techniques and Trends, Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3, p. 15 - 26
bib details doi

R. Obermaisser, H. Kopetz, C. El Salloum, B. Huber: Error Containment in the Time-Triggered System-On-a-Chip Architecture
International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); in: Embedded System Design: Topics, Techniques and Trends, Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3, p. 339 - 352
bib details doi

H. Kopetz: Modeling of Software-Hardware Complexes
International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); in: Embedded System Design: Topics, Techniques and Trends, Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3, p. 431 - 432
bib details doi

K. Steinhammer, A. Ademaj: Hardware Implementation of the Time-Triggered Ethernet Controller
International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); in: Embedded System Design: Topics, Techniques and Trends, Springer, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3, p. 325 - 338
bib details doi

E. Armengaud, A. Steininger, A. Hanzlik: The Effect of Quartz Drift on Convergence-Average based Clock Synchronization
IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Patras; in: Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation, 2007, p. 1123 - 1130
bib details

C. El Salloum: Interface Design in the Time-Triggered System-on-Chip Architecture (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; Technische Informatik, 2008; oral examination: 2008-01-14
bib details

R. Kirner: SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code
International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria; in: Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems, ACM, 2007, ISBN: 978-1-59593-826-8, p. 38 - 42
bib details doi

R. Kirner, M. Schoeberl: Modeling the function cache for worst-case execution time analysis
44th Design Automation Conference (DAC'07), San Diego, California/USA; in: Proceedings of the 44th annual conference on Design automation, ACM, 2007, ISBN: 978-1-59593-627-1, p. 471 - 476
bib details doi

C. Pitter, M. Schoeberl: Time Predictable CPU and DMA Shared Memory Access
17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands; in: 2007 International Conference on Field Programmable Logic and Applications (FPL), IEEE, 07EX1708C (2007), ISBN: 1-4244-1060-6, p. 317 - 322
bib details doi

M. Schoeberl: A Time-Triggered Network-on-Chip
17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands; in: 2007 International Conference on Field Programmable Logic and Applications (FPL), IEEE, 07EX1708C (2007), ISBN: 1-4244-1060-6, p. 377 - 382
bib details doi

W. Puffitsch, M. Schoeberl: picoJava-II in an FPGA
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; in: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, ACM, 2007, 978-59593-813-8, p. 213 - 221
bib details doi

M. Schoeberl: Architecture for object-oriented programming languages
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; in: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, ACM, 2007, 978-59593-813-8, p. 57 - 62
bib details doi

M. Schoeberl, J. Vitek: Garbage collection for safety critical Java
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; in: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, ACM, 2007, 978-59593-813-8, p. 85 - 93
bib details doi

C. Pitter, M. Schoeberl: Towards a Java multiprocessor
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; in: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, ACM, 2007, 978-59593-813-8, p. 144 - 151
bib details doi

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel: WCET Analysis: The Annotation Language Challenge
7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa; in: Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), 2007, p. 77 - 92
bib details

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel: WCET Analysis: The Annotation Language Challenge
7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa, Italy; in: Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis, 2007, p. 83 - 99
bib details

H. Paulitsch, R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: A Diagnostic Unit for the time-triggered System-on-a-Chip architecture
Design, Automation and Test in Europe Conference (DATE'07), Nice, France; in: Workshop Digest, Diagnostic Services in Network-on-Chips, DATE'07, 2007; 2 pages
bib details

C. El Salloum, R. Obermaisser, B. Huber, H. Paulitsch, H. Kopetz: A time-triggered system-on-a-chip architecture with integrated support for diagnosis
Design, Automation and Test in Europe Conference (DATE'07), Nice, France; in: Workshop Digest, Diagnostic Services in Network-on-Chips, DATE'07, 2007; 2 pages
bib details

M. Schoeberl, H. Sondergaard, B. Thomsen, A. Ravn: A Profile for Safety Critical Java
The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; in: 10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC2007), IEEE, 2007, ISBN: 0-7695-2765-5, p. 94 - 101
bib details

R. Kirner, P. Puschner: Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; in: 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07), IEEE, 2007, ISBN: 0-7695-2765-5, p. 87 - 92
bib details

S. Kandl, R. Kirner, P. Puschner: Automated Formal Verification and Testing of C Programs for Embedded Systems
The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; in: 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), IEEE, 2007, ISBN: 0-7695-2765-5, p. 373 - 381
bib details

A. Ademaj, H. Kopetz: Time-Triggered Ethernet and IEEE 1588 Clock Synchronization
2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; in: ISPCS 2007 Proceedings, 2007, ISBN: 1-4244-1064-9; 3 pages
bib details

H. Kopetz: Why do we need a Sparse Global Time-Base in Dependable Real-time Systems?
2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; in: ISPCS Proceedings, 2007, ISBN: 1-4244-1064-9; 5 pages
bib details

W. Steiner: Advancements in Dependable Time-Triggered Communication
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 10 pages
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. Schlager, R. Obermaisser, W. Elmenreich: A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 20 pages
bib details

M. Schoeberl: Mission Modes for Safety Critical Java
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 10 pages
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: A Review on System Architectures for Sensor Fusion Applications
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 12 pages
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Cross-Platform Verification Framework for Embedded Systems
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 12 pages
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. 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
International Conference on Real-Time and Network Systems (RTNS), Nancy, Frankreich; 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, p. 215 - 224
bib details

S. Kandl: Abstraction Techniques for Extracted Automata Models
International Conference on Real-Time and Network Systems (RTNS), Nancy; in: Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07), 2007, p. 35 - 38
bib details

W. Elmenreich, M. Rosenblattl, A. Wolf: Fixed Point Library According to ISO/IEC Standard DTR 18037 for Atmel AVR Processors
5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid; in: Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded Systems, IEEE, 2007, ISBN: 978-84-89315-47-1, p. 101 - 113
bib details doi

B. Huber, R. Obermaisser: Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform
5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid, Spanien; in: Proceedings of the Fifth International Workshop on intelligent Solutions in Embedded Systems, IEEE, 2007, ISBN: 978-84-89315-47-1, p. 151 - 164
bib details doi

P. Jahn, T. Polzer: Graphical Microcontroller Programming (GMCP)
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

G. Klingler, W. Elmenreich: Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

R. Leidenfrost, W. Elmenreich: Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

A. Kößler, M. Hofer, T. Mair, W. Elmenreich: A Platform for Teaching and Research on Distributed Real-Time Systems
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

W. Elmenreich, J.A.T. Machado, I. J. Rudas: Intelligent Systems at the Service of Mankind, Volume II
UBooks Verlag, Augsburg, Deutschland, 2005, ISBN: 3-86608-052-2; 478 pages
bib details

W. Elmenreich, H. Piontek, J. Kaiser: Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study
International Conference on Real-Time and Network Systems (RTNS), Nancy, France; in: Proceedings of the 15th International Conference on Real-Time and Network Systems, Institut National Polytechnique de Lorraine, Nancy, France (2007), ISBN: 2-905267-53-4, p. 195 - 204
bib details

W. Elmenreich, A. Schörgendorfer (invited): Fusion of Continuous-Valued Sensor Measurements using Statistical Analysis
International Symposium on Mathematical Methods in Engineering, Ankara, Turkey; in: Proceedings of the International Symposium on Mathematical Methods in Engineering, K. Tas, D. Baleanu, J.A.T. Machado (ed.); 2006, ISBN: 975-6734-04-3; 10 pages
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

K. Steinhammer: Design of an FPGA-Based Time-Triggered Ethernet System (PhD Thesis)
reviewers: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

J. Trojer: Requirement Classification of Dependable Real-Time Systems (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007
bib details

B. Leiner: A Partitioning Operating System based on RTAI-LXRT Linux (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
bib details

H. Paulitsch: Fault Injection for Diagnosis and Maintenance in the Time-Triggered Architecture (Master's Thesis)
reviewers: H. Kopetz, P. Peti; Institut für Technische Informatik, 2005; oral examination: 2005-01-01
bib details

M. Kirner: Automatic Loop Bound Analysis of Programs written in C (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; oral examination: 2006-01-01
bib details

M. Höller: Gateway Generation for Virtual Networks in the DECOS Integrated Architecture (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
bib details

D. Riezler: Emulating the Programming Interface of Commercial CAN Controllers in a Time-Triggered Environment (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006; oral examination: 2006-01-01
bib details

M. Schlager, E. Erkinger, W. Elmenreich, T. Losert: Benefits and Implications of the DECOS Encapsulation Approach
International IEEE Conference on Intelligent Transportation Systems, Vienna, Austria; in: Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems, IEEE Press, 2005, ISBN: 0-7803-9215-9, p. 13 - 18
bib details

H. Kopetz (invited): Pulsed Data Streams
IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal; in: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings, B. Kleinjohann, L. Kleinjohann, R.J. Machado, C. Pereira, P. Thiagarajan (ed.); Springer, 2006, ISBN: 0-387-39361-7, p. 105 - 114
bib details

H. Kopetz (invited): TTA Supported Service Availability
International Service Availability Symposium, Berlin, Germany; in: Service Availability - Second International Availability Symposium, M. Malek, E. Nett, N. Suri (ed.); Springer, LNCS 3694 (2005), ISBN: 3-540-29103-2, p. 1 - 14
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

S. V. Krywult: Real-Time Communication Systems for Small Autonomous Robots (Master's Thesis)
reviewers: D. Dietrich, S. Mahlknecht, W. Elmenreich; Institut für Computertechnik, 2006
bib details

C. Paukovits: Applying Model-Integrated Computing on Time-Triggered Application Development (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006
bib details

A. Schörgendorfer: Extended Confidence-Weighted Averaging in Sensor Fusion (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006
bib details

B. Huber: Wireless Real-Time Communication for Smart Transducer Networks (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2004
bib details

M. Borovicka: Design of a Gateway for the Interconnection of Real-Time Communication Hierarchies (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser, W. Elmenreich; Institut für Technische Informatik, 2003
bib details

I. Wenzel: Measurement-Based Timing Analysis of Superscalar Processors (PhD Thesis)
reviewers: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

W. Elmenreich, G. Novak, R. Seepold: Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems
TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-06-6; 201 pages
bib details

W. Elmenreich, H. Kaiser: Proceedings of the Junior Scientist Conference 2006
TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-05-8; 359 pages
bib details

M. Schlager, W. Elmenreich, I. Wenzel: Interface Design for Hardware-in-the-Loop Simulation
IEEE International Symposium on Industrial Electronics, Montreal, Canada; in: Proceedings of the 2006 IEEE International Symposium on Industrial Electronics, IEEE Press, Piscataway, NJ, USA (2006), ISBN: 1-4244-0497-5, p. 1554 - 1559
bib details

C. Trödhandl, B. Weiss, T. Handl, M. Proske (invited): Environments for Remote Teaching in Embedded Systems Courses
ERCIM / DECOS Workshop on Dependable Embedded Systems, Cavtat; in: 2006 ERCIM / DECOS Workshop on Dependable Embedded Systems, 2006
bib details

M. Proske, C. Trödhandl, T. Handl: Distance Labs - Embedded Systems @home
Edutainment 2006, Zhejiang; in: Journal of Computational Information Systems, 2006, p. 435 - 444
bib details

M. Proske, C. Trödhandl: Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education
ICTTA06: International Conference on Information & Communication Technologies, Damascus; in: Proceedings of ICTTA 2006, 2006; 6 pages
bib details

M. Proske, C. Trödhandl: Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract
Proceedings of ICTTA 2006, IEEE, 2006, p. 205 - 206
bib details

R. Obermaisser, P. Peti: A Fault Hypothesis for Integrated Architectures
4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; in: Fourth Workshop on Intelligent Solutions in Embedded Systems - WISES06, 2006, ISBN: 3-902463-06-6, p. 47 - 54
bib details

C. El Salloum, A. Steininger, P Tummeltshammer: Recovery Mechanisms for Dual Core Architectures
IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT ), Washington DC, USA; in: 21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2006, Proceedings, 2006, ISBN: 0-7695-2706-x, p. 380 - 388
bib details

C. El Salloum (invited): Naming and Addressing
ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems, Wien
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

D. De Andrés, S. Blanc, P. Gil, A. Ademaj, K. Steinhammer: BUFI: Fault injector for communication buses
IEEE Conference on Dependable Systems and Networks (DSN), Philadelphia, PA, USA; in: IEEE Conference on Dependable Systems and Networks (DSN06), Proceedings, 2006
bib details

P. Grillinger, A. Ademaj, K. Steinhammer, H. Kopetz: Software Implementation of Time-Triggered Ethernet Controller
IEEE International Workshop on Factory Communication Systems, Torino, Italy; in: Workshop on Factory Communication Systems - WFCS 2006, Proceedings, 2006, ISBN: 1-4244-0379-0, p. 145 - 150
bib details

W. Herzner, B. Huber, A. Balogh, G. Csertan: The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-time Systems
SAFECOMP, Gdansk, Poland; in: DECOS/ERCIM Workshop on Dependable Embedded Systems at SAFECOMP 2006, Proceedings, 2006
bib details

K. Steinhammer, H. Kopetz: Time-Triggered Ethernet
Junior Scientist Conference, Vienna, Austria; in: Junior Scientist Conference - JSC 2006, 2006, ISBN: 3-902463-05-8, p. 73 - 74
bib details

A. Kößler, W. Elmenreich: Automated solution evaluation during a practical examination
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006, 2006, ISBN: 3-902463-05-8, p. 35 - 36
bib details

C. Paukovits, W. Elmenreich: Meta-Modelling in Tool Support for Time-Triggered Application Development
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006, 2006, ISBN: 3-902463-05-8, p. 53 - 54
bib details

A. Schörgendorfer, W. Elmenreich: Extended Confidence-Weighted Averaging in Sensor Fusion
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006, 2006, ISBN: 3-902463-05-8, p. 67 - 68
bib details

S. V. Krywult, W. Elmenreich: A Portable Real-Time Communication System for Embedded Systems with Heterogeneous Hardware
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006, 2006, ISBN: 3-902463-05-8, p. 41 - 42
bib details

G. Klingler, A. Kößler, W. Elmenreich: The Smart Car - a distributed controlled autonomous robot
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006, 2006, ISBN: 3-902463-05-8, p. 33 - 34
bib details

R. Pedersen, M. Schoeberl: An Embedded Support Vector Machine
4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; in: Fourth International Workshop on Intelligent Solutions in Embedded Systems, Proceedings, 2006, ISBN: 3-902463-06-6, p. 79 - 89
bib details

R. Pedersen, M. Schoeberl: Exact Roots for a Real-Time Garbage Collector
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France; in: The 4th Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006), Proceedings of, ACM Press (2006), ISBN: 1-59593-544-4, p. 77 - 84
bib details

M. Schoeberl, R. Pedersen: WCET Analysis for a Java Processor
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France; in: The 4th Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006), Proceedsings of, ACM Press, 2006, ISBN: 1-59593-544-4, p. 202 - 211
bib details

C. Trödhandl, M. Proske, W. Elmenreich: Remote Target Monitoring in Embedded Systems Lab Courses using a Sensor Network
The 32nd Annual Conference of the IEEE Industrial Society, Paris; in: The 32nd Annual Conference of the IEEE Industrial Society - IECON'2006, 2006, p. 5433 - 5438
bib details

W. Elmenreich, C. Trödhandl, B. Weiss: Embedded Systems Home Experimentation
Second IASTED International Conference on Education and Technology, Calgary; in: Proceedings of the Second International Conference on Education and Technology, 2006, p. 11 - 15
bib details

G. Gridling, B. Weiss, W. Elmenreich, C. Trödhandl: Embedded Systems Exams With True/False Questions: A Case Study
Second IASTED International Conference on Education and Technology, Calgary; in: Proceedings of the Second International Conference on Education and Technology, 2006, p. 168 - 172
bib details

W. Herzner, M. Schlager, T. Le Sergent, B. Huber, S. Islam, N. Suri, A. Balogh: From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain
International DECOS Workshop, Vienna, Austria; in: Tagungsband, zur Informationstagung Mikroelektronik, 2006, p. 204 - 213
bib details

B. Rumpler, H. Kopetz: Design Comprehension of Time-Triggered Real-Time Systems
Junior Scientist Conference, Vienna, Austria; in: Proceedings of the Junior Scientist Conference 2006 (JSC'06), 2006, p. 63 - 64
bib details

B. Rumpler: Complexity Management for Composable Real-Time Systems
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; in: Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC06), IEEE, 2006, p. 365 - 373
bib details

B. Rumpler, W. Elmenreich: Considerations on the Complexity of Embedded Real-Time System Design Tasks
IEEE International Conference on Computational Cybernetics 2006 (ICCC'06), Talinn, Estonia; in: IEEE International Conference on Computational Cybernetics 2006 (ICCC'06), Proceedings of the, 2006, p. 55 - 60
bib details

P. Puschner (invited): Architecture Support for Temporal Predictability and Composability in Real-Time Computing
4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland; in: 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Proceedings, 2006, p. #1
bib details

S. Kandl, R. Kirner: Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award)
Junior Scientist Conference, Wien; in: Proceedings of the Junior Scientist Conference 2006, 2006
bib details

A. Hanzlik, A. Ademaj: A Composable Algorithm for Clock Synchronization in Multi-Cluster Real-Time Systems
4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; in: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Proceedings of the, 2006
bib details

R. Obermaisser, B. Huber: Model-Based Design of the Communication System in an Integrated Architecture
International Conference on Parallel and and Distributed Computing and Systems (PDCS), Dallas, Texas, USA; in: International Conference on Parallel and Distributed Computing and Systems (PDCS 2006), Proceedings of the, 2006
bib details

M. Schöberl: JOP: A Java Optimized Processor for Embedded Real-Time Systems (PhD Thesis)
reviewers: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005-01-01
bib details

G. Klingler, A. Kößler: Das "Smart Car" - ein verteilt kontrollierter, autonomer Roboter
more@Informatics 2006, Wien
bib details

C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz, N. Suri: Supporting Heterogeneous Applications in the DECOS Integrated Architecture
International DECOS Workshop, Vienna, Austria; in: International DECOS Workshop, 2006
bib details

P. Peti, H. Paulitsch, R. Obermaisser: Investigating Connector Faults in the Time-Triggered Architecture
ETFA, Prague, Czech Republic; in: 11th IEEE International Conference on Emerging Technologies and Factory Automation , Proceedings, 2006
bib details

S. Kandl, R. Kirner, G. Fraser: Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems
3rd International Workshop on Dependable Embedded Systems, Leeds, UK; in: 3rd International Workshop on Dependable Embedded Systems, Proceedings, 2006, p. 17 - 21
bib details

R. Kirner, M. Grössing, P. Puschner: Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup
Euromicro International Workshop on WCET Analysis, Dresden, Germany; in: 6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the, 2006, p. 11 - 16
bib details

A. Ademaj, H. Kopetz, P. Grillinger, K. Steinhammer, M. Prammer: Integration of Predictable and Flexible In-Vehicle Communication using Time-Triggered Ethernet
SAE World Congress, Detroit, USA; in: SAE Worl Congress, SAE International, 2006, ISBN: 0-7680-1763-7
bib details

P. Peti, R. Obermaisser: A Diagnostic Framework for Integrated Time-Triggered Architectures
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; in: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, Proceedings of the, IEEE, 2006, ISBN: 0-7695-2561-x
bib details

P. Puschner, R. Kirner (invited): From Time-Triggered to Time-Deterministic Real-Time Systems
IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal; in: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings, Springer, 2006, ISBN: 0-387-39361-7, p. 115 - 124
bib details

R. Kirner, P. Puschner, I. Wenzel, B. Rieder: Portable Data Exchange for Remote-Testing Frameworks
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; in: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, IEEE, 2006, ISBN: 0-7695-2561-x
bib details

S. Kandl, R. Kirner, P. Puschner: Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems
4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; in: 4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the, 2006
bib details

A. Ademaj, K. Steinhammer, P. Grillinger, H. Kopetz, A. Hanzlik: Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology
19th International Conference on Architecture of Computing systems (ARCS), Frankfurt/Main, Germany; in: 19th International Conference on Architecture of Computing systems (ARCS'06), Proceedings of the, Springer-Verlag, 2006, ISBN: 3-540-32765-7
bib details

B. Huber, R. Obermaisser, P. Peti: MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platform
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; in: Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC'06), IEEE, 2006, ISBN: 0-7695-2561-x
bib details

W. Steiner, H. Kopetz: The Startup Problem in Fault-Tolerant Time-Triggered Communication
IEEE International Conference on Dependable Systems and Networks, Philadelphia, PA, USA; in: International Conference on Dependable Systems and Networks 2006, Proceedings of the, 2006, ISBN: 0-7695-2607-1, p. 35 - 44
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

H. Kopetz (invited): On the Fault Hypothesis for a Safety-Critical Real-Time System
Future Generation Software Architectures in the Automotive Domain, San Diego, USA; in: On the Fault Hypothesis for a Safety-Critical Real-Time System, H. Kopetz (ed.); 2004
bib details

M. Schoeberl: Instruction Cache für Echtzeitsysteme
patent: Österreich, no. 500858, submitted: 2004-08-17, granted: 2006-04-15
bib details

M. Schoeberl: Real-Time Garbage Collection for Java
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; in: Proceedings of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006), IEEE, 2006, ISBN: 0-7695-2561-x, p. 424 - 432
bib details

I. Wenzel: Principles of Timing Anomalies in Superscalar Processors (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003
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

K. Steinhammer, P. Grillinger, A. Ademaj, H. Kopetz: A Time-Triggered Ethernet (TTE) Switch
Design, Automation and Test in Europe Conference (DATE), Munich, Germany; in: Proceedings of the Design, Automation and Test in Europe, 2006, ISBN: 3-9810801-0-6; 6 pages
bib details

M. Schoeberl: A Time Predictable Java Processor
Design, Automation and Test in Europe Conference (DATE), Munich, Germany; in: Proceedings of the Design, Automation and Test in Europe Conference (DATE 2006), 2006, ISBN: 3-9810801-0-6; 6 pages
bib details

U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall: Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster
2005
bib details

P. Peti: Diagnosis and Maintenance in an Integrated Time-Triggered Architecture (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; 182, 2005
bib details

V. Legourski, C. Trödhandl, B. Weiss: A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises
Workshop on Embedded Systems Education, Jersey City; in: Proceedings Workshop on Embedded Systems Education (WESE'05), 2005, p. 44 - 51
bib details

R. Pallierer, M. Horauer, M Zauner, A. Steininger, E. Armengaud, F Rothensteiner: A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
Embedded World 2005, unbekannt, 2005
bib details

E. Armengaud, F Rothensteiner, A. Steininger, R. Pallierer, M. Horauer, M Zauner: A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems
Proceedings International Test Conference 2005, IEEE Computer Society, 2005, ISBN: 0-7803-9039-3, p. 21 - 28
bib details

P. Puschner, R. Kirner: Timing Analysis for Embedded Systems and Time-Predictable Computing
Siemens PSE Technology Day, Vienna, Austria
bib details

K. Kim, W. Recker, W. T. Tsai, H. Kopetz, P. Puschner: DECOS-TADE Collaboration
Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; in: IST-NSF Workshop on Transatlantic Research Agenda on Future Challenges in Embedded Systems Design, Information Society Technologies/National Science Foundation, 2005; 7 pages
bib details

W. Elmenreich, G. Karsai: Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems
Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; in: Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Information Society Technologies/National Science Foundation, 2005; 5 pages
bib details

W. Elmenreich, G. Klingler, A. Kößler, S. V. Krywult: Time-Triggered Smart Transducer Networks
Siemens PSE Technology Day, Vienna, Austria
bib details

C. Paukovits, W. Elmenreich: Model-Integrated Tool Support for Real-Time Embedded Systems
Siemens PSE Technology Day, Vienna, Austria
bib details

W. Elmenreich, C. Paukovits, S. Pitzek: Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks
ETFA, Catania, Italy; in: Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, W. Elmenreich (ed.); IEEE, II (2005), ISBN: 0-7803-9402-x, p. 535 - 541
bib details

W. Elmenreich, S. V. Krywult: A Comparison of Fieldbus Protocols: LIN 1.3, LIN 2.0, and TTP/A
ETFA, Catania, Italy; in: Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation, S. V. Krywult (ed.); IEEE, I (2005), ISBN: 0-7803-9402-x, p. 747 - 753
bib details

S. Pitzek, W. Elmenreich: Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers
ETFA, Catania, Italy; in: Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation, IEEE, I (2005), ISBN: 0-7803-9402-x, p. 799 - 806
bib details

P. Puschner: Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; in: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005, 2005, ISBN: 0-7695-2347-1, p. 205 - 210
bib details

F. Gruian, P. Andersson, K. Kuchcinsky, M. Schoeberl: Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core
ACM Symposium on Applied Computing, Santa Fe, New Mexico; in: Proceedings of the 2005 ACM symposium on Applied computing, ACM Press, 2005, ISBN: 1-58113-964-0, p. 879 - 884
bib details

I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber: Impact of Dependable Software Development
VAST2000 Euroconference, Belgrad, Serbia and Montenegro; in: EUROCON 2005 - The International Conference on "Computer as a Tool", IEEE, 2005, p. 575 - 578
bib details

I. Wenzel, R. Kirner, P. Puschner, B. Rieder: Principles of Timing Anomalies in Superscalar Processors
International Conference on Quality Software (QSIC), Melbourne, Australia; in: Proceedings of the Fifth International Conference on Quality Software, PR2472 (2005), ISBN: 0-7695-2472-9, p. 295 - 303
bib details

R. Obermaisser, P. Peti: Specification and Execution of Gateways in Integrated Architectures
ETFA, Catania, Italy; in: Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation, IEEE, II (2005), ISBN: 0-7803-9402-x, p. 689 - 698
bib details

R. Obermaisser, P. Peti, H. Kopetz: Virtual Networks in an Integrated Time-Triggered Architecture
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; in: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005, 2005
bib details

R. Obermaisser, E. Henrich, K. Kim, H. Kopetz, M. H. Kim: Integration of two Complementary Time-Triggered Technologies: TMO and TTP
International Embedded Systems Symposium, Manaus, Brazil; in: Proceedings of the International Embedded Systems Symposium 2005, Springer, 2005, ISBN: 0-387-27557-6, p. 1 - 12
bib details

M. Schoeberl: Evaluation of a Java Processor
Austrochip, Vienna, Austria; in: Proceedings, Austrochip Mikroelektronik Tagung 2005, 2005, ISBN: 3-901578-13-7
bib details

H. Kopetz, A. Ademaj, P. Grillinger, K. Steinhammer: The Time-Triggered Ethernet (TTE) Design
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; in: Proceedings of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), IEEE Computer Society, 2005, ISBN: 0-7695-2356-0, p. 22 - 33
bib details

R. Kirner, P. Puschner: Classification of WCET Analysis Techniques
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; in: Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC'05), IEEE Computer Society, 2005, ISBN: 0-7695-2356-0, p. 190 - 199
bib details

B. Huber, P. Peti, R. Obermaisser, C. El Salloum: Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture
3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Germany; in: Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05),, 2005, ISBN: 3-902463-03-1, p. 3 - 16
bib details

P. Peti, R. Obermaisser, H. Paulitsch: The Diagnostic Architecture of the PEGASUS Project Car
3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Germany; in: Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), IEEE Catalog Number 05EX1101 (2005), ISBN: 3-902463-03-1, p. 163 - 174
bib details

P. Peti, R. Obermaisser, F. Tagliabo, A. Marino, S. Cerchio: An Integrated Architecture for Future Car Generations
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; in: Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2005, ISBN: 0-7695-2356-0, p. 2 - 13
bib details

P. Peti, R. Obermaisser, A. Ademaj, H. Kopetz: A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture
Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Denver, Colorado; in: Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS) Author(s), 2005, ISBN: 0-7695-2312-9
bib details

R. Obermaisser, P. Peti, H. Kopetz: Virtual Gateways in the DECOS Integrated Architecture
Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Denver, Colorado; in: Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS), 2005, ISBN: 0-7695-2312-9
bib details

P. Peti, R. Obermaisser, H. Kopetz: Out-of-Norm Assertions
IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California; in: Proceedings of the elventh IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2005, ISBN: 0-7695-2302-1, p. 280 - 291
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Measurement-Based Worst-Case Execution Time Analysis
IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; in: Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), IEEE, 2005, ISBN: 0-7695-2357-9, p. 7 - 10
bib details

I. Wenzel, B. Rieder, R. Kirner, P. Puschner: Automatic Timing Model Generation by CFG Partitioning and Model Checking
Conference on Design, Automation and Test in Europe, Munich, Germany; in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), 2005, ISBN: 0-7695-2288-2, p. 606 - 611
bib details

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

I. Smaili: Real-Time Monitoring for the Time-Triggered Architecture (PhD Thesis)
reviewers: P. Puschner, U. Egly; Institut für Technische Informatik, 2004
bib details

S. Pitzek, W. Elmenreich: Configuration and Management of Fieldbus Systems
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7, p. 18-1 - 18-20
bib details

H. Kopetz, G. Bauer, W. Steiner: Dependable Time-Triggered Communication
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7
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

J. Puchinger, G. Raidl, G. Koller: Solving a real-world glass cutting problem
EVOCOP: 4th European Conference on Evolutionary Computation in Combinatorial Optimization, Coimbra, Portugal
bib details

J. Puchinger, G. Raidl: Models and algorithms for three-stage two-dimensional bin packing.
Technical Report TR 186-1-04-04, submitted to EJOR, 2004
bib details

S. Pitzek: Semantic Meta Information for Improving Comprehension of a Smart Transducer Interface
2004
bib details

K. Steinhammer: A TT-Ethernet Switch based on COTS-Components
2004
bib details

P. Puschner: Worst-Case Execution-Time Analysis: Short Summary of Recent Work and Future Trends
2004
bib details

H. Kopetz, G. Bauer, R. Obermaisser, P. Peti, P. Puschner: The Time-Triggered Architecture: Short Summary of Recent Work and Future Trends
2004
bib details

I. Smaili: Monitoring of Distributed Time-Triggered Systems: Case Study
2004
bib details

I. Smaili: Monitoring and Debugging of Real-Time Systems : A Survey
2004
bib details

W. Elmenreich, W. Haidinger, A. Dias, C. Trödhandl, M. Borovicka: Final demonstration of smart sensor interface
2004
bib details

P. Puschner: Proceedings of the 16th Euromicro Conference on Real-Time Systems
IEEE Computer Society Press, Piscataway, NJ, USA, 2004, ISBN: 0-7695-2176-2; 282 pages
bib details

R. Obermaisser: An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; 182, 2003
bib details

H. Kopetz, G. Bauer: Time Triggered Communication Networks
Industrial Information Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-1985-4
bib details

R. Pallierer, M. Horauer, A. Steininger: Monitoring and Fault Injection of X-by-Wire Communication Networks
Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke, Wien; in: Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke, 2004
bib details

M. Horauer, F Rothensteiner, M Zauner, E. Armengaud, A. Steininger, H. Friedl, R. Pallierer: An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol
Austrochip, Wien; in: Austrochip 2004, TU-Wien, 2004, p. 119 - 123
bib details

E. Armengaud, A. Steininger, M. Horauer, R. Pallierer: Design Trade-offs for Systematic Tests of Embedded Communication Systems
IEEE International Conference on Dependable Systems and Networks, Florence, Italy; in: International Conference on Dependable Systems and Networks (DSN 2004), 2004, p. 118 - 119
bib details

E. Armengaud, A. Steininger, M. Horauer, R. Pallierer, H. Friedl: A Monitoring Concept for an Automotive Distributed Network - The FlexRay Example
7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2004), Stara Lesna, Slovakia; in: Proceedings of the 7th Workshop on Design and Diognostics of Electronic Circuits and Systems, 2004, ISBN: 80-969117-9-1, p. 173 - 178
bib details

E. Armengaud, A. Steininger, M. Horauer, R. Pallierer: A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems
IEEE International Workshop on Factory Communication Systems, Vienna,Austria; in: IEEE Workshop on Factory Communication Systems (WFCS 04), IEEE Catalog Number 04TH8777 (2004), ISBN: 0-7803-8734-1, p. 275 - 283
bib details

P. Puschner, T. Nakajima, A. Ghafoor: 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 pages
bib details

H. Kopetz: Composable Embedded Systems
IEEE International Conference on Computational Cybernetics, Vienna, Autria; in: Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004), IEEE, 2004, ISBN: 3-902463-01-5, p. 3
bib details

H. Kopetz (invited): Composition of component services
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Vienna, Austria; in: Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004. (ISORC), IEEE, 2004, ISBN: 0-7695-2124-x, p. 3
bib details

H. Kopetz (invited): An integrated architecture for dependable embedded systems
IEEE Symposium on Reliable Distributed Systems, Florianopolis, Brazil; in: Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004., IEEE, 2004, p. 160 - 161
bib details

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

M. Jankela, W. Puffitsch, W. Huber: Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems
Workshop on Intelligent Solutions in Embedded Systems, Graz, Austria; in: Proceedings of the Second Workshop on Intelligent Solutions im Embedded Systems, 2004, ISBN: 3902463007, p. 117 - 127
bib details

I. Smaili: Using Triggers to Find Significant Events during Monitoring of Real-Time Systems
Workshop on Intelligent Solutions in Embedded Systems, Graz; in: Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems - WISES 2004, 2004, ISBN: 3902463007, p. 37 - 47
bib details

S. Pitzek, P. Puschner: Function Test Environment for Embedded Driver Components
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; in: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), IEEE, 2004, ISBN: 0-7695-2124-x, p. 237 - 244
bib details

W. Steiner, J. Rushby, M. Sorea, G. Pfeifer: Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation
IEEE International Conference on Dependable Systems and Networks, Florence, Italy; in: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004), IEEE, 2004, ISBN: 0-7695-2052-9
bib details

I. Smaili, P. Puschner: Monitoring Data Types in Distributed Real -Time Systems
IEEE International Conference on Computational Cybernetics, Vienna, Austria; in: Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004), 2004, ISBN: 3-902463-01-5, p. 163 - 168
bib details

H. Kopetz, A. Ademaj, A. Hanzlik: Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems
IEEE Real-Time Systems Symposium, Lisbon, Portugal; in: Proceedings of the 25th IEEE International Real-Time Systems Symposium, IEEE, 2004, ISBN: 0-7695-2247-5
bib details

R. Kirner, P. Puschner, I. Wenzel: Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation
Euromicro International Workshop on WCET Analysis, Catania, Italy; in: Proceedings of the, 2004, ISSN: 1166-8687, p. 1 - 4
bib details

T. Losert, W. Elmenreich, M. Schlager: Semi-Automatic Compensation of the Propagation-Delay in Fault-Tolerant Systems
IASTED International Conference on Communications, Internet, and Information Technology (CIIT 2004), US Virgin Islands; in: Proceedings of the Third International Conference on Communications, Internet, and Information Technology (CIIT 2004), ACTA Press, 2004, ISBN: 0-88986-445-4, p. 455 - 460
bib details

K. Hendling, T. Losert, W. Huber, M. Jandl: Interference Minimizing Bandwidth Guaranteed On-Line Routing Algorithm for Traffic Engineering
IEEE International Conference on Networks (2004, 12th ICON), Singapur; in: Proceedings of the IEEE International Conference on Networks (2004, 12th ICON), IEEE, Volume 2 (2004), ISBN: 0-7803-8783-x, p. 497 - 503
bib details

R. Gallo, M. Delvai, W. Elmenreich, A. Steininger: Revision and Verification of an Enhanced UART
IEEE International Workshop on Factory Communication Systems, Vienna, Austria; in: Proceedings of the 2004 IEEE International Workshop on Factory Communication Systems, IEEE, 2004, ISBN: 0-7803-8734-1, p. 315 - 318
bib details

W. Elmenreich, W. Haidinger, J.A.T. Machado: Proceedings of the 2nd IEEE International Conference on Computational Cybernetics
TU Wien, Wien, 2004, ISBN: 3-902463-01-5; 461 pages
bib details

W. Elmenreich, J.A.T. Machado, I. J. Rudas: Intelligent Systems at the Service of Mankind, Volume I
UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3; 444 pages
bib details

B. Rinner, W. Elmenreich: Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems
Technische Universität Graz, Graz, Österreich, 2004, ISBN: 3-902463-00-7; 203 pages
bib details

B. Huber, W. Elmenreich: Wireless Time-Triggered Real-Time Communication
Workshop on Intelligent Solutions in Embedded Systems, Graz, Österreich; in: Proceedings of the 2nd Workshop on Intelligent Solutions in Embedded Systems, 2004, ISBN: 3-902463-00-7, p. 169 - 182
bib details

W. Elmenreich, M. Schlager: Simulation-based Development of Embedded Sensor Fusion Applications
IEEE International Conference on Computational Cybernetics, Wien; in: Proceedings of the 2nd IEEE International Conference on Computational Cybernetics, 2004, ISBN: 3-902463-01-5, p. 147 - 153
bib details

W. Elmenreich, P. Peti: Distributed Sensor Fusion Networks
Intelligent Engineering Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 335 - 347
bib details

W. Elmenreich, R. Kirner: A Robust Certainty Grid Algorithm for Robotic Vision
Intelligent Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 67 - 78
bib details

W. Elmenreich, S. Pitzek, M. Schlager: Modeling Distributed Embedded Applications on an Interface File System
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; in: Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, IEEE Computer Society Press, 2004, ISBN: 0-7695-2124-x, p. 175 - 182
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

P. Puschner: The Single-Path Approach Towards WCET-Analysable Software
IEEE International Conference on Industrial Technology, Maribor, Slovenia; in: Proceedings of IEEE International Conference on Industrial Technology, 2003, p. 699 - 704
bib details pdf

P. Puschner: Algorithms for Dependable Hard Real-Time Systems
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; in: Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003, p. 26 - 31
bib details pdf

W. Steiner, M. Paulitsch, H. Kopetz: Multiple Failure Correction in the Time-Triggered Architecture
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; in: Proceedings of the 9th IEEE International Conference on Object-oriented Real-time Dependable Systems (WDS 2003f), 2003, p. 1 - 8
bib details pdf

J. Fauster, R. Kirner, P. Puschner: Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
International Conference on Embedded Software, Philadelphia, PA, USA; in: Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003), 2003, p. 190 - 205
bib details pdf

J. Gustafsson, B. Lisper, R. Kirner, P. Puschner: Input-Dependency Analysis for Hard Real-Time Software
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; in: Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F), 2003, p. 1 - 8
bib details pdf

H. Kopetz, N. Suri: Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), Hokkaido, Japan; in: Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), 2003, p. 1 - 10
bib details pdf

J. Fabre, T. Losert, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, W. Simmonds: Validation of Fault Tolerance and Timing Properties
2003
bib details pdf

A. Ademaj, G. Bauer, H. Sivencrona, J. Torin: Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology
IEEE International Conference on Dependable Systems and Networks, San Francisco, USA; in: Proceedings of the IEEE International Conference on Dependable Systems and Networks, 2003, p. 123 - 132
bib details pdf

W. Haidinger: Analysis of the CRC Polynomial used in TTP/C
2003
bib details

J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer: Projektbericht Technische Informatik: Seamless Campus
Technical Report 183/1-135, Department of Automation, Technische Universität Wien, 2003
bib details pdf

W. Elmenreich: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems
TU Wien, Vienna, Austria, 2003; 207 pages
bib details pdf

W. Elmenreich, R. Obermaisser, P. Peti: A Model for Reactive Systems Supporting Varying Degrees of Synchrony
IEEE International Conference on Computational Cybernetics, Siofok, Hungary; in: Proceedings of IEEE International Conference on Computational Cybernetics, 2003, ISBN: 963-7154-18-3, p. 275 - 280
bib details pdf

W. Elmenreich: Fault-Tolerant Certainty Grid
ICAR International Conference on Advanced Robotics, Coimbra, Portugal; in: Proceedings of the 11th International Conference on Advanced Robotics, 3 (2003), ISBN: 972-96889-8-2, p. 1576 - 1581
bib details pdf

W. Elmenreich, R. Ipp (invited): Introduction to TTP/C and TTP/A
Workshop on Time-Triggered and Real-Time Communication Systems, Manno, Switzerland; in: Proceedings of the Workshop on Time-Triggered and Real-Time Communication Systems, 2003; 9 pages
bib details

W. Elmenreich, G. Bauer, H. Kopetz (invited): The Time-Triggered Paradigm
Workshop on Time-Triggered and Real-Time Communication Systems, Manno, Switzerland; in: Proccedings of the Workshop on Time-Triggered and Real-Time Communication Systems, 2003; 9 pages
bib details

K. Tindell, H. Kopetz, F. Wolf, R. Ernst: Safe Automotive Software Development
Conference on Design, Automation and Test in Europe, Munich, Germany; in: Proceedings of the Conference on Design, Automation and Test in Europe, 2003, p. 616 - 621
bib details pdf

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

S. Pitzek, W. Elmenreich: Configuration and Management of a Real-Time Smart Transducer Network
IEEE Conference on Emerging Technologies and Factory Automation, Lisbon, Portugal; in: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation, 2003, p. 407 - 414
bib details pdf

R. Kirner, P. Puschner: Transformation of Meta-Information by Abstract Co-Interpretation
7th International Workshop, SCOPES, Vienna, Austria; in: Proceedings of the 7th International Workshop, SCOPES 2003, 2003, p. 298 - 312
bib details pdf

S. Pitzek, P. Puschner: Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, W. Elmenreich (ed.); 2003, p. 85 - 96
bib details pdf

M. Venzke, S. Pitzek: Accessing TTP/A Fieldbus System via Web Services
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, W. Elmenreich (ed.); 2003, p. 69 - 76
bib details pdf

T. Losert: Adding Hard Real-time Capabilities to CORBA
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, W. Elmenreich (ed.); 2003, p. 57 - 66
bib details pdf

M. Schlager: A Simulation Architecture for Time-Triggered Transducer Networks
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, W. Elmenreich (ed.); 2003, p. 39 - 50
bib details pdf

W. Steiner, W. Elmenreich: Automatic Recovery of the TTP/A Sensor/Actuator Network
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutíons in Embedded Systems, W. Elmenreich (ed.); 2003, p. 25 - 37
bib details pdf

R. Kirner, P. Puschner: A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, W. Elmenreich (ed.); 2003, p. 15 - 24
bib details pdf

W. Elmenreich: Intelligent Methods for Embedded Systems
Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; in: Proceedings of the Workshop on Intelligent Solutions in Embedded Systems, 2003, p. 3 - 11
bib details pdf

R. Kirner, P. Puschner: Timing Analysis of Optimised Code
IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; in: Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems, 2003, p. 100 - 105
bib details pdf

M. Delvai, U. Eisenmann, W. Elmenreich: A Generic Architecture for Integrated Smart Transducers
International Conference, FPL 2003, Lissabon, Portugal
bib details pdf

M. Delvai, U. Eisenmann, W. Elmenreich: Intelligent UART Module for Real-Time Applications
Workshop on Intelligent Solutions in Embedded Systems (WISES'03), Wien; in: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, 2003, p. 177 - 185
bib details

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

R. Seemann, F. Bruckner, M. Figl, A. Wagner, K. Schicho, W. Elmenreich: Applying a Real-Time Interface to an Optical Tracking System
Workshop on Augmented Reality in Computer Aided Surgery, Interlaken, Switzerland; in: Proceedings of the Workshop on Augmented Reality in Computer Aided Surgery, 2003, p. 87
bib details pdf

W. Elmenreich, S. Pitzek: Smart Transducers - Principles, Communications, and Configuration
7th IEEE International Conference on Intelligent Engineering Systems (INES), Assuit, Luxor, Egypt; in: Proceedings of the 7th IEEE International Conference on Intelligent Engineering Systems (INES), 2003, p. 510 - 515
bib details pdf

A. Ademaj: Achieving Fail Silence in the Time-Triggered Architecture
6th IEEE International Workshop on Design and diagnostics of Electronics Circuits and Systems (DDECS'03), Poznan, Poland; in: Proceedings of the 6th IEEE Int. Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03), 2003, p. 165 - 170
bib details pdf

P. Puschner: Hard Real-Time Programming is Different
17th International Parallel and Distributed Processing Symposium, Nice, France; in: Proceedings of the 17th IEEE Int'l Parallel and Distributed Processing Symposium, 11th Int'l workshop on Parallel and Distributed Real-Time Systems 2003, 2003, p. 117 - 118
bib details pdf

G. Bauer, H. Kopetz, W. Steiner: The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture
6th International Symposium on Autonomous Decentralized Systems (ISADS 03), Pisa, Italy; in: Proceedings of the Sixth International Symposium on Autonomous Decentralized Systems (ISADS 03), 2003, p. 37 - 44
bib details pdf

P. Puschner, R. Kirner: Avoiding Timing Problems in Real-Time Software
IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; in: Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003, 2003, p. 75 - 78
bib details pdf

R. Kirner, P. Puschner: Discussion of Misconceptions about Worst-Case Execution-Time Analysis
3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; in: Proceedings of the 3rd Euromicro International Workshop on WCET Analysis, 2003, p. 61 - 64
bib details pdf

M. Delvai, W. Huber, P. Puschner, A. Steininger: Processor Support for Temporal Predictability - The SPEAR Design Example
15th Euromicro Conference on Real-Time Systems, Porto, Portugal; in: Proceedings of the 15 Euromicro International Conference on Real-Time Systems, 2003, p. 169 - 176
bib details pdf

M. Paulitsch, W. Steiner: Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems
15th Euromicro Conference on Real-Time Systems, Porto, Portugal; in: Proceedings of the 15th Euromicro Conference on Real-Time Systems, 2003, p. 249 - 256
bib details pdf

W. Steiner: Presentation on Self-stabilization in the Time-Triggered Architecture
2002
bib details pdf

P. Peti: Analysis of the Framework Six Expressions of Interest on Embedded Systems
2002
bib details pdf

R. Kirner: Enforcing Composability for Ubiquitious Computing Systems
2002
bib details pdf

S. Aslam-Mir, W. Haidinger, W. Elmenreich, T. Losert, H. Kopetz: Smart Transducers Interface Specification
2002
bib details pdf

A. Ademaj: Slightly-Off-Specification Failures in the Time-Triggered Architecture
2002
bib details pdf

P. Peti: The Concepts behind Time, State, Component, and Interface - A Literature Survey
2002
bib details pdf

P. Puschner: Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures
2002
bib details pdf

H. Sivencrona, J. Torin, A. Ademaj: Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level
2002
bib details pdf

I. Smaili, A. Ademaj: Setting Break-Points in Distributed Time-Triggered Architecture
2002
bib details pdf

R. Maier, G. Bauer, G. Stöger, S. Poledna: Time-Triggered Architecture: A Consistent Computing Platform
2002
bib details pdf

W. Elmenreich, W. Haidinger, R. Kirner, T. Losert, R. Obermaisser, C. Trödhandl: TTP/A Smart Transducer Programming - A Beginner's Guide
2002
bib details pdf

W. Elmenreich, R. Obermaisser: A Standardized Smart Transducer Interface
2002
bib details pdf

A. Ademaj: A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection
2002
bib details pdf

G. Bauer, H. Kopetz, W. Steiner: Byzantine Fault Containment in TTP/C
2002
bib details pdf

H. Kopetz, R. Obermaisser: Temporal composability
2002
bib details pdf

W. Haidinger: New Node Integration for Master-Slave Fieldbus Networks
RTSG-Seminar, Wien
bib details

S. Pitzek, W. Elmenreich: Managing Fieldbus Systems
2002
bib details pdf

P. Atanassov: Summary of Work and Results of Experimental Assessment of WCET
RTSG-Seminar, Wien
bib details

S. Blanc, A. Ademaj, H. Sivencrona, P. Gil, J. Torin: Three Different Fault Injection Techniques combined to Improve the Detection Efficiency for Time-Triggered Systems
2002
bib details pdf

A. Ademaj, P. Herout, P. Grillinger, J. Hlavicka: Fault Tolerance Evaluation Using two Software Based Fault Injection Methods
2002
bib details pdf

M. Schwarz, C. Eder: NEXT TTA: Gigabit TTP (Workpackage 8)
RTSG-Seminar, Wien
bib details

S. Pitzek: Administration of Scientific Literature with the Paperserver
RTSG-Seminar, Wien
bib details

W. Haidinger: Fehlerkorrigierende Codes
RTSG-Seminar, Wien
bib details

P. Puschner: Making Real-Time Tasks Temporally Predictable
2002
bib details pdf

W. Elmenreich: Achieving Dependability in Time-Triggered Networks by Sensor Fusion
RTSG-Seminar, Wien
bib details

W. Elmenreich: A Robust Certainty Grid for Robotic Vision
RTSG-Seminar, Wien
bib details

R. Bruckner, R. Seemann, W. Elmenreich: Applying a Real-Time Interface to an Optical Tracking System
2002
bib details pdf

S. Pitzek: Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems
RTSG-Seminar, Wien
bib details

C. Eder: Designing a High-Performant Real-Time Architecture Based on COTS Components
RTSG-Seminar, Wien
bib details

P. Peti: The Concepts of Time, State, Component and Interface - A Literature Survey
RTSG-Seminar, Wien
bib details

T. Losert: Introduction to the Hard Real-Time CORBA Project
RTSG-Seminar, Wien
bib details

P. Peti, R. Obermaisser, W. Elmenreich, T. Losert: An Architecture supporting Monitoring and Configuration in Real-Time Smart Transducer Networks
2002
bib details pdf

A. Ademaj: Slightly-Off-Specification Failures in the Time-Triggered Architecture
RTSG-Seminar, Wien
bib details

A. Ademaj: Setting Break-Points in Distributed Time-Triggered Architecture
RTSG-Seminar, Wien
bib details

W. Elmenreich: Sensor Fusion in Time-Triggered Systems
RTSG-Seminar, Wien
bib details

H. Kopetz: Time-Triggered Real-Time Computing
2002
bib details pdf

M. Paulitsch: Fault-Tolerant External Clock Synchronization for Embedded Real-Time Systems
2002
bib details pdf

M. Paulitsch: Research Funding of the European Union
RTSG-Seminar, Wien
bib details

R. Kirner, P. Puschner: International Workshop on SCET Analysis - Summary
2002
bib details pdf

R. Kirner, R. Lang, G. Freiberger, P. Puschner: Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
2002
bib details pdf

P. Peti: Analysis of the FP6 Eol on Embedded Systems
RTSG-Seminar, Wien
bib details

I. Bate, G. Bernat, P. Puschner: Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis
2002
bib details pdf

P. Puschner: Transforming Execution-time Boundable Code into Temporally Predictable Code
2002
bib details pdf

C. Scheidler, U. Virnich, S. Boutin, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos: Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell
2002
bib details pdf

A. Ademaj: Lessons Learned from the FIT Project
RTSG-Seminar, Wien
bib details

M. Schwarz: Implementation of a TTP/C Cluster Based on Commercial Gigabit Ethernet Components
RTSG-Seminar, Wien
bib details

C. Trödhandl: Improving Compilers for Embedded Systems
RTSG-Seminar, Wien
bib details

W. Steiner, M. Paulitsch: The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems
2002
bib details pdf

H. Kopetz: On the Specification of Linking Interfaces in Distributed Real-Time Systems
2002
bib details pdf

W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, M. Paulitsch, C. Trödhandl: Initial Demonstration of Smart Sensor Case Study
2002
bib details pdf

W. Steiner: Self-Stabilization in der TTA
RTSG-Seminar, Wien
bib details

C. Trödhandl, L. Schneider: Interfaces for TTP/A Intercluster Communication and Monitoring
2002
bib details pdf

M. Schwarz: Linux Variants
2002
bib details pdf

J. Puchinger: The Memory Agent: An Attempt to Improve Genetic Algorithms
2002
bib details pdf

R. Kirner: The Programming Language wcetC
2002
bib details pdf

M. Paulitsch, P. Puschner: Non-Interfering Multi-Cluster Clock Synchronization
2002
bib details pdf

R. Pallierer: Validation of Distributed Algorithms in Time-Triggered Systems by Simulation (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2000
bib details pdf

R. Kirner: Integration of Static Runtime Analysis and Program Compilation (Master's Thesis)
reviewer: P. Puschner; Institut für Technische Informatik, 2000
bib details pdf

C. Glawan: Monitoring of Real-Time Operating Systems (Master's Thesis)
reviewers: H. Kopetz, S. Poledna; Institut für Technische Informatik, 2000
bib details

M. Mayer: Design and Implementation of a File-System Based Monitoring Interface for the Time-Triggered Communications Protocol TTP/C under Linux (Master's Thesis)
reviewers: H. Kopetz, T. Galla; Institut für Technische Informatik, 2000
bib details pdf

A. Ademaj: Slightly-Off-Specification Failures in the Time-Triggered Architecture
IEEE International Workshop on High Level Design Validation and Test, Cannes, France; in: Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test, 2002, p. 7 - 12
bib details pdf

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

H. Kopetz: Composability in the Time-Triggered Architecture
SAE International Congress and Exhibition, Detroit, USA; in: Proceedings of the SAE International Congress and Exhibition (2000-01-1382), 2000, p. #
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

G. Bauer, H. Kopetz: Transparent Redundancy in the Time-Triggered Architecture
International Conference on Communications in Computing, Las Vegas, USA; in: Proceedings of the International Conference on Communications in Computing, 2000, p. #
bib details pdf

C. Temple: Identifying Bus Failures in a Time-Triggered Communication System Containing Redundant Communication Channels
International Conference on Communications in Computing, Las Vegas, USA; in: Proceedings of the 2000 International Conference on Communications in Computing (CIC 2000), 2000, p. #
bib details pdf

H. Kopetz: Software Engineering for Real-Time: A Roadmap
International Conference on Future of Software Engineering, Limerick, Ireland; in: Proceedings of the 22nd International conference on Future of Software Engineering (FoSE), 2000, p. #
bib details pdf

G. Bauer, T. Frenning, A.K. Jonsson, H. Kopetz, C. Temple: A Centralized Approach for Avoiding the Babbling-Idiot Failure in the time-Triggered Architecture
ICDSN, New York, USA; in: Proceedings of the ICDSN 2000, 2000, p. #
bib details pdf

H. Kopetz, W. Elmenreich, C. Mack: A Comparison of LIN and TTP/A
IEEE International Workshop on Factory Communication Systems, Porto, Portugal; in: Proceedings of the 3rd IEEE International Workshop on Factory Communication Systems (WFCS 2000), 2000, p. 99 - 107
bib details pdf

G. Bauer, M. Paulitsch: An Investigation of Membership and Clique Avoidance in TTP/C
IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany; in: Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000, p. #
bib details pdf

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

R. Kirner, P. Puschner: Supporting Control-Flow-Dependent Execution Times on WCET Calculation
Deutschsprachige WCET-Tagung, Paderborn, Germany; in: Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung), 2000, p. #
bib details pdf

R. Kirner, P. Puschner: Consideration of Optimizing Compilers in the Context of WCET Analysis
Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; in: Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V., 2000, p. 123 - 126
bib details pdf

P. Atanassov: Estimating the Delay Caused by DRAM Refreshes on the Execution Time of Real-Time Tasks
Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; in: Proceedings of the Informatiktage 2000, Specialized Informatics Congress, Gesellschaft für Informatik e.V., 2000, p. #
bib details pdf

C. Scheidler, P. Puschner, S. Boutin, E. Fuchs, G. Grünsteidl, Y. Papadopoulos, J. Rennhack, U. Virnich: Systems Engineering of Time-Triggered Architectures - The SETTA Approach
IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; in: Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems, 2000, p. 55 - 60
bib details pdf

R. Kirner, R. Lang, P. Puschner, C. Temple: Integrating WCET Analysis into a Matlab/Simulink Simulation Model
IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; in: Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems, 2000, p. 79 - 84
bib details pdf

I. Bate, G. Bernat, G. Murphy, P. Puschner: Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework
International Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea; in: Proceedings of the 7th International conference on Real-Time Computing Systems and Applications, 2000, p. 39 - 48
bib details pdf

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

G. Bauer, H. Kopetz, W. Steiner: Byzantine Fault Containment in TTP/C
International Workshop on Real-Time LANs in the Internet Age, Vienna, Austria; in: Proceedings of the 1st International Workshop on Real-Time LANs in the Internet Age, 2002
bib details pdf

T. Losert: Smart Transducers Interface
OMG Workshop on Embedded & Real-Time Distributed Object Systems, San Francisco, USA
bib details pdf

A. Ademaj: A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection
European Dependable Computing Conference, Tolouse, France; in: Proceedings of the 4th European Dependable Computing Conference, 2002, p. 172 - 190
bib details pdf

H. Sivencrona, J. Torin, A. Ademaj: Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level
IEEE International Conference on Dependable Systems and Networks, Washington DC, USA; in: Proceedings of the International Conference on Dependable Systems & Networks, 2002
bib details pdf

S. Blanc, A. Ademaj, H. Sivencrona, P. Gil, J. Torin: Three Different Fault Injection Techniques Combined to Improve the Detection Efficiency for Time-Triggered Systems
IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems, Brno, Czech Republic; in: Proceedings of the 5th IEEE International Workshop on Design & Diagnostic of Electronic Circuits and Systems, 2002
bib details pdf

W. Steiner: Presentation on Self-stabilization in the Time-Triggered Architecture
Self-Stabilization Seminar, Luminy, France
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

P. Puschner, A. Burns: Writing Temporally Predictable Code
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), San Diego, USA; in: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2002, p. 85 - 91
bib details pdf

W. Elmenreich: Sensor Fusion in Time-Triggered Systems (PhD Thesis)
reviewers: H. Kopetz, E. Gratz; Institut für Technische Informatik, 2002
bib details pdf

M. Paulitsch: Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2002
bib details pdf

G. Bauer: Transparent Fault Tolerance in a Time-Triggered Architecture (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2001
bib details pdf

L Müller: Performance Demonstrator (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002
bib details pdf

S. Pitzek: Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002
bib details pdf

C. Trödhandl: Architectural Requirements for TTP/A Nodes (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002
bib details pdf

C. Eder: Designing a High-Performant Real-Time Architecture Based on COTS-Components (Master's Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2002
bib details pdf

M. Weiskirchner: JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes (Master's Thesis)
reviewer: P. Puschner; Institut für Technische Informatik, 2001
bib details pdf

G. Freiberger: Integration of Worst-Case Execution Time Analysis and C Code Synthesis (Master's Thesis)
reviewers: P. Puschner, R. Lang; Institut für Technische Informatik, 2001
bib details pdf

P. Peti: Monitoring and Configuration of a TTP/A Cluster in an Autonomous Mobile Robot (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

L. Schneider: Real Time Robot Navigation with a Smart Transducer Network (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

R. Kapeller: Design and Implementation of a TTP/A Master and Gateway Controller on a 32-bit Microcontroller (Master's Thesis)
reviewers: H. Kopetz, W. Haidinger; Institut für Technische Informatik, 2001
bib details pdf

R. Obermaisser: Design and Implementation of a Smart Transducer Network (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

W. Steiner: Start-Up of TTP/C: Analysis and Simulation (Master's Thesis)
reviewers: H. Kopetz, M. Paulitsch; Institut für Technische Informatik, 2001
bib details pdf

W. Elmenreich, W. Haidinger, P. Peti, L. Schneider: New Node Integration for Master-Slave Fieldbus Networks
IASTED International Conference on Applied Informatics, Innsbruck, Austria; in: Proceedings of the 20th International Conference on Applied Informatics (AI 2002), 2002, p. 173 - 176
bib details pdf

A. Ademaj, P. Grillinger, J. Hlavicka: Fault Tolerance Evaluation Using two Software Based Fault Injection Methods
International On-Line testing Workshop, France; in: Proceedings of the International On-Line testing Workshop, 2002
bib details pdf

P. Puschner: Making Real-Time Tasks Temporally Predictable
ARTES Real-Time Graduate Student Conference, Uppsala, Sweden; in: Proceedings of the ARTES Real-Time Graduate Student Conference, 2002, p. 7
bib details pdf

I. Bate, G. Bernat, P. Puschner: Java Virtual-Machine Support for Portable Worst-Case Execution-time Analysis
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Washington, DC, USA; in: Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, 2002, p. 83 - 90
bib details pdf

R. Kirner, C. Scheidler, G. Grünsteidl, U. Virnich, S. Boutin, J. Rennhack, R. Lang, M. Pisecky, Y. Papadopoulos: Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell
VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren, Mannheim, Deutschland; in: Tagungsband der VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg, 2002, p. 662 - 676
bib details pdf

T. Losert: Initial Demonstration of Smart Sensor Case Study: Progress Report
Dependable Systems of Systems Plenary Workshop, Malvern, UK
bib details pdf

W. Elmenreich, P. Peti: Achieving Dependability in Time-Triggered Networks by Sensor Fusion
IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; in: Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES), 2002, p. 167 - 172
bib details pdf

W. Elmenreich, L. Schneider, R. Kirner: A Robust Certainty Grid Algorithm for Robotic Vision
IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; in: Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES), 2002
bib details pdf

P. Puschner: Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures
Euromicro International Workshop on WCET Analysis, Vienna, Austria; in: Proceedings of the 2nd Euromicro International Workshop on WCET Analysis, 2002
bib details pdf

S. Pitzek, W. Elmenreich: Managing Fieldbus Systems
Euromicro International Conference, Vienna, Austria; in: Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference, 2002, p. 13 - 16
bib details pdf

S. Bruckner, R. Seemann, W. Elmenreich: Applying a Real-Time Interface to an Optical Tracking System
Euromicro International Conference, Vienna, Austria; in: Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference, 2002, p. 49 - 52
bib details pdf

P. Peti, R. Obermaisser, W. Elmenreich, T. Losert: An Architecture supporting Monitoring and Configuration in Real-Time Smart Transducer Networks
IEEE International Conference on Sensors, Orlando, Florida; in: Proceedings of the First IEEE International Conference on Sensors, 2 (2002), p. 1479 - 1484
bib details pdf

R. Kirner, R. Lang, G. Freiberger, P. Puschner: Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; in: Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02), 2002, p. 31 - 40
bib details pdf

W. Elmenreich, R. Obermaisser: A Standardized Smart Transducer Interface
IEEE International Symposium on Industrial Electronics, L'Aquila, Italy; in: Proceedings of the IEEE International Symposium on Industrial Electronics (ISIE'02), 2002
bib details pdf

H. Kopetz: Time-Triggered Real-Time Computing
IFAC World Congress, Barcelona, Portugal; in: Proceedings of the IFAC World Congress, IFAC Press, 2002
bib details pdf

W. Steiner, M. Paulitsch: The Transition from Asynchronous to Synchronous System Operation: An approach for Distributed Fault -Tolerant Systems
International Conference on Distributed Computing Systems, Vienna, Austria; in: Proceedings of the International Conference on Distributed Computing Systems 2002, 2002, p. 329 - 336
bib details pdf

P. Puschner: Transforming Execution-Time Boundable Code into Temporally Predictable Code
Design and Analysis of Distributed Embedded Systems, B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (ed.); Kluwer Academic Publishers, 2002, p. 163 - 172
bib details pdf

W. Elmenreich, M. Delvai: Time-Triggered Communication with UARTs
IEEE International Workshop on Factory Communication Systems, Västeraas; in: Proceedings of the 4th IEEE International Workshop on Factory Communication Systems, 2002, p. 97 - 104
bib details pdf

T. Losert: Smart Transducers Interface
OMG Technical Meeting, Helsinki, Finland
bib details pdf

A. Ademaj, I. Smaili: Setting Break-Points in Distributed Time-Triggered Architecture
IEEE International Workshop on High Level Design Validation and Test, Cannes, France; in: Proceedings of the 7th Annual IEEE International Workshop on High Level Design Validation and Test, 2002
bib details pdf

R. Kirner: Enforcing Composability for Ubiquitious Computing Systems
The Cabernet Radicals Workshop, Bertinoro, Italy; in: Proceedings of the 7th Cabernet Radicals Workshop, 2002
bib details pdf

R. Schlatterbeck, W. Elmenreich: TTP/A: A Low Cost Highly Efficient Time-Triggered Fieldbus Architecture
SAE World Congress, Detroit, Michigan, USA; in: Proceedings of the SAE World Congress 2001, 2001, p. 1 - 4
bib details pdf

H. Kopetz, G. Bauer, S. Poledna: Tolerating Arbitrary Node Failures in the Time-Triggered Architecture
SAE World Congress, Detroit, MI, USA; in: Proceedings of the SAE 2001 World Congress, 2001
bib details pdf

W. Elmenreich, S. Pitzek: The Time-Triggered Sensor Fusion Model
IEEE International Conference on Intelligent Engineering Systems, Helsinki, Stockholm; in: Proceedings of the 5th IEEE International Conference on Intelligent Engineering Systems (INES), 2001, p. 297 - 300
bib details pdf

G. Bauer, H. Kopetz, P. Puschner: Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture
IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France; in: Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001, p. 333 - 341
bib details pdf

P. Puschner, A. Wellings: A Profile for High-Integrity Real-Time Java Programs
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Magdeburg, Germany; in: Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), 2001, p. 15 - 22
bib details pdf

W. Elmenreich, W. Haidinger, H. Kopetz: Interface Design for Smart Transducers
IEEE Instrumentation and Measurement Technology Conference (IMTC), Budapest, Hungary; in: Proceedings of the IEEE Instrumentation and Measurement Technology Conference (IMTC), Vol. 3 (2001), p. 1642 - 1647
bib details pdf

P. Puschner, G. Bernat: WCET Analysis of Reusable Portable Code
Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; in: Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), 2001, p. 45 - 52
bib details pdf

R. Kirner, P. Puschner: Transformation of Path Information for WCET Analysis during Compilation
Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; in: Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001), 2001, p. 29 - 36
bib details pdf

H. Kopetz: The Three Interfaces of a Smart Transducer
IFAC International Conference on Fieldbus Systems and their Applications, Nancy, France; in: Proceedings of the FeT`2001 - 4th IFAC International Conference on Fieldbus Systems and their Applications, 2001
bib details pdf

H. Kopetz: A Universal Smart Transducer Interface
V Simpósio Brasileiro de Automação Inteligente, Canela, Brasilien; in: Proceedings of the V Simpósio Brasileiro de Automação Inteligente, 2001, p. 1 - 8
bib details pdf

P. Puschner, G. Bernat, A. Wellings: Making Java Hard Real-Time
The Annals of the Marie Curie Fellowship Association (MCFA) Volume II, N. Brambilla, O. Sparagano, L. Deneire (ed.); Marie Curie Fellowship Association, 2002
bib details pdf

W. Elmenreich, S. Pitzek: Using Sensor Fusion in a Time-Triggered Network
Annual Conference of the IEEE Industrial Electronics Society, Denver, Colorado, USA; in: Proceedings of the 27th Annual conference of the IEEE Industrial Electronics Society, 2001, p. 369 - 374
bib details pdf

P. Atanassov, P. Puschner: Impact of DRAM Refresh on the Execution Time of Real-Time Tasks
International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001), Seoul, Korea; in: Proceedings of the International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001), 2001, p. 29 - 34
bib details pdf

P. Atanassov, P. Puschner, R. Kirner: Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis
IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; in: Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001), 2001
bib details pdf

R. Kirner, R. Lang, P. Puschner: WCET Analysis for Systems Modelled in Matlab/Simulink
IEEE Real-Time Systems Symposium, London, United Kingdom; in: Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings, 2001, p. 33 - 36
bib details pdf

R Dobrin, G. Fohler, P. Puschner: Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling
IEEE Real-Time Systems Symposium, London, United Kingdom; in: Proceedings of the 22nd IEEE Real-Time Systems Symposium, 2001, p. 225 - 234
bib details pdf

T. Losert, R. Obermaisser: Wireless Real-Time Communication Technologies: A Comparative Study
IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; in: Proceedings of the IEEE Workshop on Real-Time Embedded Systems, 2001
bib details pdf

H. Kopetz: The Temporal Specification of Interfaces in Distributed Real-Time Systems
International Workshop on Embedded Software, Lake Tahoe, CA, USA; in: Proceedings of the EMSOFT, 2001, p. 223 - 236
bib details pdf

R. Obermaisser, P. Peti, W. Elmenreich, T. Losert: Monitoring and Configuration in a Smart Transducer Network
IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; in: Proceedings of the IEEE Workshop on Real-Time Embedded Systems, 2001
bib details pdf

M. Delvai: Entwicklung eines Mikrokontrollers für das Echtzeitprotokoll TTP/A (Master's Thesis)
reviewers: A. Steininger, W. Elmenreich; Institut für Technische Informatik, 2000
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

H. Kopetz, M. Holzmann, W. Elmenreich: A Universal Smart Transducer Interface: TTP/A
IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA; in: Proceedings of the third IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000), 2000
bib details pdf

W. Elmenreich et al.: Systemnahes Programmieren - C Programmierung unter Unix und Linux
UBooks Verlag, Augsburg, 2002, ISBN: 3-935789-88-1; 290 pages
bib details pdf

K. Hendling, T. Losert, M. Jandl: An Intelligent Interference-Minimizing Routing Algorithm
Intelligent Systems at the Service of Mankind - Volume II, W. Huber (ed.); Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 187 - 204
bib details

T. Losert, W. Huber, K. Hendling, M. Jandl: A CORBA-Based Architecture for Hard Real-Time Systems
Intelligent Systems at the Service of Mankind - Volume II, Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 239 - 254
bib details

T. Losert, W. Huber, K. Hendling, M. Jandl: An Extensible Transport Framework for CORBA with Emphasis on Real-Time Capabilities
Second IEEE International Conference on Computational Cybernetics 2004 (ICCC'04), Vienna, Austria; in: Proceeding of ICCC'04, 2004, ISBN: 3-902463-01-5, p. 155 - 161
bib details