Xavier Fornari

Publications

Citations

H-Index

2000

Active since

Affiliations

Centre de Mathématiques Appliquées de l'École polytechnique(Current)

Xavier Fornari is an author at Centre de Mathématiques Appliquées de l'École polytechnique specializing in software engineering, system software, and engineering.

Top concepts

EngineeringSoftware DesignSystem SoftwareSoftware EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering

Publications per year

2000–2008

Publications

ESTEREL: a formal method applied to avionic software development

Gérard Berry, Amar Bouali, Xavier Fornari et al. · Science of Computer Programming · 2000 · 53 citations

Software Maintenance, Formal Method, Automated Software Engineering +10

Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables

Christian Ferdinand, Reinhold Heckmann, Thierry Le Sergent et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 24 citations · Full text

Wcet Analysis, Engineering, Hardware Verification Language +30

Partitioning and CoDesign tools & methodology for Reconfigurable Computing: The EPICURE philosophy

Michel Auguin, Karim Ben Chehida, Jean-Philippe Diguet et al. · SPIRE - Sciences Po Institutional REpository · 2003 · 10 citations

Hardware Modeling, Engineering, Reconfigurable Computing +21

Rows per page

1–3 of 3