Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

4 Results
authFullName_s : Raquel Araujo Oliveira

State of the Art on Formal Methods for Interactive Systems

Raquel Araujo Oliveira , Philippe Palanque , Benjamin Weyers , Judy Bowen , Alan Dix
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3--55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩
Book sections hal-03120285v1

Preface to the 2nd International Workshop on Model Driven Engineering Tools, Copenhagen, Denmark, 15/10/2018 - 15/10/2018

Mojtaba Bagherzadeh , Francis Bordeleau , Juergen Dingel , Michalis Famelis , Antonio Garcia-Dominguez , et al.
2nd International Workshop on Model Driven Engineering Tools (MDETools 2018), Oct 2018, Copenhagen, Denmark. 2245, CEUR-WS.org, pp.303-304, 2018, MODELS-WS 2018 ; MODELS 2018 Workshops
Proceedings hal-03044237v1

Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark)

Raquel Araujo Oliveira , Levi Lucio , Ernesto Posse , Faiez Zalila
15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE - MoDeVVa 2018, Oct 2018, 2245, CEUR-WS.org, pp.553-554, 2018, Proceedings of MODELS 2018 Workshops, ISSN: 1613-0073
Proceedings hal-03023414v1

Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018)

Mickaël Trezzy , Ileana Ober , Raquel Araujo Oliveira
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Université Grenoble Alpes, Grenoble, France, Jun 2018, Grenoble, France
Conference papers hal-03023434v1