Recherche - Archive ouverte HAL

	Pour les 17 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Equivalence Checking for Comparing User Interfaces Raquel Oliveira , Sophie Dupuy-Chessa , Gaëlle Calvary 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2774844⟩ Communication dans un congrès hal-01247496v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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), 2245, CEUR-WS.org, pp.303-304, 2018, MODELS-WS 2018 ; MODELS 2018 Workshops Proceedings/Recueil des communications hal-03044237v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A low-code approach to support method engineering Raquel Oliveira , Mario Cortes-Cornax , Agnès Front , Alexandre Demeure MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.793-797, ⟨10.1145/3550356.3561588⟩ Communication dans un congrès hal-03955128v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Des zones d’ombre dans l’analyse des pratiques d’enseignement. Enjeux de la place des savoirs dans les pratiques éducatives en contexte scolaire. Yves Lenoir , Lebrun Johanne , Abdelkarim Zaid , Lacourse Françoise , Raquel Araùjo De Oliveira , et al. Philippe Maubant (dir.). Compréhension de l’acte d’enseignement et défis pour la formation professionnelle des enseignants, Presses de l’Université du Québec., pp.91-127, 2011 Chapitre d'ouvrage hal-03631606v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Leveraging domain specific modeling to increase accessibility of robot programming Ileana Ober , Mickaël Trezzy , Iulian Ober , Raquel Oliveira IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM 2021), IEEE, Jun 2021, Liberec, Czech Republic. ⟨10.1109/ECMSM51310.2021.9468864⟩ Communication dans un congrès hal-03443832v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Toward Automated Schema-directed Code Revision Raquel Oliveira , Pierre Genevès , Nabil Layaïda DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩ Communication dans un congrès hal-00734678v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal verification of UI using the power of a recent tool suite Raquel Oliveira , Sophie Dupuy-Chessa , Calvary Gaëlle EICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, ⟨10.1145/2607023.2610280⟩ Communication dans un congrès hal-01110183v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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⟩ Chapitre d'ouvrage hal-03120285v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT Raquel Araùjo De Oliveira , Juergen Dingel Model-Driven Engineering, Verification and Validation Workshop at the MODELS conference (MODEVVA 2017), Sep 2017, Austin, United States. pp.307-314 Communication dans un congrès hal-02548091v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision Raquel Araùjo De Oliveira Computation and Language [cs.CL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM025⟩ Thèse tel-01253619v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark) Raquel Oliveira , Levi Lucio , Ernesto Posse , Faiez Zalila 15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE - MoDeVVa 2018, 2245, CEUR-WS.org, pp.553-554, 2018, Proceedings of MODELS 2018 Workshops, ISSN: 1613-0073 Proceedings/Recueil des communications hal-03023414v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018) Mickaël Trezzy , Ileana Ober , Raquel Oliveira 7ème Conférence en IngénieriE du Logiciel (CIEL 2018), Université Grenoble Alpes, Grenoble, France, Jun 2018, Grenoble, France Communication dans un congrès hal-03023434v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Applying MDE to ROS Systems: A Comparative Analysis Mickaël Trezzy , Ileana Ober , Iulian Ober , Raquel Oliveira Scientific Annals of Computer Science, 2021, 31 (1), pp.111 - 144. ⟨10.7561/sacs.2021.1.111⟩ Article dans une revue hal-03436037v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		In Search of The Essence of No-code – Elements of Data Modeling Jean-Marie Favre , Raquel Oliveira , Jean-Sébastien Sottet , Marc Quast 4th International Workshop on Modeling in Low-Code Development Platforms, 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2023, Västerås, Sweden. pp.878-887, ⟨10.1109/MODELS-C59198.2023.00138⟩ Communication dans un congrès hal-04403728v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Verification of Plastic Interactive Systems Raquel Oliveira , Sophie Dupuy-Chessa , Gaëlle Calvary i-com, 2015, 14 (3), pp.192-204. ⟨10.1515/icom-2015-0036⟩ Article dans une revue hal-01254590v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Plasticity of User Interfaces: Formal Verification of Consistency Raquel Oliveira , Sophie Dupuy-Chessa , Gaëlle Calvary 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2775078⟩ Communication dans un congrès hal-01247489v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Using formal models to cross check an implementation Raquel Oliveira , Sophie Dupuy-Chessa , Gaëlle Calvary , Danièle Dadolle Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016, 2016, Brussels, Belgium, Belgium. pp.126-137, ⟨10.1145/2933242.2933257⟩ Communication dans un congrès hal-01492641v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

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⟩

Filtrer vos résultats

Equivalence Checking for Comparing User Interfaces

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

A low-code approach to support method engineering

Des zones d’ombre dans l’analyse des pratiques d’enseignement. Enjeux de la place des savoirs dans les pratiques éducatives en contexte scolaire.

Leveraging domain specific modeling to increase accessibility of robot programming

Toward Automated Schema-directed Code Revision

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

State of the Art on Formal Methods for Interactive Systems

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT

Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

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

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

Applying MDE to ROS Systems: A Comparative Analysis

In Search of The Essence of No-code – Elements of Data Modeling

Verification of Plastic Interactive Systems

Plasticity of User Interfaces: Formal Verification of Consistency

Using formal models to cross check an implementation