| Compositional Learning Of Mutually Recursive Procedural Systems | 0 | 0.34 | 2021 |
| Characteristic invariants in Hennessy-Milner logic | 0 | 0.34 | 2020 |
| Product Line Verification via Modal Meta Model Checking. | 0 | 0.34 | 2019 |
| High-level frameworks for the specification and verification of scheduling problems. | 0 | 0.34 | 2018 |
| The RERS 2017 challenge and workshop (invited paper) | 0 | 0.34 | 2017 |
