Publications de Raquel Oliveira [bibtex|json]
2016
Conférences internationales de large diffusion avec comité de lecture sur texte complet
-
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
2015
Conférences internationales de large diffusion avec comité de lecture sur texte complet
-
Equivalence Checking for Comparing User Interfaces (2015)
In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015).
Oliveira, Dupuy-Chessa, Calvary
Revues internationales avec comité de lecture
-
Verification of Plastic Interactive Systems (2015)
In Journal of Interactive Media (i-com) 3.
Oliveira, Dupuy-Chessa, Calvary
Thèses et habilitations
-
Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision (2015)
Oliveira
Autres publications
-
Plasticity of user interfaces: formal verification of consistency (2015)
In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015).
Oliveira, Dupuy-Chessa, Calvary
2014
Autres publications
-
Formal Verification of UI Using the Power of a Recent Tool Suite (2014)
In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014).
Oliveira, Dupuy-Chessa, Calvary