Publications

As an applied research center, active at the regional and european level, CETIC is involved in the publication of research results in various conferences and journals related to these fields, as well as documents aimed at industry.
Our policy is to favor contributions that are close to the application fields, based on industrial case studies resulting from the research projects.

Filter by

Reset

30.04.2013

Evidence-based Assistance for the Adoption of Formal Methods in the Industry,

30.04.2013

Scientific papers

Evidence-based Assistance for the Adoption of Formal Methods in the...

DEPLOY BOOK Chapter

30.06.2012

An SMT-based approach to automated configuration

30.06.2012

Publications scientifiques

An SMT-based approach to automated configuration

Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration, 10th International Workshop on...

19.06.2012

Next-Generation Model-based Variability Management : Languages and Tools (Tutorial)

19.06.2012

Communication scientifique

Next-Generation Model-based Variability Management : Languages and Tools...

Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in...

04.06.2012

Languages and Tools for Managing Feature Models

04.06.2012

Publications scientifiques

Languages and Tools for Managing Feature Models

Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings...

01.03.2012

An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

01.03.2012

Scientific communication

An Collaborative FAQ Approach for Collecting Evidence on Formal Method...

Jean Christophe Deprez, Christophe Ponsard, An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, Deploy...

28.02.2012

Scientific communication

Assessment of the Evolution of the RODIN Open Source platform

Christophe Ponsard, Jean Christophe Deprez, Jacques Flamand, Assessment of the Evolution of the RODIN Open Source platform, Third RODIN Users and...

05.09.2011

From Pattern-based User Interfaces to Conceptual Schemas and Back

05.09.2011

Publications scientifiques

From Pattern-based User Interfaces to Conceptual Schemas and...

Ravi Ramdoyal, Anthony Cleve, From Pattern-based User Interfaces to Conceptual Schemas and Back, in Proceedings of the 30th International...

20.06.2011

A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

20.06.2011

Communication scientifique

A FAQ Approach for Collecting Evidence on Formal Method Industrial...

Deprez J.C., Ponsard C., De Landtsheer R., A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, FM 2011 Industry Day, June...

26.05.2011

Generating High-Level Event-B System Models from KAOS Requirements Models

26.05.2011

Communication scientifique

Generating High-Level Event-B System Models from KAOS Requirements...

Ponsard C., Devroey X., Generating High-Level Event-B System Models from KAOS Requirements Models, in INFormatique des ORganisations et Systèmes...

29.01.2011

A Formal Semantics for Feature Cardinalities in Feature Diagrams

29.01.2011

Communication scientifique

A Formal Semantics for Feature Cardinalities in Feature Diagrams

Raphaël Michel, Andreas Classen, Arnaud Hubaux and Quentin Boucher, A Formal Semantics for Feature Cardinalities in Feature Diagrams, Fifth...

12.10.2010

Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies

12.10.2010

Publications scientifiques

Evaluating a Textual Feature Modelling Language : Four Industrial Case...

Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies",...

16.06.2010

Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models

16.06.2010

Communication scientifique

Deriving Event-Based Usage Control Policies from Declarative Security...

De Landtsheer R, Ponsard C, Massonet P., "Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models", Second...

15.06.2010

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems

15.06.2010

Communication scientifique

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing...

Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First...

01.12.2009

Towards Event-B Metrics Support in RODIN

01.12.2009

Communication scientifique

Towards Event-B Metrics Support in RODIN

Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop...

17.06.2008

Modelling Parliamentary Workflows a Case Study in Belgian Parliaments

17.06.2008

Communication scientifique

Modelling Parliamentary Workflows a Case Study in Belgian Parliaments

Christophe Ponsard, Gaetan Deberdt, Joel Tournemenne, "Modelling Parliamentary Workflows a Case Study in Belgian Parliaments”, Interdisciplinary...

13.09.2007

An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in Grid-based Virtual Organisations

13.09.2007

Communication scientifique

An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in...

Dallons G., Massonet P., Molderez J.F., Ponsard C., Arenas A., ’An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in...

13.06.2007

Early verification and validation of mission critical systems

13.06.2007

Publications scientifiques

Early verification and validation of mission critical systems

C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical...

13.06.2006

From Requirements Models to Formal Specifications in B

13.06.2006

Communication scientifique

From Requirements Models to Formal Specifications in B

C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their...

12.09.2004

Publications scientifiques

Early Verification and Validation of Mission Critical Systems

C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical...

01.03.2004

Deriving Acceptance Tests from Goal Requirements

01.03.2004

Publications scientifiques

Deriving Acceptance Tests from Goal Requirements

J.F. Molderez, C. Ponsard, Deriving Acceptance Tests from Goal Requirements, 2nd International Mozart/Oz Conference, Charleroi (Belgium),...

0 | 24 | 48