TU Wien Informatics

20 Years

About

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

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

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

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

Ezio Bartocci
Ezio Bartocci E. Bartocci

Full Professor
Univ.Prof. Dr.

Radu Grosu
Radu Grosu R. Grosu

Head of Research Unit
Univ.Prof. DI Dr. Dr.h.c.

Peter Puschner
Peter Puschner P. Puschner

Associate Professor
Ao.Univ.Prof. DI Dr.

Hermann Kopetz
Hermann Kopetz H. Kopetz

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

Zahra Babaiee
Zahra Babaiee Z. Babaiee

PreDoc Researcher

Luigi Berducci
Luigi Berducci L. Berducci

PreDoc Researcher
Mag.

Shrajan Bhandary
Shrajan Bhandary S. Bhandary

PreDoc Researcher
MSc

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

PreDoc Researcher / On Leave
DI / BSc

Axel Brunnbauer
Axel Brunnbauer A. Brunnbauer

PreDoc Researcher
DI / BSc

Michele Chiari
Michele Chiari M. Chiari

PostDoc Researcher
PhD

Giorgio Cignarale
Giorgio Cignarale G. Cignarale

PreDoc Researcher
Mag.

Luca Di Stefano
Luca Di Stefano L. Di Stefano

PostDoc Researcher
PhD

Wasim Essbai
Wasim Essbai W. Essbai

PreDoc Researcher
MSc

Monika Farsang
Monika Farsang M. Farsang

PreDoc Researcher
MSc

Jie He
Jie He J. He

PreDoc Researcher

Julian Lemmel
Julian Lemmel J. Lemmel

PreDoc Researcher
DI / BSc

David Lung
David Lung D. Lung

PreDoc Researcher
DI / BSc

Florian Mihola
Florian Mihola F. Mihola

PreDoc Researcher
DI / BSc

Eleonora Nesterini
Eleonora Nesterini E. Nesterini

PreDoc Researcher
Mag.

Francesco Pontiggia
Francesco Pontiggia F. Pontiggia

PreDoc Researcher
Mag.

Meixun Qu
Meixun Qu M. Qu

PreDoc Researcher
MSc

Felix Resch
Felix Resch F. Resch

PreDoc Researcher
DI / BSc

Martin Tappler
Martin Tappler M. Tappler

PostDoc Researcher
Dr.

Ennio Visconti
Ennio Visconti E. Visconti

PreDoc Researcher
Mag.

Drishti Yadav
Drishti Yadav D. Yadav

PreDoc Researcher
MSc

2023W

2024S

 

2023

  • ISLE: A Framework for Image Level Semantic Segmentation Ensemble / Ostrowski, E., & Shafique, M. (2023). ISLE: A Framework for Image Level Semantic Segmentation Ensemble. In G. Bebis, G. Ghiasi, Y. Fang, A. Sharf, Y. Dong, C. Weaver, Z. Leo, J. J. LaViola Jr., & L. Kohli (Eds.), Advances in Visual Computing : 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16–18, 2023. Proceedings, Part I (pp. 41–52). Springer. https://doi.org/10.1007/978-3-031-47966-3_4
  • ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images / Prabakaran, B. S., Ostrowski, E., & Shafique, M. (2023). ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images. In G. Bebis, G. Ghiasi, Y. Fang, A. Sharf, Y. Dong, C. Weaver, Z. Leo, J. J. LaViola, & L. Kohli (Eds.), Advances in Visual Computing : 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16–18, 2023. Proceedings, Part I (pp. 44–55). Springer. https://doi.org/10.1007/978-3-031-47969-4_4
  • Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems / Prabakaran, B. S., Mrazek, V., Vasicek, Z., Sekanina, L., & Shafique, M. (2023). Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems. In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD). 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), San Francisco, United States of America (the). IEEE. https://doi.org/10.1109/ICCAD57390.2023.10323678
  • An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge / Tundo, A., Mobilio, M., Ilager, S. S., Brandic, I., Bartocci, E., & Mariani, L. (2023). An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 281–293). IEEE. https://doi.org/10.1109/ASE56229.2023.00046
    Projects: Intrasafed 5G (2020–2021) / RUCON (2016–2023) / SWAIN (2021–2024) / TRITON FWF (2023–2027)
  • Lightweight Verification of Hyperproperties / Dobe, O., Schupp, S. A., Bartocci, E., Bonakdarpour, B., Legay, A., Pajic, M., & Wang, Y. (2023). Lightweight Verification of Hyperproperties. In É. André & J. Sun (Eds.), Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (pp. 3–25). Springer. https://doi.org/10.1007/978-3-031-45332-8_1
    Project: ZK 35-G (2019–2024)
  • Mining Specification Parameters for Multi-class Classification / Aguilar, E. A., Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2023). Mining Specification Parameters for Multi-class Classification. In P. Katsaros & L. Nenzi (Eds.), Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (pp. 86–105). Springer. https://doi.org/10.1007/978-3-031-44267-4_5
    Project: ProbInG (2020–2025)
  • FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation / Ahmadi, M. M., Alrahis, L., Sinanoglu, O., & Shafique, M. (2023). FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation. In 2023 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED). 2023 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), Wien, Austria. IEEE. https://doi.org/10.1109/ISLPED58423.2023.10244526
  • TD-Magic: From Pictures of Timing Diagrams To Formal Specifications / He, J., Nickovic, D., Bartocci, E., & Grosu, R. (2023). TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. In 2023 60th ACM/IEEE Design Automation Conference (DAC) (pp. 1–6). IEEE. https://doi.org/10.1109/DAC56929.2023.10247685
    Project: ADEX (2020–2024)
  • Introducing Asynchronicity to Probabilistic Hyperproperties / Garlich, L., Dobe, O., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2023). Introducing Asynchronicity to Probabilistic Hyperproperties. In N. Jansen & M. Tribastone (Eds.), Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 47–64). IEEE. https://doi.org/10.1007/978-3-031-43835-6_4
    Project: ProbInG (2020–2025)
  • Deductive Controller Synthesis for Probabilistic Hyperproperties / Andriushchenko, R., Bartocci, E., Češka, M., Pontiggia, F., & Sallinger, S. S. (2023). Deductive Controller Synthesis for Probabilistic Hyperproperties. In N. Jansen & M. Tribastone (Eds.), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023 (pp. 47–64). Springer. https://doi.org/10.1007/978-3-031-43835-6_20
    Project: ProbInG (2020–2025)
  • Hypernode Automata / Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. A. (2023). Hypernode Automata. In G. Perez & J.-F. Raskin (Eds.), 34th International Conference on Concurrency Theory (CONCUR 2023) (pp. 1–16). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
    Project: ZK 35-G (2019–2024)
  • A model checker for operator precedence languages / Chiari, M., Mandrioli, D., Pontiggia, F., & Pradella, M. (2023). A model checker for operator precedence languages. ACM Transactions on Programming Languages and Systems, 45(3), 1–66. https://doi.org/10.1145/3608443
    Download: PDF (2.95 MB)
    Project: ProbInG (2020–2025)
  • Mining Hyperproperties using Temporal Logics / Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2023). Mining Hyperproperties using Temporal Logics. ACM Transactions on Embedded Computing Systems, 22(5s), 1–26. https://doi.org/10.1145/3609394
  • MoonLight: a lightweight tool for monitoring spatio-temporal properties / Nenzi, L., Bartocci, E., Bortolussi, L., Silvetti, S., & Loreti, M. (2023). MoonLight: a lightweight tool for monitoring spatio-temporal properties. International Journal on Software Tools for Technology Transfer, 25(4), 503–517. https://doi.org/10.1007/s10009-023-00710-5
    Project: ZK 35-G (2019–2024)
  • Compiler-Directed Constant Execution Time on Flat Memory Systems / Maroun, E. J., Schoeberl, M., & Puschner, P. (2023). Compiler-Directed Constant Execution Time on Flat Memory Systems. In M. Ashjaei, A. Gokhale, & N. Guan (Eds.), 2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC) (pp. 64–75). IEEE. https://doi.org/10.1109/ISORC58943.2023.00019
  • Constant-Loop Dominators for Single-Path Code Optimization / Maroun, E. J., Schoeberl, M., & Puschner, P. (2023). Constant-Loop Dominators for Single-Path Code Optimization. In P. Wägemann (Ed.), 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023) (pp. 1–13). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/OASIcs.WCET.2023.7
    Download: PDF (612 KB)
  • Investigation and benchmarking of U-Nets on prostate segmentation tasks / Bhandary, S., Kuhn, D., Babaiee, Z., Fechter, T., Benndorf, M., Zamboglou, C., Grosu, A.-L., & Grosu, R. (2023). Investigation and benchmarking of U-Nets on prostate segmentation tasks. Computerized Medical Imaging and Graphics, 107, Article 102241. https://doi.org/10.1016/j.compmedimag.2023.102241
    Download: PDF (1.58 MB)
    Project: PersoRad (2020–2023)
  • DOML: A New Modelling Approach to Infrastructure-as-Code / Chiari, M., Xiang, B., Nedeltcheva, G. N., Di Nitto, E., Blasi, L., Benedetto, D., & Niculut, L. (2023). DOML: A New Modelling Approach to Infrastructure-as-Code. In M. Indulska, I. Reinhartz-Berger, C. Cetina, & O. Pastor (Eds.), Advanced Information Systems Engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings (pp. 297–313). Springer. https://doi.org/10.1007/978-3-031-34560-9_18
    Download: Full-text (748 KB)
  • FPUS23: An ultrasound fetus phantom dataset with deep neural network evaluations for fetus orientations, fetal planes, and anatomical features / Prabakaran, B. S., Hamelmann, P., Ostrowski, E., & Shafique, M. (2023). FPUS23: An ultrasound fetus phantom dataset with deep neural network evaluations for fetus orientations, fetal planes, and anatomical features. IEEE Access, 11, 58308–58317. https://doi.org/10.1109/ACCESS.2023.3284315
    Download: PDF (3.28 MB)
  • Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN / Lopez-Miguel, I. D., Fernández Adiego, B., Ghawash, F., & Blanco Viñuela, E. (2023). Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. In L. Iliadis, I. Maglogiannis, S. Alonso, C. Jayne, & E. Pimenidis (Eds.), Engineering Applications of Neural Networks : 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14–17, 2023, Proceedings (pp. 420–432). Springer. https://doi.org/10.34726/5420
    Download: PDF (566 KB)
  • From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif / Ádám, Z., Lopez-Miguel, I. D., Mavridou, A., Pressburger, T., Bęś, M., Blanco Viñuela, E., Katis, A., Tournier, J.-C., Trinh, K. V., & Fernández Adiego, B. (2023). From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. In K. Y. Rozier & S. Chaudhuri (Eds.), NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 353–360). Springer. https://doi.org/10.34726/5382
    Download: PDF (495 KB)
  • Enhancing Robot Learning through Learned Human-Attention Feature Maps / Scheuchenstuhl, D., Ulmer, S., Resch, F., Berducci, L., & Grosu, R. (2023, May 29). Enhancing Robot Learning through Learned Human-Attention Feature Maps [Poster Presentation]. ICRA 2023 Workshop on effective Representations, Abstractions, and Priors for Robot Learning (Rap4Robots), London, United Kingdom of Great Britain and Northern Ireland (the). https://doi.org/10.34726/4861
    Download: Full paper version (783 KB)
    Project: NimbleAI (2022–2025)
  • Stop at red? Engineering meets ethics / López Miguel, I. D. (2023). Stop at red? Engineering meets ethics. In K. B. Laas (Ed.), International Conference on Computer Ethics: Vol. 1 No. 1 (2023). https://doi.org/10.34726/5436
    Download: Paper (395 KB)
  • Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example / Lopez-Miguel, I. D., Fernández Adiego, B., Ghawash, F., & Blanco Vinuela, E. (2023, April 20). Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example [Presentation]. Reliability and Availability Working Group Meeting (RAWG 2023), Geneva, Switzerland. https://doi.org/10.34726/5351
    Download: Presentation (1.78 MB)
  • Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements / Ádám, Z., López Miguel, I. D., Mavridou, A., Pressburger, T., Bęś, M., Blanco Viñuela, E., Katis, A., Tournier, J.-C., Trinh, K. V., & Fernández Adiego, B. (2023). Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements (NASA/TM–20230003752). National Aeronautics and Space Administration. https://doi.org/10.34726/5291
    Download: PDF (1.8 MB)
  • A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems / Kirner, R., & Puschner, P. (2023). A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. Journal of Systems Architecture, 136, Article 102835. https://doi.org/10.1016/j.sysarc.2023.102835
  • WebMonitor: Verification of Web User Interfaces / Visconti, E., Tsigkanos, C., & Nenzi, L. (2023). WebMonitor: Verification of Web User Interfaces. In ASE ’22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1–4). Association for Computing Machinery (ACM). https://doi.org/10.1145/3551349.3559538
    Download: PDF (775 KB)
    Project: ZK 35-G (2019–2024)
  • UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks / Naseer, M., Prabakaran, B. S., Hasan, O., & Shafique, M. (2023). UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. Machine Learning. https://doi.org/10.1007/s10994-023-06314-z
    Download: PDF (2.58 MB)
  • Progression for Monitoring in Temporal ASP / Soldà, D., Lopez-Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513
    Download: PDF (343 KB)
    Project: TAIGER (2023–2027)
  • Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs / Naseer, M., & Shafique, M. (2023). Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. In 2023 IEEE 16th International Conference on Software Testing, Verification and Validation (pp. 474–477). https://doi.org/10.1109/ICST57152.2023.00054
  • SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters / Ostrowski, E., Prabakaran, B. S., & Shafique, M. (2023). SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters. In 2023 International Joint Conference on Neural Networks (IJCNN) (pp. 1–9). IEEE. https://doi.org/10.1109/IJCNN54540.2023.10191935
  • Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation / Naseer, M., Hasan, O., & Shafique, M. (2023). Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. In N. Narodytska, G. Amir, G. Katz, & O. Isac (Eds.), Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (pp. 6–28). https://doi.org/10.29007/7r6j
  • ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules / Ahmadi, M. M., Alrahis, L., Sinanoglu, O., & Shafique, M. (2023). ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules. In 2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS). 2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS), Kreta, Greece. IEEE. https://doi.org/10.1109/IOLTS59296.2023.10224883
  • Multi-Agent Spatial Predictive Control with Application to Drone Flocking / Brandstatter, A., Smolka, S. A., Stoller, S. D., Tiwari, A., & Grosu, R. (2023). Multi-Agent Spatial Predictive Control with Application to Drone Flocking. In 2023 IEEE International Conference on Robotics and Automation (ICRA) (pp. 1221–1227). IEEE. https://doi.org/10.1109/ICRA48891.2023.10160617
  • Property-Based Mutation Testing / Bartocci, E., Mariani, L., Ničković, D., & Yadav, D. (2023). Property-Based Mutation Testing. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 222–233). IEEE. https://doi.org/10.1109/ICST57152.2023.00029
  • Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties / Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Ničković, D., & Könighofer, B. (2023). Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. In G. Caltais & C. Schilling (Eds.), Model Checking Software. SPIN 2023 (pp. 141–160). Springer Cham. https://doi.org/10.1007/978-3-031-32157-3_8
    Project: ZK 35-G (2019–2024)
  • Controlling timed automata against MTL specifications with TACoS / Hofmann, T., & Schupp, S. (2023). Controlling timed automata against MTL specifications with TACoS. Science of Computer Programming, 225, Article 102898. https://doi.org/10.1016/j.scico.2022.102898

2022

  • Search-based Testing for Accurate Fault Localization in CPS / Bartocci, E., Mariani, L., Nickovic, D., & Yadav, D. (2022). Search-based Testing for Accurate Fault Localization in CPS. In Proceedings 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (pp. 145–156). https://doi.org/10.1109/ISSRE55969.2022.00024
  • FIM: fault injection and mutation for Simulink / Bartocci, E., Mariani, L., Ničković, D., & Yadav, D. (2022). FIM: fault injection and mutation for Simulink. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 1716–1720). Association for Computing Machinery (ACM). https://doi.org/10.1145/3540250.3558932
    Download: FIM: Fault Injection and Mutation for Simulink (212 KB)
  • This Is the Moment for Probabilistic Loops / Moosbrugger, M., Stankovic, M., Bartocci, E., & Kovacs, L. (2022). This Is the Moment for Probabilistic Loops. Proceedings of the ACM on Programming Languages, 6(OOPSLA2), 1497–1525. https://doi.org/10.1145/3563341
  • Towards Drone Flocking Using Relative Distance Measurements / Brandstätter, A., Smolka, S. A., Stoller, S. D., Tiwari, A., & Grosu, R. (2022). Towards Drone Flocking Using Relative Distance Measurements. In Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (ISoLA 2022). Proceedings, Part III (pp. 97–109). Springer. https://doi.org/10.1007/978-3-031-19759-8_7
  • Safe Policy Improvement in Constrained Markov Decision Processes / Berducci, L., & Grosu, R. (2022). Safe Policy Improvement in Constrained Markov Decision Processes. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA 2022), Proceedings, Part I (pp. 360–381). Springer. https://doi.org/10.1007/978-3-031-19849-6_21
    Project: ADEX (2020–2024)
  • Posterior predictive model assessment using formal methods in a spatio-temporal model / Vana Gür, L., Visconti, E., Nenzi, L., Cadonna, A., & Kastner, G. (2022). Posterior predictive model assessment using formal methods in a spatio-temporal model. arXiv. https://doi.org/10.48550/arXiv.2110.01360
  • Distribution Estimation for Probabilistic Loops / Karimi, A., Moosbrugger, M., Stankovič, M., Kovács, L., Bartocci, E., & Bura, E. (2022). Distribution Estimation for Probabilistic Loops. In E. Ábrahám & M. Paolieri (Eds.), Quantitative Evaluation of Systems (pp. 26–42). Springer-Verlag. https://doi.org/10.1007/978-3-031-16336-4_2
    Projects: ARTIST (2021–2026) / ProbInG (2020–2025)
  • The probabilistic termination tool amber / Moosbrugger, M., Bartocci, E., Katoen, J.-P., & Kovacs, L. (2022). The probabilistic termination tool amber. Formal Methods in System Design, 61(1), 90–109. https://doi.org/10.1007/s10703-023-00424-z
    Projects: ARTIST (2021–2026) / ProbInG (2020–2025)
  • Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data / Lemmel, J., Babaiee, Z., Kleinlehner, M., Majic, I., Neubauer, P., Scholz, J., Grosu, R., & Neubauer, S. (2022). Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data. In Schedule - IJCAI’22 Workshop. AI4TS: AI for Time Series Analysis. IJCAI’22 Workshop - AI4TS: AI for Time Series Analysis, Vienna, Austria. IJCAI. https://doi.org/10.34726/4262
    Download: PDF (257 KB)
  • Information-flow Interfaces / Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. A. (2022). Information-flow Interfaces. In Fundamental Approaches to Software Engineering (pp. 3–22). Springer-Verlag. https://doi.org/10.1007/978-3-030-99429-7_1
  • Enforcing ethical goals over reinforcement-learning policies / Neufeld, E. A., Bartocci, E., Ciabattoni, A., & Governatori, G. (2022). Enforcing ethical goals over reinforcement-learning policies. Ethics and Information Technology, 24(4), Article 43. https://doi.org/10.1007/s10676-022-09665-8
    Download: PDF (1.62 MB)
    Project: RTD-Indian (2017–2022)
  • Recent developments in theory and tool support for hybrid systems verification with HyPro / Schupp, S., Ábrahám, E., & Ebert, T. (2022). Recent developments in theory and tool support for hybrid systems verification with HyPro. Information and Computation, 289(Part A), Article 104945. https://doi.org/10.1016/j.ic.2022.104945
  • Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing / Brunnbauer, A., Berducci, L., Brandstätter, A., Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2022). Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. In 2022 IEEE International Conference on Robotics and Automation (ICRA) (pp. 7513–7520). https://doi.org/10.1109/ICRA46639.2022.9811650
  • Flavors of Sequential Information Flow / Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & da Costa, A. O. (2022). Flavors of Sequential Information Flow. In Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (pp. 1–19). Springer. https://doi.org/10.1007/978-3-030-94583-1_1
  • Probabilistic Hyperproperties with Rewards / Dobe, O., Wilke, L., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2022). Probabilistic Hyperproperties with Rewards. In J. V. Deshmukh, K. Havelund, & I. Perez (Eds.), NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (pp. 656–673). Springer. https://doi.org/10.1007/978-3-031-06773-0_35
  • Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten / Kirner, R., & Puschner, P. (2022). Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. In H. Unger & Schaible Marcel (Eds.), Echtzeit 2021 (pp. 93–102). Springer Fachmedien Wiesbaden. https://doi.org/10.1007/978-3-658-37751-9_11
  • A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems / Nenzi, L., Bartocci, E., Bortolussi, L., & Loreti, M. (2022). A Logic for Monitoring Dynamic Networks of Spatially-distributed  Cyber-Physical Systems. Logical Methods in Computer Science, 18(1), 4:1-4:30. https://doi.org/10.46298/lmcs-18(1:4)2022
  • Model checking hyperproperties for Markov decision processes / Dobe, O., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2022). Model checking hyperproperties for Markov decision processes. Information and Computation, 289(Part B), Article 104978. https://doi.org/10.1016/j.ic.2022.104978
  • 25th ACM International Conference on Hybrid Systems: Computation and Control / Bartocci, E., & Putot, S. (Eds.). (2022). 25th ACM International Conference on Hybrid Systems: Computation and Control. https://doi.org/10.1145/3501710
  • DeepSTL / He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022). DeepSTL. In ICSE ’22: Proceedings of the 44th International Conference on Software Engineering (pp. 610–622). Association for Computing Machinery. https://doi.org/10.1145/3510003.3510171
  • The Dual-Path Code Paradigm for Time-Deterministic and Efficient Networked Embedded Systems / Bril, R. J., & Puschner, P. (2022). The Dual-Path Code Paradigm for Time-Deterministic and Efficient Networked Embedded Systems. In eproceeding - 17th IEEE Conference on Industrial Electronics and Applications (ICIEA 2022). 17th IEEE Conference on Industrial Electronics and Applications (ICIEA 2022), Chengdu, China.
  • On Normative Reinforcement Learning via Safe Reinforcement Learning / Neufeld, E. A., Bartocci, E., & Ciabattoni, A. (2022). On Normative Reinforcement Learning via Safe Reinforcement Learning. In PRIMA 2022: Principles and Practice of Multi-Agent Systems - Proceedings (pp. 72–89). https://doi.org/10.1007/978-3-031-21203-1_5
    Project: RTD-Indian (2017–2022)
  • Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments / Kofnov, A., Moosbrugger, M., Stankovič, M., Bartocci, E., & Bura, E. (2022). Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. In E. Ábrahám & M. Paolieri (Eds.), Quantitative Evaluation of Systems (pp. 3–25). Springer. https://doi.org/10.1007/978-3-031-16336-4_1
    Projects: ARTIST (2021–2026) / ProbInG (2020–2025)
  • ARCH-COMP22 Category Report: Stochastic Models / Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S., & Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, Matthias Althoff, E. Schoitsch, & Jeremie Guiochet (Eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). EasyChair. https://doi.org/10.29007/lsvc
  • Solving Invariant Generation for Unsolvable Loops / Amrollahi, D., Bartocci, E., Kenison, G., Kovács, L., Moosbrugger, M., & Stankovič, M. (2022). Solving Invariant Generation for Unsolvable Loops. In Static Analysis: 29th International Symposium, SAS 2022 (pp. 19–43). https://doi.org/10.1007/978-3-031-22308-2_3
  • Moment-based analysis of Bayesian network properties / Stankovič, M., Bartocci, E., & Kovács, L. (2022). Moment-based analysis of Bayesian network properties. Theoretical Computer Science, 903, 113–133. https://doi.org/10.1016/j.tcs.2021.12.021
  • Reinforcement Learning Guided by Provable Normative Compliance / Neufeld, E. (2022). Reinforcement Learning Guided by Provable Normative Compliance. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence. INSTICC Press. https://doi.org/10.5220/0010835600003116

2021

  • Blood coagulation algorithm: A novel bio‐inspired meta‐heuristic algorithm for global optimization / Yadav, D. (2021). Blood coagulation algorithm: A novel bio‐inspired meta‐heuristic algorithm for global optimization. Mathematics, 9(23), Article 3011. https://doi.org/10.3390/math9233011
    Download: Published version (10 MB)
  • CPSDebug: Automatic Failure Explanation in CPS Models / Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., & Ničković, D. (2021). CPSDebug: Automatic Failure Explanation in CPS Models. International Journal on Software Tools for Technology Transfer, 23(5), 783–796. https://doi.org/10.1007/s10009-020-00599-4
    Download: PDF (1.88 MB)
    Project: IoT4CPS (2017–2020)
  • Adaptive Testing for Specification Coverage in CPS Models / Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N., & Ničković, D. (2021). Adaptive Testing for Specification Coverage in CPS Models. In IFAC-PapersOnLine (pp. 229–234). 54. https://doi.org/10.1016/j.ifacol.2021.08.503
  • Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation / Platzer, M., & Puschner, P. (2021). Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation. In B. Brandenburg (Ed.), 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) (pp. 1–18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2021.1
  • Adversarial Training is Not Ready for Robot Learning / Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial Training is Not Ready for Robot Learning. In In Proc. of ICRA’21, the International Conference on Robotics and Automation (pp. 1–8). IEEE. http://hdl.handle.net/20.500.12708/55648
  • A Normative Supervisor for Reinforcement Learning Agents / Neufeld, E., Bartocci, E., Ciabattoni, A., & Governatori, G. (2021). A Normative Supervisor for Reinforcement Learning Agents. In Automated Deduction – CADE 28 (pp. 565–576). https://doi.org/10.1007/978-3-030-79876-5_32
  • Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems / Mohammadinejad, S., Deshmukh, J. V., & Nenzi, L. (2021). Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. In Automated Technology for Verification and Analysis (pp. 91–107). 12971. https://doi.org/10.1007/978-3-030-88885-5_7
  • A Processor Extension for Time-Predictable Code Execution / Platzer, M., & Puschner, P. (2021). A Processor Extension for Time-Predictable Code Execution. In C. Ceballos (Ed.), 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC). IEEE. https://doi.org/10.1109/isorc52013.2021.00016
  • HyperProb: A Model Checker for Probabilistic Hyperproperties / Dobe, O., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2021). HyperProb: A Model Checker for Probabilistic Hyperproperties. In Formal Methods (pp. 657–666). https://doi.org/10.1007/978-3-030-90870-6_35
  • Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications / Alsalehi, S., Mehdipour, N., Bartocci, E., & Belta, C. (2021). Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. In 2021 60th IEEE Conference on Decision and Control (CDC). CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas, United States of America (the). https://doi.org/10.1109/cdc45484.2021.9682921
  • Synchronizing Real-Time Tasks in Time-Triggered Networks / Kyriakakis, E., Sparso, J., Puschner, P., & Schoeberl, M. (2021). Synchronizing Real-Time Tasks in Time-Triggered Networks. In 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC) (pp. 11–19). IEEE. http://hdl.handle.net/20.500.12708/58747
  • Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding / Roy, S., Usama, M., Grosu, R., Smolka, S. A., & Stoller, S. D. (2021). Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. In 2021 American Control Conference (ACC). American Control Conference, Online, United States of America (the). IEEE. https://doi.org/10.23919/acc50511.2021.9483155
  • Online monitoring of spatio-temporal properties for imprecise signals / Visconti, E., Bartocci, E., Loreti, M., & Nenzi, L. (2021). Online monitoring of spatio-temporal properties for imprecise signals. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE’21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid), China. https://doi.org/10.1145/3487212.3487344
  • Controller verification meets controller code : a case study / Freiberger, F., Schupp, S., Hermanns, H., & Ábrahám, E. (2021). Controller verification meets controller code : a case study. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE’21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid), China. Association for Computing Machinery. https://doi.org/10.1145/3487212.3487337
  • On The Verification of Neural ODEs with Stochastic Guarantees / Grünbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On The Verification of Neural ODEs with Stochastic Guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 11525–11535). Proceedings of the AAAI Conference on Artificial Intelligence. http://hdl.handle.net/20.500.12708/58537
  • Liquid Time-Constant Networks / Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid Time-Constant Networks. In Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) (pp. 7657–7666). Proceedings of the AAAI Conference on Artificial Intelligence. http://hdl.handle.net/20.500.12708/55647
  • On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification / Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. In International Conference on Machine Learning (pp. 478–489). Proceedings of Machine Learning Research. http://hdl.handle.net/20.500.12708/55625
  • A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" / Bartocci, E., & Bender, M. A. (2021). A Perspective on “CCS Expressions, Finite State Processes, and Three Problems of Equivalence.” ACM SIGACT News, 52(4), 76–77. https://doi.org/10.1145/3510382.3510394
  • TACoS: A Tool for MTL Controller Synthesis / Hofmann, T., & Schupp, S. (2021). TACoS: A Tool for MTL Controller Synthesis. In Software Engineering and Formal Methods (pp. 372–379). 13085. https://doi.org/10.1007/978-3-030-92124-8_21
  • Mining Shape Expressions with ShapeIt / Bartocci, E., Deshmukh, J., Mateis, C., Nesterini, E., Ničković, D., & Qin, X. (2021). Mining Shape Expressions with ShapeIt. In Software Engineering and Formal Methods (pp. 110–117). 13085. https://doi.org/10.1007/978-3-030-92124-8_7
  • Cardiac Hybrid Cellular Automata Simulation For 2d Cardiac Dynamics / Treml, L. M., Gizzi, A., & Bartocci, E. (2021). Cardiac Hybrid Cellular Automata Simulation For 2d Cardiac Dynamics. In Book Of Abstracts (p. 201). http://hdl.handle.net/20.500.12708/55675
  • Collision-Free 3D Flocking Using the Distributed Simplex Architecture / Usama, M., Stoller, S. D., Grosu, R., & Smolka, S. A. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. In Formal Methods in Outer Space (pp. 147–156). Springer. http://hdl.handle.net/20.500.12708/58661
  • A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses / Kirner, R., & Puschner, P. (2021). A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Transactions on Networking, 29(4), 1786–1797. https://doi.org/10.1109/tnet.2021.3073460
  • A Distributed Simplex Architecture for Multi-agent Systems / Usama, M., Stoller, S. D., Grosu, R., Roy, S., Damare, A., & Smolka, S. A. (2021). A Distributed Simplex Architecture for Multi-agent Systems. In Dependable Software Engineering. Theories, Tools, and Applications (pp. 239–257). Springer. https://doi.org/10.1007/978-3-030-91265-9_13
  • Interactive Analysis of CNN Robustness / Sietzen, S., Lechner, M., Borowski, J., Hasani, R., & Waldner, M. (2021). Interactive Analysis of CNN Robustness. Computer Graphics Forum, 40(7), 253–264. https://doi.org/10.1111/cgf.14418
  • The Probabilistic Termination Tool Amber / Marcel Moosbrugger, Ezio Bartocci, Katoen, J.-P., & Laura Kovács. (2021). The Probabilistic Termination Tool Amber. In Formal Methods. FM 2021 (pp. 667–675). https://doi.org/10.1007/978-3-030-90870-6_36
  • Compiling for time-predictability with dual-issue single-path code / Maroun, E. J., Schoeberl, M., & Puschner, P. (2021). Compiling for time-predictability with dual-issue single-path code. The Journal of Systems Architecture: Embedded Software Design, 118(102230), 102230. https://doi.org/10.1016/j.sysarc.2021.102230
  • Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation / Treml, L. M., Bartocci, E., & Gizzi, A. (2021). Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation. Mathematics, 9(2), 164. https://doi.org/10.3390/math9020164
  • A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities / Meiyi, M., Bartocci, E., Lifland, E., Stankovic, J., & Feng, L. (2021). A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet of Things Journal, 8(15), 11793–11806. https://doi.org/10.1109/jiot.2021.3069943
  • Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming / Pigozzi, F., Medvet, E., & Nenzi, L. (2021). Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming. Applied Sciences, 11(22), 10573. https://doi.org/10.3390/app112210573
  • Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems / Meiyi, M., Stankovic, J., Bartocci, E., & Feng, L. (2021). Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems, 20(5s), 1–25. https://doi.org/10.1145/3477032
  • Preface / Bartocci, E., Falcone, Y., & Leucker, M. (2021). Preface. In E. Bartocci, Y. Falcone, & M. Leucker (Eds.), Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (pp. vii–viii). Springer, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/55665
  • Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem / Isakovic, H., Dangl, S., Tucakovic, Z., & Grosu, R. (2021). Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). IEEE. https://doi.org/10.1109/icit46573.2021.9453496
  • Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction / Pilch, C., Schupp, S., & Remke, A. (2021). Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. In Quantitative Evaluation of Systems (pp. 435–456). 12846. https://doi.org/10.1007/978-3-030-85172-9_23
  • Automated Termination Analysis of Polynomial Probabilistic Programs / Moosbrugger, M., Bartocci, E., Katoen, J.-P., & Kovács, L. (2021). Automated Termination Analysis of Polynomial Probabilistic Programs. In Programming Languages and Systems (pp. 491–518). Springer. https://doi.org/10.1007/978-3-030-72019-3_18
  • QoS for Dynamic Deployment of IoT Services / Isakovic, H., Ferreira, L. L., Okic, I., Dukkon, A., Tucakovic, Z., & Grosu, R. (2021). QoS for Dynamic Deployment of IoT Services. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). IEEE. https://doi.org/10.1109/icit46573.2021.9453670
  • Lumpability for Uncertain Continuous-Time Markov Chains / Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M., & Vandin, A. (2021). Lumpability for Uncertain Continuous-Time Markov Chains. In Quantitative Evaluation of Systems (pp. 391–409). Springer, LNCS. https://doi.org/10.1007/978-3-030-85172-9_21

2020

  • Mining Shape Expressions from Positive Examples / Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., & Qin, X. (2020). Mining Shape Expressions from Positive Examples. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3809–3820. https://doi.org/10.1109/tcad.2020.3012240
  • Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme / Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2020). Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. In 2020 IEEE International Conference on Robotics and Automation (ICRA). IEEE. https://doi.org/10.34726/242
    Download: Paper (1000 KB)
  • The Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits / Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). The Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. In Proceedings of the 37th International Conference on Machine Learning (ICML 2020), Vienna, Austria, PMLR 119, 2020. https://doi.org/10.34726/241
    Downloads: Paper (2.22 MB) / Supplementary Material (2 MB)
  • Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models / Xu, X., Zhao, Z., Xu, X., Yang, J., Chang, L., Yan, X., & Wang, G. (2020). Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models. Knowledge-Based Systems, 190(105324). https://doi.org/10.1016/j.knosys.2019.105324
  • An Energy Sustainable CPS/IoT Ecosystem / Isakovic, H., Crespo, E. A., & Grosu, R. (2020). An Energy Sustainable CPS/IoT Ecosystem. In Science and Technologies for Smart Cities 6th EAI International Conference, SmartCity360° (pp. 305–322). Springer. https://doi.org/10.1007/978-3-030-76063-2_22
    Project: ADEPTNESS (2020–2023)
  • CPSDebug: a tool for explanation of failures in cyber-physical systems / Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Ničković, D., & Pastore, F. (2020). CPSDebug: a tool for explanation of failures in cyber-physical systems. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, Non-EU. ACM. https://doi.org/10.1145/3395363.3404369
  • On The Verification of Neural ODEs with Stochastic Guarantees / Grünbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2020). On The Verification of Neural ODEs with Stochastic Guarantees. arXiv. http://hdl.handle.net/20.500.12708/141429
  • Lagrangian Reachtubes: The Next Generation / Grünbacher, S., Cyranka, J., Lechner, M., Islam, A., Smolka, S. A., & Grosu, R. (2020). Lagrangian Reachtubes: The Next Generation. arXiv. http://hdl.handle.net/20.500.12708/141430
  • Learning Distributed Controllers for V-Formation / Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2020). Learning Distributed Controllers for V-Formation. arXiv. https://doi.org/10.48550/arXiv.2006.00680
  • ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks / Grosu, R. (2020). ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks. arXiv. https://doi.org/10.48550/arXiv.2002.12776
  • V-Formation via Model Predictive Control / Grosu, R., Lukina, A., Smolka, S. A., Tiwari, A., Varadarajan, V., & Wang, X. (2020). V-Formation via Model Predictive Control. arXiv. https://doi.org/10.48550/arXiv.2002.08955
  • A Distributed Simplex Architecture for Multi-Agent Systems / Mehmood, U., Stoller, S. D., Grosu, R., Roy, S., & Damare, A. (2020). A Distributed Simplex Architecture for Multi-Agent Systems. arXiv. http://hdl.handle.net/20.500.12708/141428
  • Monitoring Spatio-Temporal Properties (Invited Tutorial) / Nenzi, L., Bartocci, E., Bortolussi, L., Loreti, M., & Visconti, E. (2020). Monitoring Spatio-Temporal Properties (Invited Tutorial). In Lecture Notes in Computer Science. Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual), Non-EU. Springer. https://doi.org/10.1007/978-3-030-60508-7
  • Lagrangian Reachtubes: The Next Generation / Gruenbacher, S., Cyranka, J., Lechner, M., Islam, Md. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian Reachtubes: The Next Generation. In 2020 59th IEEE Conference on Decision and Control (CDC). 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea (the Republic of). IEEE. https://doi.org/10.1109/cdc42340.2020.9304042
  • Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress / Kyriakakis, E., Sparso, J., Puschner, P., & Schoeberl, M. (2020). Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress. In 2020 International Conference on Embedded Software (EMSOFT). 2020 International Conference on Embedded Software (EMSOFT), Singapur, Non-EU. ACM. https://doi.org/10.1109/emsoft51651.2020.9244029
  • A Methodology for Resilient Control and Monitoring in Smart Grids / Hauer, D., Ratasich, D., Krammer, L., & Jantsch, A. (2020). A Methodology for Resilient Control and Monitoring in Smart Grids. In 2020 IEEE International Conference on Industrial Technology (ICIT). 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires, Non-EU. IEEE. https://doi.org/10.1109/icit45562.2020.9067283
  • A Real-Time Application with Fully Predictable Task Timing / Platzer, M., & Puschner, P. (2020). A Real-Time Application with Fully Predictable Task Timing. In 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC). 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA, Non-EU. https://doi.org/10.1109/isorc49007.2020.00016
  • Towards Dual-Issue Single-Path Code / Maroun, E. J., Schoeberl, M., & Puschner, P. (2020). Towards Dual-Issue Single-Path Code. In 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC). 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA, Non-EU. https://doi.org/10.1109/isorc49007.2020.00039
  • Asynchronous vs. synchronous interfacing to time-triggered communication systems / Puschner, P., & Kirner, R. (2020). Asynchronous vs. synchronous interfacing to time-triggered communication systems. The Journal of Systems Architecture: Embedded Software Design, 103(101690), 101690. https://doi.org/10.1016/j.sysarc.2019.101690
  • MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties / Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L., & Silvetti, S. (2020). MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. In L. Nenzi (Ed.), Runtime Verification (pp. 417–428). Springer. https://doi.org/10.1007/978-3-030-60508-7_23
  • Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule / Zhang, X., Xu, X., Xu, X., Gao, D., Gao, H., Wang, G., & Grosu, R. (2020). Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule. Sci, .(22(7)), 25. https://doi.org/10.3390/e22070770
  • Neural Circuit Policies Enabling Auditable Autonomy / Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu, R. (2020). Neural Circuit Policies Enabling Auditable Autonomy. Nature Machine Intelligence, 2(10), 642–652. https://doi.org/10.1038/s42256-020-00237-3
  • A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes / Xu, X., Yu, Z., Zeng, J., Xiong, W., Hu, Y., & Wang, G. (2020). A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes. SCIENCE CHINA Information Sciences, 64(202203). https://doi.org/10.1007/s11432-020-3029-6
  • Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems / Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2020). Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access, 8, 180825–180843. https://doi.org/10.1109/access.2020.3028476
  • ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs / Bartocci, E., Kovacs, L., & Bura, E. (2020). ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs. Vienna Science, Research and Technology Fund - ProbInG, online, Austria. http://hdl.handle.net/20.500.12708/123229
  • A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits / Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. In Proceedings of machine learning research, Volume 119: International Conference on Machine Learning (ICML) (pp. 4082–4093). http://hdl.handle.net/20.500.12708/58294
  • An Instruction Filter for Time-Predictable Code Execution on Standard Processors / Platzer, M., & Puschner, P. (2020). An Instruction Filter for Time-Predictable Code Execution on Standard Processors. In Springer Verlag (Ed.), Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops (pp. 111–122). Springer. https://doi.org/10.1007/978-3-030-55583-2_8
  • Predictive monitoring with uncertainty for deep learning enabled smart cities / Meiyi, M., Bartocci, E., Stankovic, J., & Feng, L. (2020). Predictive monitoring with uncertainty for deep learning enabled smart cities. In Proceedings of the 18th Conference on Embedded Networked Sensor Systems. SenSys ’20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Virtual Event Japan, Non-EU. https://doi.org/10.1145/3384419.3430445
  • Analysis of Bayesian Networks via Prob-Solvable Loops / Bartocci, E., Kovács, L., & Stankovič, M. (2020). Analysis of Bayesian Networks via Prob-Solvable Loops. In Theoretical Aspects of Computing – ICTAC 2020 (pp. 221–241). Springer. https://doi.org/10.1007/978-3-030-64276-1_12
  • Mora - Automatic Generation of Moment-Based Invariants / Bartocci, E., Kovács, L., & Stankovič, M. (2020). Mora - Automatic Generation of Moment-Based Invariants. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 492–498). Springer. https://doi.org/10.1007/978-3-030-45190-5_28
  • Runtime Verification of Autonomous Driving Systems in CARLA / Zapridou, E., Bartocci, E., & Katsaros, P. (2020). Runtime Verification of Autonomous Driving Systems in CARLA. In Runtime Verification (pp. 172–183). Springer. https://doi.org/10.1007/978-3-030-60508-7_9
  • Parameter Synthesis for Probabilistic Hyperproperties / Abraham, E., Bartocci, E., Bonakdarpour, B., & Dobe, O. (2020). Parameter Synthesis for Probabilistic Hyperproperties. In EPiC Series in Computing. Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19), EU. https://doi.org/10.29007/37lf
  • Probabilistic Hyperproperties with Nondeterminism / Ábrahám, E., Bartocci, E., Bonakdarpour, B., & Dobe, O. (2020). Probabilistic Hyperproperties with Nondeterminism. In Automated Technology for Verification and Analysis (pp. 518–534). https://doi.org/10.1007/978-3-030-59152-6_29
  • SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities / Meiyi, M., Bartocci, E., Lifland, E., Stankovic, J., & Feng, L. (2020). SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. In 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS). Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia, Non-EU. IEEE. https://doi.org/10.1109/iccps48487.2020.00013
  • Neural simplex architecture / Phan, D., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2020). Neural simplex architecture. In Neural simplex architecture (pp. 97–114). Springer. http://hdl.handle.net/20.500.12708/58180
  • Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / Mehmood, U., Roy, S., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2020). Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. In Neural Flocking: MPC-based Supervised Learning of Flocking Controllers (pp. 1–16). Springer. http://hdl.handle.net/20.500.12708/55572

2019

  • A generative neural network model for the quality prediction of work in progress products / Wang, G., Ledwoch, A., Hasani, R. M., Grosu, R., & Brintrup, A. (2019). A generative neural network model for the quality prediction of work in progress products. Applied Soft Computing, 85, Article 105683. https://doi.org/10.1016/j.asoc.2019.105683
  • Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans / Islam, Md. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169. https://doi.org/10.1016/j.tcs.2018.02.005
  • Automatic Failure Explanation in CPS Models / Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., & Nickovic, D. (2019). Automatic Failure Explanation in CPS Models. In Lecture Notes in Computer Science. 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway. https://doi.org/10.1007/978-3-030-30446-1
  • Interfacing to Time-Triggered Communication Systems / Puschner, P., & Kirner, R. (2019). Interfacing to Time-Triggered Communication Systems. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain. IEEE. https://doi.org/10.1109/isorc.2019.00044
  • CPS/IoT Ecosystem: Indoor Vertical Farming System / Isakovic, H., Grosu, R., Fasching, A., & Punzenberger, L. (2019). CPS/IoT Ecosystem: Indoor Vertical Farming System. In 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT). 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italy. IEEE Xplore. https://doi.org/10.1109/isce.2019.8900974
  • Sensyml: Simulation Environment for large-scale IoT Applications / Isakovic, H., Grosu, R., Wally, B., Rausch, T., Dustdar, S., Kappel, G., Ratasich, D., & Bisanovic, V. (2019). Sensyml: Simulation Environment for large-scale IoT Applications. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal. IEEE Xplore. https://doi.org/10.1109/iecon.2019.8927756
  • Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / Hirsch, C., Bartocci, E., & Grosu, R. (2019). Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. In 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT). 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italy. https://doi.org/10.1109/isce.2019.8901012
  • International Competition on Runtime Verification (CRV) / Bartocci, E., Falcone, Y., & Reger, G. (2019). International Competition on Runtime Verification (CRV). In Tools and Algorithms for the Construction and Analysis of Systems (pp. 41–49). https://doi.org/10.1007/978-3-030-17502-3_3
  • Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty / Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. In É. André & M. Stoelinga (Eds.), Formal Modeling and Analysis of Timed Systems (pp. 123–141). Springer. https://doi.org/10.1007/978-3-030-29662-9_8
  • Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics / Haghighi, I., Mehdipour, N., Bartocci, E., & Belta, C. (2019). Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. In Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control. 2019 IEEE Conference on Decision and Control (CDC), Nice, France. IEEE. http://hdl.handle.net/20.500.12708/57866
  • Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time / Ratasich, D., Platzer, M., Grosu, R., & Bartocci, E. (2019). Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. In 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO). 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden. IEEE. https://doi.org/10.1109/saso.2019.00013
  • CPS/IoT Ecosystem: A Platform for Research and Education / Isakovic, H., Ratasich, D., Hirsch, C., Platzer, M., Wally, B., Rausch, T., Nickovic, D., Krenn, W., Kappel, G., Dustdar, S., & Grosu, R. (2019). CPS/IoT Ecosystem: A Platform for Research and Education. In R. Chamberlain, W. Taha, & M. Törngren (Eds.), Cyber Physical Systems. Model-Based Design (pp. 206–213). Springer International Publishing. https://doi.org/10.1007/978-3-030-23703-5_12
  • TOOLympics 2019: An Overview of Competitions in Formal Methods / Bartocci, E., Beyer, D., & Black, P. (2019). TOOLympics 2019: An Overview of Competitions in Formal Methods. In Lecture Notes in Computer Science. Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czechia. https://doi.org/10.1007/978-3-030-17502-3
  • Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting / Piho, P., Margetiny, F., Bartocci, E., Ribchester, R. R., & Hillston, J. (2019). Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. In Lecture Notes in Computer Science. 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy. https://doi.org/10.1007/978-3-030-31304-3
  • Sequential Edge Clustering in Temporal Multigraphs / Ghalebi, E., Mayhar, H., Grosu, R., Taylor, G. W., & Williamson, S. A. (2019). Sequential Edge Clustering in Temporal Multigraphs. arXiv. https://doi.org/10.48550/arXiv.1905.11724
  • Neural Simplex Architecture / Phan, D., Paoletti, N., Grosu, R., Jansen, N., Smolka, S. A., & Stoller, S. D. (2019). Neural Simplex Architecture. arXiv. https://doi.org/10.48550/arXiv.1908.00528
  • A Nonparametric Bayesian Model for Sparse Temporal Multigraphs / Ghalebi, E., Mayhar, H., Grosu, R., Taylor, G. W., & Williamson, S. A. (2019). A Nonparametric Bayesian Model for Sparse Temporal Multigraphs. arXiv. https://doi.org/10.48550/arXiv.1910.05098
  • Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2019). Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. arXiv. https://doi.org/10.48550/arXiv.1908.09813
  • Under the Hood of a Stand-Alone Lagrangian Reachability Tool / Gruenbacher, S., Cyranka, J., Islam, M. A., Tschaikowski, M., Smolka, S., & Grosu, R. (2019). Under the Hood of a Stand-Alone Lagrangian Reachability Tool. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 211–219). EasyChair. https://doi.org/10.29007/ns8p
  • Statistical model checking / Legay, A., Lukina, A., Traonouez, L. M., Yang, J., Smolka, S. A., & Grosu, R. (2019). Statistical model checking. In Computing and Software Science (pp. 478–504). Springer LNCS. http://hdl.handle.net/20.500.12708/30240
  • A survey of challenges for runtime verification from advanced application domains (beyond software) / Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., Falcone, Y., Francalanza, A., Krstić, S., Lourenço, J. M., Nickovic, D., Pace, G. J., Rufino, J., Signoles, J., Traytel, D., & Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54(3), 279–335. https://doi.org/10.1007/s10703-019-00337-w
  • Quantitative Regular Expressions for Arrhythmia Detection / Abbas, H., Rodionova, A., Mamouras, K., Bartocci, E., Smolka, S. A., & Grosu, R. (2019). Quantitative Regular Expressions for Arrhythmia Detection. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16(5), 1586–1597. https://doi.org/10.1109/tcbb.2018.2885274
  • A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems / Ratasich, D., Khalid, F., Geissler, F., Grosu, R., Shafique, M., & Bartocci, E. (2019). A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access, 7, 13260–13283. https://doi.org/10.1109/access.2019.2891969
  • Parallel reachability analysis of hybrid systems in XSpeed / Gurung, A., Ray, R., Bartocci, E., Bogomolov, S., & Grosu, R. (2019). Parallel reachability analysis of hybrid systems in XSpeed. International Journal on Software Tools for Technology Transfer, 21(4), 401–423. https://doi.org/10.1007/s10009-018-0485-6
  • Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops / Bartocci, E., Kovacs, L., & Stankovic, M. (2019). Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. In Y.-F. Chen, C.-H. Cheng, & J. Esparza (Eds.), Automated Technology for Verification and Analysis (pp. 255–276). Springer. https://doi.org/10.1007/978-3-030-31784-3_15
  • Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial) / TaheriNejad, N., Lewis, P., Jantsch, A., Rahmani, A., & Esterle, L. (2019). Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial). In 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE. https://doi.org/10.1109/fas-w.2019.00071
  • Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems / Lukina, A., Tiwari, A., Smolka, S. A., & Grosu, R. (2019). 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. http://hdl.handle.net/20.500.12708/58143
  • Designing Worm-inspired Neural Networks for Interpretable Robotic Control / Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing Worm-inspired Neural Networks for Interpretable Robotic Control. In Robotics and Automation (ICRA), IEEE International Conference on (pp. 87–94). http://hdl.handle.net/20.500.12708/58142
  • Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. In 2019 International Joint Conference on Neural Networks (IJCNN). IEEE International Joint Conference on Neural Networks (IJCNN), Montréal, Québec, Canada, Austria. https://doi.org/10.1109/ijcnn.2019.8851954
  • A Machine Learning Suite for Machine Components' Health-Monitoring / Hasani, R., Wang, G., & Grosu, R. (2019). A Machine Learning Suite for Machine Components’ Health-Monitoring. 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 (pp. 9472–9477). http://hdl.handle.net/20.500.12708/58140
  • Composable Component Interfaces for Time-Triggered Systems / Puschner, P., & Frömel, B. (2019). Composable Component Interfaces for Time-Triggered Systems. In 2019 8th Mediterranean Conference on Embedded Computing (MECO). 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, Non-EU. IEEE. https://doi.org/10.1109/meco.2019.8760059
  • From Reactive Systems to Cyber-Physical Systems / From Reactive Systems to Cyber-Physical Systems. (2019). In E. Bartocci, R. Cleaveland, R. Grosu, & O. Sokolsky (Eds.), Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-030-31514-6
  • Simplicity is Complex / Kopetz, H. (Ed.). (2019). Simplicity is Complex. Springer. https://doi.org/10.1007/978-3-030-20411-2

2018

  • RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction) / Bartocci, E., & Falcone, Y. (2018). RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA 2018, Proceedings, Part IV (pp. 3–8). Springer. https://doi.org/10.1007/978-3-030-03427-6_1
  • Introduction to Runtime Verification / Bartocci, E., Falcone, Y., Francalanza, A., & Reger, G. (2018). Introduction to Runtime Verification. In E. Bartocci & Y. Falcone (Eds.), Lectures on Runtime Verification. Introductory and Advanced Topics (Vol. 10457, pp. 1–33). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-75632-5_1
  • Production Tests Coverage Analysis in the Simulation Environment / Manjunath, N., Haerle, D., Manthey, C., Väänänen, M., Sabanal, S., Eichinger, H., Tauber, H., Machne, A., Grosu, R., & Nickovic, D. (2018). Production Tests Coverage Analysis in the Simulation Environment. In 2018 IEEE International Test Conference (ITC). International Test Conference, Phoenix, Arizona, USA, Non-EU. IEEE. https://doi.org/10.1109/test.2018.8624870
  • Localizing Faults in Simulink/Stateflow Models with {STL} / Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing Faults in Simulink/Stateflow Models with {STL}. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week). Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal, EU. https://doi.org/10.1145/3178126.3178131
  • c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans / Gleeson, P., Lung, D., Grosu, R., Hasani, R., & Larson, S. D. (2018). c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans. Philosophical Transactions of the Royal Society B: Biological Sciences, 373(1758), 20170379. https://doi.org/10.1098/rstb.2017.0379
  • OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans / Sarma, G. P., Lee, C. W., Portegys, T., Ghayoomie, V., Jacobs, T., Alicea, B., Cantarelli, M., Currie, M., Gerkin, R. C., Gingell, S., Gleeson, P., Gordon, R., Hasani, R. M., Idili, G., Khayrulin, S., Lung, D., Palyanov, A., Watts, M., & Larson, S. D. (2018). OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans. Philosophical Transactions of the Royal Society B: Biological Sciences, 373(1758), 20170382. https://doi.org/10.1098/rstb.2017.0382
  • Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2018). Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. In Proceedings of the NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop. Workshop on Interpretability and Robustness in Audio, Speech, and Language (IRASL) at NIPS 2018, Montreal, Canada. NIPS 2018. http://hdl.handle.net/20.500.12708/57635
  • A Mixed-Criticality Integration in Cyber-Physical Systems / Isakovic, H., & Grosu, R. (2018). A Mixed-Criticality Integration in Cyber-Physical Systems. In Advances in Systems Analysis, Software Engineering, and High Performance Computing (pp. 169–194). IGI Global. https://doi.org/10.4018/978-1-5225-2845-6.ch007
  • Backward Invariance for Linear Differential Algebraic Equations / Tognazzi, S., Tribastone, M., Tschaikowski, M., & Vandin, A. (2018). Backward Invariance for Linear Differential Algebraic Equations. In M. Egerstedt & A. R. Teel (Eds.), 57th IEEE Conference on Decision and Control. IEEE. http://hdl.handle.net/20.500.12708/57613
  • Identifying central nodes for information flow in social networks using compressive sensing / Mahyar, H., Hasheminezhad, R., Ghalebi, E., Nazemian, A., Grosu, R., Movaghar, A., & Rabiee, H. R. (2018). Identifying central nodes for information flow in social networks using compressive sensing. Social Network Analysis and Mining, 8(33). https://doi.org/10.1007/s13278-018-0506-1
  • Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications / Bartocci, E., Deshmukh, R. G., Donze, A., Fainekos, G., Maler, O., Nickovic, D., & Sankaranarayanan, S. (2018). Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In E. Bartocci & Y. Falcone (Eds.), Lectures on Runtime Verification,  Introductory and Advanced Topics (pp. 135–175). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-75632-5_5
  • A Counting Semantics for Monitoring LTL Specifications over Finite Traces / Bartocci, E., Bloem, R., Nickovic, D., & Roeck, F. (2018). A Counting Semantics for Monitoring LTL Specifications over Finite Traces. In H. Chockler & G. Weissenbacher (Eds.), Computer Aided Verification: 30th International Conference, CAV 2018 (pp. 547–564). Springer. https://doi.org/10.1007/978-3-319-96145-3_29
  • An algebraic framework for runtime verification / Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An algebraic framework for runtime verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11), 2233–2243. https://doi.org/10.1109/tcad.2018.2858460
  • A Robust Genetic Algorithm for Learning Temporal Specifications from Data / Nenzi, L., Silvetti, S., Bartocci, E., & Bortolussi, L. (2018). A Robust Genetic Algorithm for Learning Temporal Specifications from Data. In Lecture Notes in Computer Science. Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China, Non-EU. https://doi.org/10.1007/978-3-319-99154-2
  • Signal Convolution Logic / Silvetti, S., Nenzi, L., Bartocci, E., & Bortolussi, L. (2018). Signal Convolution Logic. In Automated Technology for Verification and Analysis (pp. 267–283). https://doi.org/10.1007/978-3-030-01090-4_16
  • Self-healing by property-guided structural adaptation / Ratasich, D., Preindl, T., Selyunin, K., & Grosu, R. (2018). Self-healing by property-guided structural adaptation. In 2018 IEEE Industrial Cyber-Physical Systems (ICPS). 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg, Non-EU. IEEE. https://doi.org/10.1109/icphys.2018.8387659
  • A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks / Bartocci, E., Aydin Gol, E., Haghighi, I., & Belta, C. (2018). A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Transactions on Control of Network Systems, 5(1), 308–320. https://doi.org/10.1109/tcns.2016.2609138
  • Quantitative monitoring of STL with edit distance / Jakšić, S., Bartocci, E., Grosu, R., Nguyen, T., & Ničković, D. (2018). Quantitative monitoring of STL with edit distance. Formal Methods in System Design, 53(1), 83–112. https://doi.org/10.1007/s10703-018-0319-x
  • Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) / Bartocci, E., Lio, P., & Paoletti, N. (2018). 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(4), 1122–1123. https://doi.org/10.1109/tcbb.2018.2816979
  • Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection / DelPreto, J., Salazar-Gomez, A. F., Gil, S., M. Hasani, R., Guenther, F. H., & Rus, D. (2018). Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection. In Robotics: Science and Systems XIV. Robotics: Science and Systems, Pittsburgh, Pennsylvania, USA, Non-EU. Robotics: Science and Systems Foundation. https://doi.org/10.15607/rss.2018.xiv.063
  • Parameter-Independent Strategies for pMDPs via POMDPs / Arming, S., Bartocci, E., Chatterjee, K., Katoen, J.-P., & Sokolova, A. (2018). Parameter-Independent Strategies for pMDPs via POMDPs. In A. McIver & A. Horvath (Eds.), Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 (pp. 53–70). Springer. https://doi.org/10.1007/978-3-319-99154-2_4
  • Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes / Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. In H. Chockler & G. Weissenbacher (Eds.), Computer Aided Verification: 30th International Conference, CAV 2018 (pp. 449–467). Springer. https://doi.org/10.1007/978-3-319-96145-3_24
  • Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) / Bartocci, E. (2018). Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). In C. Colombo & M. Leucker (Eds.), Runtime Verification (pp. 35–42). Springer. https://doi.org/10.1007/978-3-030-03769-7_4
  • Lectures on Runtime Verification / Bartocci, E., & Falcone, Y. (Eds.). (2018). Lectures on Runtime Verification. Springer-Verlag. https://doi.org/10.1007/978-3-319-75632-5
  • Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements / Hirsch, C., Redl, M., & Grosu, R. (2018). Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements. Workshop on Smart Farming, Porto, Portugal, EU. http://hdl.handle.net/20.500.12708/86817
  • A multi-bias recurrent neural network for modeling milling sensory data / Wang, G., Ben Sassi, M. A., & Grosu, R. (2018). A multi-bias recurrent neural network for modeling milling sensory data. In 2018 IEEE Industrial Cyber-Physical Systems (ICPS). 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg, Non-EU. IEEE. https://doi.org/10.1109/icphys.2018.8387640
  • Dynamic Network Model from Partial Observations / Ghalebi, E., Mirzasoleiman, B., Grosu, R., & Leskovec, J. (2018). Dynamic Network Model from Partial Observations. In Advances in Neural Information Processing Systems 31 (NIPS 2018). Neural Information Processing Systems (NIPS 2018), Montreal, Canada, Non-EU. Advances in Neural Information Processing Systems 31. http://hdl.handle.net/20.500.12708/57653
  • Unsupervised Wafermap Patterns Clustering via Variational Autoencoders / Tulala, P., Mahyar, H., Ghalebi, E., & Grosu, R. (2018). Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. In 2018 International Joint Conference on Neural Networks (IJCNN). IEEE International Joint Conference on Neural Networks (IJCNN), Montréal, Québec, Canada, Austria. IEEE. https://doi.org/10.1109/ijcnn.2018.8489422
  • A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks / Mahyar, H., Hasheminezhad, R., Ghalebi, E., Grosu, R., & Stanley, H. E. (2018). A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. In Studies in Computational Intelligence (pp. 91–103). Springer. https://doi.org/10.1007/978-3-030-05414-4_8
  • Generative Adversarial Networks for Clustering Semiconductor Wafer Maps / Mahyar, H., Tulala, P., Rabiee, H. R., & Grosu, R. (2018). Generative Adversarial Networks for Clustering Semiconductor Wafer Maps. In Proc. of ML for Systems Workshop. ML for Systems Workshop at NIPS 2018, Montreal, Canada, Non-EU. ML for Systems. http://hdl.handle.net/20.500.12708/57650
  • Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems / Hasani, R., Kulnik, B., Haerle, D., & Grosu, R. (2018). Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems. In Proceedings of the 9th International Workshop on Frontiers in Analog CAD. 9th International Workshop on Frontiers in Analog CAD at ASYNC 2018, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/57636
  • Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments / Lechner, M., Hasani, R., & Grosu, R. (2018). Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments. In Proceedings of the 2nd Workshop on Explainable Artificial Intelligence (pp. 79–84). IJCAI-ECAI 2018. http://hdl.handle.net/20.500.12708/57634
  • Declarative vs rule-based control for flocking dynamics / Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., Tiwari, A., Yang, J., & Smolka, S. A. (2018). Declarative vs rule-based control for flocking dynamics. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing. 33rd ACM Symposium On Applied Computing, Pau, France, EU. ACM. https://doi.org/10.1145/3167132.3167222
  • Neural State Classification for Hybrid Systems / Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A., & Stoller, S. D. (2018). Neural State Classification for Hybrid Systems. In Automated Technology for Verification and Analysis (pp. 422–440). Springer. https://doi.org/10.1007/978-3-030-01090-4_25
  • Tight Continuous-Time Reachtubes for Lagrangian Reachability / Cyranka, J., Islam, Md. A., Smolka, S. A., Gao, S., & Grosu, R. (2018). Tight Continuous-Time Reachtubes for Lagrangian Reachability. In 2018 IEEE Conference on Decision and Control (CDC). 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, Non-EU. IEEE. https://doi.org/10.1109/cdc.2018.8619647
  • OpenUAV: A UAV Testbed for the CPS and Robotics Community / Schmittle, M., Lukina, A., Vacek, L., Das, J., Buskirk, C. P., Rees, S., Sztipanovits, J., Grosu, R., & Kumar, V. (2018). OpenUAV: A UAV Testbed for the CPS and Robotics Community. In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE Computer Society. https://doi.org/10.1109/iccps.2018.00021
  • Resilient Control and Safety for Cyber-Physical Systems / Lukina, A., Tiwari, A., Smolka, S. A., Esterle, L., Yang, J., & Grosu, R. (2018). Resilient Control and Safety for Cyber-Physical Systems. In 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS). 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal, EU. IEEE. https://doi.org/10.1109/mt-cps.2018.00015
  • Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO / Lukina, A., Kumar, A., Schmittle, M., Singh, A., Das, J., Rees, S., Buskirk, C. P., Sztipanovits, J., Grosu, R., & Kumar, V. (2018). Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO. In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE Computer Society. https://doi.org/10.1109/iccps.2018.00050
  • Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis / Cardelli, L., Tribastone, M., Tschaikowski, M., & Vandin, A. (2018). Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. In A. McIver & A. Horvath (Eds.), Quantitative Evaluation of Systems (pp. 104–121). Springer. https://doi.org/10.1007/978-3-319-99154-2_7
  • Verifying nonlinear analog and mixed-signal circuits with inputs / Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S., & Schmid, U. (2018). Verifying nonlinear analog and mixed-signal circuits with inputs. In IFAC-PapersOnLine (pp. 241–246). IFAC-PapersOnLine. https://doi.org/10.1016/j.ifacol.2018.08.041

2017

  • Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes / Bartocci, E., Bortolussi, L., Brázdil, T., Milios, D., & Sanguinetti, G. (2017). Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes. Performance Evaluation, 116, 84–100. https://doi.org/10.1016/j.peva.2017.08.007
  • Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability / Murthy, A., Islam, Md. A., Smolka, S. A., & Grosu, R. (2017). Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability. Nonlinear Analysis: Hybrid Systems, 23, 272–286. https://doi.org/10.1016/j.nahs.2016.03.008
  • ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans / Lukina, A., Esterle, L., Hirsch, C., Bartocci, E., Yang, J., Tiwari, A., Smolka, S. A., & Grosu, R. (2017). ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. In A. Legay & T. Margaria (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 286–302). Springer. https://doi.org/10.1007/978-3-662-54580-5_17
  • A Simplified Cell Network for the Simulation of C. elegans' Forward Crawling / Lung, D., Larson, S., Palyanov, A., Khayrulin, S., Gleeson, P., Zimmer, M., Grosu, R., & Hasani, R. (2017). A Simplified Cell Network for the Simulation of C. elegans’ Forward Crawling. In Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017 (p. 5). http://hdl.handle.net/20.500.12708/57235
  • SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans / Hasani, R., Beneder, V., Fuchs, M., Lung, D., & Grosu, R. (2017). SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans. In Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017 (p. 5). http://hdl.handle.net/20.500.12708/57237
  • Runtime Safety Assurance for Adaptive Cyber-Physical Systems / Amorim, T., Ratasich, D., Macher, G., Ruiz, A., Schneider, D., Driussi, M., & Grosu, R. (2017). Runtime Safety Assurance for Adaptive Cyber-Physical Systems. In N. Druml, A. Genser, A. Krieg, M. Menghin, & A. Höller (Eds.), Advances in Systems Analysis, Software Engineering, and High Performance Computing (pp. 137–168). IGI Global. https://doi.org/10.4018/978-1-5225-2845-6.ch006
  • Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording / Fuchs, M., Zimmer, M., Grosu, R., & Hasani, R. (2017). Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording. In Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017 (p. 6). http://hdl.handle.net/20.500.12708/57236
  • Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans / Hasani, R., Fuchs, M., Beneder, V., & Grosu, R. (2017). Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans. In Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017 (p. 5). http://hdl.handle.net/20.500.12708/57238
  • Best Practice for Caching of Single-Path Code / Schoeberl, M., Cilku, B., Prokesch, D., & Puschner, P. (2017). Best Practice for Caching of Single-Path Code. In J. Reineke (Ed.), 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017) (pp. 2:1-2:12). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/OASIcs.WCET.2017.2
  • Runtime Monitoring with Recovery of the SENT Communication Protocol / Selyunin, K., Jaksic, S., Nguyen, T., Reidl, C., Hafner, U., Bartocci, E., Nickovic, D., & Grosu, R. (2017). Runtime Monitoring with Recovery of the SENT Communication Protocol. In Computer Aided Verification (pp. 336–355). Springer. https://doi.org/10.1007/978-3-319-63387-9_17
  • Monitoring mobile and spatially distributed cyber-physical systems / Bartocci, E., Bortolussi, L., Loreti, M., & Nenzi, L. (2017). Monitoring mobile and spatially distributed cyber-physical systems. In Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, EU. ACM. https://doi.org/10.1145/3127041.3127050
  • Gaussian convex evidence theory for ordered and fuzzy evidence fusion / Zhu, Y., Duan, H., Wang, X., Zhou, B., Wang, G., & Grosu, R. (2017). Gaussian convex evidence theory for ordered and fuzzy evidence fusion. Journal of Intelligent & Fuzzy Systems, 33(5), 2843–2849. http://hdl.handle.net/20.500.12708/148019
  • A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres / Zhu, Y., Liu, D., Grosu, R., Wang, X., Duan, H., & Wang, G. (2017). A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres. Sensors, 17(9), 2049. https://doi.org/10.3390/s17092049
  • ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks / Wang, G., Ben Sassi, M. A., & Grosu, R. (2017). 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(3), 210–216. https://doi.org/10.1109/cjece.2017.2703093
  • Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles / Phan, D., Yang, J., Grosu, R., Smolka, S. A., & Stoller, S. D. (2017). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods in System Design, 51(1), 62–86. https://doi.org/10.1007/s10703-016-0265-4
  • Computing with Biophysical and Hardware-efficient Neural Models / Selyunin, K., Hasani, R., Ratasich, D., Bartocci, E., & Grosu, R. (2017). Computing with Biophysical and Hardware-efficient Neural Models. In I. Rojas, G. Joya, & A. Catala (Eds.), Advances in Computational Intelligence (pp. 535–547). Springer. https://doi.org/10.1007/978-3-319-59153-7_46
  • Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy / Cilku, B., Puffitsch, W., Prokesch, D., Schoeberl, M., & Puschner, P. (2017). Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy. In 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC). 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada, Non-EU. IEEE. https://doi.org/10.1109/isorc.2017.17
  • Error detection based on execution-time monitoring / Steiner, D., & Puschner, P. (2017). Error detection based on execution-time monitoring. In 2017 6th Mediterranean Conference on Embedded Computing (MECO). 6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro, Non-EU. IEEE. https://doi.org/10.1109/meco.2017.7977166
  • A Self-Healing Framework for Building Resilient Cyber-Physical Systems / Ratasich, D., Höftberger, O., Isakovic, H., Shafique, M., & Grosu, R. (2017). A Self-Healing Framework for Building Resilient Cyber-Physical Systems. In 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC). 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada, Non-EU. IEEE. https://doi.org/10.1109/isorc.2017.7
  • Worm-level Control through Search-based Reinforcement Learning / Lechner, M., Grosu, R., & Hasani, R. (2017). Worm-level Control through Search-based Reinforcement Learning. In Proceedings of the Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017 (p. 5). http://hdl.handle.net/20.500.12708/57234
  • Lagrangian Reachabililty / Cyranka, J., Islam, Md. A., Byrne, G., Jones, P., Smolka, S. A., & Grosu, R. (2017). Lagrangian Reachabililty. In Computer Aided Verification (pp. 379–400). Springer. https://doi.org/10.1007/978-3-319-63387-9_19
  • A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems / Phan, D., Yang, J., Clark, M., Grosu, R., Schierman, J., Smolka, S., & Stoller, S. (2017). A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. In 2017 17th International Conference on Application of Concurrency to System Design (ACSD). Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, Zaragoza, Spain, EU. https://doi.org/10.1109/acsd.2017.23
  • A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process / Wang, G., Hasani, R., Yungang, Z., & Grosu, R. (2017). A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process. In 2017 IEEE International Conference on Industrial Technology (ICIT). 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada, Non-EU. IEEE. https://doi.org/10.1109/icit.2017.7915579
  • Compositional neural-network modeling of complex analog circuits / Hasani, R. M., Haerle, D., Baumgartner, C. F., Lomuscio, A. R., & Grosu, R. (2017). Compositional neural-network modeling of complex analog circuits. In 2017 International Joint Conference on Neural Networks (IJCNN). IEEE International Joint Conference on Neural Networks (IJCNN), Montréal, Québec, Canada, Austria. https://doi.org/10.1109/ijcnn.2017.7966126
  • Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model / Hasani, R. M., Wang, G., & Grosu, R. (2017). Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model. In Advances in Computational Intelligence (pp. 392–402). Springer. https://doi.org/10.1007/978-3-319-59147-6_34
  • Attacking the V: On the Resiliency of Adaptive-Horizon MPC / Tiwari, A., Smolka, S. A., Esterle, L., Lukina, A., Yang, J., & Grosu, R. (2017). Attacking the V: On the Resiliency of Adaptive-Horizon MPC. In Automated Technology for Verification and Analysis (pp. 446–462). Springer International Publishing. https://doi.org/10.1007/978-3-319-68167-2_29
  • A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$ / Isakovic, H., Grosu, R., Ratasich, D., Kadlec, J., Pohl, Z., Kerrison, S., Georgiou, K., Druml, N., Tadros, L., Christiansen, F., Wheatley, E., Farkas, B., Meyer, R., & Berekovic, M. (2017). A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$. In Lecture Notes in Computer Science (pp. 127–140). Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-319-66284-8_12
  • Quantitative Regular Expressions for Arrhythmia Detection Algorithms / Abbas, H., Rodionova, A., Bartocci, E., Smolka, S. A., & Grosu, R. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. In Computational Methods in Systems Biology (pp. 23–39). Springer. https://doi.org/10.1007/978-3-319-67471-1_2
  • SEA-PARAM: Exploring Schedulers in Parametric MDPs / Arming, S., Bartocci, E., & Sokolova, A. (2017). SEA-PARAM: Exploring Schedulers in Parametric MDPs. In Electronic Proceedings in Theoretical Computer Science (pp. 25–38). EPCTS. https://doi.org/10.4204/eptcs.250.3
  • A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage / Baldi, M., Bartocci, E., Chiaraluce, F., Cucchiarelli, A., Senigagliesi, L., Spalazzi, L., & Spegni, F. (2017). A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. In Quantitative Evaluation of Systems (pp. 123–139). Springer. https://doi.org/10.1007/978-3-319-66335-7_8
  • A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics / Ben Sassi, M. A., Bartocci, E., & Sankaranarayanan, S. (2017). A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics. In IFAC-PapersOnLine (pp. 10462–10469). Elsevier. https://doi.org/10.1016/j.ifacol.2017.08.1976
  • SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems / Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2017). SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. In Hardware and Software: Verification and Testing (pp. 131–146). Springer. https://doi.org/10.1007/978-3-319-70389-3_9

2016

  • Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans / Islam, Md. A., Wang, Q., Hasani, R. M., Balun, O., Clarke, E. M., Grosu, R., & Smolka, S. A. (2016). Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. In 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT). 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A., Non-EU. IEEE. https://doi.org/10.1109/hldvt.2016.7748272
  • Semi-formal Representation of Requirements for Automotive Solutions Using SysML / Muşat, L., Hübl, M., Buzo, A., Pelz, G., Kandl, S., & Puschner, P. (2016). Semi-formal Representation of Requirements for Automotive Solutions Using SysML. In Lecture Notes in Electrical Engineering (pp. 57–81). Springer International Publishing. https://doi.org/10.1007/978-3-319-24457-0_4
  • Feedback Control for Statistical Model Checking of Cyber-Physical Systems / Kalajdzic, K., Jegourel, C., Lukina, A., Bartocci, E., Legay, A., Smolka, S. A., & Grosu, R. (2016). Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA 2016), Proceedings, Part I (pp. 46–61). Springer. https://doi.org/10.1007/978-3-319-47166-2_4
  • The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems / Nguyen, T., Bartocci, E., Ničković, D., Grosu, R., Jaksic, S., & Selyunin, K. (2016). The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Proceedings, Part II (pp. 371–379). Springer. https://doi.org/10.1007/978-3-319-47169-3_28
  • Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) / Bartocci, E., & Falcone, Y. (2016). Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Proceedings, Part II (pp. 333–338). Springer. https://doi.org/10.1007/978-3-319-47169-3_24
  • Districting and Routing for Security Control / Prischink, M., Kloimüllner, C., Biesinger, B., & Raidl, G. R. (2016). Districting and Routing for Security Control. In Hybrid Metaheuristics (pp. 87–103). LNCS. https://doi.org/10.1007/978-3-319-39636-1_7
  • A simulation framework for IEEE 1588 / Wallner, W., Wasicek, A., & Grosu, R. (2016). A simulation framework for IEEE 1588. In 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS). 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden, EU. IEEE. https://doi.org/10.1109/ispcs.2016.7579516
  • Basic Concepts on Systems of Systems / Ceccarelli, A., Bondavalli, A., Froemel, B., Hoeftberger, O., & Kopetz, H. (2016). Basic Concepts on Systems of Systems. In Cyber-Physical Systems of Systems (pp. 1–39). Springer International Publishing. https://doi.org/10.1007/978-3-319-47590-5_1
  • Time and Resilient Master Clocks in Cyber-Physical Systems / Ceccarelli, A., Brancati, F., Frömel, B., & Höftberger, O. (2016). Time and Resilient Master Clocks in Cyber-Physical Systems. In Cyber-Physical Systems of Systems (pp. 165–185). Springer International Publishing. https://doi.org/10.1007/978-3-319-47590-5_6
  • Emergence in Cyber-Physical Systems-of-Systems (CPSoSs) / Kopetz, H., Bondavalli, A., Brancati, F., Frömel, B., Höftberger, O., & Iacob, S. (2016). Emergence in Cyber-Physical Systems-of-Systems (CPSoSs). In Cyber-Physical Systems of Systems (pp. 73–96). Springer International Publishing. https://doi.org/10.1007/978-3-319-47590-5_3
  • Interfaces in Evolving Cyber-Physical Systems-of-Systems / Frömel, B., & Kopetz, H. (2016). Interfaces in Evolving Cyber-Physical Systems-of-Systems. In Cyber-Physical Systems of Systems (pp. 40–72). Springer International Publishing. https://doi.org/10.1007/978-3-319-47590-5_2
  • Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / Selyunin, K., Nguyen, T., Basa, A.-D., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties. In Design and Verification Conference and Exhibition (p. 8). Online. http://hdl.handle.net/20.500.12708/56824
  • Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / Selyunin, K., Nguyen, T., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model. In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition (pp. 924–929). IEEE Computer Society. http://hdl.handle.net/20.500.12708/56706
  • A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform / Isakovic, H., & Grosu, R. (2016). A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform. In 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE). 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA, Non-EU. IEEE. https://doi.org/10.1109/isie.2016.7744897
  • Efficient modeling of complex Analog integrated circuits using neural networks / Hasani, R. M., Haerle, D., & Grosu, R. (2016). Efficient modeling of complex Analog integrated circuits using neural networks. In 2016 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME). 12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal, EU. IEEE. https://doi.org/10.1109/prime.2016.7519486
  • Temporal Logic as Filtering / Rodionova, A., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Temporal Logic as Filtering. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Proceeding HSCC ’16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria. ACM. https://doi.org/10.1145/2883817.2883839
  • Computational modeling, formal analysis and tools for systems biology / Bartocci, E., & Lió, P. (2016). Computational modeling, formal analysis and tools for systems biology. PLoS Computational Biology, 12(1), e1004591. https://doi.org/10.1371/journal.pcbi.1004591
  • Investigations on the Nervous System of Caenorhabditis elegans / M. Hasani, R., Esterle, L., & Grosu, R. (2016). Investigations on the Nervous System of Caenorhabditis elegans. Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/86397
  • Cyber-Physical Systems of Systems / Bondavalli, A., Bouchenak, S., & Kopetz, H. (Eds.). (2016). Cyber-Physical Systems of Systems. Springer International Publishing. https://doi.org/10.1007/978-3-319-47590-5
  • Computational Methods in Systems Biology / Bartocci, E., Lio, P., & Paoletti, N. (Eds.). (2016). Computational Methods in Systems Biology. Springer International Publishing. https://doi.org/10.1007/978-3-319-45177-0
  • Runtime Analysis with R2U2: A Tool Exhibition Report / Schumann, J., Moosbrugger, P., & Rozier, K. Y. (2016). Runtime Analysis with R2U2: A Tool Exhibition Report. In Runtime Verification (pp. 504–509). Springer International Publishing. https://doi.org/10.1007/978-3-319-46982-9_35
  • Parallel reachability analysis for hybrid systems / Gurung, A., Kumar, D. A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India, Non-EU. https://doi.org/10.1109/memcod.2016.7797741
  • A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems / Mori, M., Ceccarelli, A., Lollini, P., Bondavalli, A., & Frömel, B. (2016). A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. In 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE). 17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA, Non-EU. https://doi.org/10.1109/hase.2016.21
  • Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks / Wang, G., & Grosu, R. (2016). Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks. In Proceedings of S2M’16, the International Conference on Sustaniable Smart Manufacturing. S2M’16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal, EU. Taylor & Francis. http://hdl.handle.net/20.500.12708/56839
  • Composable Component Interfaces for Time-Triggered Systems / Puschner, P., & Frömel, B. (2016). Composable Component Interfaces for Time-Triggered Systems. In Proc. 19th IEEE International Symposium on Real-Time Computing (ISORC 2016) Workshops. 12th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2016), York, UK, EU. http://hdl.handle.net/20.500.12708/56731
  • Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control / Puschner, P., Cilku, B., & Prokesch, D. (2016). Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control. In 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC). IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, Frankreich, EU. 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems on Chip; ISBN 978-1-5090-3530-4. https://doi.org/10.1109/mcsoc.2016.55
  • Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability / Islam, Md. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2016). Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability. In Computational Methods in Systems Biology (pp. 132–146). LNCS, Springer. https://doi.org/10.1007/978-3-319-45177-0_9
  • Discrete Abstraction of Multiaffine Systems / Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete Abstraction of Multiaffine Systems. In Hybrid Systems Biology (pp. 128–144). Springer International Publishing. https://doi.org/10.1007/978-3-319-47151-8_9
  • Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent / Bartocci, E., Bortolussi, L., Brazdil, T., Milos, D., & Sanguinetti, G. (2016). Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. In Quantitative Evaluation of Systems (pp. 244–259). Springer International Publishing. https://doi.org/10.1007/978-3-319-43425-4_17
  • Quantitative Monitoring of STL with Edit Distance / Jakšić, S., Bartocci, E., Grosu, R., & Ničković, D. (2016). Quantitative Monitoring of STL with Edit Distance. In Runtime Verification (pp. 201–218). Springer International Publishing. https://doi.org/10.1007/978-3-319-46982-9_13
  • Applying Runtime Monitoring for Automotive Electronic Development / Selyunin, K., Nguyen, T., Bartocci, E., & Grosu, R. (2016). Applying Runtime Monitoring for Automotive Electronic Development. In Runtime Verification (pp. 462–469). Springer International Publishing. https://doi.org/10.1007/978-3-319-46982-9_30
  • Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS) / Höftberger, O. (2016). Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS). http://hdl.handle.net/20.500.12708/38829

2015

  • XSpeed: Accelerating Reachability Analysis on Multi-core Processors / Rajarshi, R., Amit, G., Binayak, D., Bartocci, E., Bogomolov, S., & Grosu, R. (2015). XSpeed: Accelerating Reachability Analysis on Multi-core Processors. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 3–18). LNCS / Springer. https://doi.org/10.1007/978-3-319-26287-1_1
  • Requirement Semi-formalization Methodology for SoC Design (Best Paper Award) / Musat, L., Kandl, S., Puschner, P., Hübl, M., Buzo, A., & Pelz, G. (2015). Requirement Semi-formalization Methodology for SoC Design (Best Paper Award). In Proceedings of the 12th International SoC Design Conference (IEEE). 12th International SoC Design Conference (ISOCC 2015), Gyeongju, South Korea, Non-EU. http://hdl.handle.net/20.500.12708/56242
  • Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems / Kandl, S. (2015). Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems. In Progress in Systems Engineering (pp. 595–601). Springer International Publishing. https://doi.org/10.1007/978-3-319-08422-0_84
  • The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / Hepp, S., Huber, B., Knoop, J., Prokesch, D., & Puschner, P. (2015). The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee, Austria. http://hdl.handle.net/20.500.12708/56394
  • A Strategy for Generating Time-Predictable Code / Prokesch, D., & Puschner, P. (2015). A Strategy for Generating Time-Predictable Code. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee, Austria. http://hdl.handle.net/20.500.12708/56375
  • Generic sensor fusion package for ROS / Ratasich, D., Frömel, B., Höftberger, O., & Grosu, R. (2015). Generic sensor fusion package for ROS. In 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg, EU. IEEE. https://doi.org/10.1109/iros.2015.7353387
  • T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., … Tocchi, A. (2015). T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture, 61(9), 449–471. https://doi.org/10.1016/j.sysarc.2015.04.002
  • From signal temporal logic to FPGA monitors / Jaksic, S., Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T., & Nickovic, D. (2015). From signal temporal logic to FPGA monitors. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA, Non-EU. IEEE. https://doi.org/10.1109/memcod.2015.7340489
  • Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic / Bartocci, E., Bortolussi, L., Milos, D., Nenzi, L., & Sanguinetti, G. (2015). Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic. In Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology (pp. 1–17). LNCS / LNBI / Springer. http://hdl.handle.net/20.500.12708/56256
  • System Design of Stochastic Models using Robustness of Temporal Properties / Bartocci, E., Bortolussi, L., Nenzi, L., & Sanguinetti, G. (2015). System Design of Stochastic Models using Robustness of Temporal Properties. Theoretical Computer Science, 587, 3–25. https://doi.org/10.1016/j.tcs.2015.02.046
  • Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation / Ariful Islam, Md., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., Smolka, S. A., & Grosu, R. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599, 34–46. https://doi.org/10.1016/j.tcs.2014.03.018
  • A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems / Kloimüllner, C. (2015). A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems. VeroLog 2015, Universität Wien, Austria. http://hdl.handle.net/20.500.12708/86160
  • Single-Path Code Generation for the Patmos Processor / Prokesch, D. (2015). Single-Path Code Generation for the Patmos Processor. TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande, EU. http://hdl.handle.net/20.500.12708/86030
  • From Embedded Systems to System of Systems / Kopetz, H. (2015). From Embedded Systems to System of Systems. ITASC Workshop: Intelligent Transportation and Smart City, Shanghai, Non-EU. http://hdl.handle.net/20.500.12708/86183
  • Runtime Verification / Bartocci, E., & Majumdar, R. (Eds.). (2015). Runtime Verification. Springer International Publishing. https://doi.org/10.1007/978-3-319-23820-3
  • SpaTeL / Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Gros, R., & Belta, C. (2015). SpaTeL. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, Non-EU. ACM. https://doi.org/10.1145/2728606.2728633
  • Direct versus stigmergic information flow in systems-of-systems / Kopetz, H., Frömel, B., & Höftberger, O. (2015). Direct versus stigmergic information flow in systems-of-systems. In 2015 10th System of Systems Engineering Conference (SoSE). 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA, Non-EU. https://doi.org/10.1109/sysose.2015.7151963
  • A TDMA-Based arbitration scheme for mixed-criticality multicore platforms / Cilku, B., Crespo, A., Puschner, P., Coronel, J., & Salvador, P. (2015). A TDMA-Based arbitration scheme for mixed-criticality multicore platforms. In 2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP). The first international conference on Event-based Control, Communication, and Signal Processing (EBCCSP), 2015, Krakow, Poland, EU. IEEE. https://doi.org/10.1109/ebccsp.2015.7300671
  • R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems / Schumann, J., Moosbrugger, P., & Rozier, K. Y. (2015). R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. In Runtime Verification (pp. 233–249). Springer. https://doi.org/10.1007/978-3-319-23820-3_15
  • A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking / Cilku, B., Prokesch, D., & Puschner, P. (2015). A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking. In 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems SEUS 2015, Auckland, New Zealand, Non-EU. IEEE. https://doi.org/10.1109/isorcw.2015.58
  • A Generator for Time-Predictable Code / Prokesch, D., Hepp, S., & Puschner, P. (2015). A Generator for Time-Predictable Code. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand, Non-EU. IEEE. https://doi.org/10.1109/isorc.2015.40
  • Simplification Principles in the Design of Cyber-Physical System-of-Systems / Kopetz, H. (2015). Simplification Principles in the Design of Cyber-Physical System-of-Systems. In Complex Systems Design & Management (pp. 39–51). Springer International Publishing. https://doi.org/10.1007/978-3-319-26109-6_3
  • Towards an understanding of emergence in systems-of-systems / Kopetz, H., Höftberger, O., Frömel, B., Brancati, F., & Bondavalli, A. (2015). Towards an understanding of emergence in systems-of-systems. In 2015 10th System of Systems Engineering Conference (SoSE). 10th Annual Systems of Systems Engineering Conference 2015, San Antonio, TX, USA, Non-EU. https://doi.org/10.1109/sysose.2015.7151925
  • Neural Programming: Towards adaptive control in Cyber-Physical Systems / Selyunin, K., Ratasich, D., Bartocci, E., Islam, M. A., Smolka, S. A., & Grosu, R. (2015). Neural Programming: Towards adaptive control in Cyber-Physical Systems. In 2015 54th IEEE Conference on Decision and Control (CDC). 54th IEEE Conference on Decision and Control, Osaka, Japan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/cdc.2015.7403319
  • Explaining Heisenbugs / Weissenbacher, G. (2015). Explaining Heisenbugs. In E. Bartocci & R. Majumdar (Eds.), Runtime Verification (p. XV). Lecture Notes in Computer Science/Springer. http://hdl.handle.net/20.500.12708/56231
  • A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems / Kloimüllner, C., Papazek, P., Raidl, G., & Hu, B. (2015). A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems. In A. Quesada-Arencibia (Ed.), Extended Abstracts of the 15th International Conference on Computer Aided Systems Theory (pp. 125–126). http://hdl.handle.net/20.500.12708/56222
  • Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment / Phan, D., Yang, J., Ratasich, D., Grosu, R., Smolka, S. A., & Stoller, S. D. (2015). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In Runtime Verification (pp. 201–215). Springer. https://doi.org/10.1007/978-3-319-23820-3_13
  • How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations / Kandl, S. (2015). How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations. In DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain. Design, Automation and Test in Europe Conference (DATE), Munich, Germany, EU. http://hdl.handle.net/20.500.12708/56034
  • Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 / Kandl, S. (2015). Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262. In M. Parson & T. Anderson (Eds.), Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium (pp. 95–115). http://hdl.handle.net/20.500.12708/56021
  • Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals / Murthy, A., Islam, Md. A., Smolka, S. A., & Grosu, R. (2015). Computing bisimulation functions using SOS optimization and            δ            -decidability over the reals. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, Non-EU. ACM. https://doi.org/10.1145/2728606.2728609
  • Abstraction-Based Parameter Synthesis for Multiaffine Systems / Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-Based Parameter Synthesis for Multiaffine Systems. In Hardware and Software: Verification and Testing (pp. 19–35). LNCS / Springer. https://doi.org/10.1007/978-3-319-26287-1_2

2014

  • Simulation study of interface traps and bulk traps in n⁺⁺GaN/InAlN/AlN/GaN high electron mobility transistors / Molnár, M., Donoval, D., Kuzmík, J., Marek, J., Chvála, A., Príbytný, P., Mikolášek, M., Rendek, K., & Palankovski, V. (2014). Simulation study of interface traps and bulk traps in n++GaN/InAlN/AlN/GaN high electron mobility transistors. Applied Surface Science, 312, 157–161. https://doi.org/10.1016/j.apsusc.2014.04.078
  • Semi-formal Representation of Requirements for Automotive Solutions using SysML / Musat, L., Hübl, M., Buzo, A., Pelz, G., Kandl, S., & Puschner, P. (2014). Semi-formal Representation of Requirements for Automotive Solutions using SysML. In Proceedings of the Forum on Specification & Design Languages (FDL 2014). Forum on specification & Design Languages (FDL), Southampton, UK, EU. http://hdl.handle.net/20.500.12708/55272
  • Using Statistical Model Checking for Measuring Systems / Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D., & Yang, J. (2014). Using Statistical Model Checking for Measuring Systems. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014, Proceedings, Part II (pp. 223–238). Springer. https://doi.org/10.1007/978-3-662-45231-8_16
  • Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients / Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., LUCANGELO, U., & Bortolussi, L. (2014). Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014, Proceedings, Part II (pp. 391–403). Springer. https://doi.org/10.1007/978-3-662-45231-8_30
  • Medical Cyber-Physical Systems / Bartocci, E., Gao, S., & Smolka, S. A. (2014). Medical Cyber-Physical Systems. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014, Proceedings, Part II (pp. 353–355). Springer. https://doi.org/10.1007/978-3-662-45231-8_25
  • Scope-based Method Cache Analysis / Huber, B., Hepp, S., & Schöberl, M. (2014). Scope-based Method Cache Analysis. In H. Falk (Ed.), 14th International Workshop on Worst-Case Execution Time Analysis (pp. 73–82). OpenAccess Series in Informatics (OASIcs). https://doi.org/10.4230/OASIcs.WCET.2014.73
  • Towards Automated Generation of Time-Predictable Code / Prokesch, D., Huber, B., & Puschner, P. (2014). Towards Automated Generation of Time-Predictable Code. In H. Falk (Ed.), 14th International Workshop on Worst-Case Execution Time Analysis (pp. 103–112). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/OASIcs.WCET.2014.103
  • Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems / Höftberger, O., & Obermaisser, R. (2014). Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems. In 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil, Non-EU. https://doi.org/10.1109/indin.2014.6945570
  • Keynote: From embedded systems to systems of systems / Kopetz, H. (2014). Keynote: From embedded systems to systems of systems. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (pp. 292–292). IEEE. https://doi.org/10.1109/isorc.2014.58
  • Cyber-Physical Systems: Theoretical and Practical Challenges / Bartocci, E., Höftberger, O., & Grosu, R. (2014). Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM NEWS, 2014(97), 8–9. http://hdl.handle.net/20.500.12708/157429
  • Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation / Kandl, S., & Chandrashekar, S. (2014). Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation. Computing, 97(3), 261–279. https://doi.org/10.1007/s00607-014-0418-5
  • Hybrid Systems and Biology / Bartocci, E., Bortolussi, L., & Smolka, S. A. (2014). Hybrid Systems and Biology. Information and Computation, 236, 1–2. https://doi.org/10.1016/j.ic.2014.01.008
  • A Method Cache for Patmos / Degasperi, P., Hepp, S., Puffitsch, W., & Schoeberl, M. (2014). A Method Cache for Patmos. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA, Non-EU. https://doi.org/10.1109/isorc.2014.47
  • platin -­ A Toolkit for Compiler and WCET-Analysis Integration / Hepp, S., Huber, B., & Prokesch, D. (2014). platin -­ A Toolkit for Compiler and WCET-Analysis Integration. TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark, EU. http://hdl.handle.net/20.500.12708/85992
  • Single-Path Code Generation and Input-Data Dependence Analysis / Prokesch, D. (2014). Single-Path Code Generation and Input-Data Dependence Analysis. T-CREST/parMERASA/CERTAINTY Workshop, Madrid, EU. http://hdl.handle.net/20.500.12708/85991
  • Balancing Bicycle Sharing Systems / Kloimüllner, C., Papazek, P., Hu, B., & Raidl, G. (2014). Balancing Bicycle Sharing Systems. EULOG 2014, Wien, Austria. http://hdl.handle.net/20.500.12708/85933
  • Why a Global Time is Needed in a Dependable SoS / Kopetz, H. (2014). Why a Global Time is Needed in a Dependable SoS. Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom, EU. http://hdl.handle.net/20.500.12708/85920
  • From Embedded Systems to Systems of Systems / Kopetz, H. (2014). From Embedded Systems to Systems of Systems. 27th International Conference on VLSI Design 2014, Mumbai, India, Non-EU. http://hdl.handle.net/20.500.12708/85921
  • Systems of Systems Need a Global Time / Kopetz, H. (2014). Systems of Systems Need a Global Time. 23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA, Non-EU. http://hdl.handle.net/20.500.12708/85918
  • Formal Verification at System Level / Kandl, S., Elshuber, M., & Puschner, P. (2014). Formal Verification at System Level. HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna, Austria. http://hdl.handle.net/20.500.12708/85778
  • Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award) / Kandl, S., & Forey, J.-M. (2014). Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award). In Proceedings of the Seventh International Conference on Dependability (DEPEND 2014). Seventh International Conference on Dependability (DEPEND 2014), Lisbon, Portugal, EU. http://hdl.handle.net/20.500.12708/55271
  • Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case. / Kloimüllner, C., Papazek, P., Hu, B., & Raidl, G. (2014). Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case. In C. Blum & G. Ochoa (Eds.), Lecture Notes in Computer Science. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44320-0
    Project: BBSS (2011–2016)
  • Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid. / Papazek, P., Kloimüllner, C., Hu, B., & Raidl, G. (2014). Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid. In T. Bartz - Beielstein, J. Branke, B. Filipic, & J. Smith (Eds.), Lecture Notes in Computer Science. Lecture Notes in Computer Science, Springer International Publishing. https://doi.org/10.1007/978-3-319-10762-2
    Project: BBSS (2011–2016)
  • Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems / Kandl, S. (2014). Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems. In Proceedings of the Twenty-Third International Conference on Systems Engineering (ICSEng 2014). Twenty-Third International Conference on Systems Engineering (ICSEng 2014), Las Vegas, Nevada, USA, Non-EU. http://hdl.handle.net/20.500.12708/55173
  • A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems / Ayestaran, I., Nicolas, C. F., Perez, J., Ortube, A. L., & Puschner, P. (2014). A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems. In Proceedings of the Forum on Specification & Design Languages (FDL 2014). Forum on specification & Design Languages (FDL), Southampton, UK, EU. http://hdl.handle.net/20.500.12708/55769
  • A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms / Cilku, B., & Puschner, P. (2014). A Memory Arbitration Scheme for Mixed-Criticality Multicore Platforms. In Proceedings of the 2 nd International Workshop on Mixed Criticality Systems (pp. 27–32). http://hdl.handle.net/20.500.12708/55767
  • Designing a Time-Predictable Memory Hierarchy for Single-Path Code / Cilku, B., & Puschner, P. (2014). Designing a Time-Predictable Memory Hierarchy for Single-Path Code. In Designing a Time-Predictable Memory Hierarchy for Single-Path Code (pp. 9–14). http://hdl.handle.net/20.500.12708/55766
  • A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors / Cilku, B., Frömel, B., & Puschner, P. (2014). A Dual-Layer Bus Arbiter for Mixed-Criticality Systems with Hypervisors. In Proc. of the 12th IEEE International Conference on Industrial Informatics (pp. 147–151). http://hdl.handle.net/20.500.12708/55765
  • Virtual CAN Lines in an Integrated MPSoC Architecture / Wasicek, A., Höftberger, O., Elshuber, M., Isakovic, H., & Fleck, A. (2014). Virtual CAN Lines in an Integrated MPSoC Architecture. In Proc. of the 12th IEEE International Conference on Industrial Informatics (pp. 158–165). http://hdl.handle.net/20.500.12708/55736
  • Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control / Ariful, I., Deshpande, T., Murthy, A., Bartocci, E., Smolka, S. A., Stoller, S. D., & Grosu, R. (2014). Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control. In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (pp. 52–58). IARIA. http://hdl.handle.net/20.500.12708/55802
  • A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems / Aydin Gol, E., Bartocci, E., & Belta, C. (2014). A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. In Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control (pp. 108–113). IEEE. http://hdl.handle.net/20.500.12708/55797
  • Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems / Ayestaran, I., Nicolas, C. F., Perez, J., Ortube, A. L., & Puschner, P. (2014). Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. In Proceedings 17th IEEE Symposium on Object/Component/Service-oriented Real-time distributed Computing (ISORC) (pp. 180–187). IEEE. http://hdl.handle.net/20.500.12708/55782
  • Security Application of Failure Mode and Effect Analysis (FMEA) / Schmittner, C., Gruber, T., Puschner, P., & Schoitsch, E. (2014). Security Application of Failure Mode and Effect Analysis (FMEA). In Computer Safety, Reliability and Security (pp. 310–325). Lecture Notes in Computer Science / Springer. http://hdl.handle.net/20.500.12708/55780
  • A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems / Ayestaran, I., Nicolas, C. F., Perez, J., Ortube, A. L., & Puschner, P. (2014). A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. In Computer Safety, Reliability and Security (pp. 1–16). Lecture Notes in Computer Science / Springer. http://hdl.handle.net/20.500.12708/55779
  • A Formal Approach to System Integration Testing / Kandl, S., & Elshuber, M. (2014). A Formal Approach to System Integration Testing. In Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014). Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, EU. http://hdl.handle.net/20.500.12708/55140
  • Modeling logical execution time based safety-critical embedded systems in SystemC / Ayestaran, I., Nicolas, C. F., Perez, J., & Puschner, P. (2014). Modeling logical execution time based safety-critical embedded systems in SystemC. In 2014 3rd Mediterranean Conference on Embedded Computing (MECO). The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, Non-EU. IEEE. https://doi.org/10.1109/meco.2014.6862662
  • Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems / Grosu, R., Bogomolov, S., Frehse, G., Greitschus, M., Pasareanu, C., Podelski, A., & Strump, T. (2014). Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems. In Proc. of HVC’14, the Haifa Verification Conference. Haifa Verification Conference HVC 2014, Haifa, Isral, Non-EU. http://hdl.handle.net/20.500.12708/55828
  • Compositionality Results for Cardiac Cell Dynamics / Grosu, R., Islam, A., Murthy, A., Girard, A., & Smolka, S. A. (2014). Compositionality Results for Cardiac Cell Dynamics. In Proc. of HSCC’14, the 17th International Conference on Hybrid Systems: Computation and Control (pp. 243–252). http://hdl.handle.net/20.500.12708/55826
  • Towards a GPGPU-parallel SPIN model checker / Bartocci, E., DeFrancisco, R., & Smolka, S. A. (2014). Towards a GPGPU-parallel SPIN model checker. In Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. 21th International SPIN Symposium on Model Checking of Software, San Jose, California, Non-EU. ACM. https://doi.org/10.1145/2632362.2632379
  • Data-Driven Statistical Learning of Temporal Logic Properties / Bartocci, E., Bortolussi, L., & Sanguinetti, G. (2014). Data-Driven Statistical Learning of Temporal Logic Properties. In Lecture Notes in Computer Science (pp. 23–37). LNCS/Springer. https://doi.org/10.1007/978-3-319-10512-3_3
  • Towards synchronous deterministic channels for the Internet of Things / Steiner, W., Bonomi, F., & Kopetz, H. (2014). Towards synchronous deterministic channels for the Internet of Things. In Proc. of the IEEE World Forum on Internet of Things 2014 (WF-IoT2014) (pp. 433–436). IEEE. http://hdl.handle.net/20.500.12708/55750
  • A Conceptual Model for the Information Transfer in System of Systems / Kopetz, H. (2014). A Conceptual Model for the Information Transfer in System of Systems. In Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (pp. 17–24). http://hdl.handle.net/20.500.12708/55746
  • First International Competition of Software for Runtime Verification / Bartocci, E., Bonakdarpour, B., & Falcone, Y. (2014). First International Competition of Software for Runtime Verification. In Lecture Notes in Computer Science. 14th International Conference on Runtime Verification, Canada, Non-EU. https://doi.org/10.1007/978-3-319-11164-3

2013

  • Improving System-Level Verification of SystemC Models with SPIN / Elshuber, M., Kandl, S., & Puschner, P. (2013). Improving System-Level Verification of SystemC Models with SPIN. In C. Choppy & J. Sun (Eds.), 1st French Singaporean Workshop on Formal Methods and Applications (pp. 74–79). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/OASIcs.FSFMA.2013.74
  • A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits / Bartocci, E., Bortolussi, L., & Nenzi, L. (2013). A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. In Computational Methods in Systems Biology (pp. 164–177). LNCS/Springer. https://doi.org/10.1007/978-3-642-40708-6_13
  • On the Robustness of Temporal Properties for Stochastic Models / Bartocci, E., Bortolussi, L., Nenzi, L., & Sanguinetti, G. (2013). On the Robustness of Temporal Properties for Stochastic Models. In Electronic Proceedings in Theoretical Computer Science (pp. 3–19). Electronic Proceedings on Theoretical Computer Science. https://doi.org/10.4204/eptcs.125.1
  • Dependable and predictable time-triggered Ethernet networks with COTS components / Elshuber, M., & Obermaisser, R. (2013). Dependable and predictable time-triggered Ethernet networks with COTS components. The Journal of Systems Architecture: Embedded Software Design, 59(9), 679–690. https://doi.org/10.1016/j.sysarc.2013.07.003
  • Composability and compositionality in CAN-based automotive systems based on bus and star topologies / Kammerer, R., Frömel, B., Obermaisser, R., & Milbredt, P. (2013). Composability and compositionality in CAN-based automotive systems based on bus and star topologies. In 2013 11th IEEE International Conference on Industrial Informatics (INDIN). IEEE 11th International Conference on Industrial Informatics INDIN´2013, Bochum, Germany, EU. https://doi.org/10.1109/indin.2013.6622868
  • Ontology-based runtime reconfiguration of distributed embedded real-time systems / Höftberger, O., & Obermaisser, R. (2013). Ontology-based runtime reconfiguration of distributed embedded real-time systems. In 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013). 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland, Non-EU. https://doi.org/10.1109/isorc.2013.6913205
  • Curvature Analysis of Cardiac Excitation Wavefronts / Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R. A., Cherry, E. M., Smolka, S. A., & Grosu, R. (2013). Curvature Analysis of Cardiac Excitation Wavefronts. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(2), 323–336. https://doi.org/10.1109/tcbb.2012.125
  • Data cache organization for accurate timing analysis / Schoeberl, M., Huber, B., & Puffitsch, W. (2013). Data cache organization for accurate timing analysis. Real-Time Systems, 49(1), 1–28. https://doi.org/10.1007/s11241-012-9159-8
  • The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems / El Salloum, C., Elshuber, M., Höftberger, O., Isakovic, H., & Wasicek, A. (2013). The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems. Microprocessors and Microsystems, 37(8), 1020–1032. https://doi.org/10.1016/j.micpro.2013.08.002
  • The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration / Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration. July’13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris, EU. http://hdl.handle.net/20.500.12708/85575
  • Model Checking Software / Bartocci, E., & Ramakrishnan, C. R. (Eds.). (2013). Model Checking Software. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39176-7
  • Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses / Cilku, B., Kammerer, R., & Puschner, P. (2013). Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses. In Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada, Non-EU. http://hdl.handle.net/20.500.12708/54805
  • Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors / Cilku, B., & Puschner, P. (2013). Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors. 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. 1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan, Non-EU. http://hdl.handle.net/20.500.12708/54804
  • Monitoring with uncertainty / Bartocci, E., & Grosu, R. (2013). Monitoring with uncertainty. In Electronic Proceedings in Theoretical Computer Science (pp. 1–4). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.124.1
  • Sampling-based Decentralized Monitoring for Networked Embedded Systems / Bartocci, E. (2013). Sampling-based Decentralized Monitoring for Networked Embedded Systems. In Electronic Proceedings in Theoretical Computer Science (pp. 85–99). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.124.9
  • Abstraction-Based Guided Search for Hybrid Systems / Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T. T., Ladan, H., Podelski, A., & Wehrle, M. (2013). Abstraction-Based Guided Search for Hybrid Systems. In Model Checking Software (pp. 117–134). LNCS, Springer. https://doi.org/10.1007/978-3-642-39176-7_8
  • Secure channels in an integrated MPSoC architecture / Isakovic, H., & Wasicek, A. (2013). Secure channels in an integrated MPSoC architecture. In IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society. 39th Annual Conference of the IEEE Industrial Electronics Society, Wien, Austria. https://doi.org/10.1109/iecon.2013.6699858
  • Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation / Kandl, S., & Chandrashekar, S. (2013). Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland, EU. IEEE Proceedings. http://hdl.handle.net/20.500.12708/54685
  • Runtime Verification with Particle Filtering / Kalajdzic, K., Bartocci, E., Stoller, S. D., Smolka, S. A., & Grosu, R. (2013). Runtime Verification with Particle Filtering. In Runtime Verification (pp. 149–166). LNCS/Springer. https://doi.org/10.1007/978-3-642-40787-1_9
  • Combined WCET analysis of bitcode and machine code using control-flow relation graphs / Huber, B., Prokesch, D., & Puschner, P. (2013). Combined WCET analysis of bitcode and machine code using control-flow relation graphs. In ACM SIGPLAN Notices (pp. 163–172). The Association for Computing Machinery. https://doi.org/10.1145/2499369.2465567
  • Constructing Time-Critical Embedded Systems: Decide Before Runtime / Puschner, P. (2013). Constructing Time-Critical Embedded Systems: Decide Before Runtime. In Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO) (p. 3). IEEE. http://hdl.handle.net/20.500.12708/55778
  • Embedded Systems for Safety-Critical and Mixed-Criticality Applications / Puschner, P. (2013). Embedded Systems for Safety-Critical and Mixed-Criticality Applications. In Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO) (p. 15). IEEE. http://hdl.handle.net/20.500.12708/55777
  • Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification / Melnychenko, O., & Kreuter, H.-P. (2013). Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification. In Austrochip 2013. Tagungsband (pp. 17–21). http://hdl.handle.net/20.500.12708/55052
  • A metric driven verification and validation approach for Smart Power devices / Melnychenko, O., & Kreuter, H.-P. (2013). A metric driven verification and validation approach for Smart Power devices. In Proceedings of the 2013 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME). 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach, Austria. https://doi.org/10.1109/prime.2013.6603177
  • The T-CREST Approach of Compiler and WCET-Analysis Integration / Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., & Gebhard, G. (2013). The T-CREST Approach of Compiler and WCET-Analysis Integration. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland, EU. http://hdl.handle.net/20.500.12708/55037
  • Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach / Geyer, C., Huber, B., Prokesch, D., & Puschner, P. (2013). Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach. In Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013). 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland, Non-EU. http://hdl.handle.net/20.500.12708/55034

2012

  • A router for the containment of timing and value failures in CAN / Kammerer, R., Obermaisser, R., & Frömel, B. (2012). A router for the containment of timing and value failures in CAN. EURASIP Journal on Embedded Systems, 2012(4). https://doi.org/10.1186/1687-3963-2012-4
  • UBioLab: a web-LABoratory for Ubiquitous in-silico experiments / Bartocci, E., Cacciagrano, D., Di Berardini, M. R., Merelli, E., & Vito, L. (2012). UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. Journal of Integrative Bioinformatics, 9(1), 1–20. https://doi.org/10.2390/biecoll-jib-2012-192
  • Enhancing security in CAN systems using a star coupling router / Kammerer, R., Frömel, B., & Wasicek, A. (2012). Enhancing security in CAN systems using a star coupling router. In 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12). 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12), Karlsruhe, EU. IEEE. https://doi.org/10.1109/sies.2012.6356590
  • Compiling for Time Predictability / Puschner, P., Kirner, R., Prokesch, D., & Huber, B. (2012). Compiling for Time Predictability. In Lecture Notes in Computer Science. ERCIM/EWICS/Cyberphysical Systems Workshop, Magdeburg, Germany, EU. Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-642-33675-1
  • On Temporal Logic and Signal Processing / Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. (2012). On Temporal Logic and Signal Processing. In Automated Technology for Verification and Analysis (pp. 92–106). LNCS/Springer. https://doi.org/10.1007/978-3-642-33386-6_9
  • A Formal Framework for Precise Parametric WCET Formulas / Huber, B., Prokesch, D., & Puschner, P. (2012). A Formal Framework for Precise Parametric WCET Formulas. In T. Vardanega (Ed.), 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012 (pp. 91–102). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/OASIcs.WCET.2012.91
  • Dynamic Configuration of a Time-Triggered Router for Controller Area Network / Kammerer, R., Obermaisser, R., & Frömel, B. (2012). Dynamic Configuration of a Time-Triggered Router for Controller Area Network. In 17th IEEE International Conference on Emerging Technologies and Factory Automation. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Krakow, Poland, EU. http://hdl.handle.net/20.500.12708/54363
  • Software monitoring with controllable overhead / Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S. A., Stoller, S. D., & Zadok, E. (2012). Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer, 14(3), 327–347. https://doi.org/10.1007/s10009-010-0184-4
  • InterAspect: aspect-oriented instrumentation with GCC / Seyster, J., Dixit, K., Huang, X., Grosu, R., Havelund, K., Smolka, S. A., Stoller, S. D., & Zadok, E. (2012). InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design, 41(3), 295–320. https://doi.org/10.1007/s10703-012-0171-3
  • Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study / Bartocci, E., Liò, P., Merelli, E., & Paoletti, N. (2012). Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Lecture Notes in Computer Science, 53–76. https://doi.org/10.1007/978-3-642-35524-0_3
  • Worst-case execution time analysis-driven object cache design / Huber, B., Puffitsch, W., & Schoeberl, M. (2012). Worst-case execution time analysis-driven object cache design. Concurrency and Computation: Practice and Experience, 24 ISSUE 8(24/8), 753–771. http://hdl.handle.net/20.500.12708/164392
  • Proceedings First International Workshop on Hybrid Systems and Biology / Bartocci, E., & Bortolussi, L. (Eds.). (2012). Proceedings First International Workshop on Hybrid Systems and Biology. Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.92
  • A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx / Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., & Podelski, A. (2012). A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. In Computer Aided Verification (pp. 479–494). LNCS / Springer. https://doi.org/10.1007/978-3-642-31424-7_35
  • Approximate Bisimulations for Sodium Channel Dynamics / Murthy, A., Ariful, I., Bartocci, E., Cherry, E., Fenton, F. H., Glimm, J., Smolka, S. A., & Grosu, R. (2012). Approximate Bisimulations for Sodium Channel Dynamics. In Computational Methods in Systems Biology (pp. 267–287). LNCS / Springer. https://doi.org/10.1007/978-3-642-33636-2_16
  • Adaptive Runtime Verification / Bartocci, E., Grosu, R., Karmarkar, A., Smolka, S. A., Stoller, S. D., & Seyster, J. (2012). Adaptive Runtime Verification. In Runtime Verification (pp. 168–182). LNCS / Springer. https://doi.org/10.1007/978-3-642-35632-2_18
  • The ACROSS MPSoC -- A New Generation of Multi-core Processors Designed for Safety-Critical Embedded Systems / El Salloum, C., Elshuber, M., Höftberger, O., Isakovic, H., & Wasicek, A. (2012). The ACROSS MPSoC -- A New Generation of Multi-core Processors Designed for Safety-Critical Embedded Systems. In 2012 15th Euromicro Conference on Digital System Design. DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey, EU. IEEE Computer Society. https://doi.org/10.1109/dsd.2012.126
  • Runtime Verification with State Estimation / Stoller, S. D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S. A., & Zadok, E. (2012). Runtime Verification with State Estimation. In Runtime Verification (pp. 193–207). LNCS / Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29860-8_15
  • Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets / Lechner, J., & Lampacher, M. (2012). Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets. In Computer Design (ICCD), 2012 IEEE 30th International Conference on (pp. 480–481). http://hdl.handle.net/20.500.12708/54527
  • A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding / Lechner, J., Lampacher, M., & Polzer, T. (2012). A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding. In Application of Concurrency to System Design (ACSD), 2012 12th International Conference on (pp. 122–131). http://hdl.handle.net/20.500.12708/54526

2011

  • universAAL - an open and consolidated AAL platform / Hanke, S., Mayer, C., Höftberger, O., Boos, H., Wichert, R., & Wolf, P. (2011). universAAL - an open and consolidated AAL platform. In Demographischer Wandel - Assistenzsysteme aus der Forschung in den Markt (AAL 2011). 4. Deutsche AAL-Kongress, Berlin, Deutschland, EU. http://hdl.handle.net/20.500.12708/53922
  • Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach / Schoeberl, M., Schleuniger, P., Puffitsch, W., & Brandner, F. (2011). Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. In First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011) (pp. 11–21). http://hdl.handle.net/20.500.12708/53919
  • Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility / Bünte, S., Zolda, M., & Kirner, R. (2011). Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility. In Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility (pp. 110–129). IGI Global. https://doi.org/10.4018/978-1-60960-086-0
  • Improving the Confidence in Measurement-Based Timing Analysis / Bünte, S., Zolda, M., Tautschnig, M., & Kirner, R. (2011). Improving the Confidence in Measurement-Based Timing Analysis. In 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011) (pp. 144–151). IEEE. http://hdl.handle.net/20.500.12708/53907
  • Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip / Obermaisser, R., & Höftberger, O. (2011). Fault Containment in a Reconfigurable Multi‐Processor System‐on‐a‐Chip. In 21st IEEE International Symposium on Industrial Electronics (ISIE 2011 (pp. 1561–1568). IEEE. http://hdl.handle.net/20.500.12708/53933
  • Sternkoppler für Controller Area Network (CAN) auf Basis eines Multi-Processor System-on-a-Chip (MPSoC) / Obermaisser, R., Kammerer, R., & Kasper, A. (2011). Sternkoppler für Controller Area Network (CAN) auf Basis eines Multi-Processor System-on-a-Chip (MPSoC). In Proc. of AmE 2011 - Automotive meets Electronics. AmE 2011 - Automotive meets Electronics, Dortmund, Deutschland, EU. http://hdl.handle.net/20.500.12708/53921
  • Modeling the cell cycle: From deterministic models to hybrid systems / Alfieri, R., Bartocci, E., Merelli, E., & Milanesi, L. (2011). Modeling the cell cycle: From deterministic models to hybrid systems. BioSystems, 105(1), 34–40. https://doi.org/10.1016/j.biosystems.2011.03.002
  • Model Repair for Probabilistic Systems / Bartocci, E., Grosu, R., Katsaros, P., Ramakrishnan, C. R., & Smolka, S. A. (2011). Model Repair for Probabilistic Systems. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 326–340). LNCS / Springer. https://doi.org/10.1007/978-3-642-19835-9_30
  • Using a Local Prefetch Strategy to Obtain Temporal Time Predictability / Cilku, B., & Puschner, P. (2011). Using a Local Prefetch Strategy to Obtain Temporal Time Predictability. In Proc. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) (pp. 227–234). IEEE. http://hdl.handle.net/20.500.12708/53923
  • Hard Real-Time Garbage Collection for a Java Chip Multi-Processor / Puffitsch, W. (2011). Hard Real-Time Garbage Collection for a Java Chip Multi-Processor. In Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011), York, United Kingdom, EU. ACM. http://hdl.handle.net/20.500.12708/53920
  • Successful communication in European research projects - the GENESYS project as best practice / Kuster, S. (2011). Successful communication in European research projects - the GENESYS project as best practice. In Wirtschaft und Management, Schriftenreihe zur Wissenschaftlichen Forschung und Praxis, Band 15 (pp. 75–89). Wirtschaft und Management. http://hdl.handle.net/20.500.12708/53918
  • Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation / Zolda, M., Kirner, R., & Bünte, S. (2011). Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. In Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’11) (pp. 243–250). http://hdl.handle.net/20.500.12708/53917
  • Let's Get Less Optimistic In Measurement-Based Timing Analysis / Bünte, S., Zolda, M., & Kirner, R. (2011). Let’s Get Less Optimistic In Measurement-Based Timing Analysis. In Proc. 6th International Symposium on Industrial Embedded Systems (SIES’11) (pp. 204–212). http://hdl.handle.net/20.500.12708/53916
  • Towards an open timing analysis platform / Huber, B., Puffitsch, W., & Puschner, P. (2011). Towards an open timing analysis platform. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (pp. 6–15). http://hdl.handle.net/20.500.12708/53912
  • Roll-Forward Recovery with State Estimation / Mikolasek, V., & Kopetz, H. (2011). Roll-Forward Recovery with State Estimation. In 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC) (pp. 179–186). IEEE. http://hdl.handle.net/20.500.12708/53910
  • Authentication in Time-Triggered Systems using Time-delayed Release of Keys / Wasicek, A., El Salloum, C., & Kopetz, H. (2011). Authentication in Time-Triggered Systems using Time-delayed Release of Keys. In 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC) (pp. 31–39). IEEE. http://hdl.handle.net/20.500.12708/53909
  • Curvature analysis of cardiac excitation wavefronts / Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R., Smolka, S. A., & Grosu, R. (2011). Curvature analysis of cardiac excitation wavefronts. In Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB ’11. CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, EU. ACM. https://doi.org/10.1145/2037509.2037532
  • Toward real-time simulation of cardiac dynamics / Bartocci, E., Cherry, E., Glimm, J., Grosu, R., & Smolka, S. A. (2011). Toward real-time simulation of cardiac dynamics. In Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB ’11. CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, EU. ACM. https://doi.org/10.1145/2037509.2037525
  • From Cardiac Cells to Genetic Regulatory Networks / Grosu, R., Batt, G., Fenton, F. H., Glimm, J., Le Guernic, C., Smolka, S. A., & Bartocci, E. (2011). From Cardiac Cells to Genetic Regulatory Networks. In Computer Aided Verification (pp. 396–411). LNCS / Springer. https://doi.org/10.1007/978-3-642-22110-1_31
  • Compiler Support for Measurement-based Timing Analysis / Kirner, R., & Zolda, M. (2011). Compiler Support for Measurement-based Timing Analysis. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (pp. 62–71). http://hdl.handle.net/20.500.12708/53914

2010

2009

  • Design Space Exploration for Java Processors with Cross-Profiling / Schoeberl, M., Binder, W., Moret, P., & Villazon, A. (2009). Design Space Exploration for Java Processors with Cross-Profiling. In 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Sixth International Conference on the Quantitative Evaluation of Systems QEST 2009, Budapest, Hungary, EU. IEEE computer society, CPS. https://doi.org/10.1109/qest.2009.15
  • Cross-profiling for Java processors / Binder, W., Schoeberl, M., Moret, P., & Villazón, A. (2009). Cross-profiling for Java processors. In Software: Practice and Experience (pp. 1439–1465). John Wiley and Sons. http://hdl.handle.net/20.500.12708/26568
  • Time-Predictable Computer Architecture / Schoeberl, M. (2009). Time-Predictable Computer Architecture. In EURASIP Journal on Embedded Systems (p. 17). Hindawi. http://hdl.handle.net/20.500.12708/26541
  • From a Federated to an Integrated Automotive Architecture / Obermaisser, R., El Salloum, C., Huber, B., & Kopetz, H. (2009). From a Federated to an Integrated Automotive Architecture. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (pp. 956–965). IEEE. https://doi.org/10.1109/tcad.2009.2014005
  • A Disruptive Computer Design Idea: Architectures with Repeatable Timing / Edwards, S. A., Kim, S., Lee, E. A., Liu, I., Patel, H. D., & Schoeberl, M. (2009). A Disruptive Computer Design Idea: Architectures with Repeatable Timing. In 2009 IEEE International Conference on Computer Design (pp. 54–59). IEEE. http://hdl.handle.net/20.500.12708/52885
  • Towards Automatic Verification of Structural Code-Coverage Preservation / Kirner, R. (2009). Towards Automatic Verification of Structural Code-Coverage Preservation. In Timing Analysis and Symbolic Computation, TASCo 2009 (p. 1). http://hdl.handle.net/20.500.12708/52927
  • On Undecidability Results of Real Programming Languages / Kirner, R., Zimmermann, W., & Richter, D. (2009). On Undecidability Results of Real Programming Languages. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 141–154). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52915
  • Automatic Calculation of Coverage Profiles for Coverage-based Testing / Kirner, R., & Haas, W. (2009). Automatic Calculation of Coverage Profiles for Coverage-based Testing. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 126–140). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52914
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) (pp. 155–166). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52781
    Projects: ALL-TIMES (2007–2010) / COSTA (2006–2009)
  • A Comparison of NoTA and GENESYS / Huber, B., & Obermaisser, R. (2009). A Comparison of NoTA and GENESYS. In Lecture Notes in Computer Science (pp. 181–192). LNCS / Springer. https://doi.org/10.1007/978-3-642-03138-0_19
  • Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS / Obermaisser, R., Salloum, C. E., Huber, B., & Kopetz, H. (2009). Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.12
  • GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems / Obermaisser, R., Kopetz, H., & Kuster, S. (2009). GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems. ARTEMIS Magazine, 5, 32–34. http://hdl.handle.net/20.500.12708/166246
  • Platform Modeling in Safety-Critical Embedded Systems / Huber, B., & Obermaisser, R. (2009). Platform Modeling in Safety-Critical Embedded Systems. In N. Martínez Madrid & R. E. D. Seepold (Eds.), Intelligent Technical Systems (Vol. 38). Springer Dordrecht. https://doi.org/10.1007/978-1-4020-9823-9_11
  • So many topics, so little time / Roda, G., Zenz, V., Lupu, M., Järvelin, K., Sanderson, M., & Womser-Hacker, C. (2009). So many topics, so little time. ACM SIGIR Forum, 43(1), 9–16. https://doi.org/10.1145/1670598.1670601
  • Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture / Paulitsch, H., Paukovits, C., El Salloum, C., & Kopetz, H. (2009). Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture. DSNOC’09 (DATE Friday Workshop), Nice, France, EU. http://hdl.handle.net/20.500.12708/84901
  • A Single-Path Chip-Multiprocessor System / Schoeberl, M., Puschner, P., & Kirner, R. (2009). A Single-Path Chip-Multiprocessor System. In Software Technologies for Embedded and Ubiquitous Systems (pp. 47–57). Lecture Notes in Computer Science / Springer Verlag. https://doi.org/10.1007/978-3-642-10265-3_5
  • Towards Time-Predictable Data Caches for Chip-Multiprocessors / Schoeberl, M., Puffitsch, W., & Huber, B. (2009). Towards Time-Predictable Data Caches for Chip-Multiprocessors. In Software Technologies for Embedded and Ubiquitous Systems (pp. 180–191). Lecture Notes in Computer Science / Springer Verlag. https://doi.org/10.1007/978-3-642-10265-3_17
  • Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip Architecture / Paulitsch, H., Paukovits, C., & El Salloum, C. (2009). Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip Architecture. In 2009 IEEE International Symposium on Industrial Embedded Systems. 2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009 Proceedings, Lausanne, Switzerland, Non-EU. IEEE. https://doi.org/10.1109/sies.2009.5196200
  • Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis / Zolda, M., Bünte, S., & Kirner, R. (2009). Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis. In 17th International Conference on Real-Time and Network Systems, Proceedings (p. 10). http://hdl.handle.net/20.500.12708/52928
  • Data Caching, Garbage Collection, and the Java Memory Model / Puffitsch, W. (2009). Data Caching, Garbage Collection, and the Java Memory Model. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (pp. 130–139). ACM Digital Library. http://hdl.handle.net/20.500.12708/52886
  • Using hardware methods to improve time-predictable performance in real-time Java systems / Whitham, J., Audsley, N., & Schoeberl, M. (2009). Using hardware methods to improve time-predictable performance in real-time Java systems. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES ’09. Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES09), Madrid, Spain, EU. ACM Digital Library. https://doi.org/10.1145/1620405.1620424
  • Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis / Huber, B., & Schoeberl, M. (2009). Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis. In Worst-Case Execution Time (WCET) Analsysis (pp. 27–38). Austrian Computer Society. http://hdl.handle.net/20.500.12708/52859
  • Is Chip-Multiprocessing the End of Real-Time Scheduling? / Schoeberl, M., & Puschner, P. (2009). Is Chip-Multiprocessing the End of Real-Time Scheduling? In Worst-Case Execution Time (WCET) Analsysis (pp. 96–106). Austrian Computer Society. http://hdl.handle.net/20.500.12708/52858
  • Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies / Kirner, R., Kadlec, A., & Puschner, P. (2009). Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. In 2009 21st Euromicro Conference on Real-Time Systems. Euromicro Conference on Real-Time Systems (ECRTS), Delft, Netherlands, Austria. IEEE computer society, CPS. https://doi.org/10.1109/ecrts.2009.8
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (p. 11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://hdl.handle.net/20.500.12708/52856
  • Model-Driven Design and Organic Computing -- Combinable Strategies? / Puschner, P., & Kirner, R. (2009). Model-Driven Design and Organic Computing -- Combinable Strategies? In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.22
  • Towards Composable Timing for Real-Time Software / Puschner, P., Kirner, R., & Pettit, R. G. (2009). Towards Composable Timing for Real-Time Software. In 2009 Software Technologies for Future Dependable Distributed Systems (pp. 1–5). IEEE. http://hdl.handle.net/20.500.12708/52849
  • Time-predictable Cache Organization / Schoeberl, M. (2009). Time-predictable Cache Organization. In 2009 Software Technologies for Future Dependable Distributed Systems (pp. 11–16). IEEE. http://hdl.handle.net/20.500.12708/52848
  • Dependability and Robustness: State of the Art and Challenges / Mikolasek, V. (2009). Dependability and Robustness: State of the Art and Challenges. In 2009 Software Technologies for Future Dependable Distributed Systems. First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan, Non-EU. IEEE. https://doi.org/10.1109/stfssd.2009.42
  • Embedded JIT Compilation with CACAO on YARI / Brandner, F., Thorn, T., & Schoeberl, M. (2009). Embedded JIT Compilation with CACAO on YARI. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.20
  • Thread-Local Scope Caching for Real-time Java / Wellings, A., & Schoeberl, M. (2009). Thread-Local Scope Caching for Real-time Java. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. https://doi.org/10.1109/isorc.2009.13
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Schordan, M., & Kadlec, A. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009) (pp. 35–45). http://hdl.handle.net/20.500.12708/52710
  • From Trusted Annotations to Verified Knowledge / Prantl, A., Knoop, J., Kirner, R., Kadlec, A., & Schordan, M. (2009). From Trusted Annotations to Verified Knowledge. In N. Holsti (Ed.), Worst-Case Execution Time Analysis (pp. 39–49). Verlag Oesterreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52855
  • JOP Reference Handbook / Schoeberl, M. (Ed.). (2009). JOP Reference Handbook. CreateSpace. http://hdl.handle.net/20.500.12708/23005

2008

  • Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System / Hepp, S., Klima, G., Kadlec, A., Krammer, L., Luckner, W., Prokesch, D., Resch, S., Wasicek, A., Wilhelm, J., Tummeltshammer, P., & Delvai, M. (2008). Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System. In Proc. of the 16th Austrian Workshop on Microelectronics 2008 (pp. 7–12). http://hdl.handle.net/20.500.12708/52482
  • Cross-Profiling for Embedded Java Processors / Binder, W., Schoeberl, M., Moret, P., & Villazon, A. (2008). Cross-Profiling for Embedded Java Processors. In 2008 Fifth International Conference on Quantitative Evaluation of Systems. Fifth International Conference on the Quantitative Evaluation of Systems, St. Malo, France, EU. IEEE Computer Society. https://doi.org/10.1109/qest.2008.39
  • Cache-aware Cross-profiling for Java Processors / Binder, W., Villazón, A., Schoeberl, M., & Moret, P. (2008). Cache-aware Cross-profiling for Java Processors. In Ebedded Systems Week (p. 9). http://hdl.handle.net/20.500.12708/52439
  • Composability in the time-triggered system-on-chip architecture / Kopetz, H. (2008). Composability in the time-triggered system-on-chip architecture. In Proceedings of the 21st Annual IEEE International SoC Conference (pp. 87–90). http://hdl.handle.net/20.500.12708/52648
  • A Resource Management Framework for Mixed-Criticality Embedded Systems / Huber, B., El Salloum, C., & Obermaisser, R. (2008). A Resource Management Framework for Mixed-Criticality Embedded Systems. In 34th Annual Conference of the IEEE Industrial Electronics Society (IECON’08) (pp. 2425–2431). IEEE Computer Society. http://hdl.handle.net/20.500.12708/52584
  • Supersensitive tin oxide nanosensors for gas detection / Tischner, A., Köck, A., Maier, T., Edtmaier, C., Gspan, C., & Kothleitner, G. (2008). Supersensitive tin oxide nanosensors for gas detection. In H. Kaiser & R. Kirner (Eds.), Junior Scientists Conference 2008 Proceedings (pp. 145–146). http://hdl.handle.net/20.500.12708/46228
  • Generalized instruction selection using<i>SSA</i>-graphs / Ebner, D., Brandner, F., Scholz, B., Krall, A., Wiedermann, P., & Kadlec, A. (2008). Generalized instruction selection usingSSA-graphs. In Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES ’08. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Ottawa, Canada, Non-EU. ACM - Association for Computing Machinery. https://doi.org/10.1145/1375657.1375663
  • Technical criteria for the comparison of modern ERP system for the usage in orchestra companies at the case study of Dynamics AX 2009 / Gall, M., & Sterba, C. (2008). Technical criteria for the comparison of modern ERP system for the usage in orchestra companies at the case study of Dynamics AX 2009. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 37–38). http://hdl.handle.net/20.500.12708/52258
  • The time-triggered System-on-a-Chip architecture / Obermaisser, R., Salloum, C. E., Huber, B., & Kopetz, H. (2008). The time-triggered System-on-a-Chip architecture. In 2008 IEEE International Symposium on Industrial Electronics. IEEE International Symposium on Industrial Electronics, 2008. ISIE 2008, Cambridge, UK, EU. https://doi.org/10.1109/isie.2008.4677135
  • Integrating safety and multimedia subsystems on a Time-Triggered System-on-a-Chip / Obermaisser, R., Frömel, B., El Salloum, C., & Huber, B. (2008). Integrating safety and multimedia subsystems on a Time-Triggered System-on-a-Chip. In 2008 6th IEEE International Conference on Industrial Informatics. Proceedings IEEE INDIN 2008, 6th IEEE International Conference on Industrial Informatics, Daejeon, Korea, Non-EU. IEEE. https://doi.org/10.1109/indin.2008.4618107
  • A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR / Obermaisser, R., Kraut, H., & Salloum, C. (2008). A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR. In 2008 Seventh European Dependable Computing Conference. Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania, EU. IEEE Computer Society. https://doi.org/10.1109/edcc-7.2008.20
  • A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management / Salloum, C. E., Obermaisser, R., Huber, B., & Kopetz, H. (2008). A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management. In 2008 Seventh European Dependable Computing Conference. Seventh European Dependable Computing Conference (EDCC-7), Kaunas, Lithuania, EU. IEEE Computer Society. https://doi.org/10.1109/edcc-7.2008.21
  • A Java processor architecture for embedded real-time systems / Schoeberl, M. (2008). A Java processor architecture for embedded real-time systems. The Journal of Systems Architecture: Embedded Software Design, 54(1–2), 265–286. https://doi.org/10.1016/j.sysarc.2007.06.001
  • An Object-oriented DEV Approach to ARGESIM Benchmark C16 'Restaurant Business Dynamics' using Enterprise Dynamics / Tauböck, S. M., Jahn, P., Polzer, T., & Schuster, A. (2008). An Object-oriented DEV Approach to ARGESIM Benchmark C16 “Restaurant Business Dynamics” using Enterprise Dynamics. Simulation News Europe SNE, 18(1), 41–42. http://hdl.handle.net/20.500.12708/171152
  • Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems / Kirner, R., & Kandl, S. (2008). Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems. ERCIM NEWS, 75(75), 40–41. http://hdl.handle.net/20.500.12708/171017
  • WCET Tool Challenge 2008: Report / Holsti, N., Gustafsson, J., Bernat, G., Ballabriga, C., Bonenfant, A., Bourgade, R., Cassé, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokuciejewski, P., Merriam, N., de Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., & Schordan, M. (2008). WCET Tool Challenge 2008: Report. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 149–171). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52407
    Project: COSTA (2006–2009)
  • A Benchmarking Suite for Measurement-Based WCET Analysis Tools / Bünte, S., & Tautschnig, M. (2008). A Benchmarking Suite for Measurement-Based WCET Analysis Tools. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW ’08. IEEE, Lillehammer, Norway, Non-EU. IEEE Computer Society. https://doi.org/10.1109/icstw.2008.1
  • INFER: Interactive Timing Profiles based on Bayesian Networks / Zolda, M. (2008). INFER: Interactive Timing Profiles based on Bayesian Networks. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 39–51). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52647
  • Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls / Rieder, B., & Puschner, P. (2008). Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls. In Proceedings of the Junior Scientist Conference 2008 (pp. 101–102). http://hdl.handle.net/20.500.12708/52646
  • A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks / Suethanuwong, E., & El Salloum, C. (2008). A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks. In Proceedings of the Junior Scientist Conference 2008 (pp. 95–96). http://hdl.handle.net/20.500.12708/52645
  • Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption / Zolda, M., & Kirner, R. (2008). Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption. In Proceedings of the Junior Scientist Conference 2008 (pp. 117–118). http://hdl.handle.net/20.500.12708/52644
  • Neutralizing Timing Anomalies in Superscalar Microprocessors / Kadlec, A. (2008). Neutralizing Timing Anomalies in Superscalar Microprocessors. In Proceedings of the Junior Scientist Conference 2008 (pp. 119–120). http://hdl.handle.net/20.500.12708/52642
  • Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis / Rieder, B., Puschner, P., & Wenzel, I. (2008). Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis. In Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems (pp. 3–9). IEEE Computer Society. http://hdl.handle.net/20.500.12708/52593
  • Measurement-Based Timing Analysis / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2008). Measurement-Based Timing Analysis. In Communications in Computer and Information Science (pp. 430–444). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_30
  • Decoupled Root Scanning in Multi-Processor Systems / Puffitsch, W. (2008). Decoupled Root Scanning in Multi-Processor Systems. In Embedded Systems Week (p. 8). ACM. http://hdl.handle.net/20.500.12708/52577
  • End-to-End Encryption in the TTSoC Architecture / Wasicek, A., & El Salloum, C. (2008). End-to-End Encryption in the TTSoC Architecture. In Ebedded Systems Week (p. 6). ACM. http://hdl.handle.net/20.500.12708/52576
  • Towards a Common WCET Annotation Language: Essential Ingredients / Kadlec, A., Kirner, R., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Language: Essential Ingredients. In Programmiersprachen und Rechenkonzepte (p. 12). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52531
  • WCET Annotation Languages Reconsidered: The Annotation Language Challenge / Kadlec, A., Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2008). WCET Annotation Languages Reconsidered: The Annotation Language Challenge. In Programmiersprachen und Rechenkonzepte (p. 10). Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel. http://hdl.handle.net/20.500.12708/52530
  • An Operating System for a Time-Predictable Computing Node / Khyo, G., Puschner, P., & Delvai, M. (2008). An Operating System for a Time-Predictable Computing Node. In Software Technologies for Embedded and Ubiquitous Systems (pp. 150–161). Lecture Notes in Computer Science / Springer Verlag. https://doi.org/10.1007/978-3-540-87785-1_14
  • The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems / Bünte, S., & Kirner, R. (2008). The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems. In Proceedings of the Junior Scientist Conference 2008 (pp. 115–116). http://hdl.handle.net/20.500.12708/52464
  • Application Experiences with a Real-Time Java Processor / Schoeberl, M. (2008). Application Experiences with a Real-Time Java Processor. In Proceedings of the 17th IFAC World Congress (p. 6). http://hdl.handle.net/20.500.12708/52457
  • Time-predictable memory arbitration for a Java chip-multiprocessor / Pitter, C. (2008). Time-predictable memory arbitration for a Java chip-multiprocessor. In Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems - JTRES ’08. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1434790.1434808
  • Non-blocking object copy for real-time garbage collection / Schoeberl, M., & Puffitsch, W. (2008). Non-blocking object copy for real-time garbage collection. In Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems - JTRES ’08. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1434790.1434802
  • On Composable System Timing, Task Timing, and WCET Analysis / Puschner, P., & Schoeberl, M. (2008). On Composable System Timing, Task Timing, and WCET Analysis. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 91–101). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52441
  • JopCMP - A Java Chip-Multiprocessor for Real-time Systems / Pitter, C. (2008). JopCMP - A Java Chip-Multiprocessor for Real-time Systems. In 4th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings (p. 3). DFG. http://hdl.handle.net/20.500.12708/52433
  • Performance evaluation of a java chip-multiprocessor / Pitter, C., & Schoeberl, M. (2008). Performance evaluation of a java chip-multiprocessor. In 2008 International Symposium on Industrial Embedded Systems. SIES´2008 Third international symposium on industrial embedded systems, Montpellier - La Grande Motte, France, EU. https://doi.org/10.1109/sies.2008.4577678
  • Segmentation of standard ethernet messages in the time-triggered ethernet / Mikolasek, V., Ademaj, A., & Racek, S. (2008). Segmentation of standard ethernet messages in the time-triggered ethernet. In 2008 IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Praha, Czech Republic, EU. IEEE. https://doi.org/10.1109/etfa.2008.4638423
  • Wrong Assumptions and Neglected Areas in Embedded Systems Research / Kopetz, H. (2008). Wrong Assumptions and Neglected Areas in Embedded Systems Research. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.15
  • Concepts of Switching in the Time-Triggered Network-on-Chip / Paukovits, C., & Kopetz, H. (2008). Concepts of Switching in the Time-Triggered Network-on-Chip. In 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Kaohsiung, Taiwan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/rtcsa.2008.18
  • The Complexity Challenge in Embedded System Design / Kopetz, H. (2008). The Complexity Challenge in Embedded System Design. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.14
  • Obstacles in Worst-Case Execution Time Analysis / Kirner, R., & Puschner, P. (2008). Obstacles in Worst-Case Execution Time Analysis. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.65
  • Interrupt Handlers in Java / Korsholm, S., Schoeberl, M., & Ravn, A. P. (2008). Interrupt Handlers in Java. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.68
  • Toward Libraries for Real-Time Java / Harmon, T., Schoeberl, M., Kirner, R., & Klefstad, R. (2008). Toward Libraries for Real-Time Java. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.73
  • Hardware Objects for Java / Schoeberl, M., Thalinger, C., Korsholm, S., & Ravn, A. P. (2008). Hardware Objects for Java. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). The 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/isorc.2008.63
  • A Modular Worst-case Execution Time Analysis Tool for Java Processors / Harmon, T., Schoeberl, M., Kirner, R., & Klefstad, R. (2008). A Modular Worst-case Execution Time Analysis Tool for Java Processors. In 2008 IEEE Real-Time and Embedded Technology and Applications Symposium. 14th IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, Missouri, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/rtas.2008.34
  • Towards a Common WCET Annotation Languge: Essential Ingredients / Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., & Knoop, J. (2008). Towards a Common WCET Annotation Languge: Essential Ingredients. In Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008) (pp. 53–65). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/52349
  • Optimization of communication by analyzing the interlocutor's wording / Kellner, G. (2008). Optimization of communication by analyzing the interlocutor’s wording. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 93–94). http://hdl.handle.net/20.500.12708/52314
  • MapFace - A Graphical Editor to Support the Semantic Annotation of Medical Text / Gschwandtner, T., Kaiser, K., & Miksch, S. (2008). MapFace - A Graphical Editor to Support the Semantic Annotation of Medical Text. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 91–92). http://hdl.handle.net/20.500.12708/52313
  • Decomposing HEX-Programs: Preliminary Results / Eiter, T., Fink, M., & Krennwallner, T. (2008). Decomposing HEX-Programs: Preliminary Results. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 29–30). http://hdl.handle.net/20.500.12708/52311
    Project: HEX-Programme (2008–2012)
  • QoS-aware Ant Routing with Colored Pheromones in Wireless Mesh Networks / Umlauft, M., & Elmenreich, W. (2008). QoS-aware Ant Routing with Colored Pheromones in Wireless Mesh Networks. In A. Manzalini (Ed.), Second International Conference on Autonomic Computing and Communication Systems (AUTONOMICS ’08) (p. 6). Acm / Icst. http://hdl.handle.net/20.500.12708/52282
    Project: TRACK&TRADE (2006–2008)
  • Low-Complexity Linear-Feedback Equalization for ATSC DTV / Wilson, T. G. B. (2008). Low-Complexity Linear-Feedback Equalization for ATSC DTV. In 2008 Digest of Technical Papers International Conference on Consumer Electronics. International Conference on Consumer Electronics (ICCE), Las Vegas, USA, Non-EU. IEEE. http://hdl.handle.net/20.500.12708/52166
  • Silver plated tungsten carbide powders for electrical contact materials with improved homogeneity / Hula, R. C., & Edtmaier, C. (2008). Silver plated tungsten carbide powders for electrical contact materials with improved homogeneity. In H. Kaiser & R. Kirner (Eds.), Junior Scientists Conference 2008 Proceedings (pp. 153–154). http://hdl.handle.net/20.500.12708/46227
  • Graphics Versus Spoken Language in Pedestrian Navigation / Ortag, F., & Gartner, G. (2008). Graphics Versus Spoken Language in Pedestrian Navigation. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 107–108). http://hdl.handle.net/20.500.12708/42288
  • Random bipartite graphs and their application to cuchoo hashing / Kutzelnigg, R., & Drmota, M. (2008). Random bipartite graphs and their application to cuchoo hashing. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 281–282). Technische Universität Wien. http://hdl.handle.net/20.500.12708/40804
  • Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008) / Kirner, R. (Ed.). (2008). Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008). Österreichische Computer Gesellschaft. http://hdl.handle.net/20.500.12708/22792
  • Junior Scientist Conference 2008, Proceedings / Kaiser, H., & Kirner, R. (Eds.). (2008). Junior Scientist Conference 2008, Proceedings. TU Wien. http://hdl.handle.net/20.500.12708/22862

2007

  • A Comparison of Partitioning Operating Systems for Integrated Systems / Leiner, B., Schlager, M., Obermaisser, R., & Huber, B. (2007). A Comparison of Partitioning Operating Systems for Integrated Systems. In Lecture Notes in Computer Science (pp. 342–355). Springer. https://doi.org/10.1007/978-3-540-75101-4_33
  • Software Technologies for Embedded Systems and Ubiquitous Systems / Obermaisser, R., Nah, Y., Puschner, P., & Rammig, F. J. (Eds.). (2007). Software Technologies for Embedded Systems and Ubiquitous Systems. Springer LNCS 4761. http://hdl.handle.net/20.500.12708/22875
  • Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform / Huber, B., & Obermaisser, R. (2007). Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform. In 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems. 5th Workshop on Intelligent Solutions in Embedded Systems - (WISES’07), Madrid, Spanien, EU. IEEE. https://doi.org/10.1109/wises.2007.4408502
  • A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture / Schlager, M., Obermaisser, R., & Elmenreich, W. (2007). A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 20). http://hdl.handle.net/20.500.12708/51863
  • A Diagnostic Unit for the time-triggered System-on-a-Chip architecture / Paulitsch, H., Obermaisser, R., El Salloum, C., Huber, B., & Kopetz, H. (2007). A Diagnostic Unit for the time-triggered System-on-a-Chip architecture. In Workshop Digest, Diagnostic Services in Network-on-Chips (p. 2). DATE’07. http://hdl.handle.net/20.500.12708/51902
  • A time-triggered system-on-a-chip architecture with integrated support for diagnosis / El Salloum, C., Obermaisser, R., Huber, B., Paulitsch, H., & Kopetz, H. (2007). A time-triggered system-on-a-chip architecture with integrated support for diagnosis. In Workshop Digest, Diagnostic Services in Network-on-Chips (p. 2). DATE’07. http://hdl.handle.net/20.500.12708/51901
  • HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol / Obermaisser, R., & Riezler, D. (2007). HIS/VectorCAN Driver API on Top of a Time-Triggered Communication Protocol. In Proc. of the SAE World Congress & Exhibition. SAE World Congress & Exhibition, Detroit, MI, USA, Non-EU. SAE. http://hdl.handle.net/20.500.12708/52099
  • The Fault Assumptions in Distributed Integrated Architectures / Obermaisser, R., & Peti, P. (2007). The Fault Assumptions in Distributed Integrated Architectures. In Aerospace Safety- Design, Maintenance/Operations, and Safety/Security. SAE 2007 AeroTech Congress & Exhibition, Los Angeles, California, USA, Non-EU. SAE. http://hdl.handle.net/20.500.12708/52100
  • A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture / Schlager, M., Obermaisser, R., & Elmenreich, W. (2007). A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture. Lecture Notes in Computer Science, 4761, 159–170. http://hdl.handle.net/20.500.12708/169644
  • Automotive Software Development for a Multi-Core System-on-a-Chip / Kopetz, H., Obermaisser, R., El Salloum, C., & Huber, B. (2007). Automotive Software Development for a Multi-Core System-on-a-Chip. In Fourth International Workshop on Software Engineering for Automotive Systems (SEAS ’07), Proceedings. SEAS’07, Minneapolis, USA, Non-EU. IEEE. https://doi.org/10.1109/SEAS.2007.2
  • Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks / Obermaisser, R., & Peti, P. (2007). Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks. In 2007 5th IEEE International Conference on Industrial Informatics. IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. IEEE. https://doi.org/10.1109/indin.2007.4384906
  • Advancements in Dependable Time-Triggered Communication / Steiner, W. (2007). Advancements in Dependable Time-Triggered Communication. Lecture Notes in Computer Science, 4761, 57–66. http://hdl.handle.net/20.500.12708/169645
  • Mission Modes for Safety Critical Java / Schoeberl, M. (2007). Mission Modes for Safety Critical Java. Lecture Notes in Computer Science, 4761, 105–113. http://hdl.handle.net/20.500.12708/169643
  • A Review on System Architectures for Sensor Fusion Applications / Elmenreich, W. (2007). A Review on System Architectures for Sensor Fusion Applications. Lecture Notes in Computer Science, 4761, 547–559. http://hdl.handle.net/20.500.12708/169642
  • Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging / Elmenreich, W. (2007). Fusion of Continuous-valued Sensor Measurements using Confidence-weighted Averaging. Journal of Vibration and Control, 13(9–10), 1303–1312. https://doi.org/10.1177/1077546307077457
  • Cross-Platform Verification Framework for Embedded Systems / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2007). Cross-Platform Verification Framework for Embedded Systems. Lecture Notes in Computer Science, 4761, 137–148. http://hdl.handle.net/20.500.12708/169639
  • End-to-End Delays of Event-Triggered Overlay Networks in a Time-Triggered Architecture / Obermaisser, R. (2007). End-to-End Delays of Event-Triggered Overlay Networks in a Time-Triggered Architecture. In 2007 5th IEEE International Conference on Industrial Informatics - Conference Proceedings Volume 2 (pp. 541–546). IEEE. https://doi.org/10.1109/INDIN.2007.4384815
  • Graphical Microcontroller Programming (GMCP) / Jahn, P., & Polzer, T. (2007). Graphical Microcontroller Programming (GMCP). IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. http://hdl.handle.net/20.500.12708/84609
  • Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A / Klingler, G., & Elmenreich, W. (2007). Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A. IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. http://hdl.handle.net/20.500.12708/84608
  • Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach / Leidenfrost, R., & Elmenreich, W. (2007). Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach. IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. http://hdl.handle.net/20.500.12708/84607
  • A Platform for Teaching and Research on Distributed Real-Time Systems / Kößler, A., Hofer, M., Mair, T., & Elmenreich, W. (2007). A Platform for Teaching and Research on Distributed Real-Time Systems. IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. http://hdl.handle.net/20.500.12708/84606
  • Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled Robot / Elmenreich, W., & Klingler, G. (2007). Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled Robot. In A. Gelbukh & Á. F. Kuri Morales (Eds.), 2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI). IEEE Computer Society. https://doi.org/10.1109/micai.2007.17
  • Baud Rate Symbol Timing Synchronization for 8-VSB ATSC DTV Receivers / Wilson, T. G. B. (2007). Baud Rate Symbol Timing Synchronization for 8-VSB ATSC DTV Receivers. In The 11th Annual IEEE International Symposium on Consumer Electronics. ISCE 2007, Dallas, Non-EU. IEEE. http://hdl.handle.net/20.500.12708/52165
  • Robust Baud Rate Blind Equalization for ATSC DTV Receivers / Wilson, T. G. B. (2007). Robust Baud Rate Blind Equalization for ATSC DTV Receivers. In Sixth International Conference on Information, Communication & Signal Processing. Sixth International Conference on Information, Communication & Signal Processing [ICICS07], Singapore, Non-EU. IEEE. http://hdl.handle.net/20.500.12708/52164
  • Blind Linear Feedback Equalization for ATSC DTV Reception / Wilson, T. G. B. (2007). Blind Linear Feedback Equalization for ATSC DTV Reception. In ICIAS2007 Conference Proceedings. International Conference on Intelligent & Advanced Systems (ICIAS07), Kuala Lumpur, MALAYSIA, Non-EU. IEEE. http://hdl.handle.net/20.500.12708/52163
  • On the Difficulty of Building a Precise Timing Model for Real-Time Programming / Kadlec, A., & Kirner, R. (2007). On the Difficulty of Building a Precise Timing Model for Real-Time Programming. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (p. 7). http://hdl.handle.net/20.500.12708/52113
  • Zuverlässige Elektronik-Systeme im Verkehrswesen / Kopetz, H. (2007). Zuverlässige Elektronik-Systeme im Verkehrswesen. In Informatik bewegt - Informationstechnik in Verkehr und Logistik (pp. 55–79). acatech. http://hdl.handle.net/20.500.12708/52112
  • SimpCon - a Simple and Efficient SoC Interconnect / Schoeberl, M. (2007). SimpCon - a Simple and Efficient SoC Interconnect. In Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 2007 (pp. 153–161). IEEE Austria Section / TU Graz. http://hdl.handle.net/20.500.12708/52110
  • Internet Firewalls in the DECOS System-on-a-Chip Architecture / Wasicek, A., & Elmenreich, W. (2007). Internet Firewalls in the DECOS System-on-a-Chip Architecture. In 2007 5th IEEE International Conference on Industrial Informatics. IEEE International Conference on Industrial Informatics - INDIN 2007, Wien, Austria. IEEE. https://doi.org/10.1109/indin.2007.4384908
  • On the Halting Problem of Finite-State Programs / Kirner, R. (2007). On the Halting Problem of Finite-State Programs. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (p. 6). http://hdl.handle.net/20.500.12708/52078
  • Using a Runtime Measurement Device with Measurement-Based WCET Analysis / Rieder, B., Wenzel, I., Steinhammer, K., & Puschner, P. (2007). Using a Runtime Measurement Device with Measurement-Based WCET Analysis. In IFIP – The International Federation for Information Processing (pp. 15–26). Springer Boston. https://doi.org/10.1007/978-0-387-72258-0_2
  • Error Containment in the Time-Triggered System-On-a-Chip Architecture / Obermaisser, R., Kopetz, H., El Salloum, C., & Huber, B. (2007). Error Containment in the Time-Triggered System-On-a-Chip Architecture. In IFIP – The International Federation for Information Processing (pp. 339–352). Springer Boston. https://doi.org/10.1007/978-0-387-72258-0_29
  • Modeling of Software-Hardware Complexes / Kopetz, H. (2007). Modeling of Software-Hardware Complexes. In IFIP – The International Federation for Information Processing (pp. 431–432). Springer Boston. https://doi.org/10.1007/978-0-387-72258-0_39
  • Hardware Implementation of the Time-Triggered Ethernet Controller / Steinhammer, K., & Ademaj, A. (2007). Hardware Implementation of the Time-Triggered Ethernet Controller. In IFIP – The International Federation for Information Processing (pp. 325–338). Springer. https://doi.org/10.1007/978-0-387-72258-0_28
  • SCCP/x / Kirner, R. (2007). SCCP/x. In Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems  - CASES ’07. International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Salzburg, Austria, Austria. ACM. https://doi.org/10.1145/1289881.1289890
  • Modeling the function cache for worst-case execution time analysis / Kirner, R., & Schoeberl, M. (2007). Modeling the function cache for worst-case execution time analysis. In Proceedings of the 44th annual conference on Design automation - DAC ’07. 44th Design Automation Conference (DAC’07), San Diego, California/USA, Non-EU. ACM. https://doi.org/10.1145/1278480.1278603
  • Time Predictable CPU and DMA Shared Memory Access / Pitter, C., & Schoeberl, M. (2007). Time Predictable CPU and DMA Shared Memory Access. In 2007 International Conference on Field Programmable Logic and Applications. 17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands, EU. IEEE. https://doi.org/10.1109/fpl.2007.4380666
  • A Time-Triggered Network-on-Chip / Schoeberl, M. (2007). A Time-Triggered Network-on-Chip. In 2007 International Conference on Field Programmable Logic and Applications. 17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam, Netherlands, EU. IEEE. https://doi.org/10.1109/fpl.2007.4380675
  • picoJava-II in an FPGA / Puffitsch, W., & Schoeberl, M. (2007). picoJava-II in an FPGA. In Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES ’07. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1288940.1288972
  • Architecture for object-oriented programming languages / Schoeberl, M. (2007). Architecture for object-oriented programming languages. In Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES ’07. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1288940.1288949
  • Garbage collection for safety critical Java / Schoeberl, M., & Vitek, J. (2007). Garbage collection for safety critical Java. In Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES ’07. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1288940.1288953
  • Towards a Java multiprocessor / Pitter, C., & Schoeberl, M. (2007). Towards a Java multiprocessor. In Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES ’07. Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Paris, France, EU. ACM. https://doi.org/10.1145/1288940.1288962
  • WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07) (pp. 77–92). http://hdl.handle.net/20.500.12708/52007
  • WCET Analysis: The Annotation Language Challenge / Kirner, R., Knoop, J., Prantl, A., Schordan, M., & Wenzel, I. (2007). WCET Analysis: The Annotation Language Challenge. In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (pp. 83–99). http://hdl.handle.net/20.500.12708/51989
  • A Profile for Safety Critical Java / Schoeberl, M., Sondergaard, H., Thomsen, B., & Ravn, A. P. (2007). A Profile for Safety Critical Java. In 10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC2007) (pp. 94–101). IEEE. http://hdl.handle.net/20.500.12708/51886
  • Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache / Kirner, R., & Puschner, P. (2007). Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. In 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’07) (pp. 87–92). IEEE. http://hdl.handle.net/20.500.12708/51885
  • Automated Formal Verification and Testing of C Programs for Embedded Systems / Kandl, S., Kirner, R., & Puschner, P. (2007). Automated Formal Verification and Testing of C Programs for Embedded Systems. In 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007) (pp. 373–381). IEEE. http://hdl.handle.net/20.500.12708/51884
  • Time-Triggered Ethernet and IEEE 1588 Clock Synchronization / Ademaj, A., & Kopetz, H. (2007). Time-Triggered Ethernet and IEEE 1588 Clock Synchronization. In ISPCS 2007 Proceedings (p. 3). http://hdl.handle.net/20.500.12708/51883
  • Why do we need a Sparse Global Time-Base in Dependable Real-time Systems? / Kopetz, H. (2007). Why do we need a Sparse Global Time-Base in Dependable Real-time Systems? In ISPCS Proceedings (p. 5). http://hdl.handle.net/20.500.12708/51882
  • Advancements in Dependable Time-Triggered Communication / Steiner, W. (2007). Advancements in Dependable Time-Triggered Communication. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 10). http://hdl.handle.net/20.500.12708/51864
  • A Review on System Architectures for Sensor Fusion Applications / Elmenreich, W. (2007). A Review on System Architectures for Sensor Fusion Applications. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 12). http://hdl.handle.net/20.500.12708/51861
  • Mission Modes for Safety Critical Java / Schoeberl, M. (2007). Mission Modes for Safety Critical Java. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 10). http://hdl.handle.net/20.500.12708/51862
  • Cross-Platform Verification Framework for Embedded Systems / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2007). Cross-Platform Verification Framework for Embedded Systems. In The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (p. 12). http://hdl.handle.net/20.500.12708/51860
  • Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast / Ademaj, A., Hanzlik, A., & Kopetz, H. (2007). Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast. In Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS’07) (pp. 215–224). Institut National Polytechnique de Lorraine. http://hdl.handle.net/20.500.12708/51845
  • Abstraction Techniques for Extracted Automata Models / Kandl, S. (2007). Abstraction Techniques for Extracted Automata Models. In Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07) (pp. 35–38). http://hdl.handle.net/20.500.12708/51844
  • Fixed Point Library Based on ISO/IEC Standard DTR 18037 for Atmel AVR Microcontrollers / Elmenreich, W., Rosenblattl, M., & Wolf, A. (2007). Fixed Point Library Based on ISO/IEC Standard DTR 18037 for Atmel AVR Microcontrollers. In 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems. 5th Workshop on Intelligent Solutions in Embedded Systems - (WISES’07), Madrid, Spanien, EU. IEEE. https://doi.org/10.1109/wises.2007.4408492
  • Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study / Elmenreich, W., Piontek, H., & Kaiser, J. (2007). Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study. In Proceedings of the 15th International Conference on Real-Time and Network Systems (pp. 195–204). Institut National Polytechnique de Lorraine. http://hdl.handle.net/20.500.12708/51802
  • The Effect of Quartz Drift on Convergence-Average based Clock Synchronization / Armengaud, E., Steininger, A., & Hanzlik, A. (2007). The Effect of Quartz Drift on Convergence-Average based Clock Synchronization. In Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation (pp. 1123–1130). http://hdl.handle.net/20.500.12708/52061
    Project: EXTRACT (2005–2008)

2006

  • DECOS: An Integrated Time-Triggered Architecture / Obermaisser, R., Peti, P., Huber, B., & El Salloum, C. (2006). DECOS: An Integrated Time-Triggered Architecture. Elektrotechnik Und Informationstechnik : E & i, 123(3), 83–95. https://doi.org/10.1007/s00502-006-0323
  • Investigating Connector Faults in the Time-Triggered Architecture / Peti, P., Obermaisser, R., & Paulitsch, H. (2006). Investigating Connector Faults in the Time-Triggered Architecture. In 11th IEEE International Conference on Emerging Technologies and Factory Automation (pp. 887–896). IEEE. http://hdl.handle.net/20.500.12708/51439
  • A CORBA-Based Architecture for Hard Real-Time Systems / Losert, T., Huber, W., Hendling, K., & Jandl, M. (2006). A CORBA-Based Architecture for Hard Real-Time Systems. In Intelligent Systems at the Service of Mankind - Volume II (pp. 239–254). Ubooks. http://hdl.handle.net/20.500.12708/25006
  • An Intelligent Interference-Minimizing Routing Algorithm / Hendling, K., Losert, T., & Jandl, M. (2006). An Intelligent Interference-Minimizing Routing Algorithm. In W. Huber (Ed.), Intelligent Systems at the Service of Mankind - Volume II (pp. 187–204). Ubooks. http://hdl.handle.net/20.500.12708/25007
  • Supporting Heterogeneous Applications in the DECOS Integrated Architecture / El Salloum, C., Obermaisser, R., Huber, B., Kopetz, H., & Suri, N. (2006). Supporting Heterogeneous Applications in the DECOS Integrated Architecture. In International DECOS Workshop. International DECOS Workshop, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/51440
  • Ecodesign Decision Boxes for Environmentally Sound Product Development / Ostad Ahmad Ghorabi, H., & Wimmer, W. (2006). Ecodesign Decision Boxes for Environmentally Sound Product Development. In W. Elmenreich & H. Kaiser (Eds.), Proceedings of the Junior Scientist Conference 2006 (pp. 257–258). http://hdl.handle.net/20.500.12708/65377
  • A Portable Real-Time Communication System for Embedded Systems with Heterogeneous Hardware / Krywult, S. V., & Elmenreich, W. (2006). A Portable Real-Time Communication System for Embedded Systems with Heterogeneous Hardware. In Proceedings of the Junior Scientist Conference 2006 (pp. 41–42). http://hdl.handle.net/20.500.12708/51594
  • An Embedded Support Vector Machine / Pedersen, R., & Schoeberl, M. (2006). An Embedded Support Vector Machine. In Fourth International Workshop on Intelligent Solutions in Embedded Systems, Proceedings (pp. 79–89). http://hdl.handle.net/20.500.12708/51591
  • Model-Based Design of the Communication System in an Integrated Architecture / Obermaisser, R., & Huber, B. (2006). Model-Based Design of the Communication System in an Integrated Architecture. In International Conference on Parallel and Distributed Computing and Systems (PDCS 2006), Proceedings of the. International Conference on Parallel and and Distributed Computing and Systems (PDCS), Dallas, Texas, USA, Non-EU. http://hdl.handle.net/20.500.12708/51481
  • A Diagnostic Framework for Integrated Time-Triggered Architectures / Peti, P., & Obermaisser, R. (2006). A Diagnostic Framework for Integrated Time-Triggered Architectures. In 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, Proceedings of the. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. http://hdl.handle.net/20.500.12708/51436
  • MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platform / Huber, B., Obermaisser, R., & Peti, P. (2006). MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platform. In Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC’06). IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. http://hdl.handle.net/20.500.12708/51431
  • A Fault Hypothesis for Integrated Architectures / Obermaisser, R., & Peti, P. (2006). A Fault Hypothesis for Integrated Architectures. In Fourth Workshop on Intelligent Solutions in Embedded Systems - WISES06 (pp. 47–54). http://hdl.handle.net/20.500.12708/51602
  • Combination of clock-state and clock-rate correction in fault-tolerant distributed systems / Kopetz, H., Ademaj, A., & Hanzlik, A. (2006). Combination of clock-state and clock-rate correction in fault-tolerant distributed systems. Real-Time Systems, 33, 139–173. http://hdl.handle.net/20.500.12708/173417
  • Time-Triggered Smart Transducer Networks / Elmenreich, W. (2006). Time-Triggered Smart Transducer Networks. IEEE Transactions on Industrial Informatics, 2(3), 192–199. http://hdl.handle.net/20.500.12708/173385
  • SIDERA - a Simulation Model for Time-Triggered Distributed Systems / Hanzlik, A. (2006). SIDERA - a Simulation Model for Time-Triggered Distributed Systems. International Review on Computers and Software (IRECOS), 1(3), 181–193. http://hdl.handle.net/20.500.12708/173465
  • Stability and Performance Analysis of Clock Synchronization in FlexRay / Hanzlik, A. (2006). Stability and Performance Analysis of Clock Synchronization in FlexRay. International Review on Computers and Software (IRECOS), 1(2), 146–155. http://hdl.handle.net/20.500.12708/173464
  • The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems / Herzner, W., Huber, B., György, C., & Balogh, A. (2006). The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems. ERCIM NEWS, 67, 22–24. http://hdl.handle.net/20.500.12708/173457
  • Automated solution evaluation during a practical examination / Kößler, A., & Elmenreich, W. (2006). Automated solution evaluation during a practical examination. In Proceedings of the Junior Scientist Conference 2006 (pp. 35–36). http://hdl.handle.net/20.500.12708/51597
  • Extended Confidence-Weighted Averaging in Sensor Fusion / Schörgendorfer, A., & Elmenreich, W. (2006). Extended Confidence-Weighted Averaging in Sensor Fusion. In Proceedings of the Junior Scientist Conference 2006 (pp. 67–68). http://hdl.handle.net/20.500.12708/51595
  • The Smart Car - a distributed controlled autonomous robot / Klingler, G., Kößler, A., & Elmenreich, W. (2006). The Smart Car - a distributed controlled autonomous robot. In Proceedings of the Junior Scientist Conference 2006 (pp. 33–34). http://hdl.handle.net/20.500.12708/51593
  • Meta-Modelling in Tool Support for Time-Triggered Application Development / Paukovits, C., & Elmenreich, W. (2006). Meta-Modelling in Tool Support for Time-Triggered Application Development. In Proceedings of the Junior Scientist Conference 2006 (pp. 53–54). http://hdl.handle.net/20.500.12708/51596
  • Naming and Addressing / El Salloum, C. (2006). Naming and Addressing. ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems, Wien, Austria. http://hdl.handle.net/20.500.12708/84535
  • Das "Smart Car" - ein verteilt kontrollierter, autonomer Roboter / Klingler, G., & Kößler, A. (2006). Das “Smart Car” - ein verteilt kontrollierter, autonomer Roboter. more@Informatics 2006, Wien, Austria. http://hdl.handle.net/20.500.12708/84503
  • BUFI: Fault injector for communication buses / De Andrés, D., Blanc, S., Gil, P., Ademaj, A., & Steinhammer, K. (2006). BUFI: Fault injector for communication buses. In IEEE Conference on Dependable Systems and Networks (DSN06), Proceedings. IEEE Conference on Dependable Systems and Networks (DSN), Philadelphia, PA, USA, Non-EU. http://hdl.handle.net/20.500.12708/51600
  • Software Implementation of Time-Triggered Ethernet Controller / Grillinger, P., Ademaj, A., Steinhammer, K., & Kopetz, H. (2006). Software Implementation of Time-Triggered Ethernet Controller. In Workshop on Factory Communication Systems - WFCS 2006, Proceedings (pp. 145–150). http://hdl.handle.net/20.500.12708/51599
  • Time-Triggered Ethernet / Steinhammer, K., & Kopetz, H. (2006). Time-Triggered Ethernet. In Junior Scientist Conference - JSC 2006 (pp. 73–74). http://hdl.handle.net/20.500.12708/51598
  • Exact Roots for a Real-Time Garbage Collector / Pedersen, R., & Schoeberl, M. (2006). Exact Roots for a Real-Time Garbage Collector. In The 4th Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006), Proceedings of (pp. 77–84). http://hdl.handle.net/20.500.12708/51588
  • WCET Analysis for a Java Processor / Schoeberl, M., & Pedersen, R. (2006). WCET Analysis for a Java Processor. In The 4th Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006), Proceedsings of (pp. 202–211). ACM Press. http://hdl.handle.net/20.500.12708/51587
  • Complexity Management for Composable Real-Time Systems / Rumpler, B. (2006). Complexity Management for Composable Real-Time Systems. In Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC06) (pp. 365–373). IEEE. http://hdl.handle.net/20.500.12708/51491
  • Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup / Kirner, R., Grössing, M., & Puschner, P. (2006). Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. In 6th Euromicro International Workshop on Worst-Case Execution-Time Analysis (WCET), Proceedings of the (pp. 11–16). http://hdl.handle.net/20.500.12708/51437
  • Portable Data Exchange for Remote-Testing Frameworks / Kirner, R., Puschner, P., Wenzel, I., & Rieder, B. (2006). Portable Data Exchange for Remote-Testing Frameworks. In Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Newport Beach, CA, USA, Austria. IEEE. http://hdl.handle.net/20.500.12708/51434
  • The Startup Problem in Fault-Tolerant Time-Triggered Communication / Steiner, W., & Kopetz, H. (2006). The Startup Problem in Fault-Tolerant Time-Triggered Communication. In International Conference on Dependable Systems and Networks 2006, Proceedings of the (pp. 35–44). http://hdl.handle.net/20.500.12708/51430
  • Real-Time Garbage Collection for Java / Schoeberl, M. (2006). Real-Time Garbage Collection for Java. In Proceedings of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006) (pp. 424–432). IEEE. http://hdl.handle.net/20.500.12708/51358
  • A Time-Triggered Ethernet (TTE) Switch / Steinhammer, K., Grillinger, P., Ademaj, A., & Kopetz, H. (2006). A Time-Triggered Ethernet (TTE) Switch. In Proceedings of the Design, Automation and Test in Europe (p. 6). http://hdl.handle.net/20.500.12708/51356
  • Fusion of Continuous-Valued Sensor Measurements using Statistical Analysis / Elmenreich, W., & Schörgendorfer, A. (2006). Fusion of Continuous-Valued Sensor Measurements using Statistical Analysis. In K. Tas, D. Baleanu, & J. A. T. Machado (Eds.), Proceedings of the International Symposium on Mathematical Methods in Engineering (p. 10). http://hdl.handle.net/20.500.12708/51777
  • Pulsed Data Streams / Kopetz, H. (2006). Pulsed Data Streams. In B. Kleinjohann, L. Kleinjohann, R. J. Machado, C. Pereira, & P. S. Thiagarajan (Eds.), 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings (pp. 105–114). Springer. http://hdl.handle.net/20.500.12708/51770
  • Interface Design for Hardware-in-the-Loop Simulation / Schlager, M., Elmenreich, W., & Wenzel, I. (2006). Interface Design for Hardware-in-the-Loop Simulation. In Proceedings of the 2006 IEEE International Symposium on Industrial Electronics (pp. 1554–1559). IEEE Press. http://hdl.handle.net/20.500.12708/51657
  • Environments for Remote Teaching in Embedded Systems Courses / Trödhandl, C., Weiss, B., Handl, T., & Proske, M. (2006). Environments for Remote Teaching in Embedded Systems Courses. In 2006 ERCIM / DECOS Workshop on Dependable Embedded Systems. ERCIM / DECOS Workshop on Dependable Embedded Systems, Cavtat, Non-EU. http://hdl.handle.net/20.500.12708/51656
    Project: SCDL (2004–2007)
  • Distance Labs - Embedded Systems @home / Proske, M., Trödhandl, C., & Handl, T. (2006). Distance Labs - Embedded Systems @home. In Journal of Computational Information Systems (pp. 435–444). http://hdl.handle.net/20.500.12708/51634
    Project: SCDL (2004–2007)
  • Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract / Proske, M., & Trödhandl, C. (2006). Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract. In Proceedings of ICTTA 2006 (pp. 205–206). IEEE. http://hdl.handle.net/20.500.12708/51633
  • Recovery Mechanisms for Dual Core Architectures / El Salloum, C., Steininger, A., & Tummeltshammer, P. (2006). Recovery Mechanisms for Dual Core Architectures. In 21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2006, Proceedings (pp. 380–388). http://hdl.handle.net/20.500.12708/51601
  • Remote Target Monitoring in Embedded Systems Lab Courses using a Sensor Network / Trödhandl, C., Proske, M., & Elmenreich, W. (2006). Remote Target Monitoring in Embedded Systems Lab Courses using a Sensor Network. In The 32nd Annual Conference of the IEEE Industrial Society - IECON’2006 (pp. 5433–5438). http://hdl.handle.net/20.500.12708/51521
  • Embedded Systems Home Experimentation / Elmenreich, W., Trödhandl, C., & Weiss, B. (2006). Embedded Systems Home Experimentation. In Proceedings of the Second International Conference on Education and Technology (pp. 11–15). http://hdl.handle.net/20.500.12708/51520
  • Embedded Systems Exams With True/False Questions: A Case Study / Gridling, G., Weiss, B., Elmenreich, W., & Trödhandl, C. (2006). Embedded Systems Exams With True/False Questions: A Case Study. In Proceedings of the Second International Conference on Education and Technology (pp. 168–172). http://hdl.handle.net/20.500.12708/51519
  • From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain / Herzner, W., Schlager, M., Le Sergent, T., Huber, B., Islam, S., Suri, N., & Balogh, A. (2006). From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain. In Tagungsband, zur Informationstagung Mikroelektronik (pp. 204–213). http://hdl.handle.net/20.500.12708/51493
  • Design Comprehension of Time-Triggered Real-Time Systems / Rumpler, B., & Kopetz, H. (2006). Design Comprehension of Time-Triggered Real-Time Systems. In Proceedings of the Junior Scientist Conference 2006 (JSC’06) (pp. 63–64). http://hdl.handle.net/20.500.12708/51492
  • Considerations on the Complexity of Embedded Real-Time System Design Tasks / Rumpler, B., & Elmenreich, W. (2006). Considerations on the Complexity of Embedded Real-Time System Design Tasks. In IEEE International Conference on Computational Cybernetics 2006 (ICCC’06), Proceedings of the (pp. 55–60). http://hdl.handle.net/20.500.12708/51490
  • Architecture Support for Temporal Predictability and Composability in Real-Time Computing / Puschner, P. (2006). Architecture Support for Temporal Predictability and Composability in Real-Time Computing. In 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Proceedings. 4th International Conference on Information and 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, EU. http://hdl.handle.net/20.500.12708/51484
  • Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award) / Kandl, S., & Kirner, R. (2006). Systematic Automated Testing of Safety-Critical Applications in the Automotive Domain (Best Poster Award). In Proceedings of the Junior Scientist Conference 2006. Junior Scientist Conference, Wien, Austria. http://hdl.handle.net/20.500.12708/51483
  • A Composable Algorithm for Clock Synchronization in Multi-Cluster Real-Time Systems / Hanzlik, A., & Ademaj, A. (2006). A Composable Algorithm for Clock Synchronization in Multi-Cluster Real-Time Systems. In 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Proceedings of the. 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/51482
  • Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems / Kandl, S., Kirner, R., & Fraser, G. (2006). Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems. In 3rd International Workshop on Dependable Embedded Systems, Proceedings (pp. 17–21). http://hdl.handle.net/20.500.12708/51438
  • From Time-Triggered to Time-Deterministic Real-Time Systems / Puschner, P., & Kirner, R. (2006). From Time-Triggered to Time-Deterministic Real-Time Systems. In 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Proceedings (pp. 115–124). Springer. http://hdl.handle.net/20.500.12708/51435
  • Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems / Kandl, S., Kirner, R., & Puschner, P. (2006). Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. In 4th Workshop on Intelligent Solutions in Embedded Systems (WISES’06), Proceedings of the. 4th Workshop on Intelligent Solutions in Embedded Systems - (WISES06), Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/51433
  • Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology / Ademaj, A., Steinhammer, K., Grillinger, P., Kopetz, H., & Hanzlik, A. (2006). Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology. In 19th International Conference on Architecture of Computing systems (ARCS’06), Proceedings of the. 19th International Conference on Architecture of Computing systems (ARCS), Frankfurt/Main, Germany, EU. Springer-Verlag. http://hdl.handle.net/20.500.12708/51432
  • A Time Predictable Java Processor / Schoeberl, M. (2006). A Time Predictable Java Processor. In Proceedings of the Design, Automation and Test in Europe Conference (DATE 2006) (p. 6). http://hdl.handle.net/20.500.12708/51355
  • Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems / Elmenreich, W., Novak, G., & Seepold, R. (Eds.). (2006). Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems. TU Wien. http://hdl.handle.net/20.500.12708/22330
  • Proceedings of the Junior Scientist Conference 2006 / Elmenreich, W., & Kaiser, H. (Eds.). (2006). Proceedings of the Junior Scientist Conference 2006. TU Wien. http://hdl.handle.net/20.500.12708/22329

2005

  • A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises / Legourski, V., Trödhandl, C., & Weiss, B. (2005). A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises. In Proceedings Workshop on Embedded Systems Education (WESE’05) (pp. 44–51). http://hdl.handle.net/20.500.12708/51170
  • Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers / Pitzek, S., & Elmenreich, W. (2005). Plug-and-Play: Bridging the Semantic Gap Between Application and Transducers. In Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation (pp. 799–806). IEEE. http://hdl.handle.net/20.500.12708/51096
  • Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks / Elmenreich, W., Paukovits, C., & Pitzek, S. (2005). Automatic Generation of Schedules for Time-Triggered Embedded Transducer Networks. In W. Elmenreich (Ed.), Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (pp. 535–541). IEEE. http://hdl.handle.net/20.500.12708/51112
  • Configuration and Management of Fieldbus Systems / Pitzek, S., & Elmenreich, W. (2005). Configuration and Management of Fieldbus Systems. In The Industrial Communication Technology Handbook (pp. 18-1-18–20). CRC Press. http://hdl.handle.net/20.500.12708/25349
  • Smart Transducers - Principles, Communications and Configuration / Elmenreich, W., & Pitzek, S. (2005). Smart Transducers - Principles, Communications and Configuration. In W. Elmenreich, J. A. T. Machado, & I. J. Rudas (Eds.), Intelligent Systems at the Service of Mankind, Volume II (pp. 175–186). UBooks Verlag. http://hdl.handle.net/20.500.12708/27186
  • Time Triggered Communication Networks / Kopetz, H., & Bauer, G. (2005). Time Triggered Communication Networks. In Industrial Information Technology Handbook. CRC Press. http://hdl.handle.net/20.500.12708/25345
  • Dependable Time-Triggered Communication / Kopetz, H., Bauer, G., & Steiner, W. (2005). Dependable Time-Triggered Communication. In The Industrial Communication Technology Handbook. CRC Press. http://hdl.handle.net/20.500.12708/25348
  • Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems / Elmenreich, W., & Karsai, G. (2005). Transatlantic Collaboration on Model-Integrated Computing for Dependable Embedded Components and Systems. In Workshop on the Collaboration between FP6/ISTand NSF/ITR Projects (p. 5). Information Society Technologies/National Science Foundation. http://hdl.handle.net/20.500.12708/51113
  • Impact of Dependable Software Development / Wenzel, I., Kirner, R., Schlager, M., Rieder, B., & Huber, B. (2005). Impact of Dependable Software Development. In EUROCON 2005 - The International Conference on “Computer as a Tool” (pp. 575–578). IEEE. http://hdl.handle.net/20.500.12708/51093
  • Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture / Huber, B., Peti, P., Obermaisser, R., & El Salloum, C. (2005). Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture. In Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES’05), (pp. 3–16). http://hdl.handle.net/20.500.12708/51003
  • A Comparison of Fieldbus Protocols: LIN 1.3, LIN 2.0, and TTP/A / Elmenreich, W., & Krywult, S. V. (2005). A Comparison of Fieldbus Protocols: LIN 1.3, LIN 2.0, and TTP/A. In S. V. Krywult (Ed.), Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation (pp. 747–753). IEEE. http://hdl.handle.net/20.500.12708/51111
  • Time-Triggered Smart Transducer Networks / Elmenreich, W., Klingler, G., Kößler, A., & Krywult, S. V. (2005). Time-Triggered Smart Transducer Networks. Siemens PSE Technology Day, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/84448
  • A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture / Peti, P., Obermaisser, R., Ademaj, A., & Kopetz, H. (2005). A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture. In Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS) Author(s). Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Orlando, Florida, USA, Austria. http://hdl.handle.net/20.500.12708/51000
  • The Diagnostic Architecture of the PEGASUS Project Car / Peti, P., Obermaisser, R., & Paulitsch, H. (2005). The Diagnostic Architecture of the PEGASUS Project Car. In Proceedings of the 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES’05) (pp. 163–174). http://hdl.handle.net/20.500.12708/51002
  • An Integrated Architecture for Future Car Generations / Peti, P., Obermaisser, R., Tagliabo, F., Marino, A., & Cerchio, S. (2005). An Integrated Architecture for Future Car Generations. In Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (pp. 2–13). http://hdl.handle.net/20.500.12708/51001
  • Virtual Gateways in the DECOS Integrated Architecture / Obermaisser, R., Peti, P., & Kopetz, H. (2005). Virtual Gateways in the DECOS Integrated Architecture. In Proceedings of the 13th Workshop on Parallel and Distributed Real-Time Systems 2005 (WPDRTS). Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Orlando, Florida, USA, Austria. http://hdl.handle.net/20.500.12708/50999
  • Out-of-Norm Assertions / Peti, P., Obermaisser, R., & Kopetz, H. (2005). Out-of-Norm Assertions. In Proceedings of the elventh IEEE Real-Time and Embedded Technology and Applications Symposium (pp. 280–291). IEEE Computer Society. http://hdl.handle.net/20.500.12708/50998
  • Specification and Execution of Gateways in Integrated Architectures / Obermaisser, R., & Peti, P. (2005). Specification and Execution of Gateways in Integrated Architectures. In Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation (pp. 689–698). IEEE. http://hdl.handle.net/20.500.12708/51081
  • Integration of two Complementary Time-Triggered Technologies: TMO and TTP / Obermaisser, R., Henrich, E., Kim, K., Kopetz, H., & Kim, M. H. (2005). Integration of two Complementary Time-Triggered Technologies: TMO and TTP. In Proceedings of the International Embedded Systems Symposium 2005 (pp. 1–12). Springer. http://hdl.handle.net/20.500.12708/51079
  • Virtual Networks in an Integrated Time-Triggered Architecture / Obermaisser, R., Peti, P., & Kopetz, H. (2005). Virtual Networks in an Integrated Time-Triggered Architecture. In Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005. IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Sedona, Arizona, Austria. http://hdl.handle.net/20.500.12708/51080
  • Dependable Embedded Systems Research at TU Vienna / Kopetz, H., Obermaisser, R., & Schmid, U. (2005). Dependable Embedded Systems Research at TU Vienna. Elektrotechnik Und Informationstechnik : E & i, 122(1), 33–37. https://doi.org/10.1007/BF03054020
  • Timing Analysis for Embedded Systems and Time-Predictable Computing / Puschner, P., & Kirner, R. (2005). Timing Analysis for Embedded Systems and Time-Predictable Computing. Siemens PSE Technology Day, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/84449
  • Model-Integrated Tool Support for Real-Time Embedded Systems / Paukovits, C., & Elmenreich, W. (2005). Model-Integrated Tool Support for Real-Time Embedded Systems. Siemens PSE Technology Day, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/84447
  • TTA Supported Service Availability / Kopetz, H. (2005). TTA Supported Service Availability. In M. Malek, E. Nett, & N. Suri (Eds.), Service Availability - Second International Availability Symposium (pp. 1–14). Springer. http://hdl.handle.net/20.500.12708/51769
  • A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems / Pallierer, R., Horauer, M., Zauner, M., Steininger, A., Armengaud, E., & Rothensteiner, F. (2005). A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems. In Embedded World 2005. unbekannt. http://hdl.handle.net/20.500.12708/51143
    Project: STEACS (2003–2008)
  • A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems / Armengaud, E., Rothensteiner, F., Steininger, A., Pallierer, R., Horauer, M., & Zauner, M. (2005). A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems. In Proceedings International Test Conference 2005 (pp. 21–28). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51142
    Project: STEACS (2003–2008)
  • DECOS-TADE Collaboration / Kim, K., Recker, W., Tsai, W. T., Kopetz, H., & Puschner, P. (2005). DECOS-TADE Collaboration. In IST-NSF Workshop on Transatlantic Research Agenda on Future Challenges in Embedded Systems Design (p. 7). Information Society Technologies/National Science Foundation. http://hdl.handle.net/20.500.12708/51114
  • Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number / Puschner, P. (2005). Experiments with WCET-Oriented Programming and the Single-Path Architecture RR Number. In Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005 (pp. 205–210). http://hdl.handle.net/20.500.12708/51095
  • Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core / Gruian, F., Andersson, P., Kuchcinsky, K., & Schoeberl, M. (2005). Automatic Generation of Application-Specific Systems Based on a Micro-programmed Java Core. In Proceedings of the 2005 ACM symposium on Applied computing (pp. 879–884). ACM Press. http://hdl.handle.net/20.500.12708/51094
  • Principles of Timing Anomalies in Superscalar Processors / Wenzel, I., Kirner, R., Puschner, P., & Rieder, B. (2005). Principles of Timing Anomalies in Superscalar Processors. In Proceedings of the Fifth International Conference on Quality Software (pp. 295–303). http://hdl.handle.net/20.500.12708/51092
  • Evaluation of a Java Processor / Schoeberl, M. (2005). Evaluation of a Java Processor. In Proceedings, Austrochip Mikroelektronik Tagung 2005. Austrochip, Graz, Austria, Austria. http://hdl.handle.net/20.500.12708/51078
  • The Time-Triggered Ethernet (TTE) Design / Kopetz, H., Ademaj, A., Grillinger, P., & Steinhammer, K. (2005). The Time-Triggered Ethernet (TTE) Design. In Proceedings of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC) (pp. 22–33). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51016
  • Classification of WCET Analysis Techniques / Kirner, R., & Puschner, P. (2005). Classification of WCET Analysis Techniques. In Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC’05) (pp. 190–199). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51015
  • Measurement-Based Worst-Case Execution Time Analysis / Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2005). Measurement-Based Worst-Case Execution Time Analysis. In Proceedings of the third Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) (pp. 7–10). IEEE. http://hdl.handle.net/20.500.12708/50995
  • Automatic Timing Model Generation by CFG Partitioning and Model Checking / Wenzel, I., Rieder, B., Kirner, R., & Puschner, P. (2005). Automatic Timing Model Generation by CFG Partitioning and Model Checking. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005) (pp. 606–611). http://hdl.handle.net/20.500.12708/50989
  • Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / Schmid, U., Kopetz, H., Puschner, P., Mayerhofer, L., Steininger, A., Grünbacher, H., Kastner, W., & Krall, A. (2005). Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster. http://hdl.handle.net/20.500.12708/33035
  • Intelligent Systems at the Service of Mankind, Volume II / Elmenreich, W., Machado, J. A. T., & Rudas, I. J. (Eds.). (2005). Intelligent Systems at the Service of Mankind, Volume II. UBooks Verlag. http://hdl.handle.net/20.500.12708/22344

2004

2003

2002

2001

  • Using Sensor Fusion in a Time-Triggered Network / Elmenreich, W., & Pitzek, S. (2001). Using Sensor Fusion in a Time-Triggered Network. In Proceedings of the 27th Annual conference of the IEEE Industrial Electronics Society (pp. 369–374). http://hdl.handle.net/20.500.12708/50875
  • The Time-Triggered Sensor Fusion Model / Elmenreich, W., & Pitzek, S. (2001). The Time-Triggered Sensor Fusion Model. In Proceedings of the 5th IEEE International Conference on Intelligent Engineering Systems (INES) (pp. 297–300). http://hdl.handle.net/20.500.12708/50883
  • Interface Design for Smart Transducers / Elmenreich, W., Haidinger, W., & Kopetz, H. (2001). Interface Design for Smart Transducers. In Proceedings of the IEEE Instrumentation and Measurement Technology Conference (IMTC) (pp. 1642–1647). http://hdl.handle.net/20.500.12708/50880
  • Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis / Atanassov, P., Puschner, P., & Kirner, R. (2001). Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis. In Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001). IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom, Austria. http://hdl.handle.net/20.500.12708/50873
  • Impact of DRAM Refresh on the Execution Time of Real-Time Tasks / Atanassov, P., & Puschner, P. (2001). Impact of DRAM Refresh on the Execution Time of Real-Time Tasks. In Proceedings of the International Workshop on Application of Reliable Computing and Communication (in conjunction with PRDC 2001) (pp. 29–34). http://hdl.handle.net/20.500.12708/50874
  • Wireless Real-Time Communication Technologies: A Comparative Study / Losert, T., & Obermaisser, R. (2001). Wireless Real-Time Communication Technologies: A Comparative Study. In Proceedings of the IEEE Workshop on Real-Time Embedded Systems. IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom, Austria. http://hdl.handle.net/20.500.12708/50870
  • Monitoring and Configuration in a Smart Transducer Network / Obermaisser, R., Peti, P., Elmenreich, W., & Losert, T. (2001). Monitoring and Configuration in a Smart Transducer Network. In Proceedings of the IEEE Workshop on Real-Time Embedded Systems. IEEE Workshop on Real-Time Embedded Systems, London, United Kingdom, Austria. http://hdl.handle.net/20.500.12708/50868
  • A Universal Smart Transducer Interface: TTP/A / Kopetz, H., Holzmann, M., & Elmenreich, W. (2001). A Universal Smart Transducer Interface: TTP/A. Computer Systems Science and Engineering, 16(2), 71–77. http://hdl.handle.net/20.500.12708/174788
  • TTP/A: A Low Cost Highly Efficient Time-Triggered Fieldbus Architecture / Schlatterbeck, R., & Elmenreich, W. (2001). TTP/A: A Low Cost Highly Efficient Time-Triggered Fieldbus Architecture. In Proceedings of the SAE World Congress 2001 (pp. 1–4). http://hdl.handle.net/20.500.12708/50885
  • Tolerating Arbitrary Node Failures in the Time-Triggered Architecture / Kopetz, H., Bauer, G., & Poledna, S. (2001). Tolerating Arbitrary Node Failures in the Time-Triggered Architecture. In Proceedings of the SAE 2001 World Congress. SAE World Congress, Detroit, MI, USA, Austria. http://hdl.handle.net/20.500.12708/50884
  • Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture / Bauer, G., Kopetz, H., & Puschner, P. (2001). Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture. In Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation (pp. 333–341). http://hdl.handle.net/20.500.12708/50882
  • A Profile for High-Integrity Real-Time Java Programs / Puschner, P., & Wellings, A. (2001). A Profile for High-Integrity Real-Time Java Programs. In Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC) (pp. 15–22). http://hdl.handle.net/20.500.12708/50881
  • WCET Analysis of Reusable Portable Code / Puschner, P., & Bernat, G. (2001). WCET Analysis of Reusable Portable Code. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS) (pp. 45–52). http://hdl.handle.net/20.500.12708/50879
  • Transformation of Path Information for WCET Analysis during Compilation / Kirner, R., & Puschner, P. (2001). Transformation of Path Information for WCET Analysis during Compilation. In Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS2001) (pp. 29–36). http://hdl.handle.net/20.500.12708/50878
  • The Three Interfaces of a Smart Transducer / Kopetz, H. (2001). The Three Interfaces of a Smart Transducer. In Proceedings of the FeT`2001 - 4th IFAC International Conference on Fieldbus Systems and their Applications. IFAC International Conference on Fieldbus Systems and their Applications, Nancy, France, Austria. http://hdl.handle.net/20.500.12708/50877
  • A Universal Smart Transducer Interface / Kopetz, H. (2001). A Universal Smart Transducer Interface. In Proceedings of the V Simpósio Brasileiro de Automação Inteligente (pp. 1–8). http://hdl.handle.net/20.500.12708/50876
  • WCET Analysis for Systems Modelled in Matlab/Simulink / Kirner, R., Lang, R., & Puschner, P. (2001). WCET Analysis for Systems Modelled in Matlab/Simulink. In Proceedings of the IEEE Real-Time Systems Symposium - Work in Progress Proceedings (pp. 33–36). http://hdl.handle.net/20.500.12708/50872
  • Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling / Dobrin, R., Fohler, G., & Puschner, P. (2001). Translating Offline Schedules into Task Attributes for Fixed Priority Scheduling. In Proceedings of the 22nd IEEE Real-Time Systems Symposium (pp. 225–234). http://hdl.handle.net/20.500.12708/50871
  • The Temporal Specification of Interfaces in Distributed Real-Time Systems / Kopetz, H. (2001). The Temporal Specification of Interfaces in Distributed Real-Time Systems. In Proceedings of the EMSOFT (pp. 223–236). http://hdl.handle.net/20.500.12708/50869

2000

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

 

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1993

 

  • Ezio Bartocci: Best Paper of QEST 2022 International Conference
    2022 / 19th International Conference on Quantitative Evaluation of SysTems / Poland
  • Ezio Bartocci: Best Software Science Paper of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2022
    2022 / European Association of Software Science and Technology (EASST) / Germany / Website
  • Wilfried Elmenreich: E-Learning Award 2006/2007 für ausgezeichnete Leistungen in der Lehrentwicklung (Kategorie für Speziallösungen)
    2007 / Austria
  • Peter Puschner: Gründungsmitglied der IFIP 10.2 WG on Embedded Systems
    2006 / IFIP
  • Hermann Kopetz: Wilhelm Exner Medaillie
    2005 / Austria
  • Hermann Kopetz: IEEE Technical Achievement Award
    2004
  • Hermann Kopetz: Vorsitzender d. Wiss. Beirat ACR
    2004 / Austria
  • Raimund Kirner: Mobilitätsstipendium der Creditanstalt AG (wird für aussergewöhnliche Dissertationen an der Technischen Universität Wien verliehen)
    2003 / Austria
  • Hermann Kopetz: IGM-Preis
    2001 / Austria
  • Hermann Kopetz: Mitglied "Rat for Forschung und Technologieentwicklung"
    2000 / Austria
  • Peter Puschner: Marie-Curie Fellowship
    1999 / EC Europäische Komission - Marie Curie
  • Hermann Kopetz: Wirkliches Mitglied der Österr. Akademie der Wissenschaften
    1998 / Mitgliedschaft / Austria
  • Hermann Kopetz: Chairman der IFIP WG 10.4
    1996
  • Hermann Kopetz: Goldenes Verdienstkreuz der Republik Österreich
    1995 / Ehrenkreuz für Wissenschaft und Kunst / Austria
  • Hermann Kopetz: Fellow of the IEEE
    1993
  • Hermann Kopetz: Ruf als Direktor an das Max-Plank Institut
    1993 / Germany
  • Hermann Kopetz: Gründungsmitglied der IFIP 10.4 WG on Dependable Computing
    1980
  • Hermann Kopetz: Gründungsmitglied der Österr. Computer Gesellschaft
    1975 / Austria

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

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