| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |
| 82 | | Meiyi, Ma ; Bartocci, Ezio ; Stankovic, John ; Feng, Lu | Predictive monitoring with uncertainty for deep learning enabled smart cities | Konferenzbeitrag Inproceedings | 2020 |
| 83 | | Platzer, Michael ; Puschner, Peter | An Instruction Filter for Time-Predictable Code Execution on Standard Processors | Konferenzbeitrag Inproceedings | 2020 |
| 84 | | Isakovic, Haris ; Crespo, Edgar Azpiazu ; Grosu, Radu | An Energy Sustainable CPS/IoT Ecosystem | Konferenzbeitrag Inproceedings | 2020 |
| 85 | | Hasani, Ramin ; Lechner, Mathias ; Amini, Alexander ; Rus, Daniela ; Grosu, Radu | A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits | Konferenzbeitrag Inproceedings | 2020 |
| 86 | | Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Konferenzbeitrag Inproceedings | 2020 |
| 87 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | Konferenzbeitrag Inproceedings | 2020 |
| 88 | | Platzer, Michael ; Puschner, Peter | A Real-Time Application with Fully Predictable Task Timing | Konferenzbeitrag Inproceedings | 2020 |
| 89 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Towards Dual-Issue Single-Path Code | Konferenzbeitrag Inproceedings | 2020 |
| 90 | | Hauer, Daniel ; Ratasich, Denise ; Krammer, Lukas ; Jantsch, Axel | A Methodology for Resilient Control and Monitoring in Smart Grids | Konferenzbeitrag Inproceedings | 2020 |
| 91 | | Kyriakakis, Eleftherios ; Sparso, Jens ; Puschner, Peter ; Schoeberl, Martin | Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress | Konferenzbeitrag Inproceedings | 2020 |
| 92 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Konferenzbeitrag Inproceedings | 2020 |
| 93 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio | Monitoring Spatio-Temporal Properties (Invited Tutorial) | Konferenzbeitrag Inproceedings | 2020 |
| 94 | | Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems | Konferenzbeitrag Inproceedings | 2019 |
| 95 | | Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu | Designing Worm-inspired Neural Networks for Interpretable Robotic Control | Konferenzbeitrag Inproceedings | 2019 |
| 96 | | Hasani, Ramin ; Amini, Alexander ; Lechner, Mathias ; Naser, Felix ; Grosu, Radu ; Rus, Daniela | Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks | Konferenzbeitrag Inproceedings | 2019 |
| 97 | | Puschner, Peter ; Frömel, Bernhard | Composable Component Interfaces for Time-Triggered Systems | Konferenzbeitrag Inproceedings | 2019 |
| 98 | | Hasani, Ramin ; Wang, Guodong ; Grosu, Radu | A Machine Learning Suite for Machine Components' Health-Monitoring | Konferenzbeitrag Inproceedings | 2019 |
| 99 | | Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2019 |
| 100 | | TaheriNejad, Nima ; Lewis, Peter ; Jantsch, Axel ; Rahmani, Amir ; Esterle, Lukas | Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial) | Konferenzbeitrag Inproceedings | 2019 |