Concepedia

Étienne André

ÉA

27

Publications

902

Citations

15

H-Index

2005

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Informatique de Paris-Nord

Université Sorbonne Paris Nord

Université Paris Cité

National University of Singapore

Étienne André is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationFormal MethodsVerificationAutomated ReasoningProgram AnalysisSoftware AnalysisReal-time Systems

Publications per year

2005–2022

27

Publications

27

Fibromyalgia syndrome in the general population of France: A prevalence study

B Bannwarth, Francis Blotman, Katell Roué-Le Lay et al. · Joint Bone Spine · 2008 · 124 citations

Pain Syndrome, Pain Disorders, Health Sciences +7

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

Étienne André, Thomas Chatain, Laurent Fribourg et al. · International Journal of Foundations of Computer Science · 2009 · 100 citations

Logical Automaton, Engineering, Reachability Problem +14

Modeling and verifying hierarchical real-time systems using stateful timed CSP

Jun Sun, Yang Liu, Jin Song Dong et al. · ACM Transactions on Software Engineering and Methodology · 2013 · 71 citations

Engineering, Hierarchical Real-time Systems, Stateful Timed Csp +20

Carla Task Force on Sarcopenia: Propositions for clinical trials

Gabor Abellán van Kan, Étienne André, Heike A. Bischoff‐Ferrari et al. · The journal of nutrition health & aging · 2009 · 66 citations

Clinical Case Report, Cancer Management, Interventional Radiology +3

What’s decidable about parametric timed automata?

Étienne André · International Journal on Software Tools for Technology Transfer · 2017 · 57 citations · Full text

Engineering, Reachability Problem, Automated Reasoning +8

Rows per page

1–5 of 27