Concepedia

Mírian Halfeld Ferrari

MH

5

Publications

62

Citations

5

H-Index

2003

Active since

Affiliations

Université de Tours(Current)

Mírian Halfeld Ferrari is an author at Université de Tours specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningData ModelingData ManagementSoftware AnalysisSoftware Engineering

Publications per year

2003–2007

5

Publications

5

XML Document Correction: Incremental Approach Activated by Schema Validation

Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari et al. · 2006 · 15 citations

Incremental Validation, Engineering, Verification +17

Tree Automata to Verify XML Key Constraints.

Béatrice Bouchou, Mírian Halfeld Ferrari, Martín A. Musicante · International Workshop on the Web and Databases · 2003 · 13 citations

Tree Automata, Tree Language, Xml Library +8

Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints.

Béatrice Bouchou, Mírian Halfeld Ferrari, Dominique Laurent et al. · 2003 · 13 citations

Conservative Extensions of Regular Languages

Béatrice Bouchou, Denio Duarte, Mírian Halfeld Ferrari et al. · 2005 · 11 citations

Engineering, Variety (Linguistics), Word W +18

Efficient Constraint Validation for Updated XML Database

Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari et al. · 2007 · 10 citations

Software Maintenance, Engineering, Constraints +21

Rows per page

1–5 of 5