Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRaquel Araújo de Oliveira
Person information
- affiliation: Ensimag at Grenoble-INP, France
- affiliation (former): University of Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
[b1]Raquel Araújo de Oliveira:
Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision. (Spécification formelle et vérification de systèmes interactifs avec plasticité : applications à la supervision nucléaire). Grenoble Alpes University, France, 2015
Journal Articles
- 2021
- [j2]Mickaël Trezzy, Ileana Ober
, Iulian Ober, Raquel Araújo de Oliveira:
Applying MDE to ROS Systems: A Comparative Analysis. Sci. Ann. Comput. Sci. 31(1): 111-144 (2021) - 2015
- [j1]Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary:
Verification of Plastic Interactive Systems. i-com 14(3): 192-204 (2015)
Conference and Workshop Papers
- 2024
- [c14]Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front:
Une approche low-code pour la création, l'adaptation et l'exécution des méthodes. INFORSID 2024: 7-8 - 2023
- [c13]Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front:
Supporting Method Creation, Adaptation and Execution with a Low-code Approach. BPMDS/EMMSAD@CAiSE 2023: 184-198 - [c12]Mario Cortes Cornax, Claudia Roncancio, Raquel Araújo de Oliveira:
Vers un Profil Environnemental des Processus Métier. INFORSID 2023: 65-70 - [c11]Jean-Marie Favre, Raquel Araújo de Oliveira, Jean-Sébastien Sottet, Marc Quast:
In Search of the Essence of No-Code - Elements of Data Modeling. MoDELS (Companion) 2023: 878-887 - 2022
- [c10]Raquel Araújo de Oliveira, Mario Cortes Cornax, Agnès Front, Alexandre Demeure:
A low-code approach to support method engineering. MoDELS (Companion) 2022: 793-797 - [c9]Nicolas Hili, Raquel Araújo de Oliveira:
A light-weight low-code platform for back-end automation. MoDELS (Companion) 2022: 837-846 - 2021
- [c8]Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober:
Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21). MoDELS (Companion) 2021: 242-243 - 2018
- [c7]Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic:
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). MoDELS (Workshops) 2018: 303-304 - 2017
- [c6]Raquel Araújo de Oliveira, Juergen Dingel:
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. MoDELS (Satellite Events) 2017: 307-314 - 2016
- [c5]Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Daniele Dadolle:
Using formal models to cross check an implementation. EICS 2016: 126-137 - 2015
- [c4]Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary:
Plasticity of user interfaces: formal verification of consistency. EICS 2015: 260-265 - [c3]Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary:
Equivalence checking for comparing user interfaces. EICS 2015: 266-275 - 2014
- [c2]Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary:
Formal verification of UI using the power of a recent tool suite. EICS 2014: 235-240 - 2012
- [c1]Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda:
Toward automated schema-directed code revision. ACM Symposium on Document Engineering 2012: 103-106
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
