Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software

Schobbens, Pierre Yves (PI)
BAINA, Salah (Researcher)
Bontemps, Yves (Researcher)
BROGNEAUX, ANNE-FRANCE (Researcher)
Classen, Andreas (Researcher)
Cleve, Anthony (CoI)
DETIENNE, Virginie (Researcher)
Englebert, Vincent (CoI)
Faulkner, Stephane (CoI)
GENON, NICOLAS (Researcher)
Habra, Naji (CoI)
Hainaut, Jean-Luc (CoI)
Heymans, Patrick (CoI)
HUBAUX, Arnaud (Researcher)
Jureta, Ivan (Researcher)
MATULEVICIUS, Raimundas (Researcher)
Mayer, Nicolas (Researcher)
OGER, Laura (Secretaire)
Petit, Michael (CoI)
RAMDOYAL, Ravi (Researcher)
SANDRON, Stephane (Researcher)
SAVAL, Germain (Researcher)
Toussaint, Hubert (Researcher)
Trigaux, Jean-Christophe (Researcher)
Vanderose, Benoit (Researcher)
Zeippen, Jean-Marc (Researcher)

Project: Research

1 Article

1 results

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