Raquel Oliveira's publications [bibtex|json]
2016
International refereed conference papers
-
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
International refereed conference papers
-
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
International refereed journal articles
-
Verification of Plastic Interactive Systems (2015)
In Journal of Interactive Media (i-com) 3.
Oliveira, Dupuy-Chessa, Calvary
Thesis
-
Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision (2015)
Oliveira
Others 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
Others 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