|
| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A. | A Distributed Simplex Architecture for Multi-agent Systems | Konferenzbeitrag Inproceedings  | 2021 |
| 82 | | Kirner, Raimund ; Puschner, Peter | A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses | Artikel Article | 2021 |
| 83 | | Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. | Collision-Free 3D Flocking Using the Distributed Simplex Architecture | Konferenzbeitrag Inproceedings | 2021 |
| 84 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin | Mining Shape Expressions with ShapeIt | Konferenzbeitrag Inproceedings | 2021 |
| 85 | | Hofmann, Till ; Schupp, Stefan | TACoS: A Tool for MTL Controller Synthesis | Konferenzbeitrag Inproceedings | 2021 |
| 86 | | Treml, Lilly Maria ; Gizzi, Alessio ; Bartocci, Ezio | Cardiac Hybrid Cellular Automata Simulation For 2d Cardiac Dynamics | Konferenzbeitrag Inproceedings | 2021 |
| 87 | | Bartocci, Ezio ; Bender, Michael A. | A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" | Artikel Article | 2021 |
| 88 | | Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele ; Nenzi, Laura | Online monitoring of spatio-temporal properties for imprecise signals | Konferenzbeitrag Inproceedings | 2021 |
| 89 | | Babaiee, Zahra ; Hasani, Ramin ; Lechner, Mathias ; Rus, Daniela ; Grosu, Radu | On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification | Konferenzbeitrag Inproceedings | 2021 |
| 10 | | Hasani, Ramin ; Lechner, Mathias ; Amini, Alexander ; Rus, Daniela ; Grosu, Radu | Liquid Time-Constant Networks | Konferenzbeitrag Inproceedings | 2021 |
| 11 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Konferenzbeitrag Inproceedings | 2021 |
| 12 | | Freiberger, Felix ; Schupp, Stefan ; Hermanns, Holger ; Ábrahám, Erika | Controller verification meets controller code : a case study | Konferenzbeitrag Inproceedings | 2021 |
| 13 | | Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding | Konferenzbeitrag Inproceedings | 2021 |
| 14 | | Kyriakakis, Eleftherios ; Sparso, Jens ; Puschner, Peter ; Schoeberl, Martin | Synchronizing Real-Time Tasks in Time-Triggered Networks | Konferenzbeitrag Inproceedings | 2021 |
| 15 | | Platzer, Michael ; Puschner, Peter | Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems | Konferenzbeitrag Inproceedings | 2021 |
| 17 | | Platzer, Michael ; Puschner, Peter | A Processor Extension for Time-Predictable Code Execution | Konferenzbeitrag Inproceedings | 2021 |
| 18 | | Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | A Normative Supervisor for Reinforcement Learning Agents | Konferenzbeitrag Inproceedings | 2021 |
| 19 | | Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications | Konferenzbeitrag Inproceedings | 2021 |
| 20 | | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | HyperProb: A Model Checker for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2021 |
