| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |
| 62 | | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | Enforcing ethical goals over reinforcement-learning policies | Article Artikel | 2022 |
| 63 | | Brunnbauer, Axel ; Berducci, Luigi ; Brandstätter, Andreas ; Lechner, Mathias ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing | Inproceedings Konferenzbeitrag | 2022 |
| 64 | | Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan | Recent developments in theory and tool support for hybrid systems verification with HyPro | Article Artikel | 2022 |
| 65 | | Yadav, Drishti | Blood coagulation algorithm: A novel bio‐inspired meta‐heuristic algorithm for global optimization | Article Artikel | 24-Nov-2021 |
| 66 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan | CPSDebug: Automatic Failure Explanation in CPS Models | Artikel Article | Oct-2021 |
| 67 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiling for time-predictability with dual-issue single-path code | Artikel Article | 2021 |
| 68 | | Isakovic, Haris ; Dangl, Stefan ; Tucakovic, Zlatan ; Grosu, Radu | Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem | Konferenzbeitrag Inproceedings | 2021 |
| 69 | | Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea | Lumpability for Uncertain Continuous-Time Markov Chains | Konferenzbeitrag Inproceedings | 2021 |
| 70 | | Isakovic, Haris ; Ferreira, Luis Lino ; Okic, Irmin ; Dukkon, Adam ; Tucakovic, Zlatan ; Grosu, Radu | QoS for Dynamic Deployment of IoT Services | Konferenzbeitrag Inproceedings | 2021 |
| 71 | | Bartocci, Ezio ; Falcone, Ylies ; Leucker, Martin | Preface | Konferenzbeitrag Inproceedings | 2021 |
| 72 | | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura | Automated Termination Analysis of Polynomial Probabilistic Programs | Konferenzbeitrag Inproceedings | 2021 |
| 73 | | Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan | Adaptive Testing for Specification Coverage in CPS Models | Konferenzbeitrag Inproceedings | 2021 |
| 74 | | Pilch, Carina ; Schupp, Stefan ; Remke, Anne | Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction | Konferenzbeitrag Inproceedings | 2021 |
| 75 | | Pigozzi, Federico ; Medvet, Eric ; Nenzi, Laura | Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming | Artikel Article | 2021 |
| 76 | | Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu | A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities | Artikel Article | 2021 |
| 77 | | Treml, Lilly Maria ; Bartocci, Ezio ; Gizzi, Alessio | Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation | Artikel Article | 2021 |
| 78 | | Meiyi, Ma ; Stankovic, John ; Bartocci, Ezio ; Feng, Lu | Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems | Artikel Article | 2021 |
| 79 | | Marcel Moosbrugger ; Ezio Bartocci ; Katoen, Joost-Pieter ; Laura Kovács | The Probabilistic Termination Tool Amber | Inproceedings Konferenzbeitrag | 2021 |
| 80 | | Sietzen, Stefan ; Lechner, Mathias ; Borowski, Judy ; Hasani, Ramin ; Waldner, Manuela | Interactive Analysis of CNN Robustness | Artikel Article | 2021 |