| | Preview | Authors / Editors | Title | Type | Issue Date |
| 181 | | Tulala, Peter ; Mahyar, Hamidreza ; Ghalebi, Elahe ; Grosu, Radu | Unsupervised Wafermap Patterns Clustering via Variational Autoencoders | Konferenzbeitrag Inproceedings | 2018 |
| 182 | | 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 |
| 183 | | Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Yang, Junxing ; Grosu, Radu | Resilient Control and Safety for Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2018 |
| 184 | | Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu | Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments | Konferenzbeitrag Inproceedings | 2018 |
| 185 | | 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 |
| 186 | | Wang, Guodong ; Ben Sassi, Mohamed Amin ; Grosu, Radu | A multi-bias recurrent neural network for modeling milling sensory data | Konferenzbeitrag Inproceedings | 2018 |
| 187 | | 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 |
| 188 | | 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 | 2018 |
| 189 | | Hasani, Ramin ; Kulnik, Benjamin ; Haerle, Dieter ; Grosu, Radu | Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems | Konferenzbeitrag Inproceedings | 2018 |
| 190 | | Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu | Tight Continuous-Time Reachtubes for Lagrangian Reachability | Konferenzbeitrag Inproceedings | 2018 |
| 191 | | Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Neural State Classification for Hybrid Systems | Konferenzbeitrag Inproceedings | 2018 |
| 192 | | 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 |
| 193 | | Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles | Introduction to Runtime Verification | Buchbeitrag Book Contribution | 2018 |
| 194 | | Bartocci, Ezio ; Falcone, Ylies | Lectures on Runtime Verification | Buch Book | 2018 |
| 195 | | 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 |
| 196 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan | Quantitative monitoring of STL with edit distance | Artikel Article | 2018 |
| 197 | | Sarma, Gopal P. ; Lee, Chee Wai ; Portegys, Tom ; Ghayoomie, Vahid ; Jacobs, Travis ; Alicea, Bradly ; Cantarelli, Matteo ; Currie, Michael ; Gerkin, Richard C. ; Gingell, Shane ; Gleeson, Padraig ; Gordon, Richard ; Hasani, Ramin M. ; Idili, Giovanni ; Khayrulin, Sergey ; Lung, David ; Palyanov, Andrey ; Watts, Mark ; Larson, Stephen D. | OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans | Artikel Article | 2018 |
| 198 | | Gleeson, Padraig ; Lung, David ; Grosu, Radu ; Hasani, Ramin ; Larson, Stephen D. | c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans | Artikel Article | 2018 |
| 199 | | 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 |
| 200 | | Ratasich, Denise ; Preindl, Thomas ; Selyunin, Konstantin ; Grosu, Radu | Self-healing by property-guided structural adaptation | Konferenzbeitrag Inproceedings | 2018 |