Raquel Oliveira
Former member (Ph.D. student, déc. 2015)
Recent publications [all]
-
Using formal models to cross check an implementation (2016)
In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016.
Oliveira, Dupuy-Chessa, Calvary, Dadolle -
Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision (2015)
Oliveira -
Verification of Plastic Interactive Systems (2015)
In Journal of Interactive Media (i-com) 3.
Oliveira, Dupuy-Chessa, Calvary