If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Other contribution
18 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other contribution

2012
114 Downloads (Pure)

Model Checking for Software Product Lines with SNIP

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P-Y., 2012

Research output: Other contribution

File

Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)

Classen, A., Heymans, P., Schobbens, P-Y., Cordy, M., Legay, A. & Raskin, J-F., 2012, (Unpublished)

Research output: Other contribution

94 Downloads (Pure)
File
15 Downloads (Pure)

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Research output: Other contribution

File
61 Downloads (Pure)
File
259 Downloads (Pure)

SNIP: An Efficient Model Checker for Software Product Lines

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Research output: Other contribution

File
2010
69 Downloads (Pure)
File
2009
55 Downloads (Pure)

Towards a Unifying Conceptual Framework for Inconsistency Management Approaches: Definitions and Instantiations

Hubaux, A., Cleve, A., Schobbens, P-Y., Keller, A., Muliawan, O., Castro, S., Mens, K., Deridder, D. & Van Der Straeten, R., 2009

Research output: Other contribution

File
Terminology
Software engineering
Concretes
Modeling languages
2006
2004
1988

LPG: a Generic, Logic and Functional Programming Language

Bert, D., Declerfayt, O., Demeuse, B., Drabik, P., Echahed, R., Schobbens, P-Y. & Wautier, F., 1988

Research output: Other contribution

1986

Selecting an ADA Environment

Ada-Europe Env. Working Group, N. V. & Schobbens, P-Y., 1986

Research output: Other contribution