| | Preview | Author(s) | Title | Type | Issue Date |
| 121 | | Xu, Xiaobin ; Yu, Zhuochen ; Zeng, Jiusun ; Xiong, Wanqi ; Hu, Yanzhu ; Wang, Guodong | A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes | Artikel Article | 2020 |
| 122 | | Lechner, Mathias ; Hasani, Ramin ; Amini, Alexander ; Henzinger, Thomas A. ; Rus, Daniela ; Grosu, Radu | Neural Circuit Policies Enabling Auditable Autonomy | Artikel Article | 2020 |
| 123 | | Zhang, Xuelin ; Xu, Xiaojian ; Xu, Xiaobin ; Gao, Diju ; Gao, Haibo ; Wang, Guodong ; Grosu, Radu | Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule | Artikel Article | 2020 |
| 124 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | Konferenzbeitrag Inproceedings | 2020 |
| 125 | | Puschner, Peter ; Kirner, Raimund | Asynchronous vs. synchronous interfacing to time-triggered communication systems | Artikel Article | 2020 |
| 126 | | Platzer, Michael ; Puschner, Peter | A Real-Time Application with Fully Predictable Task Timing | Konferenzbeitrag Inproceedings | 2020 |
| 127 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Towards Dual-Issue Single-Path Code | Konferenzbeitrag Inproceedings | 2020 |
| 128 | | Hauer, Daniel ; Ratasich, Denise ; Krammer, Lukas ; Jantsch, Axel | A Methodology for Resilient Control and Monitoring in Smart Grids | Konferenzbeitrag Inproceedings | 2020 |
| 129 | | Kyriakakis, Eleftherios ; Sparso, Jens ; Puschner, Peter ; Schoeberl, Martin | Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress | Konferenzbeitrag Inproceedings | 2020 |
| 130 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Konferenzbeitrag Inproceedings | 2020 |
| 131 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio | Monitoring Spatio-Temporal Properties (Invited Tutorial) | Konferenzbeitrag Inproceedings | 2020 |
| 132 | | Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang | V-Formation via Model Predictive Control | Preprint Preprint | 2020 |
| 133 | | Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Preprint Preprint | 2020 |
| 134 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Preprint Preprint | 2020 |
| 135 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Learning Distributed Controllers for V-Formation | Preprint Preprint | 2020 |
| 136 | | Grosu, Radu | ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks | Preprint Preprint | 2020 |
| 137 | | Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol | A Distributed Simplex Architecture for Multi-Agent Systems | Preprint Preprint | 2020 |
| 138 | | Wang, Guodong ; Ledwoch, Anna ; Hasani, Ramin M. ; Grosu, Radu ; Brintrup, Alexandra | A generative neural network model for the quality prediction of work in progress products | Artikel Article | Dec-2019 |
| 139 | | Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. | Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | Artikel Article | 18-Apr-2019 |
| 140 | | Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems | Konferenzbeitrag Inproceedings | 2019 |