Publications

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

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

Journal Papers

E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti: Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Performance Evaluation, 116 (2017), p. 84 - 100
bib details doi

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

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

M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi: T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems
Journal of Systems Architecture, Volume 61 (2015), p. 449 - 471
bib details doi

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

E. Bartocci et al.: Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics
Advances in Physiology Education, 35 (2011), p. 427 - 437
bib details doi

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

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

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

I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation
Theoretical Computer Science, 599 (2015), p. 34 - 46
bib details doi

M. Molnar, D. Donoval, J. Kuzmik, J. Marek, A. Chvala, P. Pribytny, V. Mikolasek, K. Rendek, V. Palankovski: Simulation Study of Interface Traps and Bulk Traps in n++GaN/InAlN/AlN/GaN High Electron Mobility Transistors
Applied Surface Science, 312 (2014), p. 157 - 161
bib details doi pdf

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

C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek: The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems
Microprocessors and Microsystems, 37 (2013), p. 1020 - 1032
bib details doi

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

J. Seyster, K. Dixit, X. Huang, R. Grosu, K Havelund, S. Smolka, S. Stoller, E. Zadok: InterAspect: aspect-oriented instrumentation with GCC
Formal Methods in System Design, 41 (2012), p. 295 - 320
bib details doi

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu: Curvature Analysis of Cardiac Excitation Wavefronts
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10 (2013), p. 323 - 336
bib details doi

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

R. Kammerer, R. Obermaisser, B. Frömel: A router for the containment of timing and value failures in CAN
EURASIP Journal on Embedded Systems, 2012 (2012)
bib details doi pdf

X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. Smolka, S. Stoller, E. Zadok: Software monitoring with controllable overhead
International Journal on Software Tools for Technology Transfer, 14 (2012), p. 327 - 347
bib details doi

E. Bartocci, D. Cacciagrano, M. Di Berardini, E. Merelli, L. Vito: UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
Journal of Integrative Bioinformatics, 9 (2012), p. 1 - 20
bib details doi pdf

E. Bartocci, P. Lio, E. Merelli, N. Paoletti: Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
Transactions on Computational Systems Biology, XIV (2012), p. 53 - 76
bib details doi

B. Huber, W. Puffitsch, M. Schoeberl: Worst-case execution time analysis-driven object cache design
Concurrency and Computation: Practice and Experience, Volume 24 Issue 8 (2012), p. 753 - 771
bib details doi

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

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

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

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

R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec: Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis
Journal of Software and Systems Modeling (online-edition), oB (2010)
bib details doi

R. Obermaisser, H. Kopetz, S. Kuster: GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems
ARTEMIS Magazine, 5 (2009), p. 32 - 34
bib details

S. Tauböck, P. Jahn, T. Polzer, A. Schuster: An Object-oriented DEV Approach to ARGESIM Benchmark C16 `Restaurant Business Dynamics´ using Enterprise Dynamics
Simulation News Europe SNE, 18 (2008), p. 41 - 42
bib details

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

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

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

M. Schlager, R. Obermaisser, W. Elmenreich: A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
Lecture Notes in Computer Science, 4761 (2007), p. 159 - 170
bib details

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

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

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

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

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

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

W. Herzner, B. Huber, C. György, A. Balogh: The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems
ERCIM NEWS, 67 (2006), p. 22 - 24
bib details

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

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

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

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

W. Elmenreich, W. Haidinger, H. Kopetz, T. Losert, R. Obermaisser, H. Paulitsch, P. Peti: A Standard for Real-time Smart Transducer Interface
Computer Standards & Interfaces, 28 (2006), p. 613 - 624
bib details

T. Losert, M. Schlager, W. Elmenreich: Fault-Tolerant Compensation of the Propagation Delay for Hard Real-Time Systems
Journal of Advanced Computational Intelligence and Intelligent Informatics, 9 (2005), p. 346 - 352
bib details

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

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

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

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

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

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

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

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

S. Poledna, P. Barrett, A. Burns, A. Wellings: Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers, 49 (2000), p. 100 - 111
bib details pdf

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

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

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

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

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