Mirian Halfeld Ferrari Alves

Possui mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1989) e doutorado - Université Paris-Sud 11, LRI, Orsay, França (1996), HDR (Habilitation pour Diriger les Recherches), Université de Tours, França, 2007. Atualmente é "Professeur des universités" (full professor) - Université d'Orléans. Tem experiência na área de Ciência da Computação, com ênfase em Banco de Dados, atuando principalmente nos seguintes temas: atualização, validação, banco de dados, XML, teoria de bancos de dados, restrições de integridade, bases de dados em grafo. Principais responsabilidades coletivas na Universidade de Orléans desde 2009:- Diretora do laboratório de pesquisa LIFO da Universidade de Orléans, França (com cerca de 95 membros) desde setembro de 2022 (mandato de 4 anos)- Co-responsável da ação DOING (Dados inteligentes) do groupo de trabalho CNRS MADICS, co-responsável do workshop international DOING@ADBIS desde 2020- Direção (com Agata Savary) da Federação ICVL dos laboratórios de pesquisa da região Centre Val du Loire LIFO (Orléans) e LI (Tours), desde junho de 2014 à dezembro de 2020.- Responsável da équipe PAMDA (janeiro 2015-janeiro 2016 e janeiro 2021 - agosto 2022).- Membro eleito do conselho cientifico da Université d'Orléans, julho de 2012.- Membro eleito do conselho de administração da IUT da Université d'Orléans, 2012-2016- Responsável pedagógico do segundo ano de formação para o diploma DUT Informatique (setembro 2009-agosto 2015).- Vice-diretora do laboratório de pesquisa LIFO da Université d'Orléans, de janeiro 2010 à dezembro 2013

Informações coletadas do Lattes em 20/12/2025

Acadêmico

Formação acadêmica

Doutorado

1992 - 1996

Université Paris-Sud 11
Título: Regles pour les mises a jour des bases de donnees deductives
Orientador: Nicolas Spyratos
Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

1985 - 1989

Universidade Federal de Minas Gerais
Título: Um roteador global para um sistema de "layout" automático em "gate array"
, Ano de Obtenção: 1989.José Monteiro da Mata.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: algoritmos em grafos.Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Participação em eventos

BDA 2005. Bases de donnes avancees - BDA - Membro do Comite de Programa. 2005. (Congresso).

Participação em bancas

Aluno: Denio Duarte

Veronique Benzaken; Jean-Marc Champarnaud; Christel Vrain;Halfeld Ferrari, Mirian; Bouchou, B.; Laurent, D.. Une methode pour l'evaluation de schemas XML preservant la validite des documents. 2005. Tese (Doutorado em Doctorat en Informatique) - Universite de Tours (Universite Francois Rabelais).

Aluno: Denis Debarbieux

Francoise Gire; Veronique Benzaken; Remi Guilleron;Halfeld Ferrari, Mirian; Stephane Demri; Sophie Tison; Anne-Cecile Caron. Modelisation et requetes des documents semi-structures: exploitation de la structure de graphe. 2005. Tese (Doutorado em Doctorat en Informatique) - Université Lille 1 - Sciences et Technologies.

Orientou

Thanh Binh

Queries and constraints over semantic graph database; Início: 2014; Tese (Doutorado em Doutorado em informática) - Université d'Orléans, Bourse Region Centre; (Coorientador);

Joshua Amavi

Comparaison et évolution de schémas XML; 2014; Tese (Doutorado em Doutorado em informática) - Université d'Orléans, ; Orientador: Mirian Halfeld Ferrari Alves;

Cheikh Ba

Composition de services Web avec PEWS: approche par la théorie des traces; ; 2008; Tese (Doutorado em Doctorat en Informatique) - Universite de Tours (Universite Francois Rabelais), BRGM-Région Centre; Orientador: Mirian Halfeld Ferrari Alves;

Maria Adriana Vidigal de Lima

Maintenance incrémentale des contrainte d'intégrité en XML; 2007; Tese (Doutorado em Doctorat en Informatique) - Universite de Tours (Universite Francois Rabelais), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Mirian Halfeld Ferrari Alves;

Ahmed Cheriat

Une méthode de correction de la structure de documents XML dans le cadre d'une validation incrémentale; 2006; Tese (Doutorado em Doctorat en Informatique) - Universite de Tours (Universite Francois Rabelais), Bourse Region Centre; Coorientador: Mirian Halfeld Ferrari Alves;

Denio Duarte

Une méthode pour l'évolution de schémas XML préservant la validité des documents; 2005; Tese (Doutorado em Doctorat en Informatique) - Universite de Tours (Universite Francois Rabelais), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Mirian Halfeld Ferrari Alves;

Produções bibliográficas

Chabin, Jacques ; EICHLER, CÉDRIC ; Halfeld Ferrari, Mirian ; HIOT, NICOLAS . Graph rewriting rules for RDF database evolution: optimizing side-effect processing. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS (PRINT) , v. 17, p. 622-644, 2021.
Chabin, Jacques ; Halfeld-Ferrari, Mirian ; LAURENT, DOMINIQUE . Consistent updating of databases with marked nulls. KNOWLEDGE AND INFORMATION SYSTEMS , v. 62, p. 1571-1609, 2020.
BA, CHEIKH ; CERQUEIRA, THIAGO ; COSTA, UMBERTO ; Ferrari, Mirian Halfeld ; MUSICANTE, MARTIN A. ; Robert, Sophie . Experiments on service composition refinement on the basis of preference-driven recommendation. International Journal of Web and Grid Services , v. 12, p. 182, 2016.
Bouchou, Béatrice ; Halfeld Ferrari, Mirian ; Lima, Maria Adriana . Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. TSI. Technique et Science Informatiques , v. 28, p. 331-364, 2009.
DA LUZ, ROBSON ; HALFELD FERRARI, MÍRIAN ; MUSICANTE, MARTIN A. . Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). Journal of Algorithms (Print) , v. 62, p. 148-167, 2007.
Bouchou, B. ; Cheriat, A. ; Halfeld Ferrari, Mirian ; Lima, Maria Adriana ; Musicante, M. . Efficient Constraint Validation for Updated {XML} Database. Informatica (Ljubljana) , v. 31, p. 285, 2007.
MUSICANTE, M. A. ; BOUCHOU, B. ; Ahmed Cheriat ; Halfeld Ferrari, Mirian ; LAURENT, D. ; Maria Adriana Lima . Efficient Constraint Validation for Updated XML Databases. Informatica (Ljubljana) , v. 31, p. 285-309, 2007.
Cheikh Ba ; Halfeld Ferrari, Mirian ; Musicante, M. . PEWS: A New Language for Building Web Service Interfaces. Journal of Universal Computer Science, v. 11, n.7, p. 1215-1233, 2005.
Amo, S. ; Halfeld Ferrari, Mirian . Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. Journal of Universal Computer Science, v. 10, n.9, 2004.
Halfeld Ferrari, Mirian ; Laurent, D. ; Spyratos, N. . Update Rules in Datalog Programs - Journal version. Journal of Logic and Computation, v. 8, 1998.
Amavi, Joshua ; Halfeld Ferrari, Mirian . Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2014, v. 14, p. 83-113.
Amavi, Joshua ; Chabin, Jacques ; Halfeld-Ferrari, Mirian ; Réty, Pierre . A ToolBox for Conservative XML Schema Evolution and Document Adaptation. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. , p. 299-307.
Chabin, Jacques ; Halfeld Ferrari, Mirian ; MUSICANTE, MARTIN A. ; Réty, Pierre . Conservative Type Extensions for XML Data. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. 9, p. 65-94.
Costa, Umberto S. ; Ferrari, Mirian Halfeld ; MUSICANTE, MARTIN A. ; Robert, Sophie . Automatic Refinement of Service Compositions. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 400-407.
Bouchou, Béatrice ; Halfeld-Ferrari, Mirian ; Lima, Maria Adriana Vidigal . A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 6, p. 167-197.
Amavi, Joshua ; Chabin, Jacques ; Halfeld Ferrari, Mirian ; Réty, Pierre . Weak Inclusion for XML Types. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 30-41.
Bouchou, Béatrice ; Halfeld Ferrari, Mirian ; Lima, Maria Adriana Vidigal . Attribute Grammar for XML Integrity Constraint Validation. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 94-109.
Chabin, Jacques ; Halfeld-Ferrari, Mirian ; MUSICANTE, MARTIN A. ; Réty, Pierre . Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2010, v. , p. 60-75.
BA, CHEIKH ; FERRARI, MÍRIAN HALFELD ; MUSICANTE, MARTIN A. . PEWS platform. In: WEWST '11 6th International Workshop on Enhanced Web Service Technologies, 2011, Lugano. WEWST '11 Proceedings of the 6th International Workshop on Enhanced Web Service Technologies, 2011. p. 1.
BA, CHEIKH ; FERRARI, MÍRIAN HALFELD . Dependence graphs for verifications of web service compositions with PEWS. In: the 2008 ACM symposium, 2008, Fortaleza. Proceedings of the 2008 ACM symposium on Applied computing - SAC '08. New York: ACM Press, 2008. p. 2387.
Cheikh Ba ; Halfeld Ferrari, Mirian ; Musicante, M. . Composing Web Services with PEWS: a trace-theoretical approach. In: 4th IEEE European Conference on Web Services ECOWS, 2006, Zurich. IEEE Proceedings of the 4th European Conference on Web Services, 2006.
Bouchou, B. ; Cheriat, A. ; Halfeld Ferrari, Mirian ; Agata Savary . XML Document Correction: Incremental Approach Activated by Schema Validation. In: International Database Engineering and Applications Symposium - IDEAS, 2006. Proceedings of the International Database Engineering and Applications Symposium, 2006.
Bouchou, B. ; Cheriat, A. ; Halfeld Ferrari, Mirian ; Agata Savary . Integrating Correction into Incremental Validation. In: Journées de Bases de Données Avancées, BDA, 2006, Lille. Annalles des Journées de Bases de Données Avancées, 2006.
Cheriat, A. ; Agata Savary ; Bouchou, B. ; Halfeld Ferrari, Mirian . Incremental String Correction: Towards Correction of XML Documents. In: Stringology Conference, 2005, Praga. Proceedings of the Prague Stringology Conference '05.
Cheikh Ba ; Halfeld Ferrari, Mirian ; Musicante, M. . Building Web Service Interfaces using Predicate Path Expressions. In: SBLP - Brazilian Symposium on Programming, 2005. Proceedings of the Brazilian Symposium on Programming, 2005.
Abrão, M. A. ; Bouchou, B. ; Halfeld Ferrari, Mirian ; Laurent, D. ; Musicante, M. . Incremental Constraint Checking for XML Documents. In: Database and XML Technologies: Second International XML Database Symposium, XSym, 2004, Toronto. LNCS - Lecture Notes in Computer Science,. **: Springer-Verlag, 2004. v. 3186.
Bouchou, B. ; Duarte, D. ; Halfeld Ferrari, Mirian ; Laurent, D. ; Musicante, M. . Conservative Extensions of Regular Languages. In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004. Procceding of the XXIV International Conference of the Chilean Computer Science Society, 2004.
Bouchou, B. ; Duarte, D. ; Halfeld Ferrari, Mirian ; Laurent, D. ; Musicante, M. . Schema Evolution for XML: A Consistency-preserving Approach. In: Mathematical Foundations of Computer Science MFCS 2004,, 2004, Praga. LNCS - Lecture Notes in Computer Science,, 2004. v. 3153.
Barcellos da Costa, M. ; Ferreira Resende, R. ; Halfeld Ferrari, Mirian ; Vieira Segatto, M. . Business to Business Transaction Modeling and WWW Support. In: 2nd International Conference on Business Process Management - BPM, 2004, Potsdam. LNCS - Lecture Notes in Computer Science,, 2004. v. 3080/.
Bouchou, B. ; Cheriat, A. ; Halfeld Ferrari, Mirian ; Jen, T. ; Laurent, D. . XRM: An XML-based Language for Rule Mining Systems. In: International Conference on Enterprise Information System - ICEIS, 2004, Portp. Proceedings of the International Conference on Enterprise Information Systems of, 2004.
Bouchou, B. ; Halfeld Ferrari, Mirian . Updates and Incremental Validation of XML Documents. In: The 9th International Workshop on Data Base Programming Languages, 2003, Potsdam. LNCS - Lecture Notes in Computer Science, 2003. v. 2921.
Bouchou, B. ; Halfeld Ferrari, Mirian ; Musicante, M. . Tree Automata to Verify Key Constraints. In: Web and Databases (WebDB),, 2003, San Diego. Proceedings of WebDB, 2003.
Bouchou, B. ; Duarte, D. ; Halfeld Ferrari, Mirian ; Laurent, D. . Extending Tree Automata to Model XML Validation under Element and Attribute Constraints. In: International Conference on Enterprise Information System - ICEIS, 2003, Angers. Proceedings ICEIS, 2003.
Amo, S. ; Halfeld Ferrari, Mirian . Efficient Maintenance of Temporal Data Warehouses. In: International Database Engineering and Applications Symposium (IDEAS), 2000, Yokohama. Proceedings of the International Database Engineering and Applications Symposium (IDEAS), 2000. v. 2000.
Halfeld Ferrari, Mirian ; Laurent, D. ; Spyratos, N. . Update Rules in Datalog Programs. In: Logic Programming and Non-Monotonic Reasoning Conference,, 1995, Lexington. LNCS - Lecture Notes in Computer Science, 1995. v. 1156.
Halfeld Ferrari, Mirian ; Laurent, D. ; Spyratos, N. . Passive And Active Rules in Deductive Databases. In: International Symposium on Mathematical Foundations of Computer Science, MFCS, 1994, Kosice. LNCS - Lecture Notes in Computer Science, 1994. v. 841.
BA, CHEIKH ; Costa, Umberto S. ; HALFELD FERRARI, MÍRIAN ; FERRÉ, R. ; PERALTA, V ; Robert, Sophie . Preference-driven Reﬁnement of Service Compositions. In: 4th International Conference on Cloud Computing and Services Science, 2014, Barcelona. Proceedings of the 4th International Conference on Cloud Computing and Services Science, 2014. p. 268-275.
Amavi, Joshua ; Ferrari, Mirian Halfeld . Filtering XFD toward interoperability. In: the 28th Annual ACM Symposium, 2013, Coimbra. Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. New York: ACM Press, 2013. p. 868.

Projetos de pesquisa

2016 - Atual

GIRAFON: Grands graphes : interrogation, fouille et analyse, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Mirian Halfeld Ferrari Alves - Coordenador / Béatrice Bouchou - Integrante / Chabin, Jacques - Integrante / Sophie Robert - Integrante / Sebastien Limet - Integrante / Frederic Loulergue - Integrante / Mostafa Bamha - Integrante / Arnaud Giacometti - Integrante / Dominique Li - Integrante / Arnaud Soulet - Integrante / Benjamin Nguyen - Integrante / Pascal Berthomé - Integrante., Financiador(es): Region Centre Val du Loir - Cooperação.
2009 - 2011

Projeto ANR (Franca): Codex -Efficiency, Dynamicity and Composition for XML Models, Algorithms, and Systems, Descrição: Projeto de pesquisa na área de XML e servicos Web. Parceria com diversas universidades francesas: Université Paris XI (Paris Sud), LRI, Orsay; INRIA Saclay; INRIA Lille; PPS Paris 7; Grenoble. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Mirian Halfeld Ferrari Alves - Integrante / Béatrice Bouchou - Integrante / Martin Musicante - Integrante / Cheikh Ba - Integrante / Agata Savary - Integrante / Veronique Benzaken - Integrante / Francoise Gire - Integrante / Sophie Tison - Integrante / Anne-Cecile Caron - Integrante / Dario Colazzo - Integrante / Nicole Bidoit - Integrante / Ioana Manoulescu - Coordenador / Giuseppe Castagna - Integrante / Joachim Niehren - Integrante.

Prêmios

2016

CRCT - (Congé de Recherche et Conversion Thématique) via CNU27, de 6 meses., Univ d'Orléans/ Comité national.

2009

PEDR 2009-2013 prime d'encadrement doctoral et de recherche (bolsa de pesquisador), Ministério da educacao francês.

Histórico profissional

Endereço profissional

Université d'Orléans. , Batiment IIIA - Rue Léonard de Vinci - BP6759, Orléans, Orléans, - França, Telefone: (0033) 2384925

Experiência profissional

2009 - Atual

Universite D'Orleans

Vínculo: Servidor Público, Enquadramento Funcional: Professeur des universtés (full professor), Regime: Dedicação exclusiva.

1998 - 2009

Universite de Tours (Universite Francois Rabelais)

Vínculo: , Enquadramento Funcional: Maitre de Conferences, Regime: Dedicação exclusiva.

1992 - 1998

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: Professor assistente/ Professor adjunto, Regime: Dedicação exclusiva.