| State of the Art on Formal Methods for Interactive Systems R Oliveira, P Palanque, B Weyers, J Bowen, A Dix The Handbook of Formal Methods in Human-Computer Interaction, 3-55, 2017 | 13 | 2017 |
| Equivalence checking for comparing user interfaces R Oliveira, S Dupuy-Chessa, G Calvary Proceedings of the 7th ACM SIGCHI Symposium on Engineering interactive …, 2015 | 13 | 2015 |
| Plasticity of user interfaces: formal verification of consistency R Oliveira, S Dupuy-Chessa, G Calvary Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive …, 2015 | 12 | 2015 |
| Supporting model refinement with equivalence checking in the context of model-driven engineering with uml-rt RA Oliveira, J Dingel CEUR-WS: Workshop proceedings, 2017 | 10 | 2017 |
| Toward automated schema-directed code revision R Oliveira, P Genevès, N Layaïda Proceedings of the 2012 ACM symposium on Document engineering, 103-106, 2012 | 9 | 2012 |
| Formal verification of UI using the power of a recent tool suite R Oliveira, S Dupuy-Chessa, G Calvary Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014 | 7 | 2014 |
| Using formal models to cross check an implementation R Oliveira, S Dupuy-Chessa, G Calvary, D Dadolle Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016 | 5 | 2016 |
| Formal specification and verification of interactive systems with plasticity: applications to nuclear-plant supervision RA Oliveira Université Grenoble Alpes (ComUE), 2015 | 3 | 2015 |
| Verification of Plastic Interactive Systems R Oliveira, S Dupuy-Chessa, G Calvary i-com 14 (3), 192-204, 2015 | 3 | 2015 |
| Applying mde to ros systems: A comparative analysis M Trezzy, I Ober, I Ober, R Oliveira Scientific Annals of Computer Science 31 (1), 111-144, 2021 | 2 | 2021 |
| Leveraging domain specific modeling to increase accessibility of robot programming M Trezzy, I Ober, I Ober, R Oliveira 2021 IEEE International Workshop of Electronics, Control, Measurement …, 2021 | 1 | 2021 |
| Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa’21) SB Abid, R Oliveira, I Ober 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | | 2021 |
| Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018) M Trezzy, I Ober, RA Oliveira CIEL 2018: 7ème Conférence en IngénieriE du Logiciel, 2018 | | 2018 |
| Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark) RA Oliveira, L Lucio, E Posse, F Zalila 15th Workshop Model Driven Engineering, Verification and Validation …, 2018 | | 2018 |
| Preface to the 2nd International Workshop on Model Driven Engineering Tools, Copenhagen, Denmark, 15/10/2018-15/10/2018 B Selic, M Bagherzadeh, F Bordeleau, J Dingel, M Famelis, ... ACM Digital Library, 2018 | | 2018 |
