Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • Belgium

  • 629 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
18 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
208 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
285 Downloads (Pure)
2013

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

Research output: Contribution to journalArticle

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