Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Streamlab: Stream-Based Monitoring Of Cyber-Physical Systems | 0 | 0.34 | 2019 |
| The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. | 0 | 0.34 | 2019 |
| Stream Runtime Monitoring On Uas | 1 | 0.39 | 2018 |
| Encodings Of Bounded Synthesis | 9 | 0.51 | 2018 |
| Real-time Stream-based Monitoring. | 0 | 0.34 | 2017 |
| A Stream-Based Specification Language For Network Monitoring | 6 | 0.49 | 2016 |
| Monitoring Parametric Temporal Logic | 4 | 0.43 | 2014 |
| CAPTCHA-based image labeling on the Soylent Grid | 5 | 0.44 | 2009 |