| An Annotation System for Specifying Aliasing Invariants on Object Fields | Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming |  | | 2020 | 317 | 187 |
|
| ML4CREST: Machine Learning for CPS Models | Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) |  | | 2018 | 270 | 316 |
|
