Software Product Lines Verification

Research output

Research output per year 2013 2013 2013

• 2 Article
• 1 Chapter
• 1 Paper

Research output per year

Research output per year

Search results

• Article

  A methodology for formal analysis and verification of EAST-ADL models

  Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In: Reliability Engineering and System Safety. 120, p. 127-138 12 p.

  Research output: Contribution to journal › Article › peer-review

  • Models 100%
  • Functions 50%
  • Architectural Model 33%
  • Modeling 16%
  • Model Checking 16%

• 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 journal › Article › peer-review

  • Transition System 100%
  • Model Checking 100%
  • Application 100%
  • Intensive System 100%
  • Model Checking Algorithm 40%