Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • Belgium

  • 627 Citations
  • 14 h-Index
20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Other contribution
2013
File
21 Downloads (Pure)

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other contribution

2012

Model Checking for Software Product Lines with SNIP

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P-Y., 2012

Research output: Other contribution

File
119 Downloads (Pure)

Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)

Classen, A., Heymans, P., Schobbens, P-Y., Cordy, M., Legay, A. & Raskin, J-F., 2012, (Unpublished)

Research output: Other contribution

2011
File
63 Downloads (Pure)

SNIP: An Efficient Model Checker for Software Product Lines

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Research output: Other contribution

File
259 Downloads (Pure)