TU Wien Informatics

About

Our research unit was founded in 2012 as the successor of the world-renown Real-Time-Systems group (RTS), then led by Prof. Hermann Kopetz. Today, we are laying out the foundations and design-blueprints for the next generation of ES, the networked ES, also known as Cyber-Physical Systems.

In such systems, time also interacts with space, energy, and uncertainty. Our main focus, therefore, lies on specification (e.g. spatial-temporal logics), design (e.g. probabilistic hybrid systems), analysis (e.g. symbolic and stochastic model checking), and control (e.g. PID, supervisory, and optimal) of this richer class of CPS’ behaviors.

The international impact of the RTS/CPS group on science and technology is documented by a large number of projects and the foundation of a company, TTTech. Current projects include, for example, Cyber Heart (NSF), Arrive (USA-AFOSR), CPS Summit (EU Horizon 2020), EMC2 (EU Artemis-JU, AT-FFG), Amadeos (EU FP7), Harmonia (AT FFG).

Cyber-Physical Systems is part of the faculty’s Institute of Computer Engineering.

Ezio Bartocci
Ezio Bartocci E. Bartocci

Associate Professor
Assoc.Prof. Dr.

Radu Grosu
Radu Grosu R. Grosu

Head of Research Unit
Univ.Prof. DI Dr.

Herbert Grünbacher
Herbert Grünbacher H. Grünbacher

Emerit. Professor
Em.O.Univ.Prof. DI Dr.

Hermann Kopetz
Hermann Kopetz H. Kopetz

Emerit. Professor
Em.O.Univ.Prof. Dr. Dr.h.c.

Peter Puschner
Peter Puschner P. Puschner

Associate Professor
Ao.Univ.Prof. DI Dr.

Elahe Ghalebi
Elahe Ghalebi E. Ghalebi

PreDoc Researcher
MSc

Christian Hirsch
Christian Hirsch C. Hirsch

PreDoc Researcher
DI /BSc

Haris Isakovic
Haris Isakovic H. Isakovic

PreDoc Researcher
DI /BSc

Emily Alicia Neufeld
Emily Alicia Neufeld E. Neufeld

PreDoc Researcher
MSc

Michael Platzer
Michael Platzer M. Platzer

PreDoc Researcher
DI /BSc

Thomas Puchinger
Thomas Puchinger T. Puchinger

Teaching Assistant
BSc

Lilly Maria Treml
Lilly Maria Treml L. Treml

PreDoc Researcher
DI /BSc

Max Tschaikowski
Max Tschaikowski M. Tschaikowski

PostDoc Researcher
Dipl.-Math. Dr.

Guodong Wang
Guodong Wang G. Wang

PostDoc Researcher
Dr. /MSc

Armin Wasicek
Armin Wasicek A. Wasicek

PostDoc Researcher
DI Dr.

2018W

2019S

 

2019

2018

2017

2016

  • 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
  • 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: 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2015

2014

2013

2012

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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

2011

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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

2010

2009

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2007

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2006

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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2004

2003

2002

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
  • 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
  • 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
  • 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)
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 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

2000

 

2017

2016

2015

2014

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

 

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

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 .