| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Lukina, Anna ; Kumar, Arjun ; Schmittle, Matt ; Singh, Abhijeet ; Das, Jnaneshwar ; Rees, Stephen ; Buskirk, Christopher P. ; Sztipanovits, Janos ; Grosu, Radu ; Kumar, Vijay | Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO | Konferenzbeitrag Inproceedings | 2018 |
| 2 | | Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Yang, Junxing ; Grosu, Radu | Resilient Control and Safety for Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2018 |
| 3 | | Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu | Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments | Konferenzbeitrag Inproceedings | 2018 |
| 4 | | DelPreto, Joseph ; Salazar-Gomez, Andres F. ; Gil, Stephanie ; M. Hasani, Ramin ; Guenther, Frank H. ; Rus, Daniela | Plug-and-Play Supervisory Control Using Muscle and Brain Signals for Real-Time Gesture and Error Detection | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Wang, Guodong ; Ben Sassi, Mohamed Amin ; Grosu, Radu | A multi-bias recurrent neural network for modeling milling sensory data | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Schmittle, Matt ; Lukina, Anna ; Vacek, Lukas ; Das, Jnaneshwar ; Buskirk, Christopher P. ; Rees, Stephen ; Sztipanovits, Janos ; Grosu, Radu ; Kumar, Vijay | OpenUAV: A UAV Testbed for the CPS and Robotics Community | Konferenzbeitrag Inproceedings | 2018 |
| 7 | | Hasani, Ramin ; Kulnik, Benjamin ; Haerle, Dieter ; Grosu, Radu | Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu | Tight Continuous-Time Reachtubes for Lagrangian Reachability | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Neural State Classification for Hybrid Systems | Konferenzbeitrag Inproceedings | 2018 |
| 10 | | Mehmood, Usama ; Paoletti, Nicola ; Phan, Dung ; Grosu, Radu ; Lin, Shan ; Stoller, Scott D. ; Tiwari, Ashish ; Yang, Junxing ; Smolka, Scott A. | Declarative vs rule-based control for flocking dynamics | Konferenzbeitrag Inproceedings | 2018 |
| 11 | | Bartocci, Ezio ; Falcone, Ylies | Lectures on Runtime Verification | Buch Book | 2018 |
| 12 | | Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola | Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) | Artikel Article | 2018 |
| 13 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan | Quantitative monitoring of STL with edit distance | Artikel Article | 2018 |
| 14 | | Bartocci, Ezio ; Aydin Gol, Ebru ; Haghighi, Iman ; Belta, Calin | A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks | Artikel Article | 2018 |
| 15 | | Ratasich, Denise ; Preindl, Thomas ; Selyunin, Konstantin ; Grosu, Radu | Self-healing by property-guided structural adaptation | Konferenzbeitrag Inproceedings | 2018 |
| 16 | | Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca | Signal Convolution Logic | Konferenzbeitrag Inproceedings | 2018 |
| 17 | | Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca | A Robust Genetic Algorithm for Learning Temporal Specifications from Data | Konferenzbeitrag Inproceedings | 2018 |
| 18 | | Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz | A Counting Semantics for Monitoring LTL Specifications over Finite Traces | Konferenzbeitrag Inproceedings | 2018 |
| 19 | | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan | An algebraic framework for runtime verification | Artikel Article | 2018 |
| 20 | | Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram | Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications | Buchbeitrag Book Contribution | 2018 |