|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu | Attacking the V: On the Resiliency of Adaptive-Horizon MPC | Konferenzbeitrag Inproceedings  | 2017 |
| 2 | | Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2019 |
| 3 | | Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei | Extensional Crisis and Proving Identity | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems | Konferenzbeitrag Inproceedings | 2021 |
| 5 | | Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Neural State Classification for Hybrid Systems | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott | On Temporal Logic and Signal Processing | Konferenzbeitrag Inproceedings | 2012 |
| 7 | | Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad | Parallel Assertions for Architectures with Weak Memory Models | Konferenzbeitrag Inproceedings | 2012 |
| 8 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 9 | | Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca | Signal Convolution Logic | Konferenzbeitrag Inproceedings | 2018 |
