TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for members of
E191 - Institute of Computer Engineering
E191-01 Research Division of Cyber-Physical Systems
as authors or essentially involved persons

906 records (1994 - 2022)

The complete list of publications of the Faculty of Informatics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.


Books and Book Editorships


E. Bartocci, L. Bortolussi (ed.):
"Proceedings First International Workshop on Hybrid Systems and Biology";
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180.

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky (ed.):
"From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday";
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages.

E. Bartocci, Y. Falcone (ed.):
"Lectures on Runtime Verification - Introductory and Advanced Topics";
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages.

E. Bartocci, P. Lio, N. Paoletti (ed.):
"Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings";
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages.

E. Bartocci, R. Majumdar (ed.):
"Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings";
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages.

E. Bartocci, C. Ramakrishnan (ed.):
"Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings";
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages.

A. Bondavalli, S. Bouchenak, H. Kopetz:
"Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy";
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.

W. Elmenreich (ed.):
"Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems";
TU Wien, Vienna, Austria, 2003, 207 pages.

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

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

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

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

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

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

H. Kaiser, R. Kirner (ed.):
"Junior Scientist Conference 2008, Proceedings";
TU Wien, 2008.

R. Kirner:
"Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code";
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages.

R. Kirner (ed.):
"Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008)";
Österreichische Computer Gesellschaft, Wien, 2008, ISBN: 978-3-85403-237-3; 173 pages.

H. Kopetz (ed.):
"Simplicity is Complex";
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages.

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

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

P. Puschner, T. Nakajima, A. Ghafoor (ed.):
"Proceedings of the Sixth International Symposium on Object-Oriented Real-Time Distributed Computing";
IEEE Computer Society Press, Piscataway, NJ, USA, 2003, ISBN: 0-7695-1928-8; 302 pages.

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

M. Schoeberl (ed.):
"JOP Reference Handbook";
CreateSpace, 2009, ISBN: 978-1438239699; 362 pages.

M. Schoeberl:
"JOP: A Java Optimized Processor for Embedded Real-Time Systems";
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3-8364-8086-4; 256 pages.


Publications in Scientific Journals


H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu:
"Quantitative Regular Expressions for Arrhythmia Detection";
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), 5; 1586 - 1597.

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

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), 34 - 46.

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, 5 (2018), 1; 308 - 320.

E. Bartocci, M. Bender:
"A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"";
ACM SIGACT News (invited), 52 (2021), 4; 76 - 77.

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), 84 - 100.

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

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), 1; 1 - 20.

E. Bartocci, J. Deshmukh, F. Gliger, C. Mateis, D. Nickovic, X. Qin:
"Mining Shape Expressions from Positive Examples";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3809 - 3820.

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), 4; 427 - 437.

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al.:
"First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014";
International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 31 - 70.

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

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

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), 53 - 76.

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
"CPSDebug: Automatic Failure Explanation in CPS Models";
International Journal on Software Tools for Technology Transfer, 23 (2021), 5; 783 - 796.

J. DelPreto, A. Salazar-Gomez, S. Gil, R. Hasani, F. Guenther, D. Rus:
"Plug-and-play supervisory control using muscle and brain signals for real-time gesture and error detection";
Autonomous Robots, 44 (2020), 1303 - 1322.

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

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), 8, Part C; 1020 - 1032.

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

W. Elmenreich:
"Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging";
Journal of Vibration and Control, 13 (2007), 9-10; 1303 - 1312.

W. Elmenreich:
"Kostengünstig vernetzen mit TTP/A";
Markt & Technik, 38 (2000), 42 - 44.

W. Elmenreich:
"Time-Triggered Smart Transducer Networks";
IEEE Transactions on Industrial Informatics, 2 (2006), 3; 192 - 199.

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), 6; 613 - 624.

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

L. Esterle, R. Grosu:
"Cyber-physical systems: challenge of the 21st century";
Elektrotechnik und Informationstechnik (invited), 133 (2016), 7; 299 - 303.

E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson:
"A Nonparametric Bayesian Model for Sparse Temporal Multigraphs";
ArXiv, . (2019), 12 pages.

E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson:
"Sequential Edge Clustering in Temporal Multigraphs";
ArXiv, . (2019), 6 pages.

P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson:
"c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans";
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018), 1758.

R. Grosu:
"ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks";
ArXiv, . (2020), 9 pages.

R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang:
"V-Formation via Model Predictive Control";
ArXiv, . (2020), 33 pages.

S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu:
"Under the Hood of a Stand-Alone Lagrangian Reachability Tool";
EPiC Series in Computing, . (2019), 61; 211 - 219.

S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu:
"Lagrangian Reachtubes: The Next Generation";
ArXiv, . (2020).

S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu:
"On The Verification of Neural ODEs with Stochastic Guarantees";
ArXiv, . (2020), 12 pages.

A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu:
"Parallel reachability analysis of hybrid systems in XSpeed";
International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 401 - 423.

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

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

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), 22 - 24.

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), 3; 327 - 347.

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

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), 24/8; 753 - 771.

A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka:
"Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans";
Theoretical Computer Science, . (2019), 765; 158 - 169.

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

M. Jakovljevic, M. Schlager, M. Plankensteiner, S. Poledna:
"Sicherheitsrelevante elektronische Lösungen im Automobil";
Automotive Elektronics, extra (2004), März; 50 - 53.

S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic:
"Quantitative monitoring of STL with edit distance";
Formal Methods in System Design, 53 (2018), 1; 83 - 112.

S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
"An algebraic framework for runtime verification";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (2018), 11; 2233 - 2243.

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

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

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

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

R. Kirner, P. Puschner:
"A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses";
IEEE-ACM Transactions on Networking, 29 (2021), 4; 1786 - 1797.

R. Kirner, P. Puschner, A. Prantl:
"Transforming Flow Information during Code Optimization for Timing Analysis";
Real-Time Systems, 45 (2010), 1-2; 72 - 105.

H. Kopetz:
"Time Triggered Architecture";
ERCIM NEWS, 1 (2003), 52; 24 - 25.

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

H. Kopetz, G. Bauer:
"The Time-Triggered Architecture";
Proceedings of the IEEE, 91 (2003), 1; 112 - 126.

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

H. Kopetz, R. Obermaisser:
"Temporal Composability";
IEE's Computing & Control Engineering Journal (invited), 13 (2002), 4; 156 - 162.

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

M. Lechner, R. Hasani, A. Amini, T. Henzinger, D. Rus, R. Grosu:
"Neural Circuit Policies Enabling Auditable Autonomy";
Nature Machine Intelligence, 2 (2020), 642 - 652.

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), 4; 346 - 352.

H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H. Rabiee:
"Identifying central nodes for information flow in social networks using compressive sensing";
Social Network Analysis and Mining, 8 (2018), 33.

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

E. J. Maroun, M. Schoeberl, P. Puschner:
"Compiling for time-predictability with dual-issue single-path code";
Journal of Systems Architecture, 118 (2021), 102230.

U. Mehmood, S. Stoller, R. Grosu, S. Roy, A. Damare:
"A Distributed Simplex Architecture for Multi-Agent Systems";
ArXiv, . (2020), 17 pages.

M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng:
"A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities";
IEEE Internet of Things Journal, 8 (2021), 15; 11793 - 11806.

M. Meiyi, J. Stankovic, E. Bartocci, L. Feng:
"Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems";
ACM Transactions on Embedded Computing Systems, 20 (2021), 5s (101); 1 - 25.

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), 157 - 161.

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), 2; 323 - 336.

A. Murthy, A. Islam, S. Smolka, R. Grosu:
"Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability";
Nonlinear Analysis: Hybrid Systems, 23 (2017), 2; 272 - 286.

L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti:
"A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems";
accepted for publication in Logical Methods in Computer Science 8(1) (2022), 4; 1 - 30.

L. Nenzi, E. Bartocci, L. Bortolussi, S. Silvetti, M. Loreti:
"MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties";
accepted for publication in International Journal on Software Tools for Technology Transfer.

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), 32 - 34.

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

D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller:
"Neural Simplex Architecture";
ArXiv, . (2019).

D. Phan, J. Yang, R. Grosu, S. Smolka, S. Stoller:
"Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles";
Formal Methods in System Design, 51 (2017), 1; 62 - 86.

F. Pigozzi, E. Medvet, L. Nenzi:
"Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming";
Applied Sciences, 11(22) (2021), 10573; 1 - 16.

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

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), 2; 100 - 111.

P. Puschner, A. Burns:
"A Review of Worst-Case Execution-Time Analysis";
Real-Time Systems, 18 (2000), 2/3; 115 - 128.

P. Puschner, R. Kirner:
"Asynchronous vs. synchronous interfacing to time-triggered communication systems";
Journal of Systems Architecture, 103 (2020).

A. N. Rapaka, W. Elmenreich, D. Wunsch:
"TTP/A Protocol and Design";
Circuit Cellar, (2004), 164; 12 - 21.

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci:
"A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems";
IEEE Access, 7 (2019), 1; 24 pages.

G. Roda, V. Zenz, M. Lupu, K. Järvelin, M. Sanderson, C. Womser-Hacker::
"So many topics, so little time";
SIGIR Forum, ACM (2009), 9 - 16.

S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari:
"Learning Distributed Controllers for V-Formation";
ArXiv, . (2020), 10 pages.

S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari:
"Neural Flocking: MPC-based Supervised Learning of Flocking Controllers";
ArXiv, . (2019).

C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss:
"A survey of challenges for runtime verification from advanced application domains (beyond software)";
Formal Methods in System Design, 54 (2019), 3; 279 - 335.

G. Sarma, C. Lee, T. Portegys, V. Ghayoomie, T. Jacobs, B. Alicea, M. Cantarelli, M. Currie, R. Gerkin, S. Gingell, P. Gleeson, R. Gordon, R. Hasani, G. Idili, S. Khayrulin, D. Lung, A. Palyanov, M. Watts, S. Larson:
"OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans";
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018), 1758.

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), 159 - 170.

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

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

M. Schoeberl:
"Scheduling of Hard Real-Time Garbage Collection";
Real-Time Systems, 45 (2010), 3; 176 - 213.

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), Issue 9; 449 - 471.

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

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

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), 3; 295 - 320.

F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani:
"Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems";
IEEE Access, 8 (2020), 8; 180825 - 180843.

S. Stankovic, E. Bartocci, L. Kovacs:
"Moment-based analysis of Bayesian network properties";
Theoretical Computer Science, 903 (2022), 113 - 133.

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

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

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), 1; 41 - 42.

L. Treml, E. Bartocci, A. Gizzi:
"Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation";
Mathematics (MDPI), 9 (2021), 2.

G. Wang, M. Ben Sassi, R. Grosu:
"ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks";
Canadian Journal of Electrical and Computer Engineering, 40 (2017), 3; 210 - 216.

G. Wang, A. Ledwoch, R. Hasani, R. Grosu, A. Brintrup:
"A generative neural network model for the quality prediction of work in progress products";
Applied Soft Computing, 85 (2019), ##.

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

X. Xu, Z. Yu, J. Zeng, W. Xiong, Y. Hu, G. Wang:
"A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes";
SCIENCE CHINA Information Sciences, . (2020), ##.

X. Xu, Z. Zao, X. Xu, J. Yang, L. Chang, X. Yan, G. Wang:
"Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models";
Knowledge-Based Systems, 190 (2019).

D. Yadav:
"Blood Coagulation Algorithm: A Novel Bio-Inspired Meta-Heuristic Algorithm for Global Optimization";
Mathematics (MDPI), 9 (2021), 23; 3011 pages.

D. Yadav:
"Criteria for Good Qualitative Research: A Comprehensive Review";
Asia-Pacific Education Researcher, - (2021), 1 pages.

X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, R. Grosu:
"Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule";
Multidisciplinary Digital Publishing Institute (MDPI), . (2020), 22(7); 25 pages.

Y. Zhu, H. Duan, X. Wang, B. Zhou, G. Wang, R. Grosu:
"Gaussian convex evidence theory for ordered and fuzzy evidence fusion";
Journal of Intelligent & Fuzzy Systems, 33 (2017), 5; 2843 - 2849.

Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, G. Wang:
"A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres";
Sensors, 17 (2017), 9.


Editorials in Scientific Journals


E. Bartocci, L. Bortolussi, S. Smolka:
"Hybrid Systems and Biology";
Information and Computation, 236 (2014), 1 - 2.

E. Bartocci, P. Lio, N. Paoletti:
"Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)";
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), 4; 1122 - 1123.

E. Bartocci, C. Ramakrishnan:
"Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software";
International Journal on Software Tools for Technology Transfer, 18 (2016), 355 - 357.


Contributions to Books


T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu:
"Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study";
in: "Solutions for Cyber-Physical Systems Ubiquity", 1; N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); issued by: IGI Global; IGI Global, Hershey, Pennsylvania, USA, 2017, ISBN: 9781522528456, 137 - 168.

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan:
"Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications";
in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 135 - 175.

E. Bartocci, Y. Falcone, A. Francalanza, G. Reger:
"Introduction to Runtime Verification";
in: "Lectures on Runtime Verification - Introductory and Advanced Topics", 10457; Springer-Verlag Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8, 1 - 33.

W. Binder, M. Schoeberl, P. Moret, A. Villazón:
"Cross-profiling for Java processors";
in: "Software: Practice and Experience", issued by: Wiley InterScience; John Wiley and Sons, 2009, ISSN: 0038-0644, 1439 - 1465.

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

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz:
"Basic Concepts on Systems of Systems";
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.

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger:
"Time and Resilient Master Clocks in Cyber-Physical Systems";
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.

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

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

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

W. Elmenreich, S. Pitzek:
"Smart Transducers - Principles, Communications and Configuration";
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.

B. Frömel, H. Kopetz:
"Interfaces in Evolving Cyber-Physical Systems-of-Systems";
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.

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

B. Huber, R. Obermaisser:
"Platform Modeling in Safety-Critical Embedded Systems";
in: "Intelligent Technical Systems", issued by: Springer; Springer, LNEE Vol. 38, 2009, ISBN: 978-1-4020-9822-2, 145 - 158.

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

R. Kammerer:
"TTCAN";
in: "Time-Triggered Communication", CRC Press, 2011, (invited), ISBN: 9781439846612, 223 - 245.

S. Kandl:
"Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems";
in: "Progress in Systems Engineering (Advances in Intelligent Systems and Computing)", issued by: Henry Selvaraj, Dawid Zydek, Grzegorz Chmaj (Eds.); Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, 595 - 601.

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

H. Kopetz, G. Bauer, W. Steiner:
"Dependable Time-Triggered Communication";
in: "The Industrial Communication Technology Handbook", CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7.

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob:
"Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)";
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.

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu:
"Statistical model checking";
in: "Computing and Software Science", Springer LNCS, 2019, 478 - 504.

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

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner:
"Semi-formal Representation of Requirements for Automotive Solutions Using SysML";
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.

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

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

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

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

J. Reisinger, A. Steininger, G. Leber:
"The Implementation of the MARS Hardware and Software";
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.

M. Schoeberl:
"Time-Predictable Computer Architecture";
in: "EURASIP Journal on Embedded Systems", issued by: HIndawi; Hindawi, 2009, 17 pages.


Contributions to Proceedings


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

N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
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.

H. Isakovic, S. Dangl, Z. Tucakovic, R. Grosu:
"Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem";
in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)", IEEE, 2021, 1391 - 1396.

H. Isakovic, L. L. Ferreira, I. Okic, A. Dukkon, Z. Tucakovic, R. Grosu:
"QoS for Dynamic Deployment of IoT Services";
in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)", IEEE, 2021, 1144 - 1151.

A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C. P. Buskirk, J. Sztipanovits, R. Grosu, V. Kumar:
"Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO";
in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 353 - 354.

A. Lukina, A. Tiwari, S. Smolka, R. Grosu:
"Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems";
in: "SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing", Association for Computing Machinery, New YorkNYUnited States, 2019, ISBN: 978-1-4503-5933-7, ##.

E. A. Neufeld:
"Reinforcement Learning Guided by Provable Normative Compliance";
in: "Proceedings of the 14th International Conference on Agents and Artificial Intelligence", INSTICC Press, 2022, 444 - 453.

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

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
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.

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
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.

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

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

G. Roda, J. Tait, F. Piroi, V. Zenz:
"CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain";
in: "Multilingual Information Access Evaluation I. Text Retrieval Experiments", Lecture Notes in Computer Science; issued by: Springer-Verlag Berlin Heidelberg 2010; Springer, 2010, ISBN: 978-3-642-15753-0, 385 - 409.

M. Schmittle, A. Lukina, L. Vacek, J. Das, C. P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, V. Kumar:
"OpenUAV: A UAV Testbed for the CPS and Robotics Community";
in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 130 - 139.

S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner:
"Interactive Analysis of CNN Robustness";
in: "Computer Graphics Forum", 40; John Wiley and Sons, 2021, ISSN: 1467-8659, 253 - 264.

N. TaheriNejad, P. Lewis, A. Jantsch, A. Rahmani, L. Esterle:
"Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial)";
in: "2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W)", IEEE, Umea, 2019, ISBN: 978-1-7281-2406-3, 259 - 260.


Editorials in Proceedings


E. Bartocci, Y. Falcone, M. Leucker:
"Preface";
in: "Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.", 13065; Springer, Lecture Notes in Computer Science, Rhodes, Greece, 2021, (invited), ISBN: 978-3-030-87348-6, 1.


Talks and Poster Presentations (with Proceedings-Entry)


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

E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe:
"Parameter Synthesis for Probabilistic Hyperproperties";
Talk: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19); 2020-05-22 - 2020-05-27; in: "Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming", (2020), 12 - 31.

E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe:
"Probabilistic Hyperproperties with Nondeterminism";
Talk: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Vietnam; 2020-10-19 - 2020-10-23; in: "Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis", 12302 (2020), ISBN: 978-3-030-59151-9; 518 - 534.

A. Ademaj:
"A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection";
Talk: European Dependable Computing Conference, Tolouse, France; 2002-10-23 - 2002-10-25; in: "Proceedings of the 4th European Dependable Computing Conference", (2002), 172 - 190.

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

A. Ademaj:
"Slightly-Off-Specification Failures in the Time-Triggered Architecture";
Talk: IEEE International Workshop on High Level Design Validation and Test, Cannes, France; 2002-10-26 - 2002-10-28; in: "Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test ", (2002), 7 - 12.

A. Ademaj, G. Bauer, H. Sivencrona, J. Torin:
"Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology";
Talk: IEEE International Conference on Dependable Systems and Networks, San Francisco, USA; 2003-06-22 - 2003-06-25; in: "Proceedings of the IEEE International Conference on Dependable Systems and Networks", (2003), 123 - 132.

A. Ademaj, P. Grillinger, J. Hlavicka:
"Fault Tolerance Evaluation Using two Software Based Fault Injection Methods";
Talk: International On-Line testing Workshop, France; 2002-07-01; in: "Proceedings of the International On-Line testing Workshop", (2002).

A. Ademaj, A. Hanzlik, H. Kopetz:
"Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast";
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. Ademaj, H. Kopetz:
"Time-Triggered Ethernet and IEEE 1588 Clock Synchronization";
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.

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

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

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

S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta:
"Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications";
Talk: CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas; 2021-12-13 - 2021-12-15; in: "Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control", (2021), 5110 - 5115.

I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu:
"Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control";
Talk: Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; 2014-04-20 - 2014-04-24; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies", IARIA, (2014), ISBN: 978-1-61208-335-3; 52 - 58.

E. Armengaud, A. Steininger, A. Hanzlik:
"The Effect of Quartz Drift on Convergence-Average based Clock Synchronization";
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.

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

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

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

S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova:
"Parameter-Independent Strategies for pMDPs via POMDPs";
Poster: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 53 - 70.

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

P. Atanassov:
"Estimating the Delay Caused by DRAM Refreshes on the Execution Time of Real-Time Tasks";
Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Specialized Informatics Congress, Gesellschaft für Informatik e.V.", (2000), #.

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

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

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

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

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

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

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

Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu:
"On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification";
Poster: 2021 International Conference on Machine Learning (ICML), Virtual; 2021-07-18 - 2021-07-24; in: "International Conference on Machine Learning", Proceedings of Machine Learning Research, Volume 139, Virtual (2021), 478 - 489.

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

E. Bartocci:
"Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)";
Talk: Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; 2018-11-10 - 2018-11-13; in: "Proc. of RV 2018: the 18th International Conference on Runtime Verification", 11237 (2018), 35 - 42.

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

E. Bartocci, D. Beyer, P. Black et al.:
"TOOLympics 2019: An Overview of Competitions in Formal Methods";
Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 3 - 24.

E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic:
"Adaptive Testing for Specification Coverage in CPS Models";
Talk: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; 2021-07-07 - 2021-07-09; in: "Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems", 54, 5 (2021), 229 - 234.

E. Bartocci, R. Bloem, D. Nickovic, F. Roeck:
"A Counting Semantics for Monitoring LTL Specifications over Finite Traces";
Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 547 - 564.

E. Bartocci, B. Bonakdarpour, Y. Falcone:
"First International Competition of Software for Runtime Verification";
Talk: 14th International Conference on Runtime Verification, Canada (invited); 2014-09-22 - 2014-09-25; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification", (2014), 1 - 9.

E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti:
"Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent";
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.

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi:
"Monitoring Mobile and Spatially Distributed Cyber-Physical Systems";
Talk: MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; 2017-09-29 - 2017-10-02; in: "Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design", ACM, (2017), 146 - 155.

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi, S. Silvetti:
"MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties";
Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", L. Nenzi (ed.); Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 417 - 428.

E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti:
"Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic";
Talk: 4th International Workshop on Hybrid Systems Biology (HSB), Madrid; 2015-09-04 - 2015-09-05; in: "Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology", LNCS / LNBI / Springer, vol. 9271 (2015), 1 - 17.

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

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

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

E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka:
"Toward real-time simulation of cardiac dynamics";
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.

E. Bartocci, R. DeFrancisco, S. Smolka:
"Towards a GPGPU-parallel SPIN model checker";
Talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 2014-07-21 - 2014-07-23; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software", ACM, (2014), ISBN: 978-1-4503-2452-6; 87 - 96.

E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin:
"Mining Shape Expressions with ShapeIt";
Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 110 - 117.

E. Bartocci, Y. Falcone:
"Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)";
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.

E. Bartocci, Y. Falcone:
"RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)";
Talk: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; 2018-11-05 - 2018-11-09; in: "Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice", Springer International Publishing, 11247 (2018), 3 - 8.

E. Bartocci, Y. Falcone, G. Reger:
"International Competition on Runtime Verification (CRV)";
Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic (invited); 2019-04-06 - 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS", 11429 (2019), 41 - 49.

E. Bartocci, T. Ferrere, T. Henzinger, D. Nickovic, A. Oliveira da Costa:
"Flavours of Sequential Information Flow";
Talk: VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation., Philadelphia, Pennsylvania, United States (invited); 2022-01-16 - 2022-01-18; in: "Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation", 13182 (2022), 1 - 19.

E. Bartocci, T. Ferrere, T. Henzinger, D. Nickovic, A. Oliveira da Costa:
"Information-Flow Interfaces";
accepted as talk for: Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany; 2022-04-02 - 2022-04-07; in: "Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering", (2022).

E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic:
"Localizing Faults in Simulink/Stateflow Models with {STL}";
Talk: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal; 2018-04-11 - 2018-04-13; in: "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)", (2018), 197 - 206.

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

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

E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster:
"Adaptive Runtime Verification";
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.

E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka:
"Model Repair for Probabilistic Systems";
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.

E. Bartocci, L. Kovacs, S. Stankovic:
"Analysis of Bayesian Networks via Prob-Solvable Loops";
Talk: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; 2020-11-30 - 2020-12-04; in: "Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing", Springer, 12545 (2020), ISBN: 978-3-030-64275-4; 221 - 241.

E. Bartocci, L. Kovacs, S. Stankovic:
"Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops";
Talk: ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; 2019-10-28 - 2019-10-31; in: "Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis", 11781 (2019), 255 - 276.

E. Bartocci, L. Kovacs, S. Stankovic:
"Mora - Automatic Generation of Moment-Based Invariants";
Talk: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; 2020-04-25 - 2020-04-30; in: "Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 12078 (2020), ISBN: 978-3-030-45189-9; 492 - 498.

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic:
"Automatic Failure Explanation in CPS Models";
Talk: 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; 2019-09-18 - 2019-09-20; in: "Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods", 11724 (2019), 69 - 86.

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore:
"CPSDebug: a tool for explanation of failures in cyber-physical systems";
Talk: Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA; 2020-07-18 - 2020-07-22; in: "Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis", ACM, (2020), ISBN: 978-1-4503-8008-9; 569 - 572.

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

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

G. Bauer, T. Frenning, A.K. Jonsson, H. Kopetz, C. Temple:
"A Centralized Approach for Avoiding the Babbling-Idiot Failure in the time-Triggered Architecture";
Talk: ICDSN, New York, USA; 2000-06-01; in: "Proceedings of the ICDSN 2000", (2000), #.

G. Bauer, H. Kopetz:
"Transparent Redundancy in the Time-Triggered Architecture";
Talk: International Conference on Communications in Computing, Las Vegas, USA; 2000-06-26 - 2000-06-29; in: "Proceedings of the International Conference on Communications in Computing", (2000), #.

G. Bauer, H. Kopetz, P. Puschner:
"Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture";
Talk: IEEE International Conference on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France; 2001-10-15 - 2001-10-18; in: "Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation", (2001), 333 - 341.

G. Bauer, H. Kopetz, W. Steiner:
"Byzantine Fault Containment in TTP/C";
Talk: International Workshop on Real-Time LANs in the Internet Age, Vienna, Austria; 2002-06-18; in: "Proceedings of the 1st International Workshop on Real-Time LANs in the Internet Age", (2002).

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

G. Bauer, M. Paulitsch:
"An Investigation of Membership and Clique Avoidance in TTP/C";
Talk: IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany; 2000-10-16 - 2000-10-18; in: "Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems", (2000), #.

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

W. Binder, M. Schoeberl, P. Moret, A. Villazón:
"Cross-Profiling for Embedded Java Processors";
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.

W. Binder, A. Villazón, M. Schoeberl, P. Moret:
"Cache-aware Cross-profiling for Java Processors";
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.

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

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

S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski:
"A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx";
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.

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

L. Bortolussi, G. Maria Gallo, J. Křetínský, L. Nenzi:
"Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes";
accepted as talk for: Proc. of TACAS 2022: the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany; 2022-04-02 - 2022-04-07; in: "Proc. of TACAS 2022: the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Proc. of TACAS 2022: the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (2022), 1 - 20.

F. Brandner, T. Thorn, M. Schoeberl:
"Embedded JIT Compilation with CACAO on YARI";
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.

S. Bruckner, R. Seemann, W. Elmenreich:
"Applying a Real-Time Interface to an Optical Tracking System";
Talk: Euromicro International Conference, Vienna, Austria; 2002-06-19 - 2002-06-21; in: "Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference", (2002), 49 - 52.

A. Brunnbauer, L. Berducci, A. Brandstätter, M. Lechner, R. Hasani, D. Rus, R. Grosu:
"Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing";
accepted as talk for: IEEE International Conference on Robotics and Automation, Philadelphia (PA), USA; 2022-05-23 - 2022-05-27; in: "0", (2022).

S. Bünte, R. Kirner:
"The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems";
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.

S. Bünte, M. Tautschnig:
"A Benchmarking Suite for Measurement-Based WCET Analysis Tools";
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.

S. Bünte, M. Zolda, R. Kirner:
"Let's Get Less Optimistic In Measurement-Based Timing Analysis";
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.

S. Bünte, M. Zolda, M. Tautschnig, R. Kirner:
"Improving the Confidence in Measurement-Based Timing Analysis";
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.

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

L. Cardelli, R. Grosu, K.G. Larsen, M. Tribastone, M. Tschaikowski, A. Vandin:
"Lumpability for Uncertain Continuous-Time Markov Chains";
Talk: Proc. of QEST'21: the International Conference on Quantitative Evaluation of SysTems, Paris, France; 2021-08-23 - 2021-08-27; in: "Proc. of Quest'21, the 18th International Conference on Quantitative Evaluation of Systems", Springer, LNCS, (2021), 391 - 409.

L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin:
"Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis";
Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Quantitative Evaluation of Systems - 15th International Conference", A. McIver, A. Horvath (ed.); Springer, Beijing, China (2018), ISBN: 978-3-319-99153-5; 104 - 121.

B. Cilku, A. Crespo, P. Puschner, J. Coronel, P. Salvador:
"A TDMA-Based arbitration scheme for mixed-criticality multicore platforms";
Talk: The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland; 2015-06-17 - 2015-06-19; in: "Event-based Control, Communication, and Signal Processing (EBCCSP), 2015", IEEE, (2015), 1 - 6.

B. Cilku, B. Frömel, P. Puschner:
"A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors";
Talk: 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; 2014-07-27 - 2014-07-30; in: "Proc. of the 12th IEEE International Conference on Industrial Informatics", (2014), ISBN: 978-1-4799-4906-9; 147 - 151.

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

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

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

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

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

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

B. Cilku, P. Puschner:
"Using a Local Prefetch Strategy to Obtain Temporal Time Predictability";
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.

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

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

J. Cyranka, A. Islam, S. Smolka, S. Gao, R. Grosu:
"Tight Continuous-Time Reachtubes for Lagrangian Reachability";
Talk: 57th IEEE Conference on Decision and Control, Miami, Florida, USA; 2018-12-17 - 2018-12-19; in: "57th IEEE Conference on Decision and Control", IEEE, 2018 IEEE Conference on Decision and Control (CDC) (2018), ISSN: 2576-2370; 6854 - 6861.

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

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

J. DelPreto, A. Salazar-Gomez, S. Gil, R. Hasani, F. Guenther, D. Rus:
"Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection";
Talk: Robotics: Science and Systems, Pittsburgh, Pennsylvania, USA; 2018-06-26 - 2018-06-30; in: "Robotics: Science and Systems XIV", Robotics: Science and Systems Foundation, 14 (2018), ISBN: 978-0-9923747-4-7.

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

M. Delvai, W. Huber, P. Puschner, A. Steininger:
"Processor Support for Temporal Predictability - The SPEAR Design Example";
Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15 Euromicro International Conference on Real-Time Systems", (2003), 169 - 176.

O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour:
"HyperProb: A Model Checker for Probabilistic Hyperproperties";
Talk: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021), 657 - 666.

R Dobrin, G. Fohler, P. Puschner:
"Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling";
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.

D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka:
"On Temporal Logic and Signal Processing";
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.

D. Ebner, F. Brandner, B. Scholz, A. Krall, P. Wiedermann, A. Kadlec:
"Generalized instruction selection using SSA-graphs";
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.

S. Edwards, S. Kim, E. Lee, I. Liu, H. Patel, M. Schoeberl:
"A Disruptive Computer Design Idea: Architectures with Repeatable Timing";
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.

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";
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.

C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz:
"A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management";
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.

C. El Salloum, R. Obermaisser, B. Huber, H. Kopetz, N. Suri:
"Supporting Heterogeneous Applications in the DECOS Integrated Architecture";
Talk: International DECOS Workshop, Vienna, Austria; 2006-10-12; in: "International DECOS Workshop", (2006).

C. El Salloum, R. Obermaisser, B. Huber, H. Paulitsch, H. Kopetz:
"A time-triggered system-on-a-chip architecture with integrated support for diagnosis";
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.

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

W. Elmenreich:
"A Review on System Architectures for Sensor Fusion Applications";
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.

W. Elmenreich:
"Fault-Tolerant Certainty Grid";
Talk: ICAR International Conference on Advanced Robotics, Coimbra, Portugal; 2003-06-30 - 2003-07-03; in: "Proceedings of the 11th International Conference on Advanced Robotics", 3 (2003), ISBN: 972-96889-8-2; 1576 - 1581.

W. Elmenreich:
"Intelligent Methods for Embedded Systems";
Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the Workshop on Intelligent Solutions in Embedded Systems", (2003), 3 - 11.

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

W. Elmenreich, M. Delvai:
"Time-Triggered Communication with UARTs";
Talk: IEEE International Workshop on Factory Communication Systems, Västeraas; 2002-08-28 - 2002-08-30; in: "Proceedings of the 4th IEEE International Workshop on Factory Communication Systems", (2002), 97 - 104.

W. Elmenreich, W. Haidinger, H. Kopetz:
"Interface Design for Smart Transducers";
Talk: IEEE Instrumentation and Measurement Technology Conference (IMTC), Budapest, Hungary; 2001-05-21 - 2001-05-23; in: "Proceedings of the IEEE Instrumentation and Measurement Technology Conference (IMTC)", Vol. 3 (2001), 1642 - 1647.

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

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

W. Elmenreich, G. Karsai:
"Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems";
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.

W. Elmenreich, G. Klingler:
"Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled Robot";
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.

W. Elmenreich, S. V. Krywult:
"A Comparison of Fieldbus Protocols: LIN 1.3, LIN 2.0, and TTP/A";
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.

W. Elmenreich, R. Obermaisser:
"A Standardized Smart Transducer Interface";
Talk: IEEE International Symposium on Industrial Electronics, L'Aquila, Italy; 2002-07-08 - 2002-07-11; in: "Proceedings of the IEEE International Symposium on Industrial Electronics (ISIE'02)", (2002).

W. Elmenreich, R. Obermaisser, P. Peti:
"A Model for Reactive Systems Supporting Varying Degrees of Synchrony";
Talk: IEEE International Conference on Computational Cybernetics, Siofok, Hungary; 2003-08-29 - 2003-08-31; in: "Proceedings of IEEE International Conference on Computational Cybernetics ", (2003), ISBN: 963-7154-18-3; 275 - 280.

W. Elmenreich, C. Paukovits, S. Pitzek:
"Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks";
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.

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

W. Elmenreich, H. Piontek, J. Kaiser:
"Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study";
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.

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

W. Elmenreich, S. Pitzek:
"The Time-Triggered Sensor Fusion Model";
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.

W. Elmenreich, S. Pitzek:
"Using Sensor Fusion in a Time-Triggered Network";
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.

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

W. Elmenreich, M. Rosenblattl, A. Wolf:
"Fixed Point Library According to ISO/IEC Standard DTR 18037 for Atmel AVR Processors";
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.

W. Elmenreich, M. Schlager:
"Simulation-based Development of Embedded Sensor Fusion Applications";
Talk: IEEE International Conference on Computational Cybernetics, Wien; 2004-08-30 - 2004-09-01; in: "Proceedings of the 2nd IEEE International Conference on Computational Cybernetics ", (2004), ISBN: 3-902463-01-5; 147 - 153.

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

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

W. Elmenreich, C. Trödhandl, B. Weiss:
"Embedded Systems Home Experimentation";
Talk: Second IASTED International Conference on Education and Technology, Calgary; 2006-09-17 - 2006-09-19; in: "Proceedings of the Second International Conference on Education and Technology", (2006), 11 - 15.

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

C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid:
"Verifying nonlinear analog and mixed-signal circuits with inputs";
Talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 - 2018-07-13; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFAC-PapersOnLine, 51 / 16 (2018), 241 - 246.

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

F. Freiberger, S. Schupp, H. Hermanns, E. Abraham:
"Controller Verification meets Controller Code: A Case Study";
Talk: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "19th ACM-IEEE International Conference on Formal Methods and Models for System Design", Association for Computing Machinery, New York, NY, United States (2021), ISBN: 978-1-4503-9127-6; 98 - 103.

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

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

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

E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec:
"Dynamic Network Model from Partial Observations";
Poster: Neural Information Processing Systems (NIPS 2018), Montreal, Canada; 2018-12-03 - 2018-12-08; in: "Advances in Neural Information Processing Systems 31 (NIPS 2018)", Advances in Neural Information Processing Systems 31, (2018).

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

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

R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci:
"From Cardiac Cells to Genetic Regulatory Network";
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.

R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump:
"Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems";
Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proc. of HVC'14, the Haifa Verification Conference", (2014).

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

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

S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu:
"Lagrangian Reachtubes: The Next Generation";
Talk: 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea (South); 2020-12-14 - 2020-12-18; in: "Proceedings of the 59th IEEE Conference on Decision and Control (CDC)", IEEE (ed.); IEEE, (2020), ISSN: 2576-2370; 1556 - 1563.

S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu:
"On The Verification of Neural ODEs with Stochastic Guarantees";
Talk: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Online; 2021-02-02 - 2021-02-09; in: "Proceedings of the AAAI Conference on Artificial Intelligence", Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35 No. 13: AAAI-21 Technical Tracks 13 (2021), 11525 - 11535.

S. Grünbacher, M. Lechner, R. Hasani, D. Rus, T. Henzinger, S. Smolka, R. Grosu:
"GoTube: Scalable Statistical Verification of Continuous-Depth Models";
accepted as talk for: 36th AAAI Conference on Artificial Intelligence (AAAI-22), Vancouver; 2022-02-22 - 2022-03-01; in: "Proceedings of the 36th AAAI Conference on Artificial Intelligence", IEEE (ed.); Vol. 36 (2022).

F. Gruian, P. Andersson, K. Kuchcinsky, M. Schoeberl:
"Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core";
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.

A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray:
"Parallel Reachability Analysis for Hybrid Systems";
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.

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

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

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta:
"Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics";
Talk: 2019 IEEE Conference on Decision and Control (CDC), Nice, France; 2019-12-11 - 2019-12-13; in: "Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control", IEEE, (2019).

S. Hanke, C. Mayer, O. Höftberger, H. Boos, R. Wichert, P. Wolf et al.:
"universAAL - an open and consolidated AAL platform";
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.

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

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad:
"A Modular Worst-case Execution Time Analysis Tool for Java Processors";
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.

T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad:
"Toward Libraries for Real-time Java";
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.

R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus:
"Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks";
Talk: Workshop on Interpretability and Robustness in Audio, Speech, and Language (IRASL) at NIPS 2018, Montreal, Canada; 2018-12-02 - 2018-12-09; in: "Proceedings of the NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop", NIPS 2018, (2018).

R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus:
"Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks";
Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary; 2019-07-14 - 2019-07-19; in: "2019 IEEE International Joint Conference on Neural Networks (IJCNN)", (2019), ISSN: 2161-4407; 1 - 8.

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

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

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

R. Hasani, B. Kulnik, D. Haerle, R. Grosu:
"Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems";
Talk: 9th International Workshop on Frontiers in Analog CAD at ASYNC 2018, Vienna, Austria; 2018-05-16 - 2018-05-17; in: "Proceedings of the 9th International Workshop on Frontiers in Analog CAD", (2018).

R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu:
"A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits";
Talk: 2020 International Conference on Machine Learning (ICML), Virtual; 2020-07-13 - 2020-07-18; in: "Proceedings of machine learning research, Volume 119: International Conference on Machine Learning (ICML)", (2020), 4082 - 4093.

R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu:
"Liquid Time-Constant Networks";
Talk: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Conference; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21)", Proceedings of the AAAI Conference on Artificial Intelligence, 35/9 (2021), 7657 - 7666.

R. Hasani, G. Wang, R. Grosu:
"A Machine Learning Suite for Machine Components´ Health-Monitoring";
Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii, USA; 2019-01-29 - 2019-01-31; in: "33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019", (2019), ISSN: 2374-3468; 9472 - 9477.

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

D. Hauer, D. Ratasich, L. Krammer, A. Jantsch:
"A Methodology for Resilient Control and Monitoring in Smart Grids";
Talk: 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires; 2020-02-26 - 2020-02-28; in: "2020 IEEE International Conference on Industrial Technology (ICIT)", IEEE, (2020), ISSN: 2643-2978; 589 - 594.

J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu:
"DeepSTL - From English Requirements to Signal Temporal Logic";
accepted as talk for: International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA; 2022-05-21; in: "44th International Conference on Software Engineering (ICSE 2022)", (2022).

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

S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner:
"The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration";
Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015).

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

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

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

C. Hirsch, E. Bartocci, R. Grosu:
"Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home";
Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747-668x; 97 - 102.

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

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

T. Hofmann, S. Schupp:
"TACoS: A Tool for the MTL Controller Synthesis Problem";
Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 372 - 379.

N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
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.

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

B. Huber, C. El Salloum, R. Obermaisser:
"A Resource Management Framework for Mixed-Criticality Embedded Systems";
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.

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

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

B. Huber, R. Obermaisser:
"A Comparison of NoTA and GENESYS";
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.

B. Huber, R. Obermaisser:
"Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform";
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.

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

B. Huber, P. Peti, R. Obermaisser, C. El Salloum:
"Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture";
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.

B. Huber, D. Prokesch, P. Puschner:
"A Formal Framework for Precise Parametric WCET Formulas";
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.

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

B. Huber, W. Puffitsch, P. Puschner:
"Towards an open timing analysis platform";
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.

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

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

B. Huber, M. Schoeberl:
"Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis";
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.

H. Isakovic, E. Azpiazu Crespo, R. Grosu:
"An Energy Sustainable CPS/IoT Ecosystem";
Talk: 1st EAI International Conference on Intelligent Edge Processing for the IoT Era, Braga; 2020-12-02 - 2020-12-04; in: "Edge IoT", Springer, (2020), 305 - 322.

H. Isakovic, R. Grosu:
"A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform";
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.

H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger:
"CPS/IoT Ecosystem: Indoor Vertical Farming System";
Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", IEEE Xplore, (2019), ISSN: 0747-668x; 47 - 52.

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

H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic:
"Sensyml: Simulation Environment for large-scale IoT Applications";
Talk: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; 2019-10-14 - 2019-10-18; in: "IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society", IEEE Xplore, (2019), ISBN: 978-1-7281-4878-6; 3024 - 3030.

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu:
"CPS/IoT Ecosystem: A Platform for Research and Education";
Talk: 14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; 2018-10-04 - 2018-10-05; in: "Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)", R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, (2019), ISBN: 978-3-030-23702-8.

H. Isakovic, A. Wasicek:
"Secure Channels in an Integrated MPSoC Architecture";
Talk: 39th Annual Conference of the IEEE Industrial Electronics Society, Wien; 2013-11-10 - 2013-11-13; in: "Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE", (2013), ISSN: 1553-572x; 4488 - 4493.

A. Islam, G. Byrne, S. Kong, E. Clarke, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka:
"Bifurcation Analysis of Cardiac Alternans using Delta-Decidability";
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.

A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka:
"Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans";
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.

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

S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic:
"Quantitative Monitoring of STL with Edit Distance";
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.

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

A. Kadlec:
"Neutralizing Timing Anomalies in Superscalar Microprocessors";
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.

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

A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Annotation Languages Reconsidered: The Annotation Language Challenge";
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.

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

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Language: Essential Ingredients";
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.

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

K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu:
"Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems";
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.

R. Kammerer, B. Frömel, R. Obermaisser, P. Milbredt:
"Composability and Compositionality in CAN-Based Automotive Systems based on Bus and Star Topologies";
Talk: IEEE 11th International Conference on Industrial Informatics INDIN´2013, Bochum, Germany; 2013-07-29 - 2013-07-31; in: "Proceedings of the 11th International Conference on Industrial Informatics INDIN2013", (2013), 116 - 122.

R. Kammerer, B. Frömel, A. Wasicek:
"Enhancing Security in CAN Systems using a Star Coupling Router";
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.

R. Kammerer, R. Obermaisser, B. Frömel:
"Dynamic Configuration of a Time-Triggered Router for Controller Area Network";
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).

S. Kandl:
"Abstraction Techniques for Extracted Automata Models";
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.

S. Kandl:
"Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems";
Talk: Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas, Nevada, USA; 2014-08-19 - 2014-08-21; in: "Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014)", (2014).

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

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

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

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

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

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

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

S. Kandl, R. Kirner, G. Fraser:
"Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems";
Talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01; in: "3rd International Workshop on Dependable Embedded Systems, Proceedings", (2006), 17 - 21.

S. Kandl, R. Kirner, P. Puschner:
"Automated Formal Verification and Testing of C Programs for Embedded Systems";
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.

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

A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura:
"Distribution Estimation for Probabilistic Loops";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022).

G. Khyo, P. Puschner, M. Delvai:
"An Operating System for a Time-Predictable Computing Node";
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.

K. Kim, W. Recker, W. T. Tsai, H. Kopetz, P. Puschner:
"DECOS-TADE Collaboration";
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.

R. Kirner:
"Enforcing Composability for Ubiquitious Computing Systems";
Talk: The Cabernet Radicals Workshop, Bertinoro, Italy; 2002-10-01; in: "Proceedings of the 7th Cabernet Radicals Workshop", (2002).

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

R. Kirner:
"SCCP/x - A Compilation Profile to Support Testing and Verification of Optimized Code";
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.

R. Kirner:
"Towards Automatic Verification of Structural Code-Coverage Preservation";
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.

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

R. Kirner, W. Haas:
"Automatic Calculation of Coverage Profiles for Coverage-based Testing";
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.

R. Kirner, A. Kadlec, P. Puschner:
"Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies";
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.

R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop:
"Towards a Common WCET Annotation Languge: Essential Ingredients";
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.

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
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.

R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Analysis: The Annotation Language Challenge";
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.

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

R. Kirner, R. Lang, P. Puschner:
"WCET Analysis for Systems Modelled in Matlab/Simulink";
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.

R. Kirner, R. Lang, P. Puschner, C. Temple:
"Integrating WCET Analysis into a Matlab/Simulink Simulation Model";
Talk: IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia; 2000-11-29 - 2000-12-01; in: "Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems", (2000), 79 - 84.

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

R. Kirner, P. Puschner:
"Classification of WCET Analysis Techniques";
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.

R. Kirner, P. Puschner:
"Consideration of Optimizing Compilers in the Context of WCET Analysis";
Talk: Specialized Informatics Congress, Gesellschaft für Informatik e.V., Bad Schussenried, Germany; 2000-10-27 - 2000-10-28; in: "Proceedings of the Informatiktage 2000, Gesellschaft für Informatik e.V.", (2000), 123 - 126.

R. Kirner, P. Puschner:
"Discussion of Misconceptions about Worst-Case Execution-Time Analysis";
Talk: 3rd Euromicro International Workshop on WCET Analysis, Porto, Portugal; 2003-07-01; in: "Proceedings of the 3rd Euromicro International Workshop on WCET Analysis", (2003), 61 - 64.

R. Kirner, P. Puschner:
"Obstacles in Worst-Case Execution Time Analysis";
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.

R. Kirner, P. Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation";
Talk: Deutschsprachige WCET-Tagung, Paderborn, Germany; 2000-10-20; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), #.

R. Kirner, P. Puschner:
"Time-Predictable Computing";
Talk: 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen/Ybbs, Austria; 2010-10-13 - 2010-10-15; in: "Time-Predictable Computing", (2010), 23 - 34.

R. Kirner, P. Puschner:
"Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache";
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.

R. Kirner, P. Puschner:
"Timing Analysis of Optimised Code";
Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 100 - 105.

R. Kirner, P. Puschner:
"Transformation of Meta-Information by Abstract Co-Interpretation";
Talk: 7th International Workshop, SCOPES, Vienna, Austria; 2003-09-24 - 2003-09-26; in: "Proceedings of the 7th International Workshop, SCOPES 2003", (2003), 298 - 312.

R. Kirner, P. Puschner:
"Transformation of Path Information for WCET Analysis during Compilation";
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.

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

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

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

R. Kirner, M. Schoeberl:
"Modeling the function cache for worst-case execution time analysis";
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.

R. Kirner, W. Zimmermann, D. Richter:
"On Undecidability Results of Real Programming Languages";
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.

R. Kirner, M. Zolda:
"Compiler Support for Measurement-based Timing Analysis";
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.

G. Klingler, A. Kößler, W. Elmenreich:
"The Smart Car - a distributed controlled autonomous robot";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 33 - 34.

C. Kloimüllner, P. Papazek, B. Hu, G. Raidl:
"Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case.";
Talk: Evolutionary Computation in Combinatorial Optimization (EvoCOP), Granada; 2014-04-23 - 2014-04-25; in: "Evolutionary Computation in Combinatorial Optimization", C. Blum, G. Ochoa (ed.); Springer Berlin Heidelberg, 8600 (2014), ISBN: 978-3-662-44319-4; 73 - 84.

C. Kloimüllner, P. Papazek, G. Raidl, B. Hu:
"A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems";
Talk: Eurocast 2015, Gran Canaria, Spain; 2015-02-08 - 2015-02-13; in: "Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory", A. Quesada-Arencibia et al. (ed.); (2015), ISBN: 978-84-606-5438-4; 125 - 126.

A. Kößler, W. Elmenreich:
"Automated solution evaluation during a practical examination";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 35 - 36.

A. Kofnov, M. Moosbrugger, S. Stankovic, E. Bartocci, E. Bura:
"Moment-based Invariants for Probabilistic Loops with non-polynomial assignments";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 - 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems", (2022).

H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling:
"Discrete Abstraction of Multiaffine Systems";
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.

H. Kong, E. Bartocci, T. Henzinger:
"Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes";
Talk: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; 2018-07-14 - 2018-07-17; in: "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I", 10981 (2018), 449 - 467.

H. Kong, E. Bartocci, Y. Jiang, T. Henzinger:
"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty";
Talk: 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; 2019-08-27 - 2019-08-29; in: "Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems", 11750 (2019), 123 - 141.

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

H. Kopetz:
"A Universal Smart Transducer Interface";
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.

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

H. Kopetz:
"Composability in the Time-Triggered Architecture";
Talk: SAE International Congress and Exhibition, Detroit, USA; 2000-03-06 - 2000-03-09; in: "Proceedings of the SAE International Congress and Exhibition (2000-01-1382)", (2000), #.

H. Kopetz:
"Composability in the time-triggered system-on-chip architecture";
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.

H. Kopetz:
"Composable Embedded Systems";
Talk: IEEE International Conference on Computational Cybernetics, Vienna, Autria; 2004-08-30 - 2004-09-01; in: "Proceedings of the IEEE International Conference on Computational Cybernetics (ICCC 2004)", IEEE, (2004), ISBN: 3-902463-01-5; 3.

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

H. Kopetz:
"Modeling of Software-Hardware Complexes";
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.

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

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

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

H. Kopetz:
"Software Engineering for Real-Time: A Roadmap";
Talk: International Conference on Future of Software Engineering, Limerick, Ireland; 2000-06-04 - 2000-06-11; in: "Proceedings of the 22nd International conference on Future of Software Engineering (FoSE)", (2000), #.

H. Kopetz:
"The Complexity Challenge in Embedded System Design";
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.

H. Kopetz:
"The Temporal Specification of Interfaces in Distributed Real-Time Systems";
Talk: International Workshop on Embedded Software, Lake Tahoe, CA, USA; 2001-10-08 - 2001-10-10; in: "Proceedings of the EMSOFT", (2001), 223 - 236.

H. Kopetz:
"The Three Interfaces of a Smart Transducer";
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).

H. Kopetz:
"Time-Triggered Real-Time Computing";
Talk: IFAC World Congress, Barcelona, Portugal; 2002-07-21 - 2002-07-26; in: "Proceedings of the IFAC World Congress", IFAC Press, (2002).

H. Kopetz:
"TTA Supported Service Availability";
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.

H. Kopetz:
"Why do we need a Sparse Global Time-Base in Dependable Real-time Systems?";
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.

H. Kopetz:
"Wrong Assumptions and Neglected Areas in Embedded Systems Research";
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.

H. Kopetz:
"Zuverlässige Elektronik-Systeme im Verkehrswesen";
Talk: Conference of the Academy of Science of Northrhine - Westfalia, Northrhine - Westfalia, Germany; 2006-12-13; in: "Informatik bewegt - Informationstechnik in Verkehr und Logistik", acatech, (2007), ISBN: 978-3-8167-7368-9; 55 - 79.

H. Kopetz, A. Ademaj, P. Grillinger, K. Steinhammer:
"The Time-Triggered Ethernet (TTE) Design";
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.

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

H. Kopetz, G. Bauer, S. Poledna:
"Tolerating Arbitrary Node Failures in the Time-Triggered Architecture";
Talk: SAE World Congress, Detroit, MI, USA; 2001-03-01; in: "Proceedings of the SAE 2001 World Congress", (2001).

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

H. Kopetz, B. Frömel, O. Höftberger:
"Direct versus Stigmergic Information Flow in Systems-of-Systems";
Talk: 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; 2015-05-17 - 2015-05-20; in: "10th Annual Systems of Systems Engineering Conference 2015", (2015), 36 - 41.

H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli:
"Towards an Understanding of Emergence in Systems-of-Systems";
Talk: 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA; 2015-05-17 - 2015-05-20; in: "10th Annual Systems of Systems Engineering Conference 2015", (2015), 214 - 219.

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

H. Kopetz, R. Obermaisser, C. El Salloum, B. Huber:
"Automotive Software Development for a Multi-Core System-on-a-Chip";
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.

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

S. Korsholm, M. Schoeberl, A. Ravn:
"Interrupt Handlers in Java";
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.

S. V. Krywult, W. Elmenreich:
"A Portable Real-Time Communication System for Embedded Systems with Heterogeneous Hardware";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 41 - 42.

S. Kuster:
"Successful communication in European research projects - the GENESYS project as best practice";
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.

E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl:
"Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress";
Talk: 2020 International Conference on Embedded Software (EMSOFT), Singapur; 2020-11-20 - 2020-11-25; in: "2020 International Conference on Embedded Software (EMSOFT)", ACM, (2020), ISBN: 978-1-7281-9196-6; 15 - 17.

E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl:
"Synchronizing Real-Time Tasks in Time-Triggered Networks";
Talk: 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), Daegu, South Korea; 2021-06-01 - 2021-06-03; in: "2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)", IEEE, IEEE (2021), ISSN: 2375-5261; 11 - 19.

J. Lechner, M. Lampacher:
"Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets";
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.

J. Lechner, M. Lampacher, T. Polzer:
"A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding";
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.

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

M. Lechner, R. Hasani, R. Grosu:
"Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments";
Talk: Workshop on Explainable Artificial Intelligence (XAI2018) at IJCAI-ECAI 2018, Stockholm, Sweden; 2018-07-13 - 2018-07-18; in: "Proceedings of the 2nd Workshop on Explainable Artificial Intelligence", IJCAI-ECAI 2018, (2018), 79 - 84.

M. Lechner, R. Hasani, R. Grosu, D. Rus, T. Henzinger:
"Adversarial Training is Not Ready for Robot Learning";
Talk: 2021 IEEE International Conference on Robotics and Automation (ICRA 2021), Xi'an, China; 2021-05-31 - 2021-06-04; in: "In Proc. of ICRA'21, the International Conference on Robotics and Automation", IEEE, (2021), ISBN: 978-1-7281-9077-8; 1 - 8.

M. Lechner, R. Hasani, D. Rus, R. Grosu:
"Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme";
Talk: 2020 IEEE International Conference on Robotics and Automation (ICRA), Virtual - Paris France; 2020-05-31; in: "2020 IEEE International Conference on Robotics and Automation (ICRA)", (2020), 5446 - 5452.

M. Lechner, R. Hasani, Z. Zimmer, T. Henzinger, R. Grosu:
"Designing Worm-inspired Neural Networks for Interpretable Robotic Control";
Talk: 2019 International Conference on Robotics and Automation (ICRA), Montreal, Canada; 2019-05-20 - 2019-05-24; in: "Robotics and Automation (ICRA), IEEE International Conference on", (2019), 87 - 94.

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

B. Leiner, M. Schlager, R. Obermaisser, B. Huber:
"A Comparison of Partitioning Operating Systems for Integrated Systems";
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.

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

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

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

T. Losert, R. Obermaisser:
"Wireless Real-Time Communication Technologies: A Comparative Study";
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).

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

A. Lukina, A. Tiwari, S. Smolka, L. Esterle, J. Yang, R. Grosu:
"Resilient Control and Safety for Cyber-Physical Systems";
Talk: 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal; 2018-04-10; in: "3rd Workshop on Monitoring and Testing of Cyber-Physical Systems", IEEE, (2018), 16 - 17.

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

R. M. Hasani, D. Haerle, R. Grosu:
"Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks";
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.

H. Mahyar, R. Hasheminezhad, E. Ghalebi, R. Grosu, H. Stanley:
"A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks";
Talk: COMPLEX NETWORKS 2018: 7th International Conference on Complex Networks and Their Applications, Cambridge, United Kingdom; 2018-12-11 - 2018-12-13; in: "Complex Networks and Their Applications VII", Springer, (2018), ISBN: 978-3-030-05413-7; 91 - 103.

H. Mahyar, P. Tulala, H. Rabiee, R. Grosu:
"Generative Adversarial Networks for Clustering Semiconductor Wafer Maps";
Poster: ML for Systems Workshop at NIPS 2018, Montreal, Canada; 2018-12-08; in: "Proc. of ML for Systems Workshop", ML for Systems, (2018).

N. Manjunath, D. Haerle, C. Manthey, M. Väänänen, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, R. Grosu, D. Nickovic:
"Production Tests Coverage Analysis in the Simulation Environment";
Talk: International Test Conference, Phoenix, Arizona, USA; 2018-10-28 - 2018-11-02; in: "ITC'18, the International Test Conference", IEEE, 2018 IEEE International Test Conference (ITC) (2018), ISSN: 2378-2250; 1 - 7.

E. J. Maroun, M. Schöberl, P. Puschner:
"Towards Dual-Issue Single-Path Code";
Talk: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 2020-05-19 - 2020-05-21; in: "Proceedings ISORC 2020", (2020), 176 - 183.

U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang, S. Smolka:
"Declarative vs Rule-based Control for Flocking Dynamics";
Talk: 33rd ACM Symposium On Applied Computing, Pau, France; 2018-04-09 - 2018-04-13; in: "Proc. of SAC'18, the 33rd ACM Symposium On Applied Computing", ACM, (2018), ISBN: 978-1-4503-5191-1; 816 - 823.

U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari:
"Neural Flocking: MPC-based Supervised Learning of Flocking Controllers";
Talk: FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; 2020-04-25 - 2020-04-30; in: "Neural Flocking: MPC-based Supervised Learning of Flocking Controllers", Springer, . (2020), ISBN: 978-3-030-45231-5; 1 - 16.

M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng:
"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities";
Talk: Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia; 2020-04-21 - 2020-04-25; in: "Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems", IEEE, (2020), ISBN: 978-1-7281-5502-9; 51 - 62.

M. Meiyi, E. Bartocci, J. Stankovic, L. Feng:
"Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract";
Talk: SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Virtual Event Japan; 2020-11-16 - 2020-11-19; in: "SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems", (2020), 711 - 712.

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

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

V. Mikolasek:
"Dependability and Robustness: State of the Art and Challenges";
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.

V. Mikolasek, A. Ademaj, S. Racek:
"Segmentation of Standard Ethernet Messages in the Time-Triggered Ethernet";
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.

V. Mikolasek, H. Kopetz:
"Roll-Forward Recovery with State Estimation";
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.

S. Mohammadinejad, J. Deshmukh, L. Nenzi:
"Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems";
Talk: ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis, Australia (Online); 2021-10-18 - 2021-10-22; in: "Proc. of ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis", 12971, (2021), 91 - 107.

M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs:
"Automated Termination Analysis of Polynomial Probabilistic Programs";
Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518.

M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel:
"A holistic viewpoint-based SysML Profile to Design Systems-of-Systems";
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.

A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu:
"Approximate Bisimulations for Sodium Channel Dynamics";
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.

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu:
"Curvature analysis of cardiac excitation wavefronts";
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.

A. Murthy, A. Islam, S. Smolka, R. Grosu:
"Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals";
Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "HSCC 2015", ACM, (2015), ISBN: 978-1-4503-3433-4; 78 - 87.

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

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

L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti, E. Visconti:
"Monitoring Spatio-Temporal Properties (Invited Tutorial)";
Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 21 - 46.

L. Nenzi, S. Silvetti, E. Bartocci, L. Bortolussi:
"A Robust Genetic Algorithm for Learning Temporal Specifications from Data";
Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; 2018-09-04 - 2018-09-07; in: "Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems", 11024 (2018), 323 - 338.

E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori:
"A Normative Supervisor for Reinforcement Learning Agents";
Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576.

T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin:
"The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems";
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.

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz:
"Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS";
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.

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz:
"The Time-Triggered System-on-a-Chip Architecture";
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.

R. Obermaisser, B. Frömel, C. El Salloum, B. Huber:
"Integrating safety and multimedia subsystems on a Time-Triggered System-on-a-Chip";
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.

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

R. Obermaisser, O. Höftberger:
"Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip";
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.

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

R. Obermaisser, R. Kammerer:
"A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN";
Talk: IEEE International Conference on Industrial Informatics (INDIN 2010), Osaka, Japan; 2010-07-13 - 2010-07-16; in: "A Router for Improved Fault Isolation, Scalability and Diagnosis in CAN", (2010), 121 - 127.

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

R. Obermaisser, H. Kopetz, C. El Salloum, B. Huber:
"Error Containment in the Time-Triggered System-On-a-Chip Architecture";
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.

R. Obermaisser, H. Kraut, C. El Salloum:
"A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR";
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.

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

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

R. Obermaisser, P. Peti:
"Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks";
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.

R. Obermaisser, P. Peti:
"Specification and Execution of Gateways in Integrated Architectures";
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.

R. Obermaisser, P. Peti:
"The Fault Assumptions in Distributed Integrated Architectures";
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.

R. Obermaisser, P. Peti, W. Elmenreich, T. Losert:
"Monitoring and Configuration in a Smart Transducer Network";
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).

R. Obermaisser, P. Peti, H. Kopetz:
"Virtual Gateways in the DECOS Integrated Architecture";
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.

R. Obermaisser, P. Peti, H. Kopetz:
"Virtual Networks in an Integrated Time-Triggered Architecture";
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).

R. Obermaisser, D. Riezler:
"HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol";
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.

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

P. Papazek, C. Kloimüllner, B. Hu, G. Raidl:
"Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid.";
Talk: Parallel Problem solving from Nature - PPSN XIII, Ljubljana; 2014-09-13 - 2014-09-17; in: "Parallel Problem Solving from nature - PPSN XIII", T. Bartz - Beielstein, J. Branke, B. Filipic, J. Smith (ed.); Lecture Notes in Computer Science, Springer International Publishing, 8672 (2014), ISBN: 978-3-319-10761-5; 792 - 801.

C. Paukovits, W. Elmenreich:
"Meta-Modelling in Tool Support for Time-Triggered Application Development";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 53 - 54.

C. Paukovits, H. Kopetz:
"Concepts of Switching in the Time-Triggered Network-on-Chip";
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.

H. Paulitsch, R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz:
"A Diagnostic Unit for the time-triggered System-on-a-Chip architecture";
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.

H. Paulitsch, C. Paukovits, C. El Salloum:
"Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture";
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.

M. Paulitsch, W. Steiner:
"Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems";
Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15th Euromicro Conference on Real-Time Systems", (2003), 249 - 256.

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

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

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

P. Peti, R. Obermaisser, A. Ademaj, H. Kopetz:
"A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture";
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.

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

P. Peti, R. Obermaisser, H. Kopetz:
"Out-of-Norm Assertions";
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.

P. Peti, R. Obermaisser, H. Paulitsch:
"The Diagnostic Architecture of the PEGASUS Project Car";
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.

P. Peti, R. Obermaisser, F. Tagliabo, A. Marino, S. Cerchio:
"An Integrated Architecture for Future Car Generations";
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.

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

D. Phan, R. Grosu, N. Jansen, N. Paoletti, S. Smolka, S. Stoller:
"Neural simplex architecture";
Talk: NASA Formal Methods (NFM), virtuell; 2020-05-11 - 2020-05-15; in: "Neural simplex architecture", Springer, . (2020), ISBN: 978-3-030-55754-6; 97 - 114.

D. Phan, N. Paoletti, T. Zhang, R. Grosu, S. Smolka, S. Stoller:
"Neural State Classification for Hybrid Systems";
Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", Springer, 11138 (2018), ISBN: 978-3-030-01089-8; 422 - 440.

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

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

P. Piho, F. Margetiny, E. Bartocci, R. Ribchester, J. Hillston:
"Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting";
Talk: 17th International Conference on Computational Methods in Systems Biology, Trieste; 2019-09-18 - 2019-09-20; in: "Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology", 11773 (2019), 120 - 139.

C. Pilch, S. Schupp, A. Remke:
"Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction";
Talk: Proc. of QEST'21: the International Conference on Quantitative Evaluation of SysTems, France, Online; 2021-08-23 - 2021-08-27; in: "Proc. of QEST'21: the 18th International Conference on Quantitative Evaluation of Systems", 12846, (2021), 435 - 456.

C. Pitter:
"JopCMP - A Java Chip-Multiprocessor for Real-time Systems";
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.

C. Pitter:
"Time-predictable memory arbitration for a Java chip-multiprocessor";
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.

C. Pitter, M. Schoeberl:
"Performance Evaluation of a Java Chip-Multiprocessor";
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.

C. Pitter, M. Schoeberl:
"Time Predictable CPU and DMA Shared Memory Access";
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.

C. Pitter, M. Schoeberl:
"Towards a Java multiprocessor";
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.

S. Pitzek, W. Elmenreich:
"Configuration and Management of a Real-Time Smart Transducer Network";
Talk: IEEE Conference on Emerging Technologies and Factory Automation, Lisbon, Portugal; 2003-09-16 - 2003-09-19; in: "Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation", (2003), 407 - 414.

S. Pitzek, W. Elmenreich:
"Managing Fieldbus Systems";
Talk: Euromicro International Conference, Vienna, Austria; 2002-06-19 - 2002-06-21; in: "Proceedings of the Work-in-Progress Session of the 14th Euromicro International Conference", (2002), 13 - 16.

S. Pitzek, W. Elmenreich:
"Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers";
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.

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

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

M. Platzer, P. Puschner:
"A Processor Extension for Time-Predictable Code Execution";
Talk: 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), Daegu, South Korea; 2021-06-01 - 2021-06-03; in: "2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)", C. Ceballos (ed.); IEEE, IEEE (2021), ISSN: 2375-5261; 34 - 42.

M. Platzer, P. Puschner:
"A Real-Time Application with Fully Predictable Task Timing";
Talk: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; 2020-05-19 - 2020-05-21; in: "2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)", (2020), 43 - 46.

M. Platzer, P. Puschner:
"An Instruction Filter for Time-Predictable Code Execution on Standard Processors";
Talk: International Conference on Computer Safety, Reliability, and Security, online; 2020-09-15 - 2020-09-18; in: "International Conference on Computer Safety, Reliability, and Security", Springer Verlag (ed.); Springer, LNCS, volume 12235 (2020), ISBN: 978-3-030-55583-2; 111 - 122.

M. Platzer, P. Puschner:
"Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation";
Talk: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Online; 2021-07-05 - 2021-07-09; in: "33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)", B. Brandenburg (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 196 (2021), ISSN: 1868-8969; 1 - 18.

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
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. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec:
"From Trusted Annotations to Verified Knowledge";
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.

M. Prischink, C. Kloimüllner, B. Biesinger, G. Raidl:
"Districting and Routing for Security Control";
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.

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

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

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

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

M. Proske, C. Trödhandl, T. Handl:
"Distance Labs - Embedded Systems @home";
Talk: Edutainment 2006, Zhejiang; 2006-04-14 - 2006-04-18; in: "Journal of Computational Information Systems", (2006), 435 - 444.

W. Puffitsch:
"Data Caching, Garbage Collection, and the Java Memory Model";
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.

W. Puffitsch:
"Decoupled Root Scanning in Multi-Processor Systems";
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.

W. Puffitsch:
"Hard Real-Time Garbage Collection for a Java Chip Multi-Processor";
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).

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

W. Puffitsch, M. Schoeberl:
"picoJava-II in an FPGA";
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.

P. Puschner:
"Algorithms for Dependable Hard Real-Time Systems";
Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Guadalajara, Mexico; 2003-01-15 - 2003-01-17; in: "Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems", (2003), 26 - 31.

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

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

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

P. Puschner:
"Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number";
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.

P. Puschner:
"Hard Real-Time Programming is Different";
Talk: 17th International Parallel and Distributed Processing Symposium, Nice, France; 2003-04-22 - 2003-04-26; in: "Proceedings of the 17th IEEE Int'l Parallel and Distributed Processing Symposium, 11th Int'l workshop on Parallel and Distributed Real-Time Systems 2003", (2003), 117 - 118.

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

P. Puschner:
"Making Real-Time Tasks Temporally Predictable";
Talk: ARTES Real-Time Graduate Student Conference, Uppsala, Sweden; 2002-04-18 - 2002-04-19; in: "Proceedings of the ARTES Real-Time Graduate Student Conference ", (2002), 7.

P. Puschner:
"The Single-Path Approach Towards WCET-Analysable Software";
Talk: IEEE International Conference on Industrial Technology, Maribor, Slovenia; 2003-12-10 - 2003-12-12; in: "Proceedings of IEEE International Conference on Industrial Technology", (2003), 699 - 704.

P. Puschner, G. Bernat:
"WCET Analysis of Reusable Portable Code";
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.

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

P. Puschner, B. Cilku, D. Prokesch:
"Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control";
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.

P. Puschner, B. Frömel:
"Composable Component Interfaces for Time-Triggered Systems";
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).

P. Puschner, B. Frömel:
"Composable Component Interfaces for Time-Triggered Systems";
Talk: 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2019-06-10 - 2019-06-14; in: "8th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2019), 4 pages.

P. Puschner, R. Kirner:
"Avoiding Timing Problems in Real-Time Software";
Talk: IEEE Workshop on Software Technologies for Future Embedded Systems, Hakodate, Hokkaido, Japan; 2003-05-15 - 2003-05-16; in: "Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems, 2003", (2003), 75 - 78.

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

P. Puschner, R. Kirner:
"Interfacing to Time-Triggered Communication Systems";
Talk: IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; 2019-05-07 - 2019-05-09; in: "Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)", IEEE, (2019), ISSN: 2375-5261; 8 pages.

P. Puschner, R. Kirner:
"Model-Driven Design and Organic Computing -- Combinable Strategies?";
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.

P. Puschner, R. Kirner, R. Pettit:
"Towards Composable Timing for Real-Time Software";
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.

P. Puschner, R. Kirner, D. Prokesch, B. Huber:
"Compiling for Time Predictability";
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.

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

P. Puschner, M. Schoeberl:
"On Composable System Timing, Task Timing, and WCET Analysis";
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.

P. Puschner, A. Wellings:
"A Profile for High-Integrity Real-Time Java Programs";
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.

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

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

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

D. Ratasich, M. Platzer, R. Grosu, E. Bartocci:
"Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time";
Talk: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; 2019-06-16 - 2019-06-20; in: "2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)", IEEE, (2019), 23 - 32.

D. Ratasich, T. Preindl, K. Selyunin, R. Grosu:
"Self-Healing by Property-Guided Structural Adaptation";
Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018)", IEEE, (2018), ISBN: 978-1-5386-6531-2; 199 - 205.

B. Rieder, P. Puschner:
"Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls";
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.

B. Rieder, P. Puschner, I. Wenzel:
"Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis";
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.

B. Rieder, I. Wenzel, K. Steinhammer, P. Puschner:
"Using a Runtime Measurement Device with Measurement-Based WCET Analysis";
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. Rodionova, E. Bartocci, D. Nickovic, R. Grosu:
"Temporal Logic as Filtering";
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.

S. Roy, M. Usama, R. Grosu, S. Smolka, S. Stoller:
"Distributed Control for Flocking Maneuvers Via Acceleration-Weighted Neighborhooding";
Talk: Proceedings of the American Control Conference, Online; 2021-05-26 - 2021-05-28; in: "Proc. of ACC'21, the American Control Conference", IEEE, (2021), ISBN: 978-1-6654-4197-1; 1 - 6.

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

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

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

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

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

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

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

M. Schlager, R. Obermaisser, W. Elmenreich:
"A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture";
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.

R. Schlatterbeck, W. Elmenreich:
"TTP/A: A Low Cost Highly Efficient Time-Triggered Fieldbus Architecture";
Talk: SAE World Congress, Detroit, Michigan, USA; 2001-03-01; in: "Proceedings of the SAE World Congress 2001", (2001), 1 - 4.

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

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

M. Schoeberl:
"A Time-Triggered Network-on-Chip";
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.

M. Schoeberl:
"Application Experiences with a Real-Time Java Processor";
Talk: IFAC World Congress, Seoul, Korea; 2008-07-06 - 2008-07-11; in: "Proceedings of the 17th IFAC World Congress", (2008), 6 pages.

M. Schoeberl:
"Architecture for object-oriented programming languages";
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.

M. Schoeberl:
"Evaluation of a Java Processor";
Talk: Austrochip, Vienna, Austria; 2005-10-06; in: "Proceedings, Austrochip Mikroelektronik Tagung 2005", (2005), ISBN: 3-901578-13-7.

M. Schoeberl:
"Mission Modes for Safety Critical Java";
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.

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

M. Schoeberl:
"SimpCon - a Simple and Efficient SoC Interconnect";
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.

M. Schoeberl:
"Time-predictable Cache Organization";
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.

M. Schoeberl, W. Binder, P. Moret, A. Villazón:
"Design Space Exploration for Java Processors with Cross-Profiling";
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.

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

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

M. Schoeberl, W. Puffitsch:
"Non-blocking object copy for real-time garbage collection";
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.

M. Schoeberl, W. Puffitsch, B. Huber:
"Towards Time-predictable Data Caches for Chip-Multiprocessors";
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.

M. Schoeberl, P. Puschner:
"Is Chip-Multiprocessing the End of Real-Time Scheduling?";
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.

M. Schoeberl, P. Puschner, R. Kirner:
"A Single-Path Chip-Multiprocessor System";
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.

M. Schoeberl, P. Schleuniger, W. Puffitsch, F. Brandner et al.:
"Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach";
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.

M. Schoeberl, H. Sondergaard, B. Thomsen, A. Ravn:
"A Profile for Safety Critical Java";
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.

M. Schoeberl, C. Thalinger, S. Korsholm, A. Ravn:
"Hardware Objects for Java";
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.

M. Schoeberl, J. Vitek:
"Garbage collection for safety critical Java";
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.

A. Schörgendorfer, W. Elmenreich:
"Extended Confidence-Weighted Averaging in Sensor Fusion";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Proceedings of the Junior Scientist Conference 2006", (2006), ISBN: 3-902463-05-8; 67 - 68.

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

J. Schumann, P. Moosbrugger, K. Rozier:
"Runtime Analysis with R2U2: A Tool Exhibition Report";
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.

R. Seemann, F. Bruckner, M. Figl, A. Wagner, K. Schicho, W. Elmenreich:
"Applying a Real-Time Interface to an Optical Tracking System";
Talk: Workshop on Augmented Reality in Computer Aided Surgery, Interlaken, Switzerland; 2003-02-27 - 2003-03-01; in: "Proceedings of the Workshop on Augmented Reality in Computer Aided Surgery", (2003), 87.

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

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

K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu:
"Applying Runtime Monitoring for Automotive Electronic Development";
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.

K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu:
"Monitoring of MTL Specifications With IBM's Spiking-Neuron Model";
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.

K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu:
"Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties";
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.

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

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

S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi:
"Signal Convolution Logic";
Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", 11138 (2018), 267 - 283.

H. Sivencrona, J. Torin, A. Ademaj:
"Deployment of Different Fault Injection Techniques with Respect to Design Phase and Functional Level";
Talk: IEEE International Conference on Dependable Systems and Networks, Washington DC, USA; 2002-06-23 - 2002-06-26; in: "Proceedings of the International Conference on Dependable Systems & Networks", (2002).

I. Smaili:
"Using Triggers to Find Significant Events during Monitoring of Real-Time Systems";
Talk: Workshop on Intelligent Solutions in Embedded Systems, Graz; 2004-06-25; in: "Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems - WISES 2004", (2004), ISBN: 3902463007; 37 - 47.

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

D. Steiner, P. Puschner:
"Error detection based on execution-time monitoring";
Talk: 6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro; 2017-06-11 - 2017-06-15; in: "Proceedings 6th Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2017), ISBN: 978-1-5090-6742-8; 5 pages.

W. Steiner:
"Advancements in Dependable Time-Triggered Communication";
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.

W. Steiner, F. Bonomi, H. Kopetz:
"Towards synchronous deterministic channels for the Internet of Things";
Talk: IEEE World Forum on Internet of Things 2014 (WF-IoT2014), Seoul, Korea; 2014-03-06 - 2014-03-08; in: "Proc. of the IEEE World Forum on Internet of Things 2014 (WF-IoT2014)", IEEE, (2014), 433 - 436.

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

W. Steiner, H. Kopetz:
"The Startup Problem in Fault-Tolerant Time-Triggered Communication";
Talk: IEEE International Conference on Dependable Systems and Networks, Philadelphia, PA, USA; 2006-06-25 - 2006-06-28; in: "International Conference on Dependable Systems and Networks 2006, Proceedings of the", (2006), ISBN: 0-7695-2607-1; 35 - 44.

W. Steiner, M. Paulitsch:
"The Transition from Asynchronous to Synchronous System Operation: An approach for Distributed Fault -Tolerant Systems";
Talk: International Conference on Distributed Computing Systems, Vienna, Austria; 2002-07-02 - 2002-07-05; in: "Proceedings of the International Conference on Distributed Computing Systems 2002", (2002), 329 - 336.

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

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

K. Steinhammer, A. Ademaj:
"Hardware Implementation of the Time-Triggered Ethernet Controller";
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.

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

K. Steinhammer, H. Kopetz:
"Time-Triggered Ethernet";
Talk: Junior Scientist Conference, Vienna, Austria; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference - JSC 2006", (2006), ISBN: 3-902463-05-8; 73 - 74.

S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok:
"Runtime Verification with State Estimation";
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.

E. Suethanuwong, C. El Salloum:
"A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks";
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.

C. Temple:
"Identifying Bus Failures in a Time-Triggered Communication System Containing Redundant Communication Channels";
Talk: International Conference on Communications in Computing, Las Vegas, USA; 2000-06-26 - 2000-06-29; in: "Proceedings of the 2000 International Conference on Communications in Computing (CIC 2000)", (2000), #.

K. Tindell, H. Kopetz, F. Wolf, R. Ernst:
"Safe Automotive Software Development";
Talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2003-03-03 - 2003-03-07; in: "Proceedings of the Conference on Design, Automation and Test in Europe", (2003), 616 - 621.

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

S. Tognazzi, M. Tribastone, M. Tschaikowski, A. Vandin:
"Backward Invariance for Linear Differential Algebraic Equations";
Talk: 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA; 2018-12-17 - 2018-12-19; in: "57th IEEE Conference on Decision and Control", M. Egerstedt, A. Teel (ed.); IEEE, Miami Beach, FL, USA (2018).

L. Treml, A. Gizzi, E. Bartocci:
"Cardiac Hybrid Cellular Automata Simulation For 2d Cardiac Dynamics";
Talk: 26th Congress Of The European Society Of Biomechanics, Italy; 2021-07-11 - 2021-07-14; in: "Book Of Abstracts", (2021), 201.

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

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

P. Tulala, H. Mahyar, E. Ghalebi, R. Grosu:
"Unsupervised Wafermap Patterns Clustering via Variational Autoencoders";
Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brazil; 2018-07-08 - 2018-07-13; in: "Proc. of IJCNN 2018: International Joint Conference on Neural Networks", IEEE, (2018), ISSN: 2161-4407; 1 - 8.

M. Umlauft, W. Elmenreich:
"QoS-aware Ant Routing with Colored Pheromones in Wireless Mesh Networks";
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.

M. Usama, S. Stoller, R. Grosu, S. Roy, A. Damare, S. Smolka:
"A Distributed Simplex Architecture for Multi-agent Systems";
Talk: Symposium on Dependable Software Engineering, 2021, Beijing, China; 2021-11-25 - 2021-11-27; in: "Symposium on Dependable Software Engineering", Springer, 13071 (2021), 239 - 257.

M. Usama, S. Stoller, R. Grosu, S. Smolka:
"Collision-Free 3D Flocking Using the Distributed Simplex Architecture";
Talk: Formal Methods in Outer Space, Rhodes, Greece; 2021-10-25 - 2021-10-31; in: "Formal Methods in Outer Space", Springer, 13063 (2021), ISBN: 978-3-030-87347-9; 147 - 156.

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

E. Visconti, E. Bartocci, M. Loreti, L. Nenzi:
"Online Monitoring of Spatio-Temporal Properties for Imprecise Signals";
Talk: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "Proc. of MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", (2021), 78 - 88.

W. Wallner, A. Wasicek, R. Grosu:
"A simulation framework for IEEE 1588";
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.

G. Wang, M. Ben Sassi, R. Grosu:
"A multi-bias recurrent neural network for modeling milling sensory data";
Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "Proc. of ICPS 2018: 1st IEEE International Conference on Industrial Cyber-Physical Systems", IEEE, (2018), ISBN: 978-1-5386-6531-2; 71 - 78.

G. Wang, R. Grosu:
"Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks";
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).

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

A. Wasicek, C. El Salloum:
"End-to-End Encryption in the TTSoC Architecture";
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.

A. Wasicek, C. El Salloum, H. Kopetz:
"Authentication in Time-Triggered Systems using Time-delayed Release of Keys";
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.

A. Wasicek, W. Elmenreich:
"Internet Firewalls in the DECOS System-on-a-Chip Architecture";
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.

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

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

A. Wellings, M. Schoeberl:
"Thread-Local Scope Caching for Real-time Java";
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.

I. Wenzel, R. Kirner, P. Puschner, B. Rieder:
"Principles of Timing Anomalies in Superscalar Processors";
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.

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Cross-Platform Verification Framework for Embedded Systems";
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.

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Timing Analysis";
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.

I. Wenzel, R. Kirner, B. Rieder, P. Puschner:
"Measurement-Based Worst-Case Execution Time Analysis";
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.

I. Wenzel, R. Kirner, M. Schlager, B. Rieder, B. Huber:
"Impact of Dependable Software Development";
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.

I. Wenzel, B. Rieder, R. Kirner, P. Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking";
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.

J. Whitham, N. Audsley, M. Schoeberl:
"Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems";
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.

L. Wilke, O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour:
"Probabilistic Hyperproperties with Rewards";
Talk: Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, Pasadena, California, USA; 2022-05-24 - 2022-05-27; in: "Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods", (2022), 25 pages.

T. Wilson:
"Baud Rate Symbol Timing Synchronization for 8-VSB ATSC DTV Receivers";
Talk: ISCE 2007, Dallas, TExas, USA; 2007-06-20 - 2007-06-23; in: "The 11th Annual IEEE International Symposium on Consumer Electronics", IEEE, (2007).

T. Wilson:
"Blind Linear Feedback Equalization for ATSC DTV Reception";
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.

T. Wilson:
"Low-Complexity Linear-Feedback Equalization for ATSC DTV";
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.

T. Wilson:
"Robust Baud Rate Blind Equalization for ATSC DTV Receivers";
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.

E. Zapridou, E. Bartocci, P. Katsaros:
"Runtime Verification of Autonomous Driving Systems in CARLA";
Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 - 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification", Springer, 12399 (2020), ISBN: 978-3-030-60507-0; 172 - 183.

M. Zolda:
"INFER: Interactive Timing Profiles based on Bayesian Networks";
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.

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

M. Zolda, S. Bünte, R. Kirner:
"Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis";
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.

M. Zolda, R. Kirner:
"Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption";
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.

M. Zolda, R. Kirner, S. Bünte:
"Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation";
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.


Talks and Poster Presentations (without Proceedings-Entry)


A. Ademaj:
"Lessons Learned from the FIT Project";
Talk: RTSG-Seminar, Wien; 2002-12-06.

A. Ademaj:
"Setting Break-Points in Distributed Time-Triggered Architecture";
Talk: RTSG-Seminar, Wien; 2002-10-21.

A. Ademaj:
"Slightly-Off-Specification Failures in the Time-Triggered Architecture";
Talk: RTSG-Seminar, Wien; 2002-10-21.

P. Atanassov:
"Summary of Work and Results of Experimental Assessment of WCET";
Talk: RTSG-Seminar, Wien; 2002-01-25.

E. Bartocci, L. Kovacs, E. Bura:
"ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs";
Talk: Vienna Science, Research and Technology Fund - ProbInG, online; 2020-12-14 - 2020-12-15.

M. Delvai, U. Eisenmann, W. Elmenreich:
"A Generic Architecture for Integrated Smart Transducers";
Talk: International Conference, FPL 2003, Lissabon, Portugal; 2003-09-01 - 2003-09-03.

C. Eder:
"Designing a High-Performant Real-Time Architecture Based on COTS Components";
Talk: RTSG-Seminar, Wien; 2002-09-03.

C. El Salloum:
"Naming and Addressing";
Talk: ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems, Wien (invited); 2006-12-04 - 2006-12-05.

W. Elmenreich:
"A Robust Certainty Grid for Robotic Vision";
Talk: RTSG-Seminar, Wien; 2002-05-23.

W. Elmenreich:
"Achieving Dependability in Time-Triggered Networks by Sensor Fusion";
Talk: RTSG-Seminar, Wien; 2002-05-23.

W. Elmenreich:
"Sensor Fusion in Time-Triggered Systems";
Talk: RTSG-Seminar, Wien; 2002-10-25.

W. Elmenreich, G. Klingler, A. Kößler, S. V. Krywult:
"Time-Triggered Smart Transducer Networks";
Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25.

W. Haidinger:
"Fehlerkorrigierende Codes";
Talk: RTSG-Seminar, Wien; 2002-04-19.

W. Haidinger:
"New Node Integration for Master-Slave Fieldbus Networks";
Talk: RTSG-Seminar, Wien; 2002-01-18.

S Hepp, B. Huber, D. Prokesch:
"platin -­ A Toolkit for Compiler and WCET-Analysis Integration";
Talk: TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark; 2014-04-11.

C. Hirsch, M. Redl, R. Grosu:
"Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements";
Talk: Workshop on Smart Farming, Porto, Portugal; 2018-04-10.

P. Jahn, T. Polzer:
"Graphical Microcontroller Programming (GMCP)";
Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27.

S. Kandl:
"Applicability of Structural Code Coverage Metrics for Safety-Critical Systems";
Talk: AUTOSAR Safety-Group (WP 1.3) Meeting, Paris, France (invited); 2010-12-14 - 2010-12-16.

S. Kandl, M. Elshuber, P. Puschner:
"Formal Verification at System Level";
Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 - 2014-01-22.

G. Klingler, W. Elmenreich:
"Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A";
Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27.

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

C. Kloimüllner:
"A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems";
Talk: VeroLog 2015, Universität Wien; 2015-06-08 - 2015-06-10.

C. Kloimüllner, P. Papazek, B. Hu, G. Raidl:
"Balancing Bicycle Sharing Systems";
Talk: EULOG 2014, Wien; 2014-11-17 - 2014-11-18.

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

H. Kopetz:
"From Embedded Systems to System of Systems";
Talk: ITASC Workshop: Intelligent Transportation and Smart City, Shanghai (invited); 2015-05-21 - 2015-05-22.

H. Kopetz:
"From Embedded Systems to Systems of Systems";
Keynote Lecture: 10th IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Reno, Nevada, USA (invited); 2014-06-08 - 2014-06-09.

H. Kopetz:
"From Embedded Systems to Systems of Systems";
Talk: 27th International Conference on VLSI Design 2014, Mumbai, India (invited); 2014-01-05.

H. Kopetz:
"Systems of Systems Need a Global Time";
Keynote Lecture: 23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA (invited); 2014-06-09 - 2014-06-12.

H. Kopetz:
"Why a Global Time is Needed in a Dependable SoS";
Keynote Lecture: Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom (invited); 2014-05-13.

R. Leidenfrost, W. Elmenreich:
"Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach";
Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27.

T. Losert:
"Initial Demonstration of Smart Sensor Case Study: Progress Report";
Talk: Dependable Systems of Systems Plenary Workshop, Malvern, UK; 2002-05-01.

T. Losert:
"Introduction to the Hard Real-Time CORBA Project";
Talk: RTSG-Seminar, Wien; 2002-10-17.

T. Losert:
"Smart Transducers Interface ";
Talk: OMG Technical Meeting, Helsinki, Finland; 2002-09-30 - 2002-10-04.

T. Losert:
"Smart Transducers Interface";
Talk: OMG Workshop on Embedded & Real-Time Distributed Object Systems, San Francisco, USA; 2002-01-07 - 2002-01-11.

R. M. Hasani, L. Esterle, R. Grosu:
"Investigations on the Nervous System of Caenorhabditis elegans";
Talk: Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt; 2016-09-27.

C. Paukovits, W. Elmenreich:
"Model-Integrated Tool Support for Real-Time Embedded Systems";
Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25.

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

M. Paulitsch:
"Research Funding of the European Union";
Talk: RTSG-Seminar, Wien; 2002-10-04.

P. Peti:
"Analysis of the FP6 Eol on Embedded Systems";
Talk: RTSG-Seminar, Wien; 2002-11-22.

P. Peti:
"The Concepts of Time, State, Component and Interface - A Literature Survey";
Talk: RTSG-Seminar, Wien; 2002-10-11.

S. Pitzek:
"Administration of Scientific Literature with the Paperserver";
Talk: RTSG-Seminar, Wien; 2002-02-22.

S. Pitzek:
"Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems";
Talk: RTSG-Seminar, Wien; 2002-09-03.

D. Prokesch:
"Single-Path Code Generation and Input-Data Dependence Analysis";
Talk: T-CREST/parMERASA/CERTAINTY Workshop, Madrid; 2014-07-10.

D. Prokesch:
"Single-Path Code Generation for the Patmos Processor";
Talk: TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande; 2015-01-22 - 2015-01-23.

J. Puchinger, G. Raidl, G. Koller:
"Solving a real-world glass cutting problem";
Talk: EVOCOP: 4th European Conference on Evolutionary Computation in Combinatorial Optimization, Coimbra, Portugal; 2004-04-05 - 2004-04-07.

P. Puschner, R. Kirner:
"Timing Analysis for Embedded Systems and Time-Predictable Computing";
Poster: Siemens PSE Technology Day, Vienna, Austria; 2005-11-25.

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

M. Schwarz:
"Implementation of a TTP/C Cluster Based on Commercial Gigabit Ethernet Components";
Talk: RTSG-Seminar, Wien; 2002-12-13.

M. Schwarz, C. Eder:
"NEXT TTA: Gigabit TTP (Workpackage 8)";
Talk: RTSG-Seminar, Wien; 2002-01-30.

W. Steiner:
"Presentation on Self-stabilization in the Time-Triggered Architecture";
Talk: Self-Stabilization Seminar, Luminy, France; 2002-10-21 - 2002-10-25.

W. Steiner:
"Self-Stabilization in der TTA";
Talk: RTSG-Seminar, Wien; 2002-08-11.

C. Trödhandl:
"Improving Compilers for Embedded Systems";
Talk: RTSG-Seminar, Wien; 2002-12-20.


Patents


M. Schoeberl:
"Instruction Cache für Echtzeitsysteme";
Patent: Österreich, No. 500858; submitted: 2004-08-17, granted: 2006-04-15.


Habilitation Theses


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


Doctor's Theses (authored and supervised)


G. Bauer:
"Transparent Fault Tolerance in a Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2001.

A. Benz:
"Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities";
Supervisor, Reviewer: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15.

C. El Salloum:
"Interface Design in the Time-Triggered System-on-Chip Architecture";
Supervisor, Reviewer: H. Kopetz, W. Kastner; Technische Informatik, 2008; oral examination: 2008-01-14.

W. Elmenreich:
"Sensor Fusion in Time-Triggered Systems";
Supervisor, Reviewer: H. Kopetz, E. Gratz; Institut für Technische Informatik, 2002.

F. Genco:
"Intermediate logics and concurrent lambda-calculi: a proof theoretic approach";
Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08.

B. Huber:
"Resource Management in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01.

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

C. Kloimüllner:
"Algorithmic approaches for Optimization problems in bike sharing and security control";
Supervisor, Reviewer: G. Raidl, K. Sörensen, N. Musliu; Institute of Logic and Computation, 2019; oral examination: 2019-01-31.

R. Obermaisser:
"An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms";
Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2003.

R. Pallierer:
"Validation of Distributed Algorithms in Time-Triggered Systems by Simulation";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2000.

M. Paulitsch:
"Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2002.

P. Peti:
"Diagnosis and Maintenance in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2005.

C. Pitter:
"Time-Predictable Java Chip-Multiprocessor";
Supervisor, Reviewer: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009.

K. Pollhammer:
"Automated Buildings as Energy Storages";
Supervisor, Reviewer: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05.

S. Resch:
"Composability for Fail-Safe Safety-Critical Systems";
Supervisor, Reviewer: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26.

B. Rieder:
"Measurement-Based Timing Analysis of Applications written in ANSI-C";
Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26.

M. Schlager:
"Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems";
Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09.

M. Schöberl:
"JOP: A Java Optimized Processor for Embedded Real-Time Systems";
Supervisor, Reviewer: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005.

I. Smaili:
"Real-Time Monitoring for the Time-Triggered Architecture";
Supervisor, Reviewer: P. Puschner, U. Egly; Institut für Technische Informatik, 2004.

K. Steinhammer:
"Design of an FPGA-Based Time-Triggered Ethernet System";
Supervisor, Reviewer: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16.

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

I. Wenzel:
"Measurement-Based Timing Analysis of Superscalar Processors";
Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16.

R. Wolfig:
"A Distributed Platform for an Integrated Modular Avionics";
Supervisor, Reviewer: S. Poledna, D. Dietrich; 182/1, 2008.


Diploma and Master Theses (authored and supervised)


O. Balún:
"Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network";
Supervisor: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; final examination: 2016-12-22.

M. Borovicka:
"Design of a Gateway for the Interconnection of Real-Time Communication Hierarchies";
Supervisor: H. Kopetz, R. Obermaisser, W. Elmenreich; Institut für Technische Informatik, 2003.

A. Brandstätter:
"Local Positioning System for Quadcopters";
Supervisor: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; final examination: 2019-06-07.

S. Brugger:
"Integrating probabilistic information of dynamic environment into maps for enhanced action planning";
Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-03-26.

M. Delvai:
"Entwicklung eines Mikrokontrollers für das Echtzeitprotokoll TTP/A";
Supervisor: A. Steininger, W. Elmenreich; Institut für Technische Informatik, 2000.

C. Eder:
"Designing a High-Performant Real-Time Architecture Based on COTS-Components";
Supervisor: H. Kopetz; Institut für Technische Informatik, 2002.

G. Freiberger:
"Integration of Worst-Case Execution Time Analysis and C Code Synthesis";
Supervisor: P. Puschner, R. Lang; Institut für Technische Informatik, 2001.

C. Gabriel:
"Development of an Advanced Protection Concept for Automotive Wire Harnesses";
Supervisor: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; final examination: 2016-10-04.

C. Glawan:
"Monitoring of Real-Time Operating Systems";
Supervisor: H. Kopetz, S. Poledna; Institut für Technische Informatik, 2000.

D. Haslauer:
"Modulares Echtzeit-Testsystem für Layer 2 Ethernet";
Supervisor: W. Steiner; E384, 2021; final examination: 2021-10-07.

M. Höller:
"Gateway Generation for Virtual Networks in the DECOS Integrated Architecture";
Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006.

B. Huber:
"Wireless Real-Time Communication for Smart Transducer Networks";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2004.

B. Huber:
"Worst-Case Execution Time Analysis for Real-Time Java";
Supervisor: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009.

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

P. Jahn:
"Automated Regression Testing of Embedded Devices";
Supervisor: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009.

R. Kapeller:
"Design and Implementation of a TTP/A Master and Gateway Controller on a 32-bit Microcontroller";
Supervisor: H. Kopetz, W. Haidinger; Institut für Technische Informatik, 2001.

M. Kirner:
"Automatic Loop Bound Analysis of Programs written in C";
Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; final examination: 2006.

R. Kirner:
"Integration of Static Runtime Analysis and Program Compilation";
Supervisor: P. Puschner; Institut für Technische Informatik, 2000.

M. Kratochwill:
"Increased Efficiency through Test Automation in Electronics Development";
Supervisor: S. Poledna, W. Steiner; E191, 2019; final examination: 2019-11-20.

B. Krizan:
"A unit-test platform for design tools for fault-tolerant real-time systems";
Supervisor: P. Puschner, R. Kirner; E188-1, 2007.

S. V. Krywult:
"Real-Time Communication Systems for Small Autonomous Robots";
Supervisor: D. Dietrich, S. Mahlknecht, W. Elmenreich; Institut für Computertechnik, 2006.

B. Leiner:
"A Partitioning Operating System based on RTAI-LXRT Linux";
Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006.

D. Macher:
"Intercommunication framework for autonomous real-time systems";
Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29.

M. Mayer:
"Design and Implementation of a File-System Based Monitoring Interface for the Time-Triggered Communications Protocol TTP/C under Linux";
Supervisor: H. Kopetz, T. Galla; Institut für Technische Informatik, 2000.

L Müller:
"Performance Demonstrator";
Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002.

R. Obermaisser:
"Design and Implementation of a Smart Transducer Network";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001.

C. Paukovits:
"Applying Model-Integrated Computing on Time-Triggered Application Development";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006.

H. Paulitsch:
"Fault Injection for Diagnosis and Maintenance in the Time-Triggered Architecture";
Supervisor: H. Kopetz, P. Peti; Institut für Technische Informatik, 2005; final examination: 2005.

P. Peti:
"Monitoring and Configuration of a TTP/A Cluster in an Autonomous Mobile Robot";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001.

S. Pitzek:
"Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002.

D. Ratasich:
"Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems";
Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29.

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

D. Riezler:
"Emulating the Programming Interface of Commercial CAN Controllers in a Time-Triggered Environment";
Supervisor: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006; final examination: 2006.

L. Schneider:
"Real Time Robot Navigation with a Smart Transducer Network";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001.

A. Schörgendorfer:
"Extended Confidence-Weighted Averaging in Sensor Fusion";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006.

R. Schorn:
"Fail-Operational Strategies for Highly-Integrated Automotive ECUs";
Supervisor: W. Steiner; E191, 2021; final examination: 2021-01-21.

W. Steiner:
"Start-Up of TTP/C: Analysis and Simulation";
Supervisor: H. Kopetz, M. Paulitsch; Institut für Technische Informatik, 2001.

C. Trödhandl:
"Architectural Requirements for TTP/A Nodes";
Supervisor: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002.

J. Trojer:
"Requirement Classification of Dependable Real-Time Systems";
Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007.

C. Vazcula:
"The Hobel algorithm - SAT Lösung mit GPU über DPLL";
Supervisor: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016.

M. Wächter:
"A Self-Checking Pair Architecture for a TT-Ethernet Switch";
Supervisor: S. Poledna; Institut für Technische Informatik, 2008; final examination: 2008-10-10.

M. Weiskirchner:
"JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes";
Supervisor: P. Puschner; Institut für Technische Informatik, 2001.

I. Wenzel:
"Principles of Timing Anomalies in Superscalar Processors";
Supervisor: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003.

W. Zischka:
"Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien";
Supervisor: S. Poledna; E182, 2015; final examination: 2015-11-19.


Scientific Reports


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

A. Ademaj:
"Slightly-Off-Specification Failures in the Time-Triggered Architecture";
2002.

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

S. Aslam-Mir, W. Haidinger, W. Elmenreich, T. Losert, H. Kopetz:
"Smart Transducers Interface Specification";
2002.

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

G. Bauer, H. Kopetz, W. Steiner:
"Byzantine Fault Containment in TTP/C";
2002.

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

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

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

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

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

W. Elmenreich, R. Obermaisser:
"A Standardized Smart Transducer Interface";
2002.

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

W. Haidinger:
"Analysis of the CRC Polynomial used in TTP/C";
2003.

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

R. Kirner:
"Enforcing Composability for Ubiquitious Computing Systems";
2002.

R. Kirner:
"The Programming Language wcetC";
2002.

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

R. Kirner, P. Puschner:
"International Workshop on SCET Analysis - Summary";
2002.

H. Kopetz:
"On the Specification of Linking Interfaces in Distributed Real-Time Systems";
2002.

H. Kopetz:
"Time-Triggered Real-Time Computing";
2002.

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

H. Kopetz, R. Obermaisser:
"Temporal composability";
2002.

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

M. Paulitsch:
"Fault-Tolerant External Clock Synchronization for Embedded Real-Time Systems";
2002.

M. Paulitsch, P. Puschner:
"Non-Interfering Multi-Cluster Clock Synchronization";
2002.

P. Peti:
"Analysis of the Framework Six Expressions of Interest on Embedded Systems";
2002.

P. Peti:
"The Concepts behind Time, State, Component, and Interface - A Literature Survey";
2002.

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

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

S. Pitzek, W. Elmenreich:
"Managing Fieldbus Systems";
2002.

J. Puchinger:
"The Memory Agent: An Attempt to Improve Genetic Algorithms";
2002.

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

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

P. Puschner:
"Making Real-Time Tasks Temporally Predictable";
2002.

P. Puschner:
"Transforming Execution-time Boundable Code into Temporally Predictable Code";
2002.

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

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

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

M. Schwarz:
"Linux Variants";
2002.

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

I. Smaili:
"Monitoring and Debugging of Real-Time Systems : A Survey";
2004.

I. Smaili:
"Monitoring of Distributed Time-Triggered Systems: Case Study";
2004.

I. Smaili, A. Ademaj:
"Setting Break-Points in Distributed Time-Triggered Architecture";
2002.

W. Steiner:
"Presentation on Self-stabilization in the Time-Triggered Architecture";
2002.

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

K. Steinhammer:
"A TT-Ethernet Switch based on COTS-Components";
2004.

C. Trödhandl, L. Schneider:
"Interfaces for TTP/A Intercluster Communication and Monitoring";
2002.

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