|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 141 | | Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu | Designing Worm-inspired Neural Networks for Interpretable Robotic Control | Konferenzbeitrag Inproceedings  | 2019 |
| 142 | | 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 |
| 143 | | Puschner, Peter ; Frömel, Bernhard | Composable Component Interfaces for Time-Triggered Systems | Konferenzbeitrag Inproceedings | 2019 |
| 144 | | Hasani, Ramin ; Wang, Guodong ; Grosu, Radu | A Machine Learning Suite for Machine Components' Health-Monitoring | Konferenzbeitrag Inproceedings | 2019 |
| 145 | | Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2019 |
| 146 | | TaheriNejad, Nima ; Lewis, Peter ; Jantsch, Axel ; Rahmani, Amir ; Esterle, Lukas | Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial) | Konferenzbeitrag Inproceedings | 2019 |
| 147 | | Kopetz, Hermann | Simplicity is Complex | Buch Book | 2019 |
| 148 | | Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg | From Reactive Systems to Cyber-Physical Systems | Buch Book | 2019 |
| 149 | | Abbas, Houssam ; Rodionova, Alena ; Mamouras, Konstantinos ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu | Quantitative Regular Expressions for Arrhythmia Detection | Artikel Article | 2019 |
| 150 | | Ratasich, Denise ; Khalid, Faiq ; Geissler, Florian ; Grosu, Radu ; Shafique, Muhammad ; Bartocci, Ezio | A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems | Artikel Article | 2019 |
| 151 | | Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu | Parallel reachability analysis of hybrid systems in XSpeed | Artikel Article | 2019 |
| 152 | | Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander | A survey of challenges for runtime verification from advanced application domains (beyond software) | Artikel Article | 2019 |
| 153 | | Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu | Statistical model checking | Buchbeitrag Book Contribution | 2019 |
| 154 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | Beitrag in Tagungsband Inproceedings | 2019 |
| 155 | | Ghalebi, Elahe ; Mayhar, Hamidreza ; Grosu, Radu ; Taylor, Graham W. ; Williamson, Sinead A. | A Nonparametric Bayesian Model for Sparse Temporal Multigraphs | Preprint Preprint | 2019 |
| 156 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Preprint Preprint | 2019 |
| 157 | | Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. | Neural Simplex Architecture | Preprint Preprint | 2019 |
| 158 | | Ghalebi, Elahe ; Mayhar, Hamidreza ; Grosu, Radu ; Taylor, Graham W. ; Williamson, Sinead A. | Sequential Edge Clustering in Temporal Multigraphs | Preprint Preprint | 2019 |
| 159 | | Ratasich, Denise ; Platzer, Michael ; Grosu, Radu ; Bartocci, Ezio | Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time | Konferenzbeitrag Inproceedings | 2019 |
| 160 | | Isakovic, Haris ; Ratasich, Denise ; Hirsch, Christian ; Platzer, Michael ; Wally, Bernhard ; Rausch, Thomas ; Nickovic, Dejan ; Krenn, Willibald ; Kappel, Gerti ; Dustdar, Schahram ; Grosu, Radu | CPS/IoT Ecosystem: A Platform for Research and Education | Konferenzbeitrag Inproceedings | 2019 |
