Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • 615 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
Article
2020

MALTESQUE 2019 Workshop Summary

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 Jan 2020, In : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.

Research output: Contribution to journalArticle

Open Access
File
15 Downloads (Pure)
2017

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Research output: Contribution to journalArticle

Open Access
File
103 Downloads (Pure)
2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Research output: Contribution to journalArticle

Open Access
File
242 Downloads (Pure)
2013

Features meet scenarios: Modeling and consistency-checking scenario-based product line specifications

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jun 2013, In : Requirements Engineering. 18, 2, p. 175-198 24 p.

Research output: Contribution to journalArticle

2012

Model checking software product lines with SNIP

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 Jan 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

Research output: Contribution to journalArticle