Runtime Verification

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Runtime Verification
 
ISBN
978-3-030-03768-0
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
Cham
 
DOI
10.1007/978-3-030-03769-7
 

Publications Publikationen

Results 1-14 of 14 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and Mining of Traces to Explain Concurrency BugsKonferenzbeitrag Inproceedings 2014
2Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
3Selyunin, Konstantin ; Nguyen, Thang ; Bartocci, Ezio ; Grosu, Radu Applying Runtime Monitoring for Automotive Electronic DevelopmentKonferenzbeitrag Inproceedings 2016
4Reinbacher, Thomas ; Brauer, Jörg ; Schachinger, Daniel ; Steininger, Andreas ; Kowalewski, Stefan Automated test-trace inspection for microcontroller binary codeKonferenzbeitrag Inproceedings 2011
5Phan, 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 EnvironmentKonferenzbeitrag Inproceedings 2015
6Weissenbacher, Georg ; Bartocci, Ezio ; Majumdar, Rupak Explaining HeisenbugsKonferenzbeitrag Inproceedings2015
7Bartocci, Ezio ; Colombo, Christian ; Leucker, Martin Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)Konferenzbeitrag Inproceedings 2018
8Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone ; Nenzi, Laura MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings2020
9Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan Quantitative Monitoring of STL with Edit DistanceKonferenzbeitrag Inproceedings 2016
10Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial SystemsKonferenzbeitrag Inproceedings2015
11Schumann, Johann ; Moosbrugger, Patrick ; Rozier, Kristin Y. Runtime Analysis with R2U2: A Tool Exhibition ReportKonferenzbeitrag Inproceedings2016
12Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis Runtime Verification of Autonomous Driving Systems in CARLAKonferenzbeitrag Inproceedings2020
13Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013
14Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012