Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • 600 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
Paper
2013

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

2012

Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jan 2012.

Research output: Contribution to conferencePaper

Open Access
File
302 Downloads (Pure)