|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg | Abstraction and Mining of Traces to Explain Concurrency Bugs | Konferenzbeitrag Inproceedings  | 2014 |
| 2 | | Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin | Adaptive Runtime Verification | Konferenzbeitrag Inproceedings | 2012 |
| 3 | | Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu | Applying Runtime Monitoring for Automotive Electronic Development | Konferenzbeitrag Inproceedings | 2016 |
| 4 | | Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan | Automated test-trace inspection for microcontroller binary code | Konferenzbeitrag Inproceedings | 2011 |
| 5 | | Phan, Dung ; Yang, Junxing ; Ratasich, Denise ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment | Konferenzbeitrag Inproceedings | 2015 |
| 6 | | Weissenbacher, Georg | Explaining Heisenbugs | Konferenzbeitrag Inproceedings | 2015 |
| 7 | | Bartocci, Ezio | Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | Konferenzbeitrag Inproceedings | 2020 |
| 9 | | Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan | Quantitative Monitoring of STL with Edit Distance | Konferenzbeitrag Inproceedings | 2016 |
| 10 | | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems | Konferenzbeitrag Inproceedings | 2015 |
| 11 | | Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. | Runtime Analysis with R2U2: A Tool Exhibition Report | Konferenzbeitrag Inproceedings | 2016 |
| 12 | | Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis | Runtime Verification of Autonomous Driving Systems in CARLA | Konferenzbeitrag Inproceedings | 2020 |
| 13 | | Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu | Runtime Verification with Particle Filtering | Konferenzbeitrag Inproceedings | 2013 |
| 14 | | Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez | Runtime Verification with State Estimation | Konferenzbeitrag Inproceedings | 2012 |
