Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
| Title | Accelerated Runtime Verification of LTL Specifications with Counting Semantics |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Medhat, R., B. Bonakdarpour, S. Fischmeister, and Y. Joshi |
| Conference Name | International Conference on Runtime Verification |
| Pagination | 251--267 |
| Conference Location | Madrid, Spain |
| DOI | 10.1007/978-3-319-46982-9_16 |
| Refereed Designation | Refereed |
Related files: