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

The research Unit Cyber-Physical Systems is part of the Institute of Computer Engineering.

Ezio Bartocci
Ezio Bartocci E. Bartocci

Full Professor
Univ.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.

Zahra Babaiee
Zahra Babaiee Z. Babaiee

PreDoc Researcher

Luigi Berducci
Luigi Berducci L. Berducci

PostDoc Researcher
Dr.

Shrajan Bhandary
Shrajan Bhandary S. Bhandary

PreDoc Researcher
MSc

Andreas Brandstätter
Andreas Brandstätter A. Brandstätter

PreDoc Researcher
DI / BSc

Christian Hirsch
Christian Hirsch C. Hirsch

PreDoc Researcher
DI / BSc

Haris Isakovic
Haris Isakovic H. Isakovic

PreDoc Researcher
DI / BSc

Julian Lemmel
Julian Lemmel J. Lemmel

PreDoc Researcher
DI / BSc

David Lung
David Lung D. Lung

PreDoc Researcher
DI / BSc

Laura Nenzi
Laura Nenzi L. Nenzi

PostDoc Researcher
PhD

Emery Neufeld
Emery Neufeld E. Neufeld

PreDoc Researcher
MSc

Erik Ostrowski
Erik Ostrowski E. Ostrowski

PreDoc Researcher
MSc

Michael Platzer
Michael Platzer M. Platzer

PreDoc Researcher
DI / BSc

Lilly Maria Treml
Lilly Maria Treml L. Treml

PreDoc Researcher
DI / BSc

Ennio Visconti
Ennio Visconti E. Visconti

PostDoc Researcher
Dr.

Drishti Yadav
Drishti Yadav D. Yadav

PreDoc Researcher
M.Tech.

2020W

2021S

 

2020

2019

2018

2017

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

2014

2013

2012

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

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

2006

2005

2004

2003

2002

2001

2000

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

2019

2017

2016

2015

2014

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

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 .