Concepedia

Xavier Renault

XR

Statistics

Publications

3

Citations

95

H-Index

3

Active since

2006

Affiliations

Sorbonne Université(Current)

LIP6

Institut Mines-Télécom

Télécom Paris

Xavier Renault is an author at Sorbonne Université specializing in software engineering, formal verification, and engineering.

Top concepts

Publications per year

2006–2009

3

Publications

3

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

Alexandre Hamez, Loin Messan Hillah, Fabrice Kordon et al. · 2006 · 39 citations

, , +29

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

Xavier Renault, Fabrice Kordon, Jérôme Hugues · 2009 · 31 citations

, , +29

From AADL Architectural Models to Petri Nets: Checking Model Viability

Xavier Renault, Fabrice Kordon, Jérôme Hugues · 2009 · 25 citations

, , +21

1–3 of 3