Raquel Oliveira

Verification of Plastic Interactive Systems

Sophie Dupuy-Chessa, Gaëlle Calvary, Raquel Oliveira, 2015, i-com.

Plasticity of user interfaces: formal verification of consistency

Sophie Dupuy-Chessa, Gaëlle Calvary, Raquel Oliveira, 2015, EICS.

Equivalence checking for comparing user interfaces

Sophie Dupuy-Chessa, Gaëlle Calvary, Raquel Oliveira, 2015, EICS.

Using formal models to cross check an implementation

Sophie Dupuy-Chessa, Gaëlle Calvary, Raquel Oliveira, 2016, EICS.

Friends or Foes? Socioemotional Support and Gaze Behaviors in Mixed Groups of Humans and Robots

Filipa Correia, Patricia Alves-Oliveira, Sofia Petisca, 2018, 2018 13th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

Formal verification of UI using the power of a recent tool suite

Sophie Dupuy-Chessa, Gaëlle Calvary, Raquel Oliveira, 2014, EICS '14.

Applying MDE to ROS Systems: A Comparative Analysis

Iulian Ober, Ileana Ober, Raquel Oliveira, 2021, Sci. Ann. Comput. Sci..

Leveraging domain specific modeling to increase accessibility of robot programming

Iulian Ober, Ileana Ober, Raquel Oliveira, 2021, 2021 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM).

Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21)

Iulian Ober, Raquel Oliveira, Saad Bin Abid, 2021, MODELS Companion.