2021W

• Bachelor Thesis for Computer Science and Business Informatics / 182.715 / PR
• Internet of Things / 182.753 / VU
• Operating Systems / 182.709 / UE
• Operating Systems / 182.711 / VO
• Operating Systems (for Electrical Engineering) / 182.737 / VO
• Practical Project in Computer Engineering / 182.716 / PR
• Project Computer Engineering / 182.762 / PR
• Scientific Project Computer Engineering / 182.761 / PR
• Scientific Research and Writing / 193.052 / SE
• Seminar Computer Engineering / 182.760 / SE
• Seminar for PhD students / 182.008 / SE
• Stochastic Foundations of Cyber-Physical Systems / 182.763 / VU

• Distribution Recovery for Invariant Generation of Probabilistic Programs
  2020 – 2024 / Vienna Science and Technology Fund (WWFT)
• Autonomous-Driving Examiner
  2020 – 2023 / Austrian Research Promotion Agency (FFG)
• Personalised Medicine: Multidisciplinary Research Towards IM
  2020 – 2023 / Austrian Science Fund (FWF)
• Automated Design-Operation Continuum Methods for Cyber-Physical Systems of Systems
  2020 – 2022 / European Commission
• Development of a cloud-based prototype for smart / indoor farming applications
  2020 – 2021 / Forschung Burgenland GmbH
• High-dimensional statistical learning: New methods to advance economic and sustainability policies
  2019 – 2023 / Austrian Science Fund (FWF)
• Advanced Sensor and Data Analysis Application for Robotic Arm Systems
  2019 – 2021 / Mechatronic Systemtechnik Gmbh
• Aggregate Farming in the Cloud
  2018 – 2021 / Austrian Research Promotion Agency (FFG)
• Integrated Development 4.0
  2018 – 2021 / European Commission
• COCO: Control Equivalence for Cyber-Physical Models
  2018 – 2020 / Austrian Science Fund (FWF)
• Trustworthy IoT for CPS
  2017 – 2020 / Austrian Research Promotion Agency (FFG)
• Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circiuts
  2013 – 2018 / Austrian Science Fund (FWF)

2021

• Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications / S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta / accepted as talk for: CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas; 2021-12-13 - 2021-12-15; in: "Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control", (2021)
• Online Monitoring of Spatio-Temporal Properties for Imprecise Signals / E. Visconti, E. Bartocci, M. Loreti, L. Nenzi / accepted as talk for: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "Proc. of MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", (2021)
• The Probabilistic Termination Tool Amber / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / accepted as talk for: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021)
• HyperProb: A Model Checker for Probabilistic Hyperproperties / O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour / accepted as talk for: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021)
• Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems / S. Mohammadinejad, J. Deshmukh, L. Nenzi / accepted as talk for: ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis, Australia (Online); 2021-10-18 - 2021-10-22; in: "Proc. of ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis", (2021)
• A Normative Supervisor for Reinforcement Learning Agents / E. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576
• Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems / M. Meiyi, J. Stankovic, E. Bartocci, L. Feng / accepted for publication in ACM Transactions on Embedded Computing Systems 1
• Adaptive Testing for Specification Coverage in CPS Models / E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic / accepted as talk for: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; 2021-07-07 - 2021-07-09; in: "Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems", (2021)
• Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation / M. Platzer, P. Puschner / Talk: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Online; 2021-07-05 - 2021-07-09; in: "33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)", B. Brandenburg (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 196 (2021), ISSN: 1868-8969; 1 - 18
• A Processor Extension for Time-Predictable Code Execution / M. Platzer, P. Puschner / Talk: 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), Daegu, South Korea; 2021-06-01 - 2021-06-03; in: "2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)", C. Ceballos (ed.); IEEE, IEEE (2021), ISSN: 2375-5261; 34 - 42
• Automated Termination Analysis of Polynomial Probabilistic Programs / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518
• CPSDebug: Automatic Failure Explanation in CPS Models / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic / accepted for publication in International Journal on Software Tools for Technology Transfer (2021)
• A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities / M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng / IEEE Internet of Things Journal, 8 (2021), 15; 11793 - 11806
• Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation / L. Treml, E. Bartocci, A. Gizzi / Mathematics (MDPI), 9 (2021), 2

2020

• ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs / E. Bartocci, L. Kovacs, E. Bura / Talk: Vienna Science, Research and Technology Fund - ProbInG, online; 2020-12-14 - 2020-12-15
• An Energy Sustainable CPS/IoT Ecosystem / H. Isakovic, E. Azpiazu Crespo, R. Grosu / accepted as talk for: 1st EAI International Conference on Intelligent Edge Processing for the IoT Era, Braga; 2020-12-02 - 2020-12-04; in: "Edge IoT", Springer, (2020)
• Analysis of Bayesian Networks via Prob-Solvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; 2020-11-30 - 2020-12-04; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing", Springer, 12545 (2020), ISBN: 978-3-030-64275-4; 221 - 241
• Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress / E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl / Talk: 2020 International Conference on Embedded Software (EMSOFT), Singapur; 2020-11-20 - 2020-11-25; in: "2020 International Conference on Embedded Software (EMSOFT)", ACM, (2020), ISBN: 978-1-7281-9196-6; 15 - 17
• Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract / M. Meiyi, E. Bartocci, J. Stankovic, L. Feng / Talk: SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Virtual Event Japan; 2020-11-16 - 2020-11-19; in: "SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems", (2020), 711 - 712
• Probabilistic Hyperproperties with Nondeterminism / E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe / Talk: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Vietnam; 2020-10-19 - 2020-10-23; in: "Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis", 12302 (2020), ISBN: 978-3-030-59151-9; 518 - 534
• Monitoring Spatio-Temporal Properties (Invited Tutorial) / L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti, E. Visconti / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 21 - 46
• MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties / E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi, S. Silvetti / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", L. Nenzi (ed.); Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 417 - 428
• Runtime Verification of Autonomous Driving Systems in CARLA / E. Zapridou, E. Bartocci, P. Katsaros / Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 172 - 183
• An Instruction Filter for Time-Predictable Code Execution on Standard Processors / M. Platzer, P. Puschner / Talk: International Conference on Computer Safety, Reliability, and Security, online; 2020-09-15 - 2020-09-18; in: "International Conference on Computer Safety, Reliability, and Security", Springer Verlag (ed.); Springer, LNCS, volume 12235 (2020), ISBN: 978-3-030-55583-2; 111 - 122
• CPSDebug: a tool for explanation of failures in cyber-physical systems / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore / Talk: Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA; 2020-07-18 - 2020-07-22; in: "Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", ACM, (2020), ISBN: 978-1-4503-8008-9; 569 - 572
• A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits / R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu / Talk: 2020 International Conference on Machine Learning (ICML), Virtual; 2020-07-13 - 2020-07-18; in: "Proceedings of machine learning research, Volume 119: International Conference on Machine Learning (ICML)", (2020), 4082 - 4093
• Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme / M. Lechner, R. Hasani, D. Rus, R. Grosu / Talk: 2020 IEEE International Conference on Robotics and Automation (ICRA), Virtual - Paris France; 2020-05-31 - 2020-08-31; in: "2020 IEEE International Conference on Robotics and Automation (ICRA)", (2020), 5446 - 5452
• Parameter Synthesis for Probabilistic Hyperproperties / E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe / Talk: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19); 2020-05-22 - 2020-05-27; in: "Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming", (2020), 12 - 31
• Towards Dual-Issue Single-Path Code / E. J. Maroun, M. Schöberl, P. Puschner / Talk: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 2020-05-19 - 2020-05-21; in: "Proceedings ISORC 2020", (2020), 176 - 183
• A Real-Time Application with Fully Predictable Task Timing / M. Platzer, P. Puschner / Talk: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 2020-05-19 - 2020-05-21; in: "2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)", (2020), 43 - 46
• Neural simplex architecture / D. Phan, R. Grosu, N. Jansen, N. Paoletti, S. Smolka, S. Stoller / Talk: NASA Formal Methods (NFM), virtuell; 2020-05-11 - 2020-05-15; in: "Neural simplex architecture", Springer, . (2020), ISBN: 978-3-030-55754-6; 97 - 114
• Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / Talk: FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; 2020-04-25 - 2020-04-30; in: "Neural Flocking: MPC-based Supervised Learning of Flocking Controllers", Springer, . (2020), ISBN: 978-3-030-45231-5; 1 - 16
• Mora - Automatic Generation of Moment-Based Invariants / E. Bartocci, L. Kovacs, S. Stankovic / Talk: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; 2020-04-25 - 2020-04-30; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 12078 (2020), ISBN: 978-3-030-45189-9; 492 - 498
• SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities / M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng / Talk: Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia; 2020-04-21 - 2020-04-25; in: "Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems", IEEE, (2020), ISBN: 978-1-7281-5502-9; 51 - 62
• A Methodology for Resilient Control and Monitoring in Smart Grids / D. Hauer, D. Ratasich, L. Krammer, A. Jantsch / Talk: 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires; 2020-02-26 - 2020-02-28; in: "2020 IEEE International Conference on Industrial Technology (ICIT)", IEEE, (2020), ISSN: 2643-2978; 589 - 594
• A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes / X. Xu, Z. Yu, J. Zeng, W. Xiong, Y. Hu, G. Wang / SCIENCE CHINA Information Sciences, . (2020), ##
• Plug-and-play supervisory control using muscle and brain signals for real-time gesture and error detection / J. DelPreto, A. Salazar-Gomez, S. Gil, R. Hasani, F. Guenther, D. Rus / Autonomous Robots, 44 (2020), 1303 - 1322
• Neural Circuit Policies Enabling Auditable Autonomy / M. Lechner, R. Hasani, A. Amini, T. Henzinger, D. Rus, R. Grosu / Nature Machine Intelligence, 2 (2020), 642 - 652
• Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems / F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani / IEEE Access, 8 (2020), 8; 180825 - 180843
• Mining Shape Expressions from Positive Examples / E. Bartocci, J. Deshmukh, F. Gliger, C. Mateis, D. Nickovic, X. Qin / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3809 - 3820
• Asynchronous vs. synchronous interfacing to time-triggered communication systems / P. Puschner, R. Kirner / Journal of Systems Architecture, 103 (2020)
• V-Formation via Model Predictive Control / R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang / ArXiv, . (2020), 33 pages
• ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks / R. Grosu / ArXiv, . (2020), 9 pages
• Learning Distributed Controllers for V-Formation / S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / ArXiv, . (2020), 10 pages
• Liquid Time-constant Networks / R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu / ArXiv, . (2020), 25 pages
• Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule / X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, R. Grosu / Multidisciplinary Digital Publishing Institute (MDPI), . (2020), 22(7); 25 pages
• Lagrangian Reachtubes: The Next Generation / S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu / ArXiv, . (2020)
• On The Verification of Neural ODEs with Stochastic Guarantees / S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu / ArXiv, . (2020), 12 pages
• A Distributed Simplex Architecture for Multi-Agent Systems / U. Mehmood, S. Stoller, R. Grosu, S. Roy, A. Damare / ArXiv, . (2020), 17 pages

2019

• Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics / I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta / Talk: 2019 IEEE Conference on Decision and Control (CDC), Nice, France; 2019-12-11 - 2019-12-13; in: "Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control", IEEE, (2019)
• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops / E. Bartocci, L. Kovacs, S. Stankovic / Talk: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; 2019-10-28 - 2019-10-31; in: "Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis", 11781 (2019), 255 - 276
• Sensyml: Simulation Environment for large-scale IoT Applications / H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic / Talk: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; 2019-10-14 - 2019-10-18; in: "IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society", IEEE Xplore, (2019), ISBN: 978-1-7281-4878-6; 3024 - 3030
• Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting / P. Piho, F. Margetiny, E. Bartocci, R. Ribchester, J. Hillston / Talk: 17th International Conference on Computational Methods in Systems Biology, Trieste; 2019-09-18 - 2019-09-20; in: "Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology", 11773 (2019), 120 - 139
• Automatic Failure Explanation in CPS Models / E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic / Talk: 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; 2019-09-18 - 2019-09-20; in: "Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods", 11724 (2019), 69 - 86
• Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty / H. Kong, E. Bartocci, Y. Jiang, T. Henzinger / Talk: 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; 2019-08-27 - 2019-08-29; in: "Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems", 11750 (2019), 123 - 141
• Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary; 2019-07-14 - 2019-07-19; in: "2019 IEEE International Joint Conference on Neural Networks (IJCNN)", (2019), ISSN: 2161-4407; 1 - 8
• CPS/IoT Ecosystem: Indoor Vertical Farming System / H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", IEEE Xplore, (2019), ISSN: 0747-668x; 47 - 52
• Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / C. Hirsch, E. Bartocci, R. Grosu / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747-668x; 97 - 102
• Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time / D. Ratasich, M. Platzer, R. Grosu, E. Bartocci / Talk: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; 2019-06-16 - 2019-06-20; in: "2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)", IEEE, (2019), 23 - 32
• Composable Component Interfaces for Time-Triggered Systems / P. Puschner, B. Frömel / Talk: 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2019-06-10 - 2019-06-14; in: "8th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2019), 4 pages
• Designing Worm-inspired Neural Networks for Interpretable Robotic Control / M. Lechner, R. Hasani, Z. Zimmer, T. Henzinger, R. Grosu / Talk: 2019 International Conference on Robotics and Automation (ICRA), Montreal, Canada; 2019-05-20 - 2019-05-24; in: "Robotics and Automation (ICRA), IEEE International Conference on", (2019), 87 - 94
• Interfacing to Time-Triggered Communication Systems / P. Puschner, R. Kirner / Talk: IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; 2019-05-07 - 2019-05-09; in: "Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)", IEEE, (2019), ISSN: 2375-5261; 8 pages
• TOOLympics 2019: An Overview of Competitions in Formal Methods / E. Bartocci, D. Beyer, P. Black et al. / Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 3 - 24
• International Competition on Runtime Verification (CRV) / E. Bartocci, Y. Falcone, G. Reger / Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic (invited); 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 41 - 49
• A Machine Learning Suite for Machine Components´ Health-Monitoring / R. Hasani, G. Wang, R. Grosu / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii, USA; 2019-01-29 - 2019-01-31; in: "33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019", (2019), ISSN: 2374-3468; 9472 - 9477
• Statistical model checking / A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu / in: "Computing and Software Science", Springer LNCS, 2019, 478 - 504
• Simplicity is Complex / H. Kopetz / Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
• From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
• A generative neural network model for the quality prediction of work in progress products / G. Wang, A. Ledwoch, R. Hasani, R. Grosu, A. Brintrup / Applied Soft Computing, 85 (2019), ##
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans / A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka / Theoretical Computer Science, . (2019), 765; 158 - 169
• Under the Hood of a Stand-Alone Lagrangian Reachability Tool / S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu / EPiC Series in Computing, . (2019), 61; 211 - 219
• Quantitative Regular Expressions for Arrhythmia Detection / H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), 5; 1586 - 1597
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 / E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al. / International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 31 - 70
• Parallel reachability analysis of hybrid systems in XSpeed / A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu / International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 401 - 423
• A survey of challenges for runtime verification from advanced application domains (beyond software) / C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss / Formal Methods in System Design, 54 (2019), 3; 279 - 335
• Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems / A. Lukina, A. Tiwari, S. Smolka, R. Grosu / in: "SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing", Association for Computing Machinery, New YorkNYUnited States, 2019, ISBN: 978-1-4503-5933-7, ##
• Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial) / N. TaheriNejad, P. Lewis, A. Jantsch, A. Rahmani, L. Esterle / in: "2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W)", IEEE, Umea, 2019, ISBN: 978-1-7281-2406-3, 259 - 260
• Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models / X. Xu, Z. Zao, X. Xu, J. Yang, L. Chang, X. Yan, G. Wang / Knowledge-Based Systems, 190 (2019)
• A Nonparametric Bayesian Model for Sparse Temporal Multigraphs / E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson / ArXiv, . (2019), 12 pages
• Sequential Edge Clustering in Temporal Multigraphs / E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson / ArXiv, . (2019), 6 pages
• Neural Simplex Architecture / D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller / ArXiv, . (2019)
• Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / ArXiv, . (2019)
• A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems / D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci / IEEE Access, 7 (2019), 1; 24 pages

2018

• Tight Continuous-Time Reachtubes for Lagrangian Reachability / J. Cyranka, A. Islam, S. Smolka, S. Gao, R. Grosu / Talk: 57th IEEE Conference on Decision and Control, Miami, Florida, USA; 2018-12-17 - 2018-12-19; in: "57th IEEE Conference on Decision and Control", IEEE, 2018 IEEE Conference on Decision and Control (CDC) (2018), ISSN: 2576-2370; 6854 - 6861
• Backward Invariance for Linear Differential Algebraic Equations / S. Tognazzi, M. Tribastone, M. Tschaikowski, A. Vandin / Talk: 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA; 2018-12-17 - 2018-12-19; in: "57th IEEE Conference on Decision and Control", M. Egerstedt, A. Teel (ed.); IEEE, Miami Beach, FL, USA (2018)
• A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks / H. Mahyar, R. Hasheminezhad, E. Ghalebi, R. Grosu, H. Stanley / Talk: COMPLEX NETWORKS 2018: 7th International Conference on Complex Networks and Their Applications, Cambridge, United Kingdom; 2018-12-11 - 2018-12-13; in: "Complex Networks and Their Applications VII", Springer, (2018), ISBN: 978-3-030-05413-7; 91 - 103
• Generative Adversarial Networks for Clustering Semiconductor Wafer Maps / H. Mahyar, P. Tulala, H. Rabiee, R. Grosu / Poster: ML for Systems Workshop at NIPS 2018, Montreal, Canada; 2018-12-08; in: "Proc. of ML for Systems Workshop", ML for Systems, (2018)
• Dynamic Network Model from Partial Observations / E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec / Poster: Neural Information Processing Systems (NIPS 2018), Montreal, Canada; 2018-12-03 - 2018-12-08; in: "Advances in Neural Information Processing Systems 31 (NIPS 2018)", Advances in Neural Information Processing Systems 31, (2018)
• Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus / Talk: Workshop on Interpretability and Robustness in Audio, Speech, and Language (IRASL) at NIPS 2018, Montreal, Canada; 2018-12-02 - 2018-12-09; in: "Proceedings of the NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop", NIPS 2018, (2018)
• Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) / E. Bartocci / Talk: Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; 2018-11-10 - 2018-11-13; in: "Proc. of RV 2018: the 18th International Conference on Runtime Verification", 11237 (2018), 35 - 42
• RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction) / E. Bartocci, Y. Falcone / Talk: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; 2018-11-05 - 2018-11-09; in: "Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice", Springer International Publishing, 11247 (2018), 3 - 8
• Production Tests Coverage Analysis in the Simulation Environment / N. Manjunath, D. Haerle, C. Manthey, M. Väänänen, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, R. Grosu, D. Nickovic / Talk: International Test Conference, Phoenix, Arizona, USA; 2018-10-28 - 2018-11-02; in: "ITC'18, the International Test Conference", IEEE, 2018 IEEE International Test Conference (ITC) (2018), ISSN: 2378-2250; 1 - 7
• Neural State Classification for Hybrid Systems / D. Phan, N. Paoletti, T. Zhang, R. Grosu, S. Smolka, S. Stoller / Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", Springer, 11138 (2018), ISBN: 978-3-030-01089-8; 422 - 440
• Signal Convolution Logic / S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi / Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", 11138 (2018), 267 - 283
• CPS/IoT Ecosystem: A Platform for Research and Education / H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu / Talk: 14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; 2018-10-04 - 2018-10-05; in: "Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)", R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, (2019), ISBN: 978-3-030-23702-8
• Parameter-Independent Strategies for pMDPs via POMDPs / S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova / Poster: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 53 - 70
• Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis / L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin / Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Quantitative Evaluation of Systems - 15th International Conference", A. McIver, A. Horvath (ed.); Springer, Beijing, China (2018), ISBN: 978-3-319-99153-5; 104 - 121
• A Robust Genetic Algorithm for Learning Temporal Specifications from Data / L. Nenzi, S. Silvetti, E. Bartocci, L. Bortolussi / Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 323 - 338
• Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes / H. Kong, E. Bartocci, T. Henzinger / Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 449 - 467
• A Counting Semantics for Monitoring LTL Specifications over Finite Traces / E. Bartocci, R. Bloem, D. Nickovic, F. Roeck / Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 547 - 564
• Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments / M. Lechner, R. Hasani, R. Grosu / Talk: Workshop on Explainable Artificial Intelligence (XAI2018) at IJCAI-ECAI 2018, Stockholm, Sweden; 2018-07-13 - 2018-07-18; in: "Proceedings of the 2nd Workshop on Explainable Artificial Intelligence", IJCAI-ECAI 2018, (2018), 79 - 84
• Verifying nonlinear analog and mixed-signal circuits with inputs / C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid / Talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 - 2018-07-13; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFAC-PapersOnLine, 51 / 16 (2018), 241 - 246
• Unsupervised Wafermap Patterns Clustering via Variational Autoencoders / P. Tulala, H. Mahyar, E. Ghalebi, R. Grosu / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brazil; 2018-07-08 - 2018-07-13; in: "Proc. of IJCNN 2018: International Joint Conference on Neural Networks", IEEE, (2018), ISSN: 2161-4407; 1 - 8
• Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection / J. DelPreto, A. Salazar-Gomez, S. Gil, R. Hasani, F. Guenther, D. Rus / Talk: Robotics: Science and Systems, Pittsburgh, Pennsylvania, USA; 2018-06-26 - 2018-06-30; in: "Robotics: Science and Systems XIV", Robotics: Science and Systems Foundation, 14 (2018), ISBN: 978-0-9923747-4-7
• Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems / R. Hasani, B. Kulnik, D. Haerle, R. Grosu / Talk: 9th International Workshop on Frontiers in Analog CAD at ASYNC 2018, Vienna, Austria; 2018-05-16 - 2018-05-17; in: "Proceedings of the 9th International Workshop on Frontiers in Analog CAD", (2018)
• A multi-bias recurrent neural network for modeling milling sensory data / G. Wang, M. Ben Sassi, R. Grosu / Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "Proc. of ICPS 2018: 1st IEEE International Conference on Industrial Cyber-Physical Systems", IEEE, (2018), ISBN: 978-1-5386-6531-2; 71 - 78
• Self-Healing by Property-Guided Structural Adaptation / D. Ratasich, T. Preindl, K. Selyunin, R. Grosu / Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018)", IEEE, (2018), ISBN: 978-1-5386-6531-2; 199 - 205
• Localizing Faults in Simulink/Stateflow Models with {STL} / E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic / Talk: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal; 2018-04-11 - 2018-04-13; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)", (2018), 197 - 206
• Resilient Control and Safety for Cyber-Physical Systems / A. Lukina, A. Tiwari, S. Smolka, L. Esterle, J. Yang, R. Grosu / Talk: 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal; 2018-04-10; in: "3rd Workshop on Monitoring and Testing of Cyber-Physical Systems", IEEE, (2018), 16 - 17
• Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements / C. Hirsch, M. Redl, R. Grosu / Talk: Workshop on Smart Farming, Porto, Portugal; 2018-04-10
• Declarative vs Rule-based Control for Flocking Dynamics / U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang, S. Smolka / Talk: 33rd ACM Symposium On Applied Computing, Pau, France; 2018-04-09 - 2018-04-13; in: "Proc. of SAC'18, the 33rd ACM Symposium On Applied Computing", ACM, (2018), ISBN: 978-1-4503-5191-1; 816 - 823
• Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications / E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan / in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 135 - 175
• Introduction to Runtime Verification / E. Bartocci, Y. Falcone, A. Francalanza, G. Reger / in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 1 - 33
• A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform / H. Isakovic, R. Grosu / in: "Solutions for Cyber-Physical Systems Ubiquity", 1; issued by: IGI Global; IGI Global, Hershey PA, USA 17033, 2018, (invited), ISBN: 9781522528456, 169 - 194
• Lectures on Runtime Verification - Introductory and Advanced Topics / E. Bartocci, Y. Falcone / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
• Identifying central nodes for information flow in social networks using compressive sensing / H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H. Rabiee / Social Network Analysis and Mining, 8 (2018), 33
• OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans / G. Sarma, C. Lee, T. Portegys, V. Ghayoomie, T. Jacobs, B. Alicea, M. Cantarelli, M. Currie, R. Gerkin, S. Gingell, P. Gleeson, R. Gordon, R. Hasani, G. Idili, S. Khayrulin, D. Lung, A. Palyanov, M. Watts, S. Larson / Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018), 1758
• c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans / P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson / Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018), 1758
• Quantitative monitoring of STL with edit distance / S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic / Formal Methods in System Design, 53 (2018), 1; 83 - 112
• An algebraic framework for runtime verification / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (2018), 11; 2233 - 2243
• A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks / E. Bartocci, E. Aydin Gol, I. Haghighi, C. Belta / IEEE Transactions on Control of Network Systems, 5 (2018), 1; 308 - 320
• OpenUAV: A UAV Testbed for the CPS and Robotics Community / M. Schmittle, A. Lukina, L. Vacek, J. Das, C. P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, V. Kumar / in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 130 - 139
• Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO / A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C. P. Buskirk, J. Sztipanovits, R. Grosu, V. Kumar / in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 353 - 354
• Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) / E. Bartocci, P. Lio, N. Paoletti / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), 4; 1122 - 1123

2017

• Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording / M. Fuchs, Z. Zimmer, R. Grosu, R. Hasani / Poster: Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-08; in: "Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 6 pages
• A Simplified Cell Network for the Simulation of C. elegans´ Forward Crawling / D. Lung, S. Larson, A. Palyanov, S. Khayrulin, P. Gleeson, Z. Zimmer, R. Grosu, R. Hasani / Poster: Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-08; in: "Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 5 pages
• Worm-level Control through Search-based Reinforcement Learning / M. Lechner, R. Grosu, R. Hasani / Talk: Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-04 - 2017-12-09; in: "Proceedings of the Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 5 pages
• SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems / F. Shmarov, N. Paoletti, E. Bartocci, S. Li, S. Smolka, P. Zuliani / Talk: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; 2017-11-15 - 2017-11-17; in: "Proc. of HVC 2017: the 13th IBM Haifa Verification Conference", Springer, 10629 (2017), 131 - 146
• Attacking the V: On the Resiliency of Adaptive-Horizon MPC / A. Tiwari, S. Smolka, L. Esterle, A. Lukina, J. Yang, R. Grosu / Talk: 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, Pune, India; 2017-10-03 - 2017-10-06; 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; 446 - 462
• Monitoring Mobile and Spatially Distributed Cyber-Physical Systems / E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi / Talk: MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 2017-09-29 - 2017-10-02; in: "Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design", ACM, (2017), 146 - 155
• Quantitative Regular Expressions for Arrhythmia Detection Algorithms / H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu / Talk: CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; 2017-09-27 - 2017-09-29; in: "Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology", Springer, 10545 (2017), 23 - 39
• A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC2 / 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 / Talk: SAFECOMP 2017 DECSoS, Trento (invited); 2017-09-12 - 2017-09-15; in: "Computer Safety, Reliability, and Security", Lecture Notes in Computer Science / Springer, Volume 10486 (2017), ISBN: 978-3-319-66284-8; 124 - 140
• A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage / M. Baldi, E. Bartocci, F. Chiaraluce, A. Cucchiarelli, L. Senigagliesi, L. Spalazzi, F. Spegni / Talk: QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Berlin, Germany; 2017-09-05 - 2017-09-07; in: "Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems", Springer, 10503 (2017), ISBN: 978-3-319-66335-7; 123 - 139
• Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans / R. Hasani, M. Fuchs, V. Beneder, R. Grosu / Talk: Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; 2017-08-21; in: "Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017", (2017), 5 pages
• SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans / R. Hasani, V. Beneder, M. Fuchs, D. Lung, R. Grosu / Talk: Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, Sydney, Australia; 2017-08-10; in: "Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017", (2017), 5 pages
• Lagrangian Reachabililty / J. Cyranka, A. Islam, G. Byrne, P. Jones, S. Smolka, R. Grosu / Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 - 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification", Springer, 10426 (2017), ISBN: 978-3-319-63387-9; 379 - 400
• Runtime Monitoring with Recovery of the SENT Communication Protocol / K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu / Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 - 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification", Springer, 10426 (2017), 336 - 355
• A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics / M. Ben Sassi, E. Bartocci, S. Sankaranarayanan / Talk: IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Toulouse, France; 2017-07-09 - 2017-07-14; in: "IFAC 2017: the 20th World Congress of the International Federation of Automatic Control", Elsevier, 50 (1) (2017), 10462 - 10469
• Best Practice for Caching of Single-Path Code / M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner / Talk: 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; 2017-06-27; in: "Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)", Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6; 1 - 12
• A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems / D. Phan, J. Yang, M. Clark, R. Grosu, J. Schierman, S. Smolka, S. Stoller / Talk: Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, Zaragoza, Spain; 2017-06-25 - 2017-06-30; in: "Application of Concurrency to System Design (ACSD), 2017 17th International Conference on", (2017), ISBN: 978-1-5386-2868-3; 49 - 58
• Towards Deterministic and Stochastic Computations with Izhikevich Spiking Neuron Model / R. Hasani, G. Wang, R. Grosu / Talk: IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; 2017-06-14 - 2017-06-17; 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; 392 - 402
• Computing with Biophysical and Hardware-efficient Neural Models / K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu / Talk: IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; 2017-06-14 - 2017-06-17; in: "Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence", Springer, 10305 (2017), 535 - 547
• Error detection based on execution-time monitoring / D. Steiner, P. Puschner / Talk: 6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro; 2017-06-11 - 2017-06-15; in: "Proceedings 6th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2017), ISBN: 978-1-5090-6742-8; 5 pages
• A Self-Healing Framework for Building Resilient Cyber-Physical Systems / D. Ratasich, O. Höftberger, H. Isakovic, M. Shafique, R. Grosu / Talk: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 2017-05-16 - 2017-05-18; in: "Real-Time Distributed Computing (ISORC), 2017 IEEE 20th International Symposium on", IEEE, (2017), ISBN: 978-1-5386-1574-4; 133 - 140
• Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy / B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner / Talk: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 2017-05-16 - 2017-05-18; in: "Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017)", IEEE, (2017), ISBN: 978-1-5386-1574-4; 76 - 83
• Compositional Neural-Network Modeling of Complex Analog Circuits / R. Hasani, D. Haerle, C. Baumgartner, A. Lomuscio, R. Grosu / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Anchorage, Alaska, USA; 2017-05-14 - 2017-05-19; in: "Proceedings of the 2017 International Joint Conference on Neural Networks", (2017), ISSN: 2161-4407; 2235 - 2242
• SEA-PARAM: Exploring Schedulers in Parametric MDPs / S. Arming, E. Bartocci, A. Sokolova / Talk: QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; 2017-04-23; in: "Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems", EPCTS, 250 (2017), 25 - 38
• ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans / A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu / Talk: TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; 2017-04-22 - 2017-04-29; in: "Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 10206 (2017), 286 - 302
• A Novel Bayesian Network-Based Fault Prognostic Method for Semiconductor Manufacturing Process / G. Wang, R. Hasani, Z. Yungang, R. Grosu / Talk: 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; 2017-03-22 - 2017-03-25; 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; 1450 - 1454
• Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study / T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu / in: "Solutions for Cyber-Physical Systems Ubiquity", 1; N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); issued by: IGI Global; IGI Global, Hershey, Pennsylvania, USA, 2017, ISBN: 9781522528456, 137 - 168
• Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles / D. Phan, J. Yang, R. Grosu, S. Smolka, S. Stoller / Formal Methods in System Design, 51 (2017), 1; 62 - 86
• Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability / A. Murthy, A. Islam, S. Smolka, R. Grosu / Nonlinear Analysis: Hybrid Systems, 23 (2017), 2; 272 - 286
• Gaussian convex evidence theory for ordered and fuzzy evidence fusion / Y. Zhu, H. Duan, X. Wang, B. Zhou, G. Wang, R. Grosu / Journal of Intelligent & Fuzzy Systems, 33 (2017), 5; 2843 - 2849
• ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks / G. Wang, M. Ben Sassi, R. Grosu / Canadian Journal of Electrical and Computer Engineering, 40 (2017), 3; 210 - 216
• Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes / E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti / Performance Evaluation, 116 (2017), 84 - 100
• A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres / Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, G. Wang / Sensors, 17 (2017), 9

2016

• Applying Runtime Monitoring for Automotive Electronic Development / K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 462 - 469
• Quantitative Monitoring of STL with Edit Distance / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 201 - 218
• Parallel Reachability Analysis for Hybrid Systems / A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray / Talk: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 2016-11-18 - 2016-11-20; in: "Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016", (2016), 12 - 22
• Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks / G. Wang, R. Grosu / Talk: S2M'16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal; 2016-10-20 - 2016-10-22; in: "Proceedings of S2M'16, the International Conference on Sustaniable Smart Manufacturing", Taylor & Francis, (2016)
• Discrete Abstraction of Multiaffine Systems / H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling / Talk: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Grenoble, France; 2016-10-20 - 2016-10-21; 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; 128 - 144
• Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) / E. Bartocci, Y. Falcone / Talk: 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 (invited); 2016-10-10 - 2016-10-14; 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; 333 - 338
• The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems / T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin / Talk: 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 (invited); 2016-10-10 - 2016-10-14; 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; 371 - 379
• Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems / K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu / Talk: 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; 2016-10-10 - 2016-10-14; 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; 46 - 61
• Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans / A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka / Talk: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; 2016-10-07 - 2016-10-08; in: "18th IEEE International High-Level Design Validation and Test Workshop", IEEE, (2016), ISSN: 2471-7827; 170 - 177
• Investigations on the Nervous System of Caenorhabditis elegans / R. M. Hasani, L. Esterle, R. Grosu / Talk: Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt; 2016-09-27
• Runtime Analysis with R2U2: A Tool Exhibition Report / J. Schumann, P. Moosbrugger, K. Rozier / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-09-23 - 2016-09-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 504 - 509
• Bifurcation Analysis of Cardiac Alternans using Delta-Decidability / A. Islam, G. Byrne, S. Kong, E. Clarke, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka / Talk: CMSB 2016: 14th International Conference on Computational Methods in Systems Biology, Cambridge, UK; 2016-09-21 - 2016-09-23; 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; 132 - 146
• Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control / P. Puschner, B. Cilku, D. Prokesch / Talk: IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich; 2016-09-21 - 2016-09-23; 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; 321 - 328
• A simulation framework for IEEE 1588 / W. Wallner, A. Wasicek, R. Grosu / Talk: 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden; 2016-09-04 - 2016-09-09; in: "Proceedings of IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication", IEEE, (2016), ISSN: 1949-0313; 1 - 6
• Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent / E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti / Talk: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, Quebec City, QC, Canada; 2016-08-23 - 2016-08-25; 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; 244 - 259
• Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks / R. M. Hasani, D. Haerle, R. Grosu / Talk: 12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal; 2016-06-27 - 2016-06-30; in: "Proc. of PRIME 2016: 12th conference on PhD research on microelectronics and electronics", IEEE, (2016), ISBN: 978-1-5090-0493-5; 1 - 4
• A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform / H. Isakovic, R. Grosu / Talk: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA; 2016-06-08 - 2016-06-10; in: "IEEE 25th International Symposium on Industrial Electronics (ISIE)", IEEE, (2016), ISSN: 2163-5145; 244 - 253
• Districting and Routing for Security Control / M. Prischink, C. Kloimüllner, B. Biesinger, G. Raidl / Talk: International Workshop on Hybrid Metaheuristics (HM), Plymouth, United Kingdom; 2016-06-08 - 2016-06-10; in: "Hybrid Metaheuristics - 10th International Workshop on Hybrid Metaheuristics", LNCS, 9668 (2016), ISBN: 978-3-319-39636-1; 87 - 103
• Composable Component Interfaces for Time-Triggered Systems / P. Puschner, B. Frömel / Talk: 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK; 2016-05-19; in: "Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops", (2016)
• Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; 2016-04-14 - 2016-04-18; in: "Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition", IEEE Computer Society, (2016), ISBN: 978-3-9815-3707-9; 924 - 929
• Temporal Logic as Filtering / A. Rodionova, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; 2016-04-12 - 2016-04-14; in: "Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control", ACM, (2016), ISBN: 978-1-4503-3955-1; 11 - 20
• Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu / Talk: Design and Verification Conference and Exhibition, San Jose, USA; 2016-02-29 - 2016-03-03; in: "Design and Verification Conference and Exhibition", Online, (2016), 8 pages
• A holistic viewpoint-based SysML Profile to Design Systems-of-Systems / M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel / Talk: 17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA; 2016-01-07 - 2016-01-09; in: "High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on", (2016), ISSN: 1530-2059; 276 - 283
• Emergence in Cyber-Physical Systems-of-Systems (CPSoSs) / H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob / in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy", 10099; Springer International Publishing, 2016, ISBN: 978-3-319-47589-9, 73 - 96
• Interfaces in Evolving Cyber-Physical Systems-of-Systems / B. Frömel, H. Kopetz / in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy", 10099; Springer International Publishing, 2016, ISBN: 978-3-319-47589-9, 40 - 72
• Time and Resilient Master Clocks in Cyber-Physical Systems / A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger / in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy", 10099; Springer International Publishing, 2016, ISBN: 978-3-319-47589-9, 165 - 185
• Basic Concepts on Systems of Systems / A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz / in: "Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy", 10099; Springer International Publishing, 2016, ISBN: 978-3-319-47589-9, 1 - 39
• Semi-formal Representation of Requirements for Automotive Solutions Using SysML / L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner / in: "Languages, Design Methods, and Tools for Electronic System Design", Lecture Notes in Electrical Engineering 361; issued by: Frank Oppenheimer, Julio Luis Medina Pasaje; Springer International Publishing, 2016, ISBN: 978-3-319-24457-0, 57 - 81
• Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / E. Bartocci, P. Lio, N. Paoletti / Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
• Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy / A. Bondavalli, S. Bouchenak, H. Kopetz / in series "Lecture Notes in Computer Science", series editor: 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
• Cyber-physical systems: challenge of the 21st century / L. Esterle, R. Grosu / Elektrotechnik und Informationstechnik (invited), 133 (2016), 7; 299 - 303
• Computational modeling, formal analysis and tools for systems biology / E. Bartocci, P. Lio / PLoS Computational Biology, 12 (2016), 1; 1 - 22
• Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software / E. Bartocci, C. Ramakrishnan / International Journal on Software Tools for Technology Transfer, 18 (2016), 355 - 357
• Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS) / O. Höftberger / 2016

2015

• Neural Programming: Towards Adaptive Control in Cyber-Physical Systems / K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu / Talk: 54th IEEE Conference on Decision and Control, Osaka, Japan; 2015-12-15 - 2015-12-18; in: "Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control", IEEE Computer Society, (2015), ISBN: 978-1-4799-7884-7; 6978 - 6985
• Simplification Principles in the Design of Cyber-Physical System-of-Systems / H. Kopetz / Talk: Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris (invited); 2015-11-23 - 2015-11-25; in: "Complex Systems Design & Management", Springer International Publishing, (2015), ISBN: 978-3-319-26109-6; 39 - 51
• XSpeed: Accelerating Reachability Analysis on MultiCore Processors / R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu / Keynote Lecture: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 3 - 18
• Abstraction-based Parameter Synthesis for Multiaffine Systems / S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu / Talk: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 19 - 35
• Requirement Semi-formalization Methodology for SoC Design (Best Paper Award) / L. Musat, S. Kandl, P. Puschner, M. Hübl, A. Buzo, G. Pelz / Talk: 12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea; 2015-11-02 - 2015-11-05; in: "Proceedings of the 12th International SoC Design Conference (IEEE)", (2015)
• The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015)
• A Strategy for Generating Time-Predictable Code / D. Prokesch, P. Puschner / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015)
• Generic Sensor Fusion Package for ROS / D. Ratasich, B. Frömel, O. Höftberger, R. Grosu / Talk: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; 2015-09-28 - 2015-10-02; in: "Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on", IEEE, (2015), 286 - 291
• R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems / J. Schumann, P. Moosbrugger, K. Rozier / Talk: RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; 2015-09-22 - 2015-09-25; in: "Proc. of RV 2015, the 6th International Conference on Runtime Verification", Springer, 9333 (2015), 233 - 249
• Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments / D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller / Talk: RV 2015, the 6th International Conference on Runtime Verification, Vienna; 2015-09-22 - 2015-09-25; in: "Runtime Verification, 6th International Conference (RV 2015)", Springer, 9333 (2015), ISBN: 978-3-319-23819-7; 201 - 215
• From Signal Temporal Logic to FPGA Monitors / S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic / Talk: 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; 2015-09-21 - 2015-09-23; in: "Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design", IEEE, (2015), 218 - 227
• Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic / E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti / Talk: 4th International Workshop on Hybrid Systems Biology (HSB), Madrid; 2015-09-04 - 2015-09-05; in: "Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology", LNCS / LNBI / Springer, vol. 9271 (2015), 1 - 17
• A TDMA-Based arbitration scheme for mixed-criticality multicore platforms / B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador / Talk: The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; 2015-06-17 - 2015-06-19; in: "Event-based Control, Communication, and Signal Processing (EBCCSP), 2015", IEEE, (2015), 1 - 6
• A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems / C. Kloimüllner / Talk: VeroLog 2015, Universität Wien; 2015-06-08 - 2015-06-10
• From Embedded Systems to System of Systems / H. Kopetz / Talk: ITASC Workshop: Intelligent Transportation and Smart City, Shanghai (invited); 2015-05-21 - 2015-05-22
• Towards an Understanding of Emergence in Systems-of-Systems / H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli / Talk: 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; 2015-05-17 - 2015-05-20; in: "10th Annual Systems of Systems Engineering Conference 2015", (2015), 214 - 219
• Direct versus Stigmergic Information Flow in Systems-of-Systems / H. Kopetz, B. Frömel, O. Höftberger / Talk: 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; 2015-05-17 - 2015-05-20; in: "10th Annual Systems of Systems Engineering Conference 2015", (2015), 36 - 41
• Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals / A. Murthy, A. Islam, S. Smolka, R. Grosu / Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "HSCC 2015", ACM, (2015), ISBN: 978-1-4503-3433-4; 78 - 87
• A Generator for Time-Predictable Code / D. Prokesch, S Hepp, P. Puschner / Talk: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; 2015-04-13 - 2015-04-17; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)", IEEE, (2015), ISBN: 978-1-4799-8781-8; 27 - 34
• A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking / B. Cilku, D. Prokesch, P. Puschner / Talk: 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand; 2015-04-13; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015) Workshops", IEEE, (2015), ISBN: 978-1-4673-7709-6; 74 - 79
• SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems / I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta / Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control", ACM, (2015), ISBN: 978-1-4503-3433-4; 189 - 198
• How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations / S. Kandl / Talk: Design, Automation and Test in Europe Conference (DATE), Grenoble, France (invited); 2015-03-09 - 2015-03-13; in: "DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain", (2015)
• A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems / C. Kloimüllner, P. Papazek, G. Raidl, B. Hu / Talk: Eurocast 2015, Gran Canaria, Spain; 2015-02-08 - 2015-02-13; in: "Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory", A. Quesada-Arencibia et al. (ed.); (2015), ISBN: 978-84-606-5438-4; 125 - 126
• Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 / S. Kandl et al. / Talk: Safety-critical Systems Symposium (SSS 2015), Bristol, UK; 2015-02-03 - 2015-02-05; in: "Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium", M. Parson, T. Anderson (ed.); (2015), ISBN: 978-1505689082; 95 - 115
• Single-Path Code Generation for the Patmos Processor / D. Prokesch / Talk: TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande; 2015-01-22 - 2015-01-23
• Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems / S. Kandl / in: "Progress in Systems Engineering (Advances in Intelligent Systems and Computing)", issued by: Henry Selvaraj, Dawid Zydek, Grzegorz Chmaj (Eds.); Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, 595 - 601
• Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings / E. Bartocci, R. Majumdar / Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
• T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / 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 / Journal of Systems Architecture, Volume 61 (2015), Issue 9; 449 - 471
• Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation / I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Theoretical Computer Science, 599 (2015), 34 - 46
• System Design of Stochastic Models using Robustness of Temporal Properties / E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti / Theoretical Computer Science, 587 (2015), 3 - 25

2014

• A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems / E. Aydin Gol, E. Bartocci, C. Belta / Talk: 53rd IEEE Inter. Conference on Decision and Control (CDC), Los Angeles; 2014-12-15 - 2014-12-17; in: "Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control", IEEE, (2014), ISBN: 978-1-4799-7746-8; 108 - 113
• A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms / B. Cilku, P. Puschner et al. / Talk: 2 nd International Workshop on Mixed Criticality Systems (WMC14), Rome, Italy; 2014-12-02; in: "Proceedings of the 2 nd International Workshop on Mixed Criticality Systems", (2014), 27 - 32
• Designing a Time-Predictable Memory Hierarchy for Single-Path Code / B. Cilku, P. Puschner / Talk: 7 th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS14), Rome, Italy; 2014-12-02; in: "Designing a Time-Predictable Memory Hierarchy for Single-Path Code", (2014), 9 - 14
• Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems / R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump / Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proc. of HVC'14, the Haifa Verification Conference", (2014)
• Balancing Bicycle Sharing Systems / C. Kloimüllner, P. Papazek, B. Hu, G. Raidl / Talk: EULOG 2014, Wien; 2014-11-17 - 2014-11-18
• Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award) / S. Kandl, J. Forey / Talk: Seventh International Conference on Dependability (DEPEND 2014), Lisbon, Portugal; 2014-11-16 - 2014-11-20; in: "Proceedings of the Seventh International Conference on Dependability (DEPEND 2014)", (2014), ISBN: 978-1-61208-378-0
• A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: Forum on specification & Design Languages (FDL), Munich, Germany; 2014-10-14 - 2014-10-16; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014)
• Semi-formal Representation of Requirements for Automotive Solutions using SysML / L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner / Talk: Forum on specification & Design Languages (FDL), Munich, Germany; 2014-10-14 - 2014-10-16; in: "Proceedings of the Forum on Specification & Design Languages (FDL 2014)", (2014)
• Medical Cyber-Physical Systems - (Track Introduction) / E. Bartocci, S. Gao, S. Smolka / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu (invited); 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", (2014), 353 - 355
• Using Statistical Model Checking for Measuring Systems / R. Grosu, D. Peled, C. Ramakrishnan, S. Smolka, S. Stoller, J. Yang / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation", (2014)
• Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients / S. Bufo, E. Bartocci, G. Sanguinetti, M. Borelli, U. Lucangelo, L. Bortolussi / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Corfu', Greece (invited); 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation", (2014), 391 - 403
• First International Competition of Software for Runtime Verification / E. Bartocci, B. Bonakdarpour, Y. Falcone / Talk: 14th International Conference on Runtime Verification, Canada (invited); 2014-09-22 - 2014-09-25; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification", (2014), 1 - 9
• Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid. / P. Papazek, C. Kloimüllner, B. Hu, G. Raidl / Talk: Parallel Problem solving from Nature - PPSN XIII, Ljubljana; 2014-09-13 - 2014-09-17; in: "Parallel Problem Solving from nature - PPSN XIII", T. Bartz - Beielstein, J. Branke, B. Filipic, J. Smith (ed.); Lecture Notes in Computer Science, Springer International Publishing, 8672 (2014), ISBN: 978-3-319-10761-5; 792 - 801
• Security Application of Failure Mode and Effect Analysis (FMEA) / C. Schmittner, T. Gruber, P. Puschner, E. Schoitsch / Talk: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 2014-09-10 - 2014-09-12; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; 310 - 325
• A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, Italy; 2014-09-10 - 2014-09-12; in: "Computer Safety, Reliability and Security", Lecture Notes in Computer Science / Springer, Volume 8666 (2014), ISBN: 978-3-319-10506-2; 1 - 16
• Data-driven Statistical Learning of Temporal Properties / E. Bartocci, L. Bortolussi, G. Sanguinetti / Talk: 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Florence, Italy; 2014-09-08 - 2014-09-12; 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; 23 - 37
• Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems / S. Kandl / Talk: Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas, Nevada, USA; 2014-08-19 - 2014-08-21; in: "Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014)", (2014)
• A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors / B. Cilku, B. Frömel, P. Puschner / Talk: 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; 2014-07-27 - 2014-07-30; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISBN: 978-1-4799-4906-9; 147 - 151
• Runtime Evaluation of Ontology-based Reconfiguration of Distributed Embedded Real-Time Systems / O. Höftberger, R. Obermaisser / Talk: 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; 2014-07-27 - 2014-07-30; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISBN: 978-1-4799-4906-9; 544 - 550
• Towards a GPGPU-parallel SPIN model checker / E. Bartocci, R. DeFrancisco, S. Smolka / Talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 2014-07-21 - 2014-07-23; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software", ACM, (2014), ISBN: 978-1-4503-2452-6; 87 - 96
• Single-Path Code Generation and Input-Data Dependence Analysis / D. Prokesch / Talk: T-CREST/parMERASA/CERTAINTY Workshop, Madrid; 2014-07-10
• Scope-based Method Cache Analysis / B. Huber, S Hepp, M. Schöberl / Talk: 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; 2014-07-08; in: "14th International Workshop on Worst-Case Execution Time Analysis", OpenAccess Series in Informatics (OASIcs), (2014), ISBN: 978-3-939897-69-9; 73 - 82
• Towards Automated Generation of Time-Predictable Code / D. Prokesch, B. Huber, P. Puschner / Talk: 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; 2014-07-08; in: "14th International Workshop on Worst-Case Execution Time Analysis", Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9; 103 - 112
• Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC / I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner / Talk: The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2014-06-15 - 2014-06-19; in: "Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2014), ISBN: 978-1-4799-4827-7; 77 - 80
• Systems of Systems Need a Global Time / H. Kopetz / Keynote Lecture: 23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA (invited); 2014-06-09 - 2014-06-12
• From Embedded Systems to Systems of Systems / H. Kopetz / Keynote Lecture: 10th IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Reno, Nevada, USA (invited); 2014-06-08 - 2014-06-09
• A Method Cache for Patmos / P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing", (2014), ISSN: 1555-0885; 100 - 108
• Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems / I. Ayestaran, Carlos Nicolas, J. Perez, A. Ortube, P. Puschner / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC)", IEEE, (2014), ISSN: 1555-0885; 180 - 187
• A Conceptual Model for the Information Transfer in System of Systems / H. Kopetz / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing", (2014), ISSN: 1555-0885; 17 - 24
• Virtual CAN Lines in an Integrated MPSoC Architecture / A. Wasicek, O. Höftberger, M. Elshuber, H. Isakovic, A Fleck / Talk: 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; 2014-06-08 - 2014-06-12; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISSN: 1555-0885; 158 - 165
• Why a Global Time is Needed in a Dependable SoS / H. Kopetz / Keynote Lecture: Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom (invited); 2014-05-13
• A Formal Approach to System Integration Testing / S. Kandl, M. Elshuber / Talk: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK; 2014-05-13 - 2014-05-16; in: "Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014)", (2014)
• Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case. / C. Kloimüllner, P. Papazek, B. Hu, G. Raidl / Talk: Evolutionary Computation in Combinatorial Optimization (EvoCOP), Granada; 2014-04-23 - 2014-04-25; in: "Evolutionary Computation in Combinatorial Optimization", C. Blum, G. Ochoa (ed.); Springer Berlin Heidelberg, 8600 (2014), ISBN: 978-3-662-44319-4; 73 - 84
• Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control / I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu / Talk: Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; 2014-04-20 - 2014-04-24; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies", IARIA, (2014), ISBN: 978-1-61208-335-3; 52 - 58
• Compositionality Results for Cardiac Cell Dynamics / R. Grosu, A. Islam, A. Murthy, A. Girard, S. Smolka / Talk: HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol, Berlin; 2014-04-15 - 2014-04-17; in: "Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control", (2014), ISBN: 978-1-4503-2732-9; 243 - 252
• platin -­ A Toolkit for Compiler and WCET-Analysis Integration / S Hepp, B. Huber, D. Prokesch / Talk: TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark; 2014-04-11
• Towards synchronous deterministic channels for the Internet of Things / W. Steiner, F. Bonomi, H. Kopetz / Talk: IEEE World Forum on Internet of Things 2014 (WF-IoT2014), Seoul, Korea; 2014-03-06 - 2014-03-08; in: "Proc. of the IEEE World Forum on Internet of Things 2014 (WF-IoT2014)", IEEE, (2014), 433 - 436
• Formal Verification at System Level / S. Kandl, M. Elshuber, P. Puschner / Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 - 2014-01-22
• From Embedded Systems to Systems of Systems / H. Kopetz / Talk: 27th International Conference on VLSI Design 2014, Mumbai, India (invited); 2014-01-05
• Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation / S. Kandl, S. Chandrashekar / Computing, 607 (2014)
• Cyber-Physical Systems: Theoretical and Practical Challenges / E. Bartocci, O. Höftberger, R. Grosu / ERCIM NEWS (invited), 2014 (2014), 97; 8 - 9
• Simulation Study of Interface Traps and Bulk Traps in n++GaN/InAlN/AlN/GaN High Electron Mobility Transistors / M. Molnar, D. Donoval, J. Kuzmik, J. Marek, A. Chvala, P. Pribytny, V. Mikolasek, K. Rendek, V. Palankovski / Applied Surface Science, 312 (2014), 157 - 161
• Hybrid Systems and Biology / E. Bartocci, L. Bortolussi, S. Smolka / Information and Computation, 236 (2014), 1 - 2

2013

• Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses / B. Cilku, R. Kammerer, P. Puschner / Talk: 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada; 2013-12-03 - 2013-12-06; in: "Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems", (2013)
• Secure Channels in an Integrated MPSoC Architecture / H. Isakovic, A. Wasicek / Talk: 39th Annual Conference of the IEEE Industrial Electronics Society, Wien; 2013-11-10 - 2013-11-13; in: "Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE", (2013), ISSN: 1553-572x; 4488 - 4493
• Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification / O. Melnychenko, H.-P. Kreuter / Talk: 21st Austrian Workshop on Microelectronics (Austrochip), Linz; 2013-10-10; in: "Austrochip 2013. Tagungsband", (2013), 17 - 21
• Runtime Verification with Particle Filtering / K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu / Talk: RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; 2013-09-24 - 2013-09-27; in: "Proc. of RV 2013, the Fourth International Conference on Runtime Verification", LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4; 149 - 166
• A temporal logic approach to modular design of synthetic biological circuits / E. Bartocci, L. Bortolussi, L. Nenzi / Talk: CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; 2013-09-23 - 2013-09-25; 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; 164 - 178
• On the Robustness of Temporal Properties for Stochastic Models / E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti / Talk: HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; 2013-09-02; in: "Proceedings of the Second International Workshop on Hybrid Systems and Biology", Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 2075-2180; 3 - 19
• Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors / B. Cilku, P. Puschner / Talk: 1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; 2013-08-21; 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)
• Composability and Compositionality in CAN-Based Automotive Systems based on Bus and Star Topologies / R. Kammerer, B. Frömel, R. Obermaisser, P. Milbredt / Talk: IEEE 11th International Conference on Industrial Informatics INDIN´2013, Bochum, Germany; 2013-07-29 - 2013-07-31; in: "Proceedings of the 11th International Conference on Industrial Informatics INDIN2013", (2013), 116 - 122
• Improving System-Level Verification of SystemC Models with SPIN / M. Elshuber, S. Kandl, P. Puschner / Talk: 1st French Singaporean Workshop on Formal Methods and Applications, Singapore; 2013-07-15 - 2013-07-16; in: "1st French Singaporean Workshop on Formal Methods and Applications", (2013), ISBN: 978-3-939897-56-9; 6 pages
• Abstraction-Based Guided Search for Hybrid Systems / S. Bogomolov, D. Donze, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle / Talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 - 2013-07-09; in: "SPIN", LNCS, Springer, 7976 (2013), 117 - 134
• The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris (invited); 2013-07-08 - 2013-07-09
• A Metric Driven Verification and Validation Approach for Smart Power Devices / O. Melnychenko, H.-P. Kreuter / Talk: 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach; 2013-06-24 - 2013-06-27; in: "Conference Proceedings. 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME)", (2013), ISBN: 978-1-4673-4580-4; 289 - 292
• Combined WCET analysis of bitcode and machine code using control-flow relation graphs / B. Huber, D. Prokesch, P. Puschner / Talk: Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; 2013-06-20 - 2013-06-21; 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; 163 - 172
• Ontology-based Runtime Reconfiguration of Distributed Embedded Real-Time Systems / O. Höftberger, R. Obermaisser / Talk: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; 2013-06-19 - 2013-06-21; in: "Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013)", (2013)
• Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach / C. Geyer, B. Huber, D. Prokesch, P. Puschner / Talk: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; 2013-06-19 - 2013-06-21; in: "Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013)", (2013)
• The T-CREST Approach of Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland (invited); 2013-06-17 - 2013-06-18; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems", (2013)
• Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation / S. Kandl, S. Chandrashekar / Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; 2013-06-17 - 2013-06-18; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems", IEEE Proceedings, (2013)
• Embedded Systems for Safety-Critical and Mixed-Criticality Applications / P. Puschner / Keynote Lecture: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (invited); 2013-06-15 - 2013-06-20; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; 15
• Constructing Time-Critical Embedded Systems: Decide Before Runtime / P. Puschner / Keynote Lecture: Second Mediterranean Conference on Embedded Computing, Budva, Montenegro (invited); 2013-06-15 - 2013-06-20; in: "Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2013), ISBN: 978-9940-9436-1-5; 3
• Monitoring with uncertainty / E. Bartocci, R. Grosu / Keynote Lecture: HAS 2013, Rome, Italy (invited); 2013-03-17; 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
• Sampling-based Decentralized Monitoring for Networked Embedded Systems / E. Bartocci / Talk: HAS 2013, Rome, Italy; 2013-03-17; 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; 85 - 99
• Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / E. Bartocci, C. Ramakrishnan / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
• The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems / C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek / Microprocessors and Microsystems, 37 (2013), 8, Part C; 1020 - 1032
• Curvature Analysis of Cardiac Excitation Wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10 (2013), 2; 323 - 336
• Dependable and predictable time-triggered Ethernet networks with COTS components / M. Elshuber, R. Obermaisser / Journal of Systems Architecture, Volume 59, Issue 9 (2013), 667 - 690
• Data cache organization for accurate timing analysis / M. Schoeberl, B. Huber, W. Puffitsch / Real-Time Systems, 49 (2013), 1; 1 - 28

2012

• Approximate Bisimulations for Sodium Channel Dynamics / A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Talk: The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; 2012-10-03 - 2012-10-05; 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; 267 - 287
• On Temporal Logic and Signal Processing / D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka / Talk: Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; 2012-10-03 - 2012-10-06; 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; 92 - 106
• Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets / J. Lechner, M. Lampacher / Talk: IEEE 30th International Conference on Computer Design (ICCD 2012), Montreal, Canada; 2012-09-30 - 2012-10-03; in: "Computer Design (ICCD), 2012 IEEE 30th International Conference on", (2012), ISSN: 1063-6404; 480 - 481
• Adaptive Runtime Verification / E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster / Talk: RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; 2012-09-25 - 2012-09-28; in: "Proc. of RV 2012: the 3rd International Conference on Runtime Verification", LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743; 168 - 182
• Compiling for Time Predictability / P. Puschner, R. Kirner, D. Prokesch, B. Huber / Talk: ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany; 2012-09-25 - 2012-09-28; in: "Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops", Lecture Notes in Computer Science / Springer, 7613 (2012), ISBN: 978-3-642-33674-4; 382 - 391
• Dynamic Configuration of a Time-Triggered Router for Controller Area Network / R. Kammerer, R. Obermaisser, B. Frömel / Talk: 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Krakow, Poland; 2012-09-17 - 2012-09-21; in: "17th IEEE International Conference on Emerging Technologies and Factory Automation", (2012)
• The ACROSS MPSoC - A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems / C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek / Talk: DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey (invited); 2012-09-05 - 2012-09-08; in: "2012 15th Euromicro Conference on Digital System Design (DSD 2012), Proceedings", IEEE Computer Society, (2012), ISBN: 978-1-4673-2498-4; 105 - 113
• A Formal Framework for Precise Parametric WCET Formulas / B. Huber, D. Prokesch, P. Puschner / Talk: 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; 2012-07-10; 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; 91 - 102
• A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx / S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski / Talk: CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA; 2012-07-07 - 2012-07-13; in: "Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification", LNCS / Springer, 7358 (2012), ISBN: 978-3-642-31423-0; 479 - 494
• A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding / J. Lechner, M. Lampacher, T. Polzer / Talk: 2012 International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany; 2012-06-27 - 2012-06-29; in: "Application of Concurrency to System Design (ACSD), 2012 12th International Conference on", (2012), ISSN: 1550-4808; 122 - 131
• Enhancing Security in CAN Systems using a Star Coupling Router / R. Kammerer, B. Frömel, A. Wasicek / Talk: 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe; 2012-06-20 - 2012-06-22; in: "Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)", IEEE, (2012), ISBN: 978-1-4673-2685-8; 237 - 246
• Proceedings First International Workshop on Hybrid Systems and Biology / E. Bartocci, L. Bortolussi / Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
• UBioLab: a web-LABoratory for Ubiquitous in-silico experiments / E. Bartocci, D. Cacciagrano, M. Di Berardini, E. Merelli, L. Vito / Journal of Integrative Bioinformatics, 9 (2012), 1; 1 - 20
• InterAspect: aspect-oriented instrumentation with GCC / J. Seyster, K. Dixit, X. Huang, R. Grosu, K Havelund, S. Smolka, S. Stoller, E. Zadok / Formal Methods in System Design, 41 (2012), 3; 295 - 320
• A router for the containment of timing and value failures in CAN / R. Kammerer, R. Obermaisser, B. Frömel / EURASIP Journal on Embedded Systems, 2012 (2012), 4
• Software monitoring with controllable overhead / X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. Smolka, S. Stoller, E. Zadok / International Journal on Software Tools for Technology Transfer, 14 (2012), 3; 327 - 347
• Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study / E. Bartocci, P. Lio, E. Merelli, N. Paoletti / Transactions on Computational Systems Biology, XIV (2012), 53 - 76
• Worst-case execution time analysis-driven object cache design / B. Huber, W. Puffitsch, M. Schoeberl / Concurrency and Computation: Practice and Experience, Volume 24 Issue 8 (2012), 24/8; 753 - 771

2011

• Runtime Verification with State Estimation / S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok / Talk: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; 2011-09-27 - 2011-09-30; 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; 193 - 207
• Hard Real-Time Garbage Collection for a Java Chip Multi-Processor / W. Puffitsch / Talk: 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011), York, United Kingdom; 2011-09-26 - 2011-09-28; in: "Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems", ACM, (2011)
• Curvature analysis of cardiac excitation wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu / Poster: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
• Toward real-time simulation of cardiac dynamics / E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka / Talk: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
• Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation / M. Zolda, R. Kirner, S. Bünte / Poster: 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), Toyama, Japan; 2011-08-28 - 2011-08-31; in: "Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)", (2011), ISBN: 978-1-4577-1118-3; 243 - 250
• From Cardiac Cells to Genetic Regulatory Network / R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci / Talk: CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; 2011-07-14 - 2011-07-20; in: "CAV 2011: the 23rd International Conference on Computer Aided Verification", LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743; 396 - 411
• Compiler Support for Measurement-based Timing Analysis / R. Kirner, M. Zolda / Talk: 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal (invited); 2011-07-05; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), 62 - 71
• Towards an open timing analysis platform / B. Huber, W. Puffitsch, P. Puschner / Talk: 11th International Workshop on Worst-Case Execution Time Analysis, Porto; 2011-07-05; in: "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis", (2011), 6 - 15
• Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip / R. Obermaisser, O. Höftberger / Talk: 21st IEEE International Symposium on Industrial Electronics (ISIE 2011), Gdansk, Poland; 2011-06-27 - 2011-06-30; in: "21st IEEE International Symposium on Industrial Electronics (ISIE 2011", IEEE, (2011), ISBN: 978-1-4244-9312-8; 1561 - 1568
• Successful communication in European research projects - the GENESYS project as best practice / S. Kuster / Talk: 2. Projekt Management Symposium der Fachhochschule des bfi Wien, Wien; 2011-06-16; in: "Wirtschaft und Management, Schriftenreihe zur Wissenschaftlichen Forschung und Praxis, Band 15", Wirtschaft und Management, Heft 15 (2011), 75 - 89
• Let's Get Less Optimistic In Measurement-Based Timing Analysis / S. Bünte, M. Zolda, R. Kirner / Talk: 6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden; 2011-06-15 - 2011-06-17; in: "Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11)", (2011), ISBN: 978-1-61284-818-1; 204 - 212
• Sternkoppler für Controller Area Network (CAN) auf Basis eines Multi-Processor System-on-a-Chip (MPSoC) / R. Obermaisser, R. Kammerer, A. Kasper / Talk: AmE 2011 - Automotive meets Electronics, Dortmund, Deutschland (invited); 2011-05-04 - 2011-05-05; in: "Proc. of AmE 2011 - Automotive meets Electronics", (2011)
• Improving the Confidence in Measurement-Based Timing Analysis / S. Bünte, M. Zolda, M. Tautschnig, R. Kirner / Talk: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; 2011-03-28 - 2011-03-31; 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; 144 - 151
• Using a Local Prefetch Strategy to Obtain Temporal Time Predictability / B. Cilku, P. Puschner / Talk: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Newport Beach, California, USA; 2011-03-28 - 2011-03-31; 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; 227 - 234
• Roll-Forward Recovery with State Estimation / V. Mikolasek, H. Kopetz / Talk: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; 2011-03-28 - 2011-03-31; in: "14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC)", IEEE, (2011), ISBN: 978-1-61284-433-6; 179 - 186
• Authentication in Time-Triggered Systems using Time-delayed Release of Keys / A. Wasicek, C. El Salloum, H. Kopetz / Talk: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; 2011-03-28 - 2011-03-31; in: "14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC)", IEEE, (2011), ISBN: 978-1-61284-433-6; 31 - 39
• Model Repair for Probabilistic Systems / E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka / Talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken, Germany; 2011-03-26 - 2011-04-03; 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; 326 - 340
• Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach / M. Schoeberl, P. Schleuniger, W. Puffitsch, F. Brandner et al. / Talk: First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, France; 2011-03-16; in: "First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011)", (2011), ISBN: 978-3-939897-28-6; 11 - 21
• universAAL - an open and consolidated AAL platform / S. Hanke, C. Mayer, O. Höftberger, H. Boos, R. Wichert, P. Wolf et al. / Talk: 4. Deutsche AAL-Kongress, Berlin, Deutschland; 2011-01-25 - 2011-01-26; in: "Demographischer Wandel - Assistenzsysteme aus der Forschung in den Markt (AAL 2011)", (2011), ISBN: 978-3-8007-3323-1
• Time-Triggered Communication (Book Chapter on FlexRay) / C. El Salloum, K. Bilic / in: "Time-Triggered Communication", CRC Press, 2011, (invited), ISBN: 978-1-4398-4661-2, 121 - 152
• TTCAN / R. Kammerer / in: "Time-Triggered Communication", CRC Press, 2011, (invited), ISBN: 9781439846612, 223 - 245
• Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility / S. Bünte, M. Zolda, R. Kirner / in: "Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility", IGI Global, 2011, ISBN: 9781609600860, 110 - 129
• Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics / E. Bartocci et al. / Advances in Physiology Education, 35 (2011), 4; 427 - 437
• Modeling the cell cycle: From deterministic models to hybrid systems / R. Alfieri, E. Bartocci, E. Merelli, L. Milanesi / Biosystems, 105 (2011), 1; 34 - 40

2010

• Applicability of Structural Code Coverage Metrics for Safety-Critical Systems / S. Kandl / Talk: AUTOSAR Safety-Group (WP 1.3) Meeting, Paris, France (invited); 2010-12-14 - 2010-12-16
• Context-Sensitivity in IPET for Measurement-Based Timing Analysis / M. Zolda, S. Bünte, R. Kirner / Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 - 2010-10-20; in: "Context-Sensitivity in IPET for Measurement-Based Timing Analysis", Lecture Notes in Computer Science, 6416 (2010), 487 - 490
• Worst-Case Analysis of Heap Allocations / W. Puffitsch, B. Huber, M. Schoeberl / Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 - 2010-10-20; in: "Worst-Case Analysis of Heap Allocations", Lecture Notes in Computer Science, 6416 (2010), 464 - 478
• Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / S. Kandl, R. Kirner / Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science, Volume 6399 (2010), 131 - 142
• Time-Predictable Computing / R. Kirner, P. Puschner / Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Time-Predictable Computing", (2010), 23 - 34
• Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC / R. Obermaisser, J. Perez, C. El Salloum, Carlos Nicolas / Talk: Forum on specification & Design Languages (FDL), Southampton, UK; 2010-09-14 - 2010-09-16; in: "Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC", (2010)
• WCET driven design space exploration of an object cache / B. Huber, W. Puffitsch, M. Schoeberl / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Prague, Czech Republic; 2010-08-19 - 2010-08-21; in: "WCET driven design space exploration of an object cache", ACM, (2010), ISBN: 978-1-4503-0122-0; 26 - 35
• A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN / R. Obermaisser, R. Kammerer / Talk: IEEE International Conference on Industrial Informatics (INDIN 2010), Osaka, Japan; 2010-07-13 - 2010-07-16; in: "A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN", (2010), 121 - 127
• A Code Policy Guaranteeing Fully Automated Path Analysis / B. Huber, P. Puschner / Talk: 10th International Workshop on Worst-Case Execution-Time Analysis, Brussels, Belgium; 2010-07-07 - 2010-07-09; in: "A Code Policy Guaranteeing Fully Automated Path Analysis", Austrian Computer Society, (2010), ISBN: 978-3-85403-268-7; 80 - 90
• Avoiding Timing Anomalies Using Code Transformations / A. Kadlec, R. Kirner, P. Puschner / Talk: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spein; 2010-05-05 - 2010-05-06; in: "Avoiding Timing Anomalies Using Code Transformations", IEEE, (2010), ISBN: 978-1-4244-7083-9; 123 - 132
• A System-on-a-Chip Platform for Mixed-Criticality Applications / A. Wasicek, H. Kopetz, C. El Salloum / Talk: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC'10), Carmona, Seville, Spain; 2010-05-05 - 2010-05-06; 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; 210 - 216
• Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored / B. Cilku, P. Puschner / Talk: Proc. 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010), Carmona, Sevilla, Spain; 2010-05-04 - 2010-05-07; in: "Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored", (2010), 219 - 225
• Worst-case execution time analysis for a Java processor / M. Schoeberl, W. Puffitsch, R. Pedersen, B. Huber / Software: Practice and Experience, 40 (2010), 6; 507 - 542
• Scheduling of Hard Real-Time Garbage Collection / M. Schoeberl / Real-Time Systems, 45 (2010), 3; 176 - 213
• A real-time Java chip-multiprocessor / C. Pitter, M. Schoeberl / ACM Transactions on Embedded Computing Systems, 10 (2010), 1; 1 - 34
• Transforming Flow Information during Code Optimization for Timing Analysis / R. Kirner, P. Puschner, A. Prantl / Real-Time Systems, 45 (2010), 1-2; 72 - 105
• CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain / G. Roda, J. Tait, F. Piroi, V. Zenz / in: "Multilingual Information Access Evaluation I. Text Retrieval Experiments", Lecture Notes in Computer Science; issued by: Springer-Verlag Berlin Heidelberg 2010; Springer, 2010, ISBN: 978-3-642-15753-0, 385 - 409
• Towards an Orchestrated Approach for Annotation Verification / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, 71 - 85
• Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis / R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec / Journal of Software and Systems Modeling (online-edition), oB (2010)

2009

• A Single-Path Chip-Multiprocessor System / M. Schoeberl, P. Puschner, R. Kirner / Talk: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 2009-11-16 - 2009-11-18; 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; 47 - 57
• Towards Time-predictable Data Caches for Chip-Multiprocessors / M. Schoeberl, W. Puffitsch, B. Huber / Talk: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; 2009-11-16 - 2009-11-18; 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; 180 - 191
• Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis / M. Zolda, S. Bünte, R. Kirner / Talk: International Conference on Real-Time and Network Systems (RTNS), Paris, France; 2009-10-26 - 2009-10-27; in: "17th International Conference on Real-Time and Network Systems, Proceedings", (2009), 10 pages
• On Undecidability Results of Real Programming Languages / R. Kirner, W. Zimmermann, D. Richter / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; 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), 141 - 154
• Automatic Calculation of Coverage Profiles for Coverage-based Testing / R. Kirner, W. Haas / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; 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), 126 - 140
• From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; 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), 155 - 166
• A Disruptive Computer Design Idea: Architectures with Repeatable Timing / S. Edwards, S. Kim, E. Lee, I. Liu, H. Patel, M. Schoeberl / Talk: 2009 IEEE International Conference on Computer Design, Resort at Squaw Creek, Lake Tahoe, California; 2009-10-04 - 2009-10-07; in: "2009 IEEE International Conference on Computer Design", IEEE, CFP09ICD (2009), ISBN: 978-1-4244-5028-2; 54 - 59
• Data Caching, Garbage Collection, and the Java Memory Model / W. Puffitsch / Talk: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES09), Madrid, Spain; 2009-09-23 - 2009-09-25; 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; 130 - 139
• Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems / J. Whitham, N. Audsley, M. Schoeberl / Talk: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES09), Madrid, Spain; 2009-09-23 - 2009-09-25; 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; 130 - 139
• Design Space Exploration for Java Processors with Cross-Profiling / M. Schoeberl, W. Binder, P. Moret, A. Villazón / Talk: Sixth International Conference on the Quantitative Evaluation of Systems QEST 2009, Budapest, Hungary; 2009-09-13 - 2009-09-16; in: "Sixth International Conference on Quantitative Evaluation of Systems", IEEE computer society, CPS, (2009), 978-0-7695-33808-2; 109 - 118
• A Comparison of NoTA and GENESYS / B. Huber, R. Obermaisser / Talk: Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings, Samos, Greece; 2009-07-20 - 2009-07-23; in: "Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings", LNCS / Springer, 5657 (2009), ISBN: 3-642-03137-4; 181 - 192
• Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture / H. Paulitsch, C. Paukovits, C. El Salloum / Talk: 2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009 Proceedings, Lausanne, Switzerland; 2009-07-08 - 2009-07-10; in: "Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on", IEEE, (2009), ISBN: 978-1-4244-4110-5; 90 - 99
• Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies / R. Kirner, A. Kadlec, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Dublin, Ireland; 2009-07-01 - 2009-07-03; in: "Proceedings of The 21th Euromicro Conference on Real-Time Systems", IEEE computer society, CPS, (2009), ISBN: 978-0-7695-3724-5; 119 - 128
• Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis / B. Huber, M. Schoeberl / Talk: 9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; 2009-06-30; in: "Worst-Case Execution Time (WCET) Analsysis", Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6; 27 - 38
• Is Chip-Multiprocessing the End of Real-Time Scheduling? / M. Schoeberl, P. Puschner / Talk: 9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; 2009-06-30; in: "Worst-Case Execution Time (WCET) Analsysis", Austrian Computer Society, 252 (2009), ISBN: 978-3-85403-252-6; 96 - 106
• From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec / Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (ed.); (2009), 35 - 45
• Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture / H. Paulitsch, C. Paukovits, C. El Salloum, H. Kopetz / Poster: DSNOC'09 (DATE Friday Workshop), Nice, France; 2009-04-24
• Model-Driven Design and Organic Computing -- Combinable Strategies? / P. Puschner, R. Kirner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 101
• Towards Composable Timing for Real-Time Software / P. Puschner, R. Kirner, R. Pettit / Talk: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 2009-03-17 - 2009-03-18; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; 1 - 5
• Time-predictable Cache Organization / M. Schoeberl / Talk: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan (invited); 2009-03-17 - 2009-03-18; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; 11 - 16
• Dependability and Robustness: State of the Art and Challenges / V. Mikolasek / Talk: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 2009-03-17 - 2009-03-18; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; 25 - 31
• Embedded JIT Compilation with CACAO on YARI / F. Brandner, T. Thorn, M. Schoeberl / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 63 - 70
• Thread-Local Scope Caching for Real-time Java / A. Wellings, M. Schoeberl / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 275 - 282
• Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS / R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE, (2009), 3 - 11
• Towards Automatic Verification of Structural Code-Coverage Preservation / R. Kirner / Talk: Timing Analysis and Symbolic Computation, TASCo 2009, Wien; 2009-02-04 - 2009-02-05; in: "Timing Analysis and Symbolic Computation, TASCo 2009", (2009), 1 pages
• From a Federated to an Integrated Automotive Architecture / R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz / in: "IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems", IEEE, 2009, ISSN: 0278-0070, 956 - 965
• Cross-profiling for Java processors / W. Binder, M. Schoeberl, P. Moret, A. Villazón / in: "Software: Practice and Experience", issued by: Wiley InterScience; John Wiley and Sons, 2009, ISSN: 0038-0644, 1439 - 1465
• Platform Modeling in Safety-Critical Embedded Systems / B. Huber, R. Obermaisser / in: "Intelligent Technical Systems", issued by: Springer; Springer, LNEE Vol. 38, 2009, ISBN: 978-1-4020-9822-2, 145 - 158
• JOP Reference Handbook / M. Schoeberl / CreateSpace, 2009, ISBN: 978-1438239699; 362 pages
• So many topics, so little time / G. Roda, V. Zenz, M. Lupu, K. Järvelin, M. Sanderson, C. Womser-Hacker: / SIGIR Forum, ACM (2009), 9 - 16
• GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems / R. Obermaisser, H. Kopetz, S. Kuster / ARTEMIS Magazine, 5 (2009), 32 - 34
• From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Oesterreichische Computer Gesellschaft / Austrian Computer Society; Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, 39 - 49
• From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9, Paper ID 8, 11 pages
• Time-Predictable Computer Architecture / M. Schoeberl / in: "EURASIP Journal on Embedded Systems", issued by: HIndawi; Hindawi, 2009, 17 pages

2008

• Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls / B. Rieder, P. Puschner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 101 - 102
• A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks / E. Suethanuwong, C. El Salloum / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 95 - 96
• Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption / M. Zolda, R. Kirner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 117 - 118
• Neutralizing Timing Anomalies in Superscalar Microprocessors / A. Kadlec / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 119 - 120
• The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems / S. Bünte, R. Kirner / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 115 - 116
• A Resource Management Framework for Mixed-Criticality Embedded Systems / B. Huber, C. El Salloum, R. Obermaisser / Talk: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), Orlando, FL, U.S.A.; 2008-11-10 - 2008-11-13; in: "34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08)", IEEE Computer Society, (2008), ISBN: 978-1-4244-1766-7; 2425 - 2431
• Decoupled Root Scanning in Multi-Processor Systems / W. Puffitsch / Poster: Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; 2008-10-19 - 2008-10-24; in: "Embedded Systems Week", ACM, (2008), ISBN: 978-1-60558-471-3; 8 pages
• End-to-End Encryption in the TTSoC Architecture / A. Wasicek, C. El Salloum / Talk: Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; 2008-10-19 - 2008-10-24; in: "Ebedded Systems Week", ACM, (2008), ISBN: 978-1-60558-471-3; 6 pages
• Cache-aware Cross-profiling for Java Processors / W. Binder, A. Villazón, M. Schoeberl, P. Moret / Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Atlanta,Georgia, USA; 2008-10-19 - 2008-10-24; in: "Ebedded Systems Week", (2008), ISBN: 978-1-60558-471-3; 9 pages
• Measurement-Based Timing Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 - 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation", Springer Berlin Heidelberg, (2008), ISBN: 978-3-540-88478-1; 430 - 444
• Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System / S. Hepp, G. Klima, A. Kadlec, L. Krammer, W. Luckner, D. Prokesch, S. Resch, A. Wasicek, J. Wilhelm, P Tummeltshammer, M. Delvai / Talk: 16th Austrian Workshop on Microelectronics (Austrochip), Linz; 2008-10-08; in: "Proc. of the 16th Austrian Workshop on Microelectronics 2008", (2008), 7 - 12
• An Operating System for a Time-Predictable Computing Node / G. Khyo, P. Puschner, M. Delvai / Talk: The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri, Italien; 2008-10-01 - 2008-10-03; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science / Springer Verlag, 5287 (2008), ISBN: 978-3-540-87784-4; 150 - 161
• Non-blocking object copy for real-time garbage collection / M. Schoeberl, W. Puffitsch / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Santa Clara, California; 2008-09-24 - 2008-09-26; in: "Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems", ACM, (2008), ISBN: 978-1-60558-337-2; 77 - 84
• Time-predictable memory arbitration for a Java chip-multiprocessor / C. Pitter / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Santa Clara, California; 2008-09-24 - 2008-09-26; in: "Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems", ACM, (2008), ISBN: 978-1-60558-337-2; 115 - 122
• QoS-aware Ant Routing with Colored Pheromones in Wireless Mesh Networks / M. Umlauft, W. Elmenreich / Talk: Self-Organization Workshop at Autonomics '08, Turin, Italien (invited); 2008-09-23 - 2008-09-25; 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; Paper ID 4676, 6 pages
• Segmentation of Standard Ethernet Messages in the Time-Triggered Ethernet / V. Mikolasek, A. Ademaj, S. Racek / Talk: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany; 2008-09-15 - 2008-09-18; in: "Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation", IEEE, (2008), ISBN: 1-4244-1506-3; 392 - 399
• Cross-Profiling for Embedded Java Processors / W. Binder, M. Schoeberl, P. Moret, A. Villazón / Talk: Fifth International Conference on the Quantitative Evaluation of Systems, St. Malo, France; 2008-09-14 - 2008-09-17; in: "Fifth International Conference on the Quantitative Evaluation of Systems", IEEE Computer Society, (2008), ISBN: 978-0-7695-3360-5; 287 - 296
• Composability in the time-triggered system-on-chip architecture / H. Kopetz / Talk: Proceedings of the 21st Annual IEEE International SoC Conference, Vienna, Austria; 2008-08-28 - 2008-08-30; in: "Proceedings of the 21st Annual IEEE International SoC Conference", (2008), ISBN: 978-1-4244-2596-9; 87 - 90
• Concepts of Switching in the Time-Triggered Network-on-Chip / C. Paukovits, H. Kopetz / Talk: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Kaohsiung, Taiwan; 2008-08-25 - 2008-08-27; in: "14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications", IEEE Computer Society, (2008), ISSN: 1533-2306; 120 - 129
• Performance Evaluation of a Java Chip-Multiprocessor / C. Pitter, M. Schoeberl / Talk: SIES´2008 Third international symposium on industrial embedded systems, Montpellier - La Grande Motte, France; 2008-08-11 - 2008-08-13; in: "SIES´2008 Third international symposium on industrial embedded systems", (2008), ISBN: 978-1-4244-1995-1; 34 - 42
• Integrating safety and multimedia subsystems on a Time-Triggered System-on-a-Chip / R. Obermaisser, B. Frömel, C. El Salloum, B. Huber / Talk: Proceedings IEEE INDIN 2008, 6th IEEE International Conference on Industrial Informatics, Daejeon, Korea; 2008-07-13 - 2008-07-16; in: "Proceedings IEEE INDIN 2008, 6th IEEE International Conference on Industrial Informatics", IEEE, (2008), ISBN: 978-1-4244-2171-8; 270 - 275
• Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis / B. Rieder, P. Puschner, I. Wenzel / Talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; 2008-07-10 - 2008-07-11; in: "Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems", IEEE Computer Society, (2008), ISBN: 978-3-00-024989-1; 3 - 9
• JopCMP - A Java Chip-Multiprocessor for Real-time Systems / C. Pitter / Poster: 4th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings (ReCoSoC), Barcelona, Spain; 2008-07-09 - 2008-07-11; in: "4th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings", DFG, (2008), ISBN: 978-84-691-3603-4; Paper ID p9, 3 pages
• Application Experiences with a Real-Time Java Processor / M. Schoeberl / Talk: IFAC World Congress, Seoul, Korea; 2008-07-06 - 2008-07-11; in: "Proceedings of the 17th IFAC World Congress", (2008), 6 pages
• INFER: Interactive Timing Profiles based on Bayesian Networks / M. Zolda / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 39 - 51
• On Composable System Timing, Task Timing, and WCET Analysis / P. Puschner, M. Schoeberl / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 91 - 101
• WCET Tool Challenge 2008: Report / 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 / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 149 - 171
• Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65
• The Time-Triggered System-on-a-Chip Architecture / R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz / Talk: IEEE International Symposium on Industrial Electronics, 2008. ISIE 2008, Cambridge, UK; 2008-06-30 - 2008-07-02; in: "IEEE International Symposium on Industrial Electronics, 2008. ISIE 2008", (2008), ISBN: 978-1-4244-1666-0; 1941 - 1947
• Generalized instruction selection using SSA-graphs / D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec / Talk: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Tucson, Arizona, USA; 2008-06-12 - 2008-06-13; 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; 31 - 40
• A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR / R. Obermaisser, H. Kraut, C. El Salloum / Talk: Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania; 2008-05-07 - 2008-05-09; in: "Seventh European Dependable Computing Conference (EDCC-7)", IEEE Computer Society, (2008), ISBN: 978-0-7695-3138-0; 123 - 134
• A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management / C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz / Talk: Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania; 2008-05-07 - 2008-05-09; in: "Seventh European Dependable Computing Conference (EDCC-7)", IEEE Computer Society, (2008), ISBN: 978-0-7695-3138-0; 135 - 144
• Towards a Common WCET Annotation Language: Essential Ingredients / A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 pages
• WCET Annotation Languages Reconsidered: The Annotation Language Challenge / A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
• Wrong Assumptions and Neglected Areas in Embedded Systems Research / H. Kopetz / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 360
• The Complexity Challenge in Embedded System Design / H. Kopetz / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 3 - 12
• Obstacles in Worst-Case Execution Time Analysis / R. Kirner, P. Puschner / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 333 - 339
• Hardware Objects for Java / M. Schoeberl, C. Thalinger, S. Korsholm, A. Ravn / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 445 - 452
• Interrupt Handlers in Java / S. Korsholm, M. Schoeberl, A. Ravn / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 453 - 457
• Toward Libraries for Real-time Java / T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad / Talk: The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA; 2008-05-05 - 2008-05-07; in: "The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", IEEE Computer Society, (2008), ISBN: 978-0-7695-3132-8; 458 - 462
• A Modular Worst-case Execution Time Analysis Tool for Java Processors / T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad / Talk: 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA; 2008-04-22 - 2008-04-24; in: "14th IEEE Real-Time and Embedded Technology and Applications Symposium", IEEE Computer Society, (2008), ISBN: 978-0-7695-3146-5; Paper ID 47, 11 pages
• A Benchmarking Suite for Measurement-Based WCET Analysis Tools / S. Bünte, M. Tautschnig / Talk: International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE, Lillehammer, Norway; 2008-04-09 - 2008-04-11; in: "International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE", IEEE Computer Society, (2008), ISBN: 978-0-7695-3388-9; 353 - 356
• Low-Complexity Linear-Feedback Equalization for ATSC DTV / T. Wilson / Talk: International Conference on Consumer Electronics (ICCE), LasVegas, USA; 2008-01-09 - 2008-01-13; in: "2008 Digest of Technical Papers International Conference on Consumer Electronics", IEEE, (2008), ISBN: 1-4244-1459-8
• JOP: A Java Optimized Processor for Embedded Real-Time Systems / M. Schoeberl / VDM - Verlag Dr. Müller, 2008, ISBN: 978-3-8364-8086-4; 256 pages
• Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code / R. Kirner / VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages
• Junior Scientist Conference 2008, Proceedings / H. Kaiser, R. Kirner / TU Wien, 2008
• Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008) / R. Kirner / Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-237-3; 173 pages
• An Object-oriented DEV Approach to ARGESIM Benchmark C16 `Restaurant Business Dynamics´ using Enterprise Dynamics / S. Tauböck, P. Jahn, T. Polzer, A. Schuster / Simulation News Europe SNE, 18 (2008), 1; 41 - 42
• Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems / R. Kirner, S. Kandl / ERCIM NEWS, 75 (2008), 75; 40 - 41
• A Java processor architecture for embedded real-time systems / M. Schoeberl / Journal of Systems Architecture, Volume 54, Issues 1-2 (2008), 265 - 286
• WCET Tool Challenge 2008: Report / 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 / in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, ISBN: 978-3-939897-10-1, 23 pages

2007

• WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa; 2007-12-14; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)", (2007), 77 - 92
• Robust Baud Rate Blind Equalization for ATSC DTV Receivers / T. Wilson / Talk: Sixth International Conference on Information, Communication & Signal Processing [ICICS07], Singapore; 2007-12-10 - 2007-12-13; in: "Sixth International Conference on Information, Communication & Signal Processing", IEEE, (2007), ISBN: 1-4244-0983-7
• Blind Linear Feedback Equalization for ATSC DTV Reception / T. Wilson / Talk: International Conference on Intelligent & Advanced Systems (ICIAS07), Kuala Lumpur, MALAYSIA; 2007-11-25 - 2007-11-28; in: "ICIAS2007 Conference Proceedings", IEEE, (2007), ISBN: 1-4244-1355-9
• Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled Robot / W. Elmenreich, G. Klingler / Talk: Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico; 2007-11-04 - 2007-11-10; in: "Sixth Mexican International Conference on Artificial Intelligence", A. Gelbukh, á. Kuri Morales (ed.); IEEE Computer Society, (2007), ISBN: 978-0-7695-3124-3; 396 - 406
• SimpCon - a Simple and Efficient SoC Interconnect / M. Schoeberl / Talk: Austrochip, Graz, Austria; 2007-10-11; in: "Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 2007", IEEE Austria Section / TU Graz, (2007), ISBN: 978-3-902465-87-0; 153 - 161
• On the Difficulty of Building a Precise Timing Model for Real-Time Programming / A. Kadlec, R. Kirner / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 2007-10-10 - 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 7 pages
• On the Halting Problem of Finite-State Programs / R. Kirner / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Germany; 2007-10-10 - 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", (2007), 6 pages
• Time-Triggered Ethernet and IEEE 1588 Clock Synchronization / A. Ademaj, H. Kopetz / Talk: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; 2007-10-01 - 2007-10-03; in: "ISPCS 2007 Proceedings", (2007), ISBN: 1-4244-1064-9; Paper ID 07 (Session 2/2), 3 pages
• Why do we need a Sparse Global Time-Base in Dependable Real-time Systems? / H. Kopetz / Talk: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; 2007-10-01 - 2007-10-03; in: "ISPCS Proceedings", (2007), ISBN: 1-4244-1064-9; Paper ID 03 (Session 1/3), 5 pages
• SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code / R. Kirner / Talk: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria; 2007-09-30 - 2007-10-05; in: "Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems", ACM, (2007), ISBN: 978-1-59593-826-8; 38 - 42
• Garbage collection for safety critical Java / M. Schoeberl, J. Vitek / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; 2007-09-26 - 2007-09-28; in: "Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems", ACM, (2007), 978-59593-813-8; 85 - 93
• Architecture for object-oriented programming languages / M. Schoeberl / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; 2007-09-26 - 2007-09-28; in: "Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems", ACM, (2007), 978-59593-813-8; 57 - 62
• picoJava-II in an FPGA / W. Puffitsch, M. Schoeberl / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; 2007-09-26 - 2007-09-28; in: "Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems", ACM, (2007), 978-59593-813-8; 213 - 221
• Towards a Java multiprocessor / C. Pitter, M. Schoeberl / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria; 2007-09-26 - 2007-09-28; in: "Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems", ACM, (2007), 978-59593-813-8; 144 - 151
• The Effect of Quartz Drift on Convergence-Average based Clock Synchronization / E. Armengaud, A. Steininger, A. Hanzlik / Talk: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Patras; 2007-09-25 - 2007-09-28; in: "Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation", (2007), 1123 - 1130
• A Comparison of Partitioning Operating Systems for Integrated Systems / B. Leiner, M. Schlager, R. Obermaisser, B. Huber / Talk: SAFECOMP, Nuremberg, Germany; 2007-09-18 - 2007-09-21; in: "Computer Safety, Reliability, and Security", Springer, LNCS Vol 4680 (2007), ISBN: 978-3-540-75100-7; 342 - 355
• The Fault Assumptions in Distributed Integrated Architectures / R. Obermaisser, P. Peti / Talk: SAE 2007 AeroTech Congress & Exhibition, Los Angeles, California, USA; 2007-09-17 - 2007-09-20; in: "Aerospace Safety- Design, Maintenance/Operations, and Safety/Security", SAE, SP-2141 (2007), ISBN: 978-0-7680-1961-2
• Time Predictable CPU and DMA Shared Memory Access / C. Pitter, M. Schoeberl / Talk: 17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands; 2007-08-27 - 2007-08-29; in: "2007 International Conference on Field Programmable Logic and Applications (FPL)", IEEE, 07EX1708C (2007), ISBN: 1-4244-1060-6; 317 - 322
• A Time-Triggered Network-on-Chip / M. Schoeberl / Talk: 17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands; 2007-08-27 - 2007-08-29; in: "2007 International Conference on Field Programmable Logic and Applications (FPL)", IEEE, 07EX1708C (2007), ISBN: 1-4244-1060-6; 377 - 382
• Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks / R. Obermaisser, P. Peti / Talk: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27; in: "5th IEEE International Conference on Industrial Informatics (INDIN 2007)", IEEE, VOL2 (2007), ISBN: 978-1-4244-0851-1; 971 - 976
• Internet Firewalls in the DECOS System-on-a-Chip Architecture / A. Wasicek, W. Elmenreich / Talk: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27; in: "Proceedings of the 5th International Conference on Industrial Informatics", IEEE, VOL2 (2007), ISBN: 978-1-4244-0851-1; 983 - 988
• Graphical Microcontroller Programming (GMCP) / P. Jahn, T. Polzer / Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27
• Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A / G. Klingler, W. Elmenreich / Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27
• Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach / R. Leidenfrost, W. Elmenreich / Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27
• A Platform for Teaching and Research on Distributed Real-Time Systems / A. Kößler, M. Hofer, T. Mair, W. Elmenreich / Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27
• WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa, Italy; 2007-07-03; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis", (2007), 83 - 99
• Fixed Point Library According to ISO/IEC Standard DTR 18037 for Atmel AVR Processors / W. Elmenreich, M. Rosenblattl, A. Wolf / Talk: 5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid; 2007-06-21 - 2007-06-22; in: "Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded Systems", IEEE, (2007), ISBN: 978-84-89315-47-1; 101 - 113
• Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform / B. Huber, R. Obermaisser / Talk: 5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid, Spanien; 2007-06-21 - 2007-06-22; in: "Proceedings of the Fifth International Workshop on intelligent Solutions in Embedded Systems", IEEE, (2007), ISBN: 978-84-89315-47-1; 151 - 164
• Baud Rate Symbol Timing Synchronization for 8-VSB ATSC DTV Receivers / T. Wilson / Talk: ISCE 2007, Dallas, TExas, USA; 2007-06-20 - 2007-06-23; in: "The 11th Annual IEEE International Symposium on Consumer Electronics", IEEE, (2007)
• Modeling the function cache for worst-case execution time analysis / R. Kirner, M. Schoeberl / Talk: 44th Design Automation Conference (DAC'07), San Diego, California/USA; 2007-06-04 - 2007-06-08; in: "Proceedings of the 44th annual conference on Design automation", ACM, (2007), ISBN: 978-1-59593-627-1; 471 - 476
• Using a Runtime Measurement Device with Measurement-Based WCET Analysis / B. Rieder, I. Wenzel, K. Steinhammer, P. Puschner / Poster: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 2007-05-30 - 2007-06-01; in: "Embedded System Design: Topics, Techniques and Trends", Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; 15 - 26
• Error Containment in the Time-Triggered System-On-a-Chip Architecture / R. Obermaisser, H. Kopetz, C. El Salloum, B. Huber / Talk: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 2007-05-30 - 2007-06-01; in: "Embedded System Design: Topics, Techniques and Trends", Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; 339 - 352
• Hardware Implementation of the Time-Triggered Ethernet Controller / K. Steinhammer, A. Ademaj / Talk: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 2007-05-30 - 2007-06-01; in: "Embedded System Design: Topics, Techniques and Trends", Springer, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; 325 - 338
• Modeling of Software-Hardware Complexes / H. Kopetz / Talk: International Embedded Systems Symposiom (IESS'07), Irvine, Orange County, in Southern California (USA); 2007-05-30 - 2007-06-01; in: "Embedded System Design: Topics, Techniques and Trends", Springer Boston, Volume 231/2007 (2007), ISBN: 978-0-387-72257-3; 431 - 432
• Automotive Software Development for a Multi-Core System-on-a-Chip / H. Kopetz, R. Obermaisser, C. El Salloum, B. Huber / Talk: SEAS'07, Minneapolis, USA; 2007-05-26; in: "Fourth International Workshop on Software Engineering for Automotive Systems", IEEE, (2007), ISBN: 978-84-89315-47-1; 101 - 113
• Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p2A-2, 12 pages
• Advancements in Dependable Time-Triggered Communication / W. Steiner / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p1B-1, 10 pages
• A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture / M. Schlager, R. Obermaisser, W. Elmenreich / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p2A-5, 20 pages
• A Review on System Architectures for Sensor Fusion Applications / W. Elmenreich / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p7-5, 12 pages
• Mission Modes for Safety Critical Java / M. Schoeberl / Talk: 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; 2007-05-07 - 2007-05-08; in: "The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems", (2007), Paper ID p1B-5, 10 pages
• A Profile for Safety Critical Java / M. Schoeberl, H. Sondergaard, B. Thomsen, A. Ravn / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC2007)", IEEE, (2007), ISBN: 0-7695-2765-5; 94 - 101
• Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache / R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'07)", IEEE, (2007), ISBN: 0-7695-2765-5; 87 - 92
• Automated Formal Verification and Testing of C Programs for Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 - 2007-05-09; in: "10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)", IEEE, (2007), ISBN: 0-7695-2765-5; 373 - 381
• A Diagnostic Unit for the time-triggered System-on-a-Chip architecture / H. Paulitsch, R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz / Poster: Design, Automation and Test in Europe Conference (DATE'07), Nice, France; 2007-04-16 - 2007-04-20; in: "Workshop Digest, Diagnostic Services in Network-on-Chips", DATE'07, (2007), Paper ID ? (Seite 387f), 2 pages
• A time-triggered system-on-a-chip architecture with integrated support for diagnosis / C. El Salloum, R. Obermaisser, B. Huber, H. Paulitsch, H. Kopetz / Talk: Design, Automation and Test in Europe Conference (DATE'07), Nice, France; 2007-04-16 - 2007-04-20; in: "Workshop Digest, Diagnostic Services in Network-on-Chips", DATE'07, (2007), Paper ID 3 (Seite 136f), 2 pages
• HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol / R. Obermaisser, D. Riezler / Talk: SAE World Congress & Exhibition, Detroit, MI, USA; 2007-04-16 - 2007-04-19; in: "Proc. of the SAE World Congress & Exhibition", SAE, In-Vehicle Networks, 2007 - SP-2102 (2007), ISBN: 978-0-7680-1892-9
• Abstraction Techniques for Extracted Automata Models / S. Kandl / Talk: International Conference on Real-Time and Network Systems (RTNS), Nancy; 2007-03-29 - 2007-03-30; in: "Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07)", (2007), 35 - 38
• Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast / A. Ademaj, A. Hanzlik, H. Kopetz / Talk: International Conference on Real-Time and Network Systems (RTNS), Nancy, Frankreich; 2007-03-29 - 2007-03-30; 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; 215 - 224
• Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study / W. Elmenreich, H. Piontek, J. Kaiser / Talk: International Conference on Real-Time and Network Systems (RTNS), Nancy, France; 2007-03-29 - 2007-03-30; 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; 195 - 204
• Software Technologies for Embedded Systems and Ubiquitous Systems / R. Obermaisser, Y. Nah, P. Puschner, F. Rammig / Springer LNCS 4761, 2007, ISBN: 978-3-540-75663-7; 563 pages
• Cross-Platform Verification Framework for Embedded Systems / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Lecture Notes in Computer Science, 4761 (2007), 137 - 148
• Advancements in Dependable Time-Triggered Communication / W. Steiner / Lecture Notes in Computer Science, 4761 (2007), 57 - 66
• A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture / M. Schlager, R. Obermaisser, W. Elmenreich / Lecture Notes in Computer Science, 4761 (2007), 159 - 170
• A Review on System Architectures for Sensor Fusion Applications / W. Elmenreich / Lecture Notes in Computer Science, 4761 (2007), 547 - 559
• Mission Modes for Safety Critical Java / M. Schoeberl / Lecture Notes in Computer Science, 4761 (2007), 105 - 113
• Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging / W. Elmenreich / Journal of Vibration and Control, 13 (2007), 9-10; 1303 - 1312

2006

• Zuverlässige Elektronik-Systeme im Verkehrswesen / H. Kopetz / Talk: Conference of the Academy of Science of Northrhine - Westfalia, Northrhine - Westfalia, Germany; 2006-12-13; in: "Informatik bewegt - Informationstechnik in Verkehr und Logistik", acatech, (2007), ISBN: 978-3-8167-7368-9; 55 - 79
• Naming and Addressing / C. El Salloum / Talk: ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems, Wien (invited); 2006-12-04 - 2006-12-05
• Model-Based Design of the Communication System in an Integrated Architecture / R. Obermaisser, B. Huber / Talk: International Conference on Parallel and and Distributed Computing and Systems (PDCS), Dallas, Texas, USA; 2006-11-13 - 2006-11-15; in: "International Conference on Parallel and Distributed Computing and Systems (PDCS 2006), Proceedings of the", (2006)
• Remote Target Monitoring in Embedded Systems Lab Courses using a Sensor Network / C. Trödhandl, M. Proske, W. Elmenreich / Talk: The 32nd Annual Conference of the IEEE Industrial Society, Paris; 2006-11-06 - 2006-11-10; in: "The 32nd Annual Conference of the IEEE Industrial Society - IECON'2006", (2006), 5433 - 5438
• Supporting Heterogeneous Applications in the DECOS Integrated Architecture / C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz, N. Suri / Talk: International DECOS Workshop, Vienna, Austria; 2006-10-12; in: "International DECOS Workshop", (2006)
• WCET Analysis for a Java Processor / M. Schoeberl, R. Pedersen / Poster: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France; 2006-10-11 - 2006-10-13; 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; 202 - 211
• From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain / W. Herzner, M. Schlager, T. Le Sergent, B. Huber, S. Islam, N. Suri, A. Balogh / Poster: International DECOS Workshop, Vienna, Austria; 2006-10-11 - 2006-10-13; in: "Tagungsband, zur Informationstagung Mikroelektronik", (2006), 204 - 213
• From Time-Triggered to Time-Deterministic Real-Time Systems / P. Puschner, R. Kirner / Talk: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (invited); 2006-10-11 - 2006-10-13; in: "5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings", Springer, (2006), ISBN: 0-387-39361-7; 115 - 124
• Exact Roots for a Real-Time Garbage Collector / R. Pedersen, M. Schoeberl / Talk: Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France; 2006-10-11 - 2006-10-13; 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; 77 - 84
• Pulsed Data Streams / H. Kopetz / Talk: IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal (invited); 2006-10-11 - 2006-10-13; 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; 105 - 114
• Das "Smart Car" - ein verteilt kontrollierter, autonomer Roboter / G. Klingler, A. Kößler / Talk: more@Informatics 2006, Wien; 2006-10-05
• Recovery Mechanisms for Dual Core Architectures / C. El Salloum, A. Steininger, P Tummeltshammer / Talk: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT ), Washington DC, USA; 2006-10-04 - 2006-10-06; in: "21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2006, Proceedings", (2006), ISBN: 0-7695-2706-x; 380 - 388
• Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems / S. Kandl, R. Kirner, G. Fraser / Talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01; in: "3rd International Workshop on Dependable Embedded Systems, Proceedings", (2006), 17 - 21
• Environments for Remote Teaching in Embedded Systems Courses / C. Trödhandl, B. Weiss, T. Handl, M. Proske / Talk: ERCIM / DECOS Workshop on Dependable Embedded Systems, Cavtat (invited); 2006-09-29; in: "2006 ERCIM / DECOS Workshop on Dependable Embedded Systems", (2006)
• The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-time Systems / W. Herzner, B. Huber, A. Balogh, G. Csertan / Talk: SAFECOMP, Gdansk, Poland; 2006-09-26 - 2006-09-29; in: "DECOS/ERCIM Workshop on Dependable Embedded Systems at SAFECOMP 2006, Proceedings", (2006)
• Investigating Connector Faults in the Time-Triggered Architecture / P. Peti, H. Paulitsch, R. Obermaisser / Talk: ETFA, Prague, Czech Republic; 2006-09-20 - 2006-09-22; in: "11th IEEE International Conference on Emerging Technologies and Factory Automation , Proceedings", (2006)
• Embedded Systems Home Experimentation / W. Elmenreich, C. Trödhandl, B. Weiss / Talk: Second IASTED International Conference on Education and Technology, Calgary; 2006-09-17 - 2006-09-19; in: "Proceedings of the Second International Conference on Education and Technology", (2006), 11 - 15
• Considerations on the Complexity of Embedded Real-Time System Design Tasks / B. Rumpler, W. Elmenreich / Talk: IEEE International Conference on Computational Cybernetics 2006 (ICCC'06), Talinn, Estonia; 2006-08-20 - 2006-08-22; in: "IEEE International Conference on Computational Cybernetics 2006 (ICCC'06), Proceedings of the", (2006), 55 - 60
• Architecture Support for Temporal Predictability and Composability in Real-Time Computing / P. Puschner / Keynote Lecture: 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland (invited); 2006-08-01 - 2006-08-05; in: "4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Proceedings", (2006), #1
• Embedded Systems Exams With True/False Questions: A Case Study / G. Gridling, B. Weiss, W. Elmenreich, C. Trödhandl / Talk: Second IASTED International Conference on Education and Technology, Calgary; 2006-07-17 - 2006-07-19; in: "Proceedings of the Second International Conference on Education and Technology", (2006), 168 - 172
• Interface Design for Hardware-in-the-Loop Simulation / M. Schlager, W. Elmenreich, I. Wenzel / Talk: IEEE International Symposium on Industrial Electronics, Montreal, Canada; 2006-07-09 - 2006-07-13; in: "Proceedings of the 2006 IEEE International Symposium on Industrial Electronics", IEEE Press, Piscataway, NJ, USA (2006), ISBN: 1-4244-0497-5; 1554 - 1559
• Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup / R. Kirner, M. Grössing, P. Puschner / Poster: Euromicro International Workshop on WCET Analysis, Dresden, Germany; 2006-07-04; in: "6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the", (2006), 11 - 16
• A Fault Hypothesis for Integrated Architectures / R. Obermaisser, P. Peti / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "Fourth Workshop on Intelligent Solutions in Embedded Systems - WISES06", (2006), ISBN: 3-902463-06-6; 47 - 54
• Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems / S. Kandl, R. Kirner, P. Puschner / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "4th Workshop on Intelligent Solutions in Embedded Systems (WISES'06), Proceedings of the", (2006)
• A Composable Algorithm for Clock Synchronization in Multi-Cluster Real-Time Systems / A. Hanzlik, A. Ademaj / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Proceedings of the", (2006)
• An Embedded Support Vector Machine / R. Pedersen, M. Schoeberl / Talk: 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria; 2006-06-30; in: "Fourth International Workshop on Intelligent Solutions in Embedded Systems, Proceedings", (2006), ISBN: 3-902463-06-6; 79 - 89
• Software Implementation of Time-Triggered Ethernet Controller / P. Grillinger, A. Ademaj, K. Steinhammer, H. Kopetz / Talk: IEEE International Workshop on Factory Communication Systems, Torino, Italy; 2006-06-28 - 2006-06-30; in: "Workshop on Factory Communication Systems - WFCS 2006, Proceedings", (2006), ISBN: 1-4244-0379-0; 145 - 150
• The Startup Problem in Fault-Tolerant Time-Triggered Communication / W. Steiner, H. Kopetz / Talk: IEEE International Conference on Dependable Systems and Networks, Philadelphia, PA, USA; 2006-06-25 - 2006-06-28; in: "International Conference on Dependable Systems and Networks 2006, Proceedings of the", (2006), ISBN: 0-7695-2607-1; 35 - 44
• BUFI: Fault injector for communication buses / D. De Andrés, S. Blanc, P. Gil, A. Ademaj, K. Steinhammer / Talk: IEEE Conference on Dependable Systems and Networks (DSN), Philadelphia, PA, USA; 2006-06-25 - 2006-06-28; in: "IEEE Conference on Dependable Systems and Networks (DSN06), Proceedings", (2006)
• MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platform / B. Huber, R. Obermaisser, P. Peti / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-06-24 - 2006-06-26; 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
• Fusion of Continuous-Valued Sensor Measurements using Statistical Analysis / W. Elmenreich, A. Schörgendorfer / Talk: International Symposium on Mathematical Methods in Engineering, Ankara, Turkey (invited); 2006-04-27 - 2006-04-29; 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
• Complexity Management for Composable Real-Time Systems / B. Rumpler / Poster: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; in: "Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC06)", IEEE, (2006), 365 - 373
• Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education / M. Proske, C. Trödhandl / Talk: ICTTA06: International Conference on Information & Communication Technologies, Damascus; 2006-04-24 - 2006-04-28; in: "Proceedings of ICTTA 2006", (2006), 6 pages
• Real-Time Garbage Collection for Java / M. Schoeberl / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; 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; 424 - 432
• A Diagnostic Framework for Integrated Time-Triggered Architectures / P. Peti, R. Obermaisser / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; in: "9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, Proceedings of the", IEEE, (2006), ISBN: 0-7695-2561-x
• Portable Data Exchange for Remote-Testing Frameworks / R. Kirner, P. Puschner, I. Wenzel, B. Rieder / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Gyeongju, Korea; 2006-04-24 - 2006-04-26; in: "Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing", IEEE, (2006), ISBN: 0-7695-2561-x
• Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award) / S. Kandl, R. Kirner / Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006)
• Time-Triggered Ethernet / K. Steinhammer, H. Kopetz / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference - JSC 2006", (2006), ISBN: 3-902463-05-8; 73 - 74
• Extended Confidence-Weighted Averaging in Sensor Fusion / A. Schörgendorfer, W. Elmenreich / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 67 - 68
• Automated solution evaluation during a practical examination / A. Kößler, W. Elmenreich / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 35 - 36
• Meta-Modelling in Tool Support for Time-Triggered Application Development / C. Paukovits, W. Elmenreich / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 53 - 54
• A Portable Real-Time Communication System for Embedded Systems with Heterogeneous Hardware / S. V. Krywult, W. Elmenreich / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 41 - 42
• The Smart Car - a distributed controlled autonomous robot / G. Klingler, A. Kößler, W. Elmenreich / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 33 - 34
• Design Comprehension of Time-Triggered Real-Time Systems / B. Rumpler, H. Kopetz / Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006 (JSC'06)", (2006), 63 - 64
• Distance Labs - Embedded Systems @home / M. Proske, C. Trödhandl, T. Handl / Talk: Edutainment 2006, Zhejiang; 2006-04-14 - 2006-04-18; in: "Journal of Computational Information Systems", (2006), 435 - 444
• Integration of Predictable and Flexible In-Vehicle Communication using Time-Triggered Ethernet / A. Ademaj, H. Kopetz, P. Grillinger, K. Steinhammer, M. Prammer / Talk: SAE World Congress, Detroit, USA; 2006-04-03 - 2006-04-06; in: "SAE Worl Congress", SAE International, (2006), ISBN: 0-7680-1763-7
• Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology / A. Ademaj, K. Steinhammer, P. Grillinger, H. Kopetz, A. Hanzlik / Talk: 19th International Conference on Architecture of Computing systems (ARCS), Frankfurt/Main, Germany; 2006-03-13 - 2006-03-16; in: "19th International Conference on Architecture of Computing systems (ARCS'06), Proceedings of the", Springer-Verlag, (2006), ISBN: 3-540-32765-7
• A Time Predictable Java Processor / M. Schoeberl / Talk: Design, Automation and Test in Europe Conference (DATE), Munich, Germany; 2006-03-06 - 2006-03-10; in: "Proceedings of the Design, Automation and Test in Europe Conference (DATE 2006)", (2006), ISBN: 3-9810801-0-6; 6 pages
• A Time-Triggered Ethernet (TTE) Switch / K. Steinhammer, P. Grillinger, A. Ademaj, H. Kopetz / Talk: Design, Automation and Test in Europe Conference (DATE), Munich, Germany; 2006-03-06 - 2006-03-10; in: "Proceedings of the Design, Automation and Test in Europe", (2006), ISBN: 3-9810801-0-6; 6 pages
• An Intelligent Interference-Minimizing Routing Algorithm / K. Hendling, T. Losert, M. Jandl / in: "Intelligent Systems at the Service of Mankind - Volume II", W. Huber (ed.); Ubooks, Augsburg, 2006, ISBN: 3866080522, 187 - 204
• A CORBA-Based Architecture for Hard Real-Time Systems / T. Losert, W. Huber, K. Hendling, M. Jandl / in: "Intelligent Systems at the Service of Mankind - Volume II", Ubooks, Augsburg, 2006, ISBN: 3866080522, 239 - 254
• Proceedings of the Junior Scientist Conference 2006 / W. Elmenreich, H. Kaiser / TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-05-8; 359 pages
• Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems / W. Elmenreich, G. Novak, R. Seepold / TU Wien, Wien, Österreich, 2006, ISBN: 3-902463-06-6; 201 pages
• A Standard for Real-time Smart Transducer Interface / W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, H. Paulitsch, P. Peti / Computer Standards & Interfaces, 28 (2006), 6; 613 - 624
• Stability and Performance Analysis of Clock Synchronization in FlexRay / A. Hanzlik / International Review on Computers and Software (IRECOS), 1 (2006), 2; 146 - 155
• SIDERA - a Simulation Model for Time-Triggered Distributed Systems / A. Hanzlik / International Review on Computers and Software (IRECOS), 1 (2006), 3; 181 - 193
• Time-Triggered Smart Transducer Networks / W. Elmenreich / IEEE Transactions on Industrial Informatics, 2 (2006), 3; 192 - 199
• The TTA's Approach to Resilience after Transient Upsets / W. Steiner, M. Paulitsch, H. Kopetz / Real-Time Systems, 32 (2006), 3; 213 - 233
• DECOS: An Integrated Time-Triggered Architecture / R. Obermaisser, P. Peti, B. Huber, C. El Salloum / Journal e&i: Elektrotechnik und Informationstechnik, 3 (2006), 83 - 95
• The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems / W. Herzner, B. Huber, C. György, A. Balogh / ERCIM NEWS, 67 (2006), 22 - 24
• Combination of clock-state and clock-rate correction in fault-tolerant distributed systems / H. Kopetz, A. Ademaj, A. Hanzlik / Real-Time Systems, 33 (2006), 139 - 173
• Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract / M. Proske, C. Trödhandl / in: "Proceedings of ICTTA 2006", IEEE, 2006, 205 - 206

2005

• Timing Analysis for Embedded Systems and Time-Predictable Computing / P. Puschner, R. Kirner / Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25
• Time-Triggered Smart Transducer Networks / W. Elmenreich, G. Klingler, A. Kößler, S. V. Krywult / Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25
• Model-Integrated Tool Support for Real-Time Embedded Systems / C. Paukovits, W. Elmenreich / Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25
• Impact of Dependable Software Development / I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber / Talk: VAST2000 Euroconference, Belgrad, Serbia and Montenegro; 2005-11-21 - 2005-11-24; in: "EUROCON 2005 - The International Conference on "Computer as a Tool"", IEEE, (2005), 575 - 578
• DECOS-TADE Collaboration / K. Kim, W. Recker, W. T. Tsai, H. Kopetz, P. Puschner / Talk: Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; 2005-10-20; in: "IST-NSF Workshop on Transatlantic Research Agenda on Future Challenges in Embedded Systems Design", Information Society Technologies/National Science Foundation, (2005), 7 pages
• Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems / W. Elmenreich, G. Karsai / Talk: Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects, Ljubljana, Slovenia; 2005-10-20; in: "Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects", Information Society Technologies/National Science Foundation, (2005), 5 pages
• Evaluation of a Java Processor / M. Schoeberl / Talk: Austrochip, Vienna, Austria; 2005-10-06; in: "Proceedings, Austrochip Mikroelektronik Tagung 2005", (2005), ISBN: 3-901578-13-7
• A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises / V. Legourski, C. Trödhandl, B. Weiss / Talk: Workshop on Embedded Systems Education, Jersey City; 2005-09-22; in: "Proceedings Workshop on Embedded Systems Education (WESE'05)", (2005), 44 - 51
• Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks / W. Elmenreich, C. Paukovits, S. Pitzek / Talk: ETFA, Catania, Italy; 2005-09-19 - 2005-09-22; 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; 535 - 541
• Specification and Execution of Gateways in Integrated Architectures / R. Obermaisser, P. Peti / Talk: ETFA, Catania, Italy; 2005-09-19 - 2005-09-22; in: "Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation", IEEE, II (2005), ISBN: 0-7803-9402-x; 689 - 698
• Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers / S. Pitzek, W. Elmenreich / Talk: ETFA, Catania, Italy; 2005-09-19 - 2005-09-22; in: "Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation", IEEE, I (2005), ISBN: 0-7803-9402-x; 799 - 806
• A Comparison of Fieldbus Protocols: LIN 1.3, LIN 2.0, and TTP/A / W. Elmenreich, S. V. Krywult / Talk: ETFA, Catania, Italy; 2005-09-19 - 2005-09-22; 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; 747 - 753
• Principles of Timing Anomalies in Superscalar Processors / I. Wenzel, R. Kirner, P. Puschner, B. Rieder / Talk: International Conference on Quality Software (QSIC), Melbourne, Australia; 2005-09-19 - 2005-09-20; in: "Proceedings of the Fifth International Conference on Quality Software", PR2472 (2005), ISBN: 0-7695-2472-9; 295 - 303
• Benefits and Implications of the DECOS Encapsulation Approach / M. Schlager, E. Erkinger, W. Elmenreich, T. Losert / Talk: International IEEE Conference on Intelligent Transportation Systems, Vienna, Austria; 2005-09-13 - 2005-09-16; in: "Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems", IEEE Press, (2005), ISBN: 0-7803-9215-9; 13 - 18
• Integration of two Complementary Time-Triggered Technologies: TMO and TTP / R. Obermaisser, E. Henrich, K. Kim, H. Kopetz, M. H. Kim / Talk: International Embedded Systems Symposium, Manaus, Brazil; 2005-08-15 - 2005-08-17; in: "Proceedings of the International Embedded Systems Symposium 2005", Springer, (2005), ISBN: 0-387-27557-6; 1 - 12
• Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture / B. Huber, P. Peti, R. Obermaisser, C. El Salloum / Talk: 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Germany; 2005-05-20; in: "Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05),", (2005), ISBN: 3-902463-03-1; 3 - 16
• The Diagnostic Architecture of the PEGASUS Project Car / P. Peti, R. Obermaisser, H. Paulitsch / Talk: 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Germany; 2005-05-20; in: "Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05)", IEEE Catalog Number 05EX1101 (2005), ISBN: 3-902463-03-1; 163 - 174
• The Time-Triggered Ethernet (TTE) Design / H. Kopetz, A. Ademaj, P. Grillinger, K. Steinhammer / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 2005-05-18 - 2005-05-20; 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; 22 - 33
• Classification of WCET Analysis Techniques / R. Kirner, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 2005-05-18 - 2005-05-20; 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; 190 - 199
• An Integrated Architecture for Future Car Generations / P. Peti, R. Obermaisser, F. Tagliabo, A. Marino, S. Cerchio / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington; 2005-05-18 - 2005-05-20; in: "Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing", (2005), ISBN: 0-7695-2356-0; 2 - 13
• Measurement-Based Worst-Case Execution Time Analysis / I. Wenzel, R. Kirner, B. Rieder, P. Puschner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Seattle, Washington; 2005-05-16 - 2005-05-17; in: "Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)", IEEE, (2005), ISBN: 0-7695-2357-9; 7 - 10
• TTA Supported Service Availability / H. Kopetz / Keynote Lecture: International Service Availability Symposium, Berlin, Germany (invited); 2005-04-25 - 2005-04-26; in: "Service Availability - Second International Availability Symposium", M. Malek, E. Nett, N. Suri (ed.); Springer, LNCS 3694 (2005), ISBN: 3-540-29103-2; 1 - 14
• A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture / P. Peti, R. Obermaisser, A. Ademaj, H. Kopetz / Talk: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Denver, Colorado; 2005-04-04 - 2005-04-08; in: "Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS) Author(s)", (2005), ISBN: 0-7695-2312-9
• Virtual Gateways in the DECOS Integrated Architecture / R. Obermaisser, P. Peti, H. Kopetz / Talk: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Denver, Colorado; 2005-04-04 - 2005-04-08; in: "Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS)", (2005), ISBN: 0-7695-2312-9
• Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core / F. Gruian, P. Andersson, K. Kuchcinsky, M. Schoeberl / Talk: ACM Symposium on Applied Computing, Santa Fe, New Mexico; 2005-03-11 - 2005-03-17; in: "Proceedings of the 2005 ACM symposium on Applied computing", ACM Press, (2005), ISBN: 1-58113-964-0; 879 - 884
• Out-of-Norm Assertions / P. Peti, R. Obermaisser, H. Kopetz / Talk: IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California; 2005-03-07 - 2005-03-10; in: "Proceedings of the elventh IEEE Real-Time and Embedded Technology and Applications Symposium", IEEE Computer Society, (2005), ISBN: 0-7695-2302-1; 280 - 291
• Automatic Timing Model Generation by CFG Partitioning and Model Checking / I. Wenzel, B. Rieder, R. Kirner, P. Puschner / Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2005-03-07 - 2005-03-11; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; 606 - 611
• Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number / P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; 2005-02-02 - 2005-02-04; in: "Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005", (2005), ISBN: 0-7695-2347-1; 205 - 210
• Virtual Networks in an Integrated Time-Triggered Architecture / R. Obermaisser, P. Peti, H. Kopetz / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona; 2005-02-02 - 2005-02-04; in: "Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005", (2005)
• Smart Transducers - Principles, Communications and Configuration / W. Elmenreich, S. Pitzek / in: "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, 175 - 186
• Configuration and Management of Fieldbus Systems / S. Pitzek, W. Elmenreich / in: "The Industrial Communication Technology Handbook", CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7, 18-1 - 18-20
• Dependable Time-Triggered Communication / H. Kopetz, G. Bauer, W. Steiner / in: "The Industrial Communication Technology Handbook", CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7
• Time Triggered Communication Networks / H. Kopetz, G. Bauer / in: "Industrial Information Technology Handbook", CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-1985-4
• Intelligent Systems at the Service of Mankind, Volume II / W. Elmenreich, J.A.T. Machado, I. J. Rudas / UBooks Verlag, Augsburg, Deutschland, 2005, ISBN: 3-86608-052-2; 478 pages
• Fault-Tolerant Compensation of the Propagation Delay for Hard Real-Time Systems / T. Losert, M. Schlager, W. Elmenreich / Journal of Advanced Computational Intelligence and Intelligent Informatics, 9 (2005), 4; 346 - 352
• Dependable Embedded Systems Research at TU Vienna / H. Kopetz, R. Obermaisser, U. Schmid / Elektrotechnik und Informationstechnik (e&i) (invited), 1 (2005), 1; 33 - 37
• A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems / E. Armengaud, F Rothensteiner, A. Steininger, R. Pallierer, M. Horauer, M Zauner / in: "Proceedings International Test Conference 2005", IEEE Computer Society, 2005, ISBN: 0-7803-9039-3, 21 - 28
• A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems / R. Pallierer, M. Horauer, M Zauner, A. Steininger, E. Armengaud, F Rothensteiner / in: "Embedded World 2005", unbekannt, 2005
• Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall / 2005

2004

• Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems / H. Kopetz, A. Ademaj, A. Hanzlik / Talk: IEEE Real-Time Systems Symposium, Lisbon, Portugal; 2004-12-05 - 2004-12-08; in: "Proceedings of the 25th IEEE International Real-Time Systems Symposium", IEEE, (2004), ISBN: 0-7695-2247-5
• Semi-Automatic Compensation of the Propagation-Delay in Fault-Tolerant Systems / T. Losert, W. Elmenreich, M. Schlager / Talk: IASTED International Conference on Communications, Internet, and Information Technology (CIIT 2004), US Virgin Islands; 2004-11-22 - 2004-11-24; in: "Proceedings of the Third International Conference on Communications, Internet, and Information Technology (CIIT 2004)", ACTA Press, (2004), ISBN: 0-88986-445-4; 455 - 460
• Interference Minimizing Bandwidth Guaranteed On-Line Routing Algorithm for Traffic Engineering / K. Hendling, T. Losert, W. Huber, M. Jandl / Talk: IEEE International Conference on Networks (2004, 12th ICON), Singapur; 2004-11-16 - 2004-11-19; in: "Proceedings of the IEEE International Conference on Networks (2004, 12th ICON) ", IEEE, Volume 2 (2004), ISBN: 0-7803-8783-x; 497 - 503
• An integrated architecture for dependable embedded systems / H. Kopetz / Talk: IEEE Symposium on Reliable Distributed Systems, Florianopolis, Brazil (invited); 2004-10-18 - 2004-10-20; in: "Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. ", IEEE, (2004), 160 - 161
• A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer / Talk: IEEE International Workshop on Factory Communication Systems, Vienna,Austria; 2004-09-22 - 2004-09-24; in: "IEEE Workshop on Factory Communication Systems (WFCS 04)", IEEE Catalog Number 04TH8777 (2004), ISBN: 0-7803-8734-1; 275 - 283
• Revision and Verification of an Enhanced UART / R. Gallo, M. Delvai, W. Elmenreich, A. Steininger / Talk: IEEE International Workshop on Factory Communication Systems, Vienna, Austria; 2004-09-22 - 2004-09-24; in: "Proceedings of the 2004 IEEE International Workshop on Factory Communication Systems", IEEE, (2004), ISBN: 0-7803-8734-1; 315 - 318
• Composable Embedded Systems / H. Kopetz / Talk: IEEE International Conference on Computational Cybernetics, Vienna, Autria; 2004-08-30 - 2004-09-01; in: "Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004)", IEEE, (2004), ISBN: 3-902463-01-5; 3
• Simulation-based Development of Embedded Sensor Fusion Applications / W. Elmenreich, M. Schlager / Talk: IEEE International Conference on Computational Cybernetics, Wien; 2004-08-30 - 2004-09-01; in: "Proceedings of the 2nd IEEE International Conference on Computational Cybernetics ", (2004), ISBN: 3-902463-01-5; 147 - 153
• Monitoring Data Types in Distributed Real -Time Systems / I. Smaili, P. Puschner / Talk: IEEE International Conference on Computational Cybernetics, Vienna, Austria; 2004-08-30 - 2004-09-01; in: "Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004)", (2004), ISBN: 3-902463-01-5; 163 - 168
• An Extensible Transport Framework for CORBA with Emphasis on Real-Time Capabilities / T. Losert, W. Huber, K. Hendling, M. Jandl / Talk: Second IEEE International Conference on Computational Cybernetics 2004 (ICCC'04), Vienna, Austria; 2004-08-30 - 2004-09-01; in: "Proceeding of ICCC'04", (2004), ISBN: 3-902463-01-5; 155 - 161
• Instruction Cache für Echtzeitsysteme / M. Schoeberl / Patent: Österreich, No. 500858; submitted: 2004-08-17, granted: 2006-04-15
• Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation / R. Kirner, P. Puschner, I. Wenzel / Talk: Euromicro International Workshop on WCET Analysis, Catania, Italy; 2004-07-29; in: "Proceedings of the", (2004), ISSN: 1166-8687; 1 - 4
• Design Trade-offs for Systematic Tests of Embedded Communication Systems / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-07-28 - 2004-08-01; in: "International Conference on Dependable Systems and Networks (DSN 2004)", (2004), 118 - 119
• Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation / W. Steiner, J. Rushby, M. Sorea, G. Pfeifer / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-06-28 - 2004-07-01; in: "Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004)", IEEE, (2004), ISBN: 0-7695-2052-9
• Using Triggers to Find Significant Events during Monitoring of Real-Time Systems / I. Smaili / Talk: Workshop on Intelligent Solutions in Embedded Systems, Graz; 2004-06-25; in: "Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems - WISES 2004", (2004), ISBN: 3902463007; 37 - 47
• Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems / M. Jankela, W. Puffitsch, W. Huber / Talk: Workshop on Intelligent Solutions in Embedded Systems, Graz, Austria; 2004-06-25; in: "Proceedings of the Second Workshop on Intelligent Solutions im Embedded Systems", (2004), ISBN: 3902463007; 117 - 127
• Wireless Time-Triggered Real-Time Communication / B. Huber, W. Elmenreich / Talk: Workshop on Intelligent Solutions in Embedded Systems, Graz, Österreich; 2004-06-25; in: "Proceedings of the 2nd Workshop on Intelligent Solutions in Embedded Systems", (2004), ISBN: 3-902463-00-7; 169 - 182
• Function Test Environment for Embedded Driver Components / S. Pitzek, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; 2004-05-12 - 2004-05-14; in: "Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004)", IEEE, (2004), ISBN: 0-7695-2124-x; 237 - 244
• Modeling Distributed Embedded Applications on an Interface File System / W. Elmenreich, S. Pitzek, M. Schlager / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Vienna, Austria; 2004-05-12 - 2004-05-14; 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; 175 - 182
• Composition of component services / H. Kopetz / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Vienna, Austria (invited); 2004-05-12 - 2004-05-14; in: "Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004. (ISORC)", IEEE, (2004), ISBN: 0-7695-2124-x; 3
• A Monitoring Concept for an Automotive Distributed Network - The FlexRay Example / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer, H. Friedl / Talk: 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2004), Stara Lesna, Slovakia; 2004-04-18 - 2004-04-21; in: "Proceedings of the 7th Workshop on Design and Diognostics of Electronic Circuits and Systems", (2004), ISBN: 80-969117-9-1; 173 - 178
• Solving a real-world glass cutting problem / J. Puchinger, G. Raidl, G. Koller / Talk: EVOCOP: 4th European Conference on Evolutionary Computation in Combinatorial Optimization, Coimbra, Portugal; 2004-04-05 - 2004-04-07
• Monitoring and Fault Injection of X-by-Wire Communication Networks / R. Pallierer, M. Horauer, A. Steininger / Talk: Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke, Wien; 2004-02-03; in: "Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke", (2004)
• On the Fault Hypothesis for a Safety-Critical Real-Time System / H. Kopetz / Talk: Future Generation Software Architectures in the Automotive Domain, San Diego, USA (invited); 2004-01-10 - 2004-01-12; in: "On the Fault Hypothesis for a Safety-Critical Real-Time System", H. Kopetz (ed.); (2004)
• Proceedings of the 16th Euromicro Conference on Real-Time Systems / P. Puschner / IEEE Computer Society Press, Piscataway, NJ, USA, 2004, ISBN: 0-7695-2176-2; 282 pages
• Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems / B. Rinner, W. Elmenreich / Technische Universität Graz, Graz, Österreich, 2004, ISBN: 3-902463-00-7; 203 pages
• Proceedings of the 2nd IEEE International Conference on Computational Cybernetics / W. Elmenreich, W. Haidinger, J.A.T. Machado / TU Wien, Wien, 2004, ISBN: 3-902463-01-5; 461 pages
• TTP/A Protocol and Design / A. N. Rapaka, W. Elmenreich, D. Wunsch / Circuit Cellar, (2004), 164; 12 - 21
• Wireless Time-Triggered Real-Time Communication / B. Huber, W. Elmenreich / Telematik, 3-4 (2004), 44 - 50
• Sicherheitsrelevante elektronische Lösungen im Automobil / M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna / Automotive Elektronics, extra (2004), März; 50 - 53
• Safety Relevant Automotive Electronic Solutions / M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna / Automotive Electronics International, March (2004), 21 - 23
• An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol / M. Horauer, F Rothensteiner, M Zauner, E. Armengaud, A. Steininger, H. Friedl, R. Pallierer / Poster: Austrochip, Wien; 2004; in: "Austrochip 2004", TU-Wien, (2004), 119 - 123
• The Time-Triggered Architecture: Short Summary of Recent Work and Future Trends / H. Kopetz, G. Bauer, R. Obermaisser, P. Peti, P. Puschner / 2004
• Models and algorithms for three-stage two-dimensional bin packing. / J. Puchinger, G. Raidl / Report for Technical Report TR 186-1-04-04, submitted to EJOR; 2004
• Semantic Meta Information for Improving Comprehension of a Smart Transducer Interface / S. Pitzek / 2004
• A TT-Ethernet Switch based on COTS-Components / K. Steinhammer / 2004
• Worst-Case Execution-Time Analysis: Short Summary of Recent Work and Future Trends / P. Puschner / 2004
• Monitoring of Distributed Time-Triggered Systems: Case Study / I. Smaili / 2004
• Monitoring and Debugging of Real-Time Systems : A Survey / I. Smaili / 2004
• Final demonstration of smart sensor interface / W. Elmenreich, W. Haidinger, A. Dias, C. Trödhandl, M. Borovicka / 2004

2003

• The Single-Path Approach Towards WCET-Analysable Software / P. Puschner / Talk: IEEE International Conference on Industrial Technology, Maribor, Slovenia; 2003-12-10 - 2003-12-12; in: "Proceedings of IEEE International Conference on Industrial Technology", (2003), 699 - 704
• Introduction to TTP/C and TTP/A / W. Elmenreich, R. Ipp / Talk: Workshop on Time-Triggered and Real-Time Communication Systems, Manno, Switzerland (invited); 2003-12-02; in: "Proceedings of the Workshop on Time-Triggered and Real-Time Communication Systems", (2003), 9 pages
• The Time-Triggered Paradigm / W. Elmenreich, G. Bauer, H. Kopetz / Talk: Workshop on Time-Triggered and Real-Time Communication Systems, Manno, Switzerland (invited); 2003-12-02; in: "Proccedings of the Workshop on Time-Triggered and Real-Time Communication Systems", (2003), 9 pages
• Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs / J. Fauster, R. Kirner, P. Puschner / Talk: International Conference on Embedded Software, Philadelphia, PA, USA; 2003-10-13 - 2003-10-15; in: "Proceedings of the 3rd International Conference on Embedded Software (EMSOFT 2003)", (2003), 190 - 205
• Input-Dependency Analysis for Hard Real-Time Software / J. Gustafsson, B. Lisper, R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), 1 - 8
• Multiple Failure Correction in the Time-Triggered Architecture / W. Steiner, M. Paulitsch, H. Kopetz / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Capri, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 9th IEEE International Conference on Object-oriented Real-time Dependable Systems (WDS 2003f)", (2003), 1 - 8
• Transformation of Meta-Information by Abstract Co-Interpretation / R. Kirner, P. Puschner / Talk: 7th International Workshop, SCOPES, Vienna, Austria; 2003-09-24 - 2003-09-26; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), 298 - 312
• Configuration and Management of a Real-Time Smart Transducer Network / S. Pitzek, W. Elmenreich / Talk: IEEE Conference on Emerging Technologies and Factory Automation, Lisbon, Portugal; 2003-09-16 - 2003-09-19; in: "Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation", (2003), 407 - 414
• A Generic Architecture for Integrated Smart Transducers / M. Delvai, U. Eisenmann, W. Elmenreich / Talk: International Conference, FPL 2003, Lissabon, Portugal; 2003-09-01 - 2003-09-03
• A Model for Reactive Systems Supporting Varying Degrees of Synchrony / W. Elmenreich, R. Obermaisser, P. Peti / Talk: IEEE International Conference on Computational Cybernetics, Siofok, Hungary; 2003-08-29 - 2003-08-31; in: "Proceedings of IEEE International Conference on Computational Cybernetics ", (2003), ISBN: 963-7154-18-3; 275 - 280
• Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems / M. Paulitsch, W. Steiner / Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15th Euromicro Conference on Real-Time Systems", (2003), 249 - 256
• Processor Support for Temporal Predictability - The SPEAR Design Example / M. Delvai, W. Huber, P. Puschner, A. Steininger / Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15 Euromicro International Conference on Real-Time Systems", (2003), 169 - 176
• Discussion of Misconceptions about Worst-Case Execution-Time Analysis / R. Kirner, P. Puschner / Talk: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 2003-07-01; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), 61 - 64
• Fault-Tolerant Certainty Grid / W. Elmenreich / Talk: ICAR International Conference on Advanced Robotics, Coimbra, Portugal; 2003-06-30 - 2003-07-03; in: "Proceedings of the 11th International Conference on Advanced Robotics", 3 (2003), ISBN: 972-96889-8-2; 1576 - 1581
• Intelligent UART Module for Real-Time Applications / M. Delvai, U. Eisenmann, W. Elmenreich / Talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'03), Wien; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", (2003), 177 - 185
• Intelligent Methods for Embedded Systems / W. Elmenreich / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the Workshop on Intelligent Solutions in Embedded Systems", (2003), 3 - 11
• A Simple and Effective Fully Automatic Worst-Case Execution-Time Analysis for Model-Based Application Development / R. Kirner, P. Puschner / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 15 - 24
• Automatic Recovery of the TTP/A Sensor/Actuator Network / W. Steiner, W. Elmenreich / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutíons in Embedded Systems", W. Elmenreich (ed.); (2003), 25 - 37
• A Simulation Architecture for Time-Triggered Transducer Networks / M. Schlager / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 39 - 50
• Adding Hard Real-time Capabilities to CORBA / T. Losert / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 57 - 66
• Accessing TTP/A Fieldbus System via Web Services / M. Venzke, S. Pitzek / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 69 - 76
• Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications / S. Pitzek, P. Puschner / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 85 - 96
• Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology / A. Ademaj, G. Bauer, H. Sivencrona, J. Torin / Talk: IEEE International Conference on Dependable Systems and Networks, San Francisco, USA; 2003-06-22 - 2003-06-25; in: "Proceedings of the IEEE International Conference on Dependable Systems and Networks", (2003), 123 - 132
• Avoiding Timing Problems in Real-Time Software / P. Puschner, R. Kirner / Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 2003-05-15 - 2003-05-16; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), 75 - 78
• Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces / H. Kopetz, N. Suri / Talk: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), Hokkaido, Japan; 2003-05-14 - 2003-05-16; in: "Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03)", (2003), 1 - 10
• Hard Real-Time Programming is Different / P. Puschner / Talk: 17th International Parallel and Distributed Processing Symposium, Nice, France; 2003-04-22 - 2003-04-26; 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), 117 - 118
• Achieving Fail Silence in the Time-Triggered Architecture / A. Ademaj / Talk: 6th IEEE International Workshop on Design and diagnostics of Electronics Circuits and Systems (DDECS'03), Poznan, Poland; 2003-04-14 - 2003-04-16; in: "Proceedings of the 6th IEEE Int. Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03)", (2003), 165 - 170
• The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture / G. Bauer, H. Kopetz, W. Steiner / Talk: 6th International Symposium on Autonomous Decentralized Systems (ISADS 03), Pisa, Italy; 2003-04-09 - 2003-04-11; in: "Proceedings of the Sixth International Symposium on Autonomous Decentralized Systems (ISADS 03)", (2003), 37 - 44
• Smart Transducers - Principles, Communications, and Configuration / W. Elmenreich, S. Pitzek / Talk: 7th IEEE International Conference on Intelligent Engineering Systems (INES), Assuit, Luxor, Egypt; 2003-03-04 - 2003-03-06; in: "Proceedings of the 7th IEEE International Conference on Intelligent Engineering Systems (INES)", (2003), 510 - 515
• Safe Automotive Software Development / K. Tindell, H. Kopetz, F. Wolf, R. Ernst / Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2003-03-03 - 2003-03-07; in: "Proceedings of the Conference on Design, Automation and Test in Europe", (2003), 616 - 621
• Applying a Real-Time Interface to an Optical Tracking System / R. Seemann, F. Bruckner, M. Figl, A. Wagner, K. Schicho, W. Elmenreich / Talk: Workshop on Augmented Reality in Computer Aided Surgery, Interlaken, Switzerland; 2003-02-27 - 2003-03-01; in: "Proceedings of the Workshop on Augmented Reality in Computer Aided Surgery", (2003), 87
• Timing Analysis of Optimised Code / R. Kirner, P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 100 - 105
• Algorithms for Dependable Hard Real-Time Systems / P. Puschner / Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 26 - 31
• A Robust Certainty Grid Algorithm for Robotic Vision / W. Elmenreich, R. Kirner / in: "Intelligent Systems at the Service of Mankind", UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, 67 - 78
• Distributed Sensor Fusion Networks / W. Elmenreich, P. Peti / in: "Intelligent Engineering Systems at the Service of Mankind", UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, 335 - 347
• Intelligent Systems at the Service of Mankind, Volume I / W. Elmenreich, J.A.T. Machado, I. J. Rudas / UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3; 444 pages
• Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing / P. Puschner, T. Nakajima, A. Ghafoor / IEEE Computer Society Press, Piscataway, NJ, USA, 2003, ISBN: 0-7695-1928-8; 302 pages
• Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems / W. Elmenreich / TU Wien, Vienna, Austria, 2003, 207 pages
• The Time-Triggered Architecture / H. Kopetz, G. Bauer / Proceedings of the IEEE, 91 (2003), 1; 112 - 126
• A Generic Architecture for Integrated Smart Transducers / M. Delvai, U. Eisenmann, W. Elmenreich / Lecture Notes in Computer Science, 2778 (2003), 733 - 744
• Time Triggered Architecture / H. Kopetz / ERCIM NEWS, 1 (2003), 52; 24 - 25
• Projektbericht Technische Informatik: Seamless Campus / J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer / Report for Technical Report 183/1-135, Department of Automation, Technische Universität Wien; 2003
• Validation of Fault Tolerance and Timing Properties / J. Fabre, T. Losert, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, W. Simmonds / 2003
• Analysis of the CRC Polynomial used in TTP/C / W. Haidinger / 2003

2002

• Improving Compilers for Embedded Systems / C. Trödhandl / Talk: RTSG-Seminar, Wien; 2002-12-20
• Implementation of a TTP/C Cluster Based on Commercial Gigabit Ethernet Components / M. Schwarz / Talk: RTSG-Seminar, Wien; 2002-12-13
• Lessons Learned from the FIT Project / A. Ademaj / Talk: RTSG-Seminar, Wien; 2002-12-06
• Analysis of the FP6 Eol on Embedded Systems / P. Peti / Talk: RTSG-Seminar, Wien; 2002-11-22
• Slightly-Off-Specification Failures in the Time-Triggered Architecture / A. Ademaj / Talk: IEEE International Workshop on High Level Design Validation and Test, Cannes, France; 2002-10-26 - 2002-10-28; in: "Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test ", (2002), 7 - 12
• Sensor Fusion in Time-Triggered Systems / W. Elmenreich / Talk: RTSG-Seminar, Wien; 2002-10-25
• A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection / A. Ademaj / Talk: European Dependable Computing Conference, Tolouse, France; 2002-10-23 - 2002-10-25; in: "Proceedings of the 4th European Dependable Computing Conference", (2002), 172 - 190
• Slightly-Off-Specification Failures in the Time-Triggered Architecture / A. Ademaj / Talk: RTSG-Seminar, Wien; 2002-10-21
• Setting Break-Points in Distributed Time-Triggered Architecture / A. Ademaj / Talk: RTSG-Seminar, Wien; 2002-10-21
• Presentation on Self-stabilization in the Time-Triggered Architecture / W. Steiner / Talk: Self-Stabilization Seminar, Luminy, France; 2002-10-21 - 2002-10-25
• Introduction to the Hard Real-Time CORBA Project / T. Losert / Talk: RTSG-Seminar, Wien; 2002-10-17
• The Concepts of Time, State, Component and Interface - A Literature Survey / P. Peti / Talk: RTSG-Seminar, Wien; 2002-10-11
• Research Funding of the European Union / M. Paulitsch / Talk: RTSG-Seminar, Wien; 2002-10-04
• Setting Break-Points in Distributed Time-Triggered Architecture / A. Ademaj, I. Smaili / Talk: IEEE International Workshop on High Level Design Validation and Test, Cannes, France; 2002-10-01; in: "Proceedings of the 7th Annual IEEE International Workshop on High Level Design Validation and Test", (2002)
• Enforcing Composability for Ubiquitious Computing Systems / R. Kirner / Talk: The Cabernet Radicals Workshop, Bertinoro, Italy; 2002-10-01; in: "Proceedings of the 7th Cabernet Radicals Workshop", (2002)
• Smart Transducers Interface / T. Losert / Talk: OMG Technical Meeting, Helsinki, Finland; 2002-09-30 - 2002-10-04
• Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems / S. Pitzek / Talk: RTSG-Seminar, Wien; 2002-09-03
• Designing a High-Performant Real-Time Architecture Based on COTS Components / C. Eder / Talk: RTSG-Seminar, Wien; 2002-09-03
• Time-Triggered Communication with UARTs / W. Elmenreich, M. Delvai / Talk: IEEE International Workshop on Factory Communication Systems, Västeraas; 2002-08-28 - 2002-08-30; in: "Proceedings of the 4th IEEE International Workshop on Factory Communication Systems", (2002), 97 - 104
• Self-Stabilization in der TTA / W. Steiner / Talk: RTSG-Seminar, Wien; 2002-08-11
• Time-Triggered Real-Time Computing / H. Kopetz / Talk: IFAC World Congress, Barcelona, Portugal; 2002-07-21 - 2002-07-26; in: "Proceedings of the IFAC World Congress", IFAC Press, (2002)
• A Standardized Smart Transducer Interface / W. Elmenreich, R. Obermaisser / Talk: IEEE International Symposium on Industrial Electronics, L'Aquila, Italy; 2002-07-08 - 2002-07-11; in: "Proceedings of the IEEE International Symposium on Industrial Electronics (ISIE'02)", (2002)
• The Transition from Asynchronous to Synchronous System Operation: An approach for Distributed Fault -Tolerant Systems / W. Steiner, M. Paulitsch / Talk: International Conference on Distributed Computing Systems, Vienna, Austria; 2002-07-02 - 2002-07-05; in: "Proceedings of the International Conference on Distributed Computing Systems 2002", (2002), 329 - 336
• Fault Tolerance Evaluation Using two Software Based Fault Injection Methods / A. Ademaj, P. Grillinger, J. Hlavicka / Talk: International On-Line testing Workshop, France; 2002-07-01; in: "Proceedings of the International On-Line testing Workshop", (2002)
• Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level / H. Sivencrona, J. Torin, A. Ademaj / Talk: IEEE International Conference on Dependable Systems and Networks, Washington DC, USA; 2002-06-23 - 2002-06-26; in: "Proceedings of the International Conference on Dependable Systems & Networks", (2002)
• Applying a Real-Time Interface to an Optical Tracking System / S. Bruckner, R. Seemann, W. Elmenreich / Talk: Euromicro International Conference, Vienna, Austria; 2002-06-19 - 2002-06-21; in: "Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference", (2002), 49 - 52
• Managing Fieldbus Systems / S. Pitzek, W. Elmenreich / Talk: Euromicro International Conference, Vienna, Austria; 2002-06-19 - 2002-06-21; in: "Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference", (2002), 13 - 16
• Byzantine Fault Containment in TTP/C / G. Bauer, H. Kopetz, W. Steiner / Talk: International Workshop on Real-Time LANs in the Internet Age, Vienna, Austria; 2002-06-18; in: "Proceedings of the 1st International Workshop on Real-Time LANs in the Internet Age", (2002)
• Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures / P. Puschner / Talk: Euromicro International Workshop on WCET Analysis, Vienna, Austria; 2002-06-18; in: "Proceedings of the 2nd Euromicro International Workshop on WCET Analysis", (2002)
• An Architecture supporting Monitoring and Configuration in Real-Time Smart Transducer Networks / P. Peti, R. Obermaisser, W. Elmenreich, T. Losert / Talk: IEEE International Conference on Sensors, Orlando, Florida; 2002-06-01; in: "Proceedings of the First IEEE International Conference on Sensors ", 2 (2002), 1479 - 1484
• Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Vienna, Austria; 2002-06-01; in: "Proceedings of the 14th Euromicro International Conference on Real-Time Systems (ECRTS'02)", (2002), 31 - 40
• Achieving Dependability in Time-Triggered Networks by Sensor Fusion / W. Elmenreich, P. Peti / Talk: IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; 2002-05-26 - 2002-05-28; in: "Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES)", (2002), 167 - 172
• A Robust Certainty Grid Algorithm for Robotic Vision / W. Elmenreich, L. Schneider, R. Kirner / Talk: IEEE International Conference on Intelligent Engineering Systems, Opatija, Croatia; 2002-05-26 - 2002-05-28; in: "Proceedings of the 6th IEEE International Conference on Intelligent Engineering Systems (INES)", (2002)
• Achieving Dependability in Time-Triggered Networks by Sensor Fusion / W. Elmenreich / Talk: RTSG-Seminar, Wien; 2002-05-23
• A Robust Certainty Grid for Robotic Vision / W. Elmenreich / Talk: RTSG-Seminar, Wien; 2002-05-23
• Initial Demonstration of Smart Sensor Case Study: Progress Report / T. Losert / Talk: Dependable Systems of Systems Plenary Workshop, Malvern, UK; 2002-05-01
• Java Virtual-Machine Support for Portable Worst-Case Execution-time Analysis / I. Bate, G. Bernat, P. Puschner / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Washington, DC, USA; 2002-04-29 - 2002-05-01; in: "Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing", (2002), 83 - 90
• Fehlerkorrigierende Codes / W. Haidinger / Talk: RTSG-Seminar, Wien; 2002-04-19
• Making Real-Time Tasks Temporally Predictable / P. Puschner / Talk: ARTES Real-Time Graduate Student Conference, Uppsala, Sweden; 2002-04-18 - 2002-04-19; in: "Proceedings of the ARTES Real-Time Graduate Student Conference ", (2002), 7
• Three Different Fault Injection Techniques Combined to Improve the Detection Efficiency for Time-Triggered Systems / S. Blanc, A. Ademaj, H. Sivencrona, P. Gil, J. Torin / Talk: IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems, Brno, Czech Republic; 2002-04-17 - 2002-04-19; in: "Proceedings of the 5th IEEE International Workshop on Design & Diagnostic of Electronic Circuits and Systems", (2002)
• Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell / R. Kirner, C. Scheidler, G. Grünsteidl, U. Virnich, S. Boutin, J. Rennhack, R. Lang, M. Pisecky, Y. Papadopoulos / Talk: VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren, Mannheim, Deutschland; 2002-04-15 - 2002-04-16; in: "Tagungsband der VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg ", (2002), 662 - 676
• Administration of Scientific Literature with the Paperserver / S. Pitzek / Talk: RTSG-Seminar, Wien; 2002-02-22
• New Node Integration for Master-Slave Fieldbus Networks / W. Elmenreich, W. Haidinger, P. Peti, L. Schneider / Talk: IASTED International Conference on Applied Informatics, Innsbruck, Austria; 2002-02-18 - 2002-02-21; in: "Proceedings of the 20th International Conference on Applied Informatics (AI 2002)", (2002), 173 - 176
• NEXT TTA: Gigabit TTP (Workpackage 8) / M. Schwarz, C. Eder / Talk: RTSG-Seminar, Wien; 2002-01-30
• Summary of Work and Results of Experimental Assessment of WCET / P. Atanassov / Talk: RTSG-Seminar, Wien; 2002-01-25
• New Node Integration for Master-Slave Fieldbus Networks / W. Haidinger / Talk: RTSG-Seminar, Wien; 2002-01-18
• Writing Temporally Predictable Code / P. Puschner, A. Burns / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), San Diego, USA; 2002-01-07 - 2002-01-09; in: "Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2002), 85 - 91
• Smart Transducers Interface / T. Losert / Talk: OMG Workshop on Embedded & Real-Time Distributed Object Systems, San Francisco, USA; 2002-01-07 - 2002-01-11
• Making Java Hard Real-Time / P. Puschner, G. Bernat, A. Wellings / in: "The Annals of the Marie Curie Fellowship Association (MCFA) Volume II", N. Brambilla, O. Sparagano, L. Deneire (ed.); Marie Curie Fellowship Association, 2002
• Transforming Execution-Time Boundable Code into Temporally Predictable Code / P. Puschner / in: "Design and Analysis of Distributed Embedded Systems", B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (ed.); Kluwer Academic Publishers, 2002, 163 - 172
• Systemnahes Programmieren - C Programmierung unter Unix und Linux / W. Elmenreich et al. / UBooks Verlag, Augsburg, 2002, ISBN: 3-935789-88-1; 290 pages
• Temporal Composability / H. Kopetz, R. Obermaisser / IEE's Computing & Control Engineering Journal (invited), 13 (2002), 4; 156 - 162
• Time-Triggered Architecture: A Consistent Computing Platform / R. Maier, G. Bauer, G. Stöger, S. Poledna / IEEE Micro, 22 (2002), 4; 36 - 45
• Presentation on Self-stabilization in the Time-Triggered Architecture / W. Steiner / 2002
• Analysis of the Framework Six Expressions of Interest on Embedded Systems / P. Peti / 2002
• Enforcing Composability for Ubiquitious Computing Systems / R. Kirner / 2002
• Smart Transducers Interface Specification / S. Aslam-Mir, W. Haidinger, W. Elmenreich, T. Losert, H. Kopetz / 2002
• Slightly-Off-Specification Failures in the Time-Triggered Architecture / A. Ademaj / 2002
• The Concepts behind Time, State, Component, and Interface - A Literature Survey / P. Peti / 2002
• Is Worst-Case Execution-Time Analysis a Non-Problem? -- Towards New Software and Hardware Architectures / P. Puschner / 2002
• Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level / H. Sivencrona, J. Torin, A. Ademaj / 2002
• Setting Break-Points in Distributed Time-Triggered Architecture / I. Smaili, A. Ademaj / 2002
• Time-Triggered Architecture: A Consistent Computing Platform / R. Maier, G. Bauer, G. Stöger, S. Poledna / 2002
• TTP/A Smart Transducer Programming - A Beginner's Guide / W. Elmenreich, W. Haidinger, R. Kirner, T. Losert, R. Obermaisser, C. Trödhandl / 2002
• A Standardized Smart Transducer Interface / W. Elmenreich, R. Obermaisser / 2002
• A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection / A. Ademaj / 2002
• Byzantine Fault Containment in TTP/C / G. Bauer, H. Kopetz, W. Steiner / 2002
• Temporal composability / H. Kopetz, R. Obermaisser / 2002
• Managing Fieldbus Systems / S. Pitzek, W. Elmenreich / 2002
• Three Different Fault Injection Techniques combined to Improve the Detection Efficiency for Time-Triggered Systems / S. Blanc, A. Ademaj, H. Sivencrona, P. Gil, J. Torin / 2002
• Fault Tolerance Evaluation Using two Software Based Fault Injection Methods / A. Ademaj, P. Herout, P. Grillinger, J. Hlavicka / 2002
• Making Real-Time Tasks Temporally Predictable / P. Puschner / 2002
• Applying a Real-Time Interface to an Optical Tracking System / R. Bruckner, R. Seemann, W. Elmenreich / 2002
• An Architecture supporting Monitoring and Configuration in Real-Time Smart Transducer Networks / P. Peti, R. Obermaisser, W. Elmenreich, T. Losert / 2002
• Time-Triggered Real-Time Computing / H. Kopetz / 2002
• Fault-Tolerant External Clock Synchronization for Embedded Real-Time Systems / M. Paulitsch / 2002
• International Workshop on SCET Analysis - Summary / R. Kirner, P. Puschner / 2002
• Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models / R. Kirner, R. Lang, G. Freiberger, P. Puschner / 2002
• Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis / I. Bate, G. Bernat, P. Puschner / 2002
• Transforming Execution-time Boundable Code into Temporally Predictable Code / P. Puschner / 2002
• Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell / C. Scheidler, U. Virnich, S. Boutin, J. Rennhack, G. Grünsteidl, M. Pisecky, R. Lang, R. Kirner, Y. Papadopoulos / 2002
• The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems / W. Steiner, M. Paulitsch / 2002
• On the Specification of Linking Interfaces in Distributed Real-Time Systems / H. Kopetz / 2002
• Initial Demonstration of Smart Sensor Case Study / W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, M. Paulitsch, C. Trödhandl / 2002
• Interfaces for TTP/A Intercluster Communication and Monitoring / C. Trödhandl, L. Schneider / 2002
• Linux Variants / M. Schwarz / 2002
• The Memory Agent: An Attempt to Improve Genetic Algorithms / J. Puchinger / 2002
• The Programming Language wcetC / R. Kirner / 2002
• Non-Interfering Multi-Cluster Clock Synchronization / M. Paulitsch, P. Puschner / 2002

2001

• Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling / R Dobrin, G. Fohler, P. Puschner / Talk: IEEE Real-Time Systems Symposium, London, United Kingdom; 2001-12-04 - 2001-12-06; in: "Proceedings of the 22nd IEEE Real-Time Systems Symposium", (2001), 225 - 234
• Monitoring and Configuration in a Smart Transducer Network / R. Obermaisser, P. Peti, W. Elmenreich, T. Losert / Talk: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 2001-12-03; in: "Proceedings of the IEEE Workshop on Real-Time Embedded Systems", (2001)
• Wireless Real-Time Communication Technologies: A Comparative Study / T. Losert, R. Obermaisser / Talk: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 2001-12-03; in: "Proceedings of the IEEE Workshop on Real-Time Embedded Systems", (2001)
• Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis / P. Atanassov, P. Puschner, R. Kirner / Talk: IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom; 2001-12-03; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)", (2001)
• WCET Analysis for Systems Modelled in Matlab/Simulink / R. Kirner, R. Lang, P. Puschner / Talk: IEEE Real-Time Systems Symposium, London, United Kingdom; 2001-12-01; in: "Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings", (2001), 33 - 36
• Impact of DRAM Refresh on the Execution Time of Real-Time Tasks / P. Atanassov, P. Puschner / Talk: International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001), Seoul, Korea; 2001-12-01; in: "Proceedings of the International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001)", (2001), 29 - 34
• Using Sensor Fusion in a Time-Triggered Network / W. Elmenreich, S. Pitzek / Talk: Annual Conference of the IEEE Industrial Electronics Society, Denver, Colorado, USA; 2001-11-29 - 2001-12-02; in: "Proceedings of the 27th Annual conference of the IEEE Industrial Electronics Society", (2001), 369 - 374
• The Three Interfaces of a Smart Transducer / H. Kopetz / Talk: IFAC International Conference on Fieldbus Systems and their Applications, Nancy, France; 2001-11-15 - 2001-11-16; in: "Proceedings of the FeT`2001 - 4th IFAC International Conference on Fieldbus Systems and their Applications", (2001)
• A Universal Smart Transducer Interface / H. Kopetz / Talk: V Simpósio Brasileiro de Automação Inteligente, Canela, Brasilien; 2001-11-07 - 2001-11-09; in: "Proceedings of the V Simpósio Brasileiro de Automação Inteligente", (2001), 1 - 8
• WCET Analysis of Reusable Portable Code / P. Puschner, G. Bernat / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 2001-11-01; in: "Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS)", (2001), 45 - 52
• Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture / G. Bauer, H. Kopetz, P. Puschner / Talk: IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France; 2001-10-15 - 2001-10-18; in: "Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation", (2001), 333 - 341
• The Temporal Specification of Interfaces in Distributed Real-Time Systems / H. Kopetz / Talk: International Workshop on Embedded Software, Lake Tahoe, CA, USA; 2001-10-08 - 2001-10-10; in: "Proceedings of the EMSOFT", (2001), 223 - 236
• The Time-Triggered Sensor Fusion Model / W. Elmenreich, S. Pitzek / Talk: IEEE International Conference on Intelligent Engineering Systems, Helsinki, Stockholm; 2001-09-01; in: "Proceedings of the 5th IEEE International Conference on Intelligent Engineering Systems (INES)", (2001), 297 - 300
• Transformation of Path Information for WCET Analysis during Compilation / R. Kirner, P. Puschner / Talk: Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands; 2001-06-01; in: "Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001)", (2001), 29 - 36
• Interface Design for Smart Transducers / W. Elmenreich, W. Haidinger, H. Kopetz / Talk: IEEE Instrumentation and Measurement Technology Conference (IMTC), Budapest, Hungary; 2001-05-21 - 2001-05-23; in: "Proceedings of the IEEE Instrumentation and Measurement Technology Conference (IMTC)", Vol. 3 (2001), 1642 - 1647
• A Profile for High-Integrity Real-Time Java Programs / P. Puschner, A. Wellings / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Magdeburg, Germany; 2001-05-02 - 2001-05-04; in: "Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)", (2001), 15 - 22
• TTP/A: A Low Cost Highly Efficient Time-Triggered Fieldbus Architecture / R. Schlatterbeck, W. Elmenreich / Talk: SAE World Congress, Detroit, Michigan, USA; 2001-03-01; in: "Proceedings of the SAE World Congress 2001", (2001), 1 - 4
• Tolerating Arbitrary Node Failures in the Time-Triggered Architecture / H. Kopetz, G. Bauer, S. Poledna / Talk: SAE World Congress, Detroit, MI, USA; 2001-03-01; in: "Proceedings of the SAE 2001 World Congress", (2001)
• A Universal Smart Transducer Interface: TTP/A / H. Kopetz, M. Holzmann, W. Elmenreich / International Journal of Computer System, Science & Engineering, 16 (2001), 2; 71 - 77

2000

• Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework / I. Bate, G. Bernat, G. Murphy, P. Puschner / Talk: International Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea; 2000-12-12 - 2000-12-14; in: "Proceedings of the 7th International conference on Real-Time Computing Systems and Applications", (2000), 39 - 48
• Systems Engineering of Time-Triggered Architectures - The SETTA Approach / C. Scheidler, P. Puschner, S. Boutin, E. Fuchs, G. Grünsteidl, Y. Papadopoulos, J. Rennhack, U. Virnich / Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 55 - 60
• Integrating WCET Analysis into a Matlab/Simulink Simulation Model / R. Kirner, R. Lang, P. Puschner, C. Temple / Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 79 - 84
• Consideration of Optimizing Compilers in the Context of WCET Analysis / R. Kirner, P. Puschner / Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), 123 - 126
• Estimating the Delay Caused by DRAM Refreshes on the Execution Time of Real-Time Tasks / P. Atanassov / Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Specialized Informatics Congress, Gesellschaft für Informatik e.V.", (2000), #
• Supporting Control-Flow-Dependent Execution Times on WCET Calculation / R. Kirner, P. Puschner / Talk: Deutschsprachige WCET-Tagung, Paderborn, Germany; 2000-10-20; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), #
• An Investigation of Membership and Clique Avoidance in TTP/C / G. Bauer, M. Paulitsch / Talk: IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany; 2000-10-16 - 2000-10-18; in: "Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems", (2000), #
• A Comparison of LIN and TTP/A / H. Kopetz, W. Elmenreich, C. Mack / Talk: IEEE International Workshop on Factory Communication Systems, Porto, Portugal; 2000-09-06 - 2000-09-08; in: "Proceedings of the 3rd IEEE International Workshop on Factory Communication Systems (WFCS 2000)", (2000), 99 - 107
• Identifying Bus Failures in a Time-Triggered Communication System Containing Redundant Communication Channels / C. Temple / Talk: International Conference on Communications in Computing, Las Vegas, USA; 2000-06-26 - 2000-06-29; in: "Proceedings of the 2000 International Conference on Communications in Computing (CIC 2000)", (2000), #
• Transparent Redundancy in the Time-Triggered Architecture / G. Bauer, H. Kopetz / Talk: International Conference on Communications in Computing, Las Vegas, USA; 2000-06-26 - 2000-06-29; in: "Proceedings of the International Conference on Communications in Computing", (2000), #
• Software Engineering for Real-Time: A Roadmap / H. Kopetz / Talk: International Conference on Future of Software Engineering, Limerick, Ireland; 2000-06-04 - 2000-06-11; in: "Proceedings of the 22nd International conference on Future of Software Engineering (FoSE)", (2000), #
• A Centralized Approach for Avoiding the Babbling-Idiot Failure in the time-Triggered Architecture / G. Bauer, T. Frenning, A.K. Jonsson, H. Kopetz, C. Temple / Talk: ICDSN, New York, USA; 2000-06-01; in: "Proceedings of the ICDSN 2000", (2000), #
• A Universal Smart Transducer Interface: TTP/A / H. Kopetz, M. Holzmann, W. Elmenreich / Talk: IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA; 2000-03-15 - 2000-03-17; in: "Proceedings of the third IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000)", (2000)
• Composability in the Time-Triggered Architecture / H. Kopetz / Talk: SAE International Congress and Exhibition, Detroit, USA; 2000-03-06 - 2000-03-09; in: "Proceedings of the SAE International Congress and Exhibition (2000-01-1382)", (2000), #
• A Review of Worst-Case Execution-Time Analysis / P. Puschner, A. Burns / Real-Time Systems, 18 (2000), 2/3; 115 - 128
• Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems / S. Poledna, P. Barrett, A. Burns, A. Wellings / IEEE Transactions on Computers, 49 (2000), 2; 100 - 111
• Kostengünstig vernetzen mit TTP/A / W. Elmenreich / Markt & Technik, 38 (2000), 42 - 44

1995

• The Implementation of the MARS Hardware and Software / J. Reisinger, A. Steininger, G. Leber / in: "Predicatbly Dependable Computing Systems", B. Randell, J. Laprie, H. Kopetz, B. Littlewood (ed.); issued by: ESPRIT Basic Research Series; Springer International Publishing, 1995, ISBN: 3-540-59334-9, 209 - 224

2020

• Security Konzept und Evaluierung einer Off-Highway Electronic Control Unit / Master Thesis by L. Reier / Supervisor: W. Steiner; E191, 2020; final examination: 2020-09-24

2019

• Increased Efficiency through Test Automation in Electronics Development / Master Thesis by M. Kratochwill / Supervisor: S. Poledna, W. Steiner; E191, 2019; final examination: 2019-11-20
• Local Positioning System for Quadcopters / Master Thesis by A. Brandstätter / Supervisor: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; final examination: 2019-06-07
• Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08

2017

• Life cycle assessment of vehicles with alternative powertrains / Master Thesis by E. Ibrahimovic / Supervisor: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017

2016

• Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network / Master Thesis by O. Balún / Supervisor: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; final examination: 2016-12-22
• Development of an Advanced Protection Concept for Automotive Wire Harnesses / Master Thesis by C. Gabriel / Supervisor: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; final examination: 2016-10-04
• Automated Buildings as Energy Storages / Doctoral Thesis by K. Pollhammer / Supervisor, Reviewer: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05
• The Hobel algorithm - SAT Lösung mit GPU über DPLL / Master Thesis by C. Vazcula / Supervisor: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016

2015

• Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien / Master Thesis by W. Zischka / Supervisor: S. Poledna; E182, 2015; final examination: 2015-11-19
• Composability for Fail-Safe Safety-Critical Systems / Doctoral Thesis by S. Resch / Supervisor, Reviewer: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26

2014

• Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems / Master Thesis by D. Ratasich / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29
• Intercommunication framework for autonomous real-time systems / Master Thesis by D. Macher / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29
• Integrating probabilistic information of dynamic environment into maps for enhanced action planning / Master Thesis by S. Brugger / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-03-26

2010

• A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems / Doctoral Thesis by S. Kandl / Supervisor, Reviewer: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17

2009

• Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities / Doctoral Thesis by A. Benz / Supervisor, Reviewer: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15
• Measurement-Based Timing Analysis of Applications written in ANSI-C / Doctoral Thesis by B. Rieder / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26
• Time-Predictable Java Chip-Multiprocessor / Doctoral Thesis by C. Pitter / Supervisor, Reviewer: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
• Automated Regression Testing of Embedded Devices / Master Thesis by P. Jahn / Supervisor: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009
• Worst-Case Execution Time Analysis for Real-Time Java / Master Thesis by B. Huber / Supervisor: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009

2008

• A Self-Checking Pair Architecture for a TT-Ethernet Switch / Master Thesis by M. Wächter / Supervisor: S. Poledna; Institut für Technische Informatik, 2008; final examination: 2008-10-10
• Interface Design in the Time-Triggered System-on-Chip Architecture / Doctoral Thesis by C. El Salloum / Supervisor, Reviewer: H. Kopetz, W. Kastner; Technische Informatik, 2008; oral examination: 2008-01-14
• A Distributed Platform for an Integrated Modular Avionics / Doctoral Thesis by R. Wolfig / Supervisor, Reviewer: S. Poledna, D. Dietrich; 182/1, 2008
• Resource Management in an Integrated Time-Triggered Architecture / Doctoral Thesis by B. Huber / Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01

2007

• Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems / Doctoral Thesis by M. Schlager / Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09
• Design of an FPGA-Based Time-Triggered Ethernet System / Doctoral Thesis by K. Steinhammer / Supervisor, Reviewer: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
• Measurement-Based Timing Analysis of Superscalar Processors / Doctoral Thesis by I. Wenzel / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
• Time-triggered Transducer Networks / Habilitation Thesis by W. Elmenreich / Fakultät für Informatik, 2007
• A unit-test platform for design tools for fault-tolerant real-time systems / Master Thesis by B. Krizan / Supervisor: P. Puschner, R. Kirner; E188-1, 2007
• Requirement Classification of Dependable Real-Time Systems / Master Thesis by J. Trojer / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007

2006

• Gateway Generation for Virtual Networks in the DECOS Integrated Architecture / Master Thesis by M. Höller / Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
• A Partitioning Operating System based on RTAI-LXRT Linux / Master Thesis by B. Leiner / Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
• Automatic Loop Bound Analysis of Programs written in C / Master Thesis by M. Kirner / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; final examination: 2006
• Emulating the Programming Interface of Commercial CAN Controllers in a Time-Triggered Environment / Master Thesis by D. Riezler / Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006; final examination: 2006
• Real-Time Communication Systems for Small Autonomous Robots / Master Thesis by S. V. Krywult / Supervisor: D. Dietrich, S. Mahlknecht, W. Elmenreich; Institut für Computertechnik, 2006
• Applying Model-Integrated Computing on Time-Triggered Application Development / Master Thesis by C. Paukovits / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006
• Extended Confidence-Weighted Averaging in Sensor Fusion / Master Thesis by A. Schörgendorfer / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006

2005

• JOP: A Java Optimized Processor for Embedded Real-Time Systems / Doctoral Thesis by M. Schöberl / Supervisor, Reviewer: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005
• Diagnosis and Maintenance in an Integrated Time-Triggered Architecture / Doctoral Thesis by P. Peti / Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2005
• Fault Injection for Diagnosis and Maintenance in the Time-Triggered Architecture / Master Thesis by H. Paulitsch / Supervisor: H. Kopetz, P. Peti; Institut für Technische Informatik, 2005; final examination: 2005

2004

• Real-Time Monitoring for the Time-Triggered Architecture / Doctoral Thesis by I. Smaili / Supervisor, Reviewer: P. Puschner, U. Egly; Institut für Technische Informatik, 2004
• Wireless Real-Time Communication for Smart Transducer Networks / Master Thesis by B. Huber / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2004

2003

• An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms / Doctoral Thesis by R. Obermaisser / Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2003
• Design of a Gateway for the Interconnection of Real-Time Communication Hierarchies / Master Thesis by M. Borovicka / Supervisor: H. Kopetz, R. Obermaisser, W. Elmenreich; Institut für Technische Informatik, 2003
• Principles of Timing Anomalies in Superscalar Processors / Master Thesis by I. Wenzel / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003

2002

• Sensor Fusion in Time-Triggered Systems / Doctoral Thesis by W. Elmenreich / Supervisor, Reviewer: H. Kopetz, E. Gratz; Institut für Technische Informatik, 2002
• Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems / Doctoral Thesis by M. Paulitsch / Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2002
• Designing a High-Performant Real-Time Architecture Based on COTS-Components / Master Thesis by C. Eder / Supervisor: H. Kopetz; Institut für Technische Informatik, 2002
• Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems / Master Thesis by S. Pitzek / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002
• Performance Demonstrator / Master Thesis by L Müller / Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002
• Architectural Requirements for TTP/A Nodes / Master Thesis by C. Trödhandl / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002

2001

• Transparent Fault Tolerance in a Time-Triggered Architecture / Doctoral Thesis by G. Bauer / Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2001
• Design and Implementation of a Smart Transducer Network / Master Thesis by R. Obermaisser / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
• JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes / Master Thesis by M. Weiskirchner / Supervisor: P. Puschner; Institut für Technische Informatik, 2001
• Start-Up of TTP/C: Analysis and Simulation / Master Thesis by W. Steiner / Supervisor: H. Kopetz, M. Paulitsch; Institut für Technische Informatik, 2001
• Design and Implementation of a TTP/A Master and Gateway Controller on a 32-bit Microcontroller / Master Thesis by R. Kapeller / Supervisor: H. Kopetz, W. Haidinger; Institut für Technische Informatik, 2001
• Integration of Worst-Case Execution Time Analysis and C Code Synthesis / Master Thesis by G. Freiberger / Supervisor: P. Puschner, R. Lang; Institut für Technische Informatik, 2001
• Monitoring and Configuration of a TTP/A Cluster in an Autonomous Mobile Robot / Master Thesis by P. Peti / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
• Real Time Robot Navigation with a Smart Transducer Network / Master Thesis by L. Schneider / Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001

2000

• Validation of Distributed Algorithms in Time-Triggered Systems by Simulation / Doctoral Thesis by R. Pallierer / Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2000
• Integration of Static Runtime Analysis and Program Compilation / Master Thesis by R. Kirner / Supervisor: P. Puschner; Institut für Technische Informatik, 2000
• Monitoring of Real-Time Operating Systems / Master Thesis by C. Glawan / Supervisor: H. Kopetz, S. Poledna; Institut für Technische Informatik, 2000
• Design and Implementation of a File-System Based Monitoring Interface for the Time-Triggered Communications Protocol TTP/C under Linux / Master Thesis by M. Mayer / Supervisor: H. Kopetz, T. Galla; Institut für Technische Informatik, 2000
• Entwicklung eines Mikrokontrollers für das Echtzeitprotokoll TTP/A / Master Thesis by M. Delvai / Supervisor: A. Steininger, W. Elmenreich; Institut für Technische Informatik, 2000

1994

• A Measuring Methodology for Fault-Injection Experiments in Computing Systems / Doctoral Thesis by A. Steininger / Supervisor, Reviewer: R. Patzelt, H. Kopetz; 354-02, 1994

• Wilfried Elmenreich: E-Learning Award 2006/2007 für ausgezeichnete Leistungen in der Lehrentwicklung (Kategorie für Speziallösungen)
  2007 / Austria
• Peter Puschner: Gründungsmitglied der IFIP 10.2 WG on Embedded Systems
  2006 / IFIP
• Hermann Kopetz: Wilhelm Exner Medaillie
  2005 / Austria
• Hermann Kopetz: IEEE Technical Achievement Award
  2004
• Hermann Kopetz: Vorsitzender d. Wiss. Beirat ACR
  2004 / Austria
• Raimund Kirner: Mobilitätsstipendium der Creditanstalt AG (wird für aussergewöhnliche Dissertationen an der Technischen Universität Wien verliehen)
  2003 / Austria
• Herbert Grünbacher: Ehrenzeichen der Stadt Villach
  2002 / Austria
• Hermann Kopetz: IGM-Preis
  2001 / Austria
• Hermann Kopetz: Mitglied "Rat for Forschung und Technologieentwicklung"
  2000 / Austria
• Peter Puschner: Marie-Curie Fellowship
  1999 / EC Europäische Komission - Marie Curie
• Hermann Kopetz: Wirkliches Mitglied der Österr. Akademie der Wissenschaften
  1998 / Mitgliedschaft / Austria
• Hermann Kopetz: Chairman der IFIP WG 10.4
  1996
• Hermann Kopetz: Goldenes Verdienstkreuz der Republik Österreich
  1995 / Ehrenkreuz für Wissenschaft und Kunst / Austria
• Hermann Kopetz: Fellow of the IEEE
  1993
• Hermann Kopetz: Ruf als Direktor an das Max-Plank Institut
  1993 / Germany
• Hermann Kopetz: Gründungsmitglied der IFIP 10.4 WG on Dependable Computing
  1980
• Hermann Kopetz: Gründungsmitglied der Österr. Computer Gesellschaft
  1975 / Austria

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Cyber-Physical Systems’ research profile in TISS .