Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Article
2014

Software Quality: Introduction to the Special Theme

Vinju, J. & Cleve, A., 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

Software Quality in an Increasingly Agile World

Vanderose, B., Ayed, H. & Habra, N., Oct 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

Taupe: Visualizing and analyzing eye-tracking data

De Smet, B., Lempereur, L., Sharafi, Z., Guéhéneuc, Y. G., Antoniol, G. & Habra, N., 1 Jan 2014, In : Science of Computer Programming. 79, p. 260-278 19 p.

Research output: Contribution to journalArticle

Experiments
142 Downloads (Pure)

The Jungle Universe: coupled cosmological models in a Lotka–Volterra framework

Perez, J., Füzfa, A., Carletti, T., Melot, L. & Guedezounme, S. L., 1 May 2014, In : General Relativity and Gravitation. 46, 4, p. 1753 23 p., 46.

Research output: Contribution to journalArticle

Open Access
File
tropical regions
universe
fluids
Liapunov functions
dark energy
2013

Agent-based game-theoretic model for collaborative web services: Decision making analysis

Khosravifar, B., Bentahar, J., Alishahi, M., Mizouni, R., Otrok, H. & Thiran, P., 15 Jun 2013, In : Expert Systems with Applications. 40, 8, p. 3207-3219 13 p.

Research output: Contribution to journalArticle

Web services
Decision making
Joining
Costs
Industry

Allaiter sur le web: Entre biopouvoir et rituels numériques

Grandjean, N., 2013, In : Cahiers du numérique. 9, 3-4, p. 63-81

Research output: Contribution to journalArticle

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 journalArticle

Formal Analysis
Formal Verification
Methodology
Timing
Requirements

Automated evaluation of website navigability: An empirical validation of multilevel quality models

Vaucher, S., Moulart, A., Sahraoui, H. & Habra, N., 1 Aug 2013, In : Journal of software: Evolution and Process. 25, 8, p. 815-839 25 p.

Research output: Contribution to journalArticle

Websites
Navigation
Communication
Industry

"Casse toi pov’ con", un discours politique et satirique protégé par la liberté d’expression

Van Enis, Q., 9 Apr 2013, Justice en ligne.

Research output: Contribution to specialist publicationArticle

Requirements engineering
Sustainable development

FAMILIAR: A domain-specific language for large scale management of feature models

Acher, M., Collet, P., Lahire, P. & France, R. B., 1 Jun 2013, In : Science of Computer Programming. 78, 6, p. 657-681 25 p.

Research output: Contribution to journalArticle

Medical imaging
Decomposition
Chemical analysis
Model checking
Quality assurance
Mathematical models
Chemical analysis

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

Model checking
Byproducts
Specifications
Engineers

Identité et nation: un tabou francophone ?

Charlier, N., Van Oudheusden, M. & Frédéric, C., 4 Sep 2013, Le Soir - Rubrique "Carte blanche".

Research output: Contribution to specialist publicationArticle

La Cour européenne des droits de l’homme condamne le blocage généralisé de Google Sites en Turquie

Van Enis, Q., 22 Jan 2013, Justice en ligne.

Research output: Contribution to specialist publicationArticle

La liberté d’expression au cœur des états généraux des médias d’information

Van Enis, Q., 9 Jul 2013, Justice en ligne.

Research output: Contribution to specialist publicationArticle

La réduction du temps de travail

Valenduc, G. & Vendramin, P., Dec 2013, In : Courrier hebdomadaire du CRISP. 2013, 2191-2192, p. 1-84 84 p.

Research output: Contribution to journalArticle

Le vieillissement au travail

Vendramin, P. & Valenduc, G., Aug 2013, In : Courrier hebdomadaire du CRISP. 2185, 44 p.

Research output: Contribution to journalArticle

23 Downloads (Pure)

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Research output: Contribution to journalArticle

File

Profil trop rare...et indispensable

Habra, N., Faulkner, S. & Englebert, V., 25 May 2013, In : La libre Belgique - La libre entreprise. p. 9 1 p.

Research output: Contribution to journalArticle

Separation of concerns in feature diagram languages: A systematic survey

Hubaux, A., Tun, T. T. & Heymans, P., 1 Aug 2013, In : ACM Computing Surveys. 45, 4, 2501665.

Research output: Contribution to journalArticle

Software Product Lines
Scalability
Software engineering
Diagram
Software System

Stability for fluid queues : characteristic inequalities

Govorun, M., Latouche, G. & Remiche, M-A., 2013, In : Stochastic Models. 29, p. 64-88

Research output: Contribution to journalArticle

11 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 Dec 2013, In : EPTCS.

Research output: Contribution to journalArticle

File
Boolean functions
Synchronization
Data storage equipment

Supporting multiple perspectives in feature-based configuration

Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D., 1 Jul 2013, In : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

Research output: Contribution to journalArticle

Configuration
Life cycle
Visualization
Diagram
Software Product Lines

Timed modelling of gene networks with arbitrarily precise expression discretization

Van Goethem, S., Jacquet, J. M., Brim, L. & Šafránek, D., 11 Mar 2013, In : Electronic Notes in Theoretical Computer Science. 293, p. 67-81 15 p.

Research output: Contribution to journalArticle

Gene Networks
Genes
Discretization
Timed Automata
Gene Regulatory Network

Towards a community-based, social network-driven framework for web services management

Yahyaoui, H., Maamar, Z., Lim, E. & Thiran, P., 25 Mar 2013, In : Future Generation Computer Systems. 29, 6, p. 1363-1377 15 p.

Research output: Contribution to journalArticle

Web services
Substitution reactions
Experiments
Information systems
98 Downloads (Pure)
File
Information systems

Un auteur sous ses initiales: la responsabilité en cascade en eaux troubles ?

Van Enis, Q., 2013, In : Forum de l'assurance. 138, p. 194-197

Research output: Contribution to journalArticle

2012
115 Downloads (Pure)
File
Communication satellites
Industry
Defects
Costs
43 Downloads (Pure)

Adopting Trust and Assurance as indicators for the reassignment of responsibilities in Multi-agent Systems

Gateau, B., Ouedraogo, M., Feltus, C., Guemkam, G., Danoy, G., Seredinsky, M., U. Khan, S., Khadraoui, D. & Bouvry, P., 2012, In : The Knowledge Engineering Review.

Research output: Contribution to journalArticle

File

A goal based approach to engineering capacity driven web service

Maamar, Z., Tata, S., Yetongon, K., Benslimane, D. & Thiran, P., 2012, (Unpublished) In : The Knowledge Engineering Review.

Research output: Contribution to journalArticle

Automated Evaluation of Web Site Navigability : an Empirical Validation of Multi-leve Quality Models

Vaucher, S., Moulart, A., Saharaoui, H. & Habra, N., 1 Jan 2012, (Unpublished) In : Journal of Software Maintenance and Evolution.

Research output: Contribution to journalArticle

25 Downloads (Pure)

Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks

Jacquet, J-M., Linden, I. & Staicu, M-O., 6 Sep 2012, In : EPTCS. 91, 1421, p. 63-78 16 p., 6.

Research output: Contribution to journalArticle

File
Mobile ad hoc networks
Middleware
Communication

Guest Editors' Introduction to the Special Issue on Automated Software Evolution

Capiluppi, A., Cleve, A. & Moha, N., 1 Jan 2012, In : Journal of Systems and Software.

Research output: Contribution to journalArticle

"Le criminel tient le civil en état" et la presse: une application inutile et dangereuse ?

Van Enis, Q., 2012, In : Auteurs et Media. 2-3, p. 246-251 6 p.

Research output: Contribution to journalArticle

Les corps ne mentent pas: une traversée éthique des technologies

Grandjean, N. & Lobet-Maris, C., 2012, In : Gérer et comprendre. 107, p. 4-15

Research output: Contribution to journalArticle

Model checking
Specification languages
Specifications

Pairwise testing for software product lines: Comparison of two approaches

Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B. & Le Traon, Y., 1 Sep 2012, In : Software Quality Journal. 20, 3-4, p. 605-643

Research output: Contribution to journalArticle

Testing
Explosions

Profits and risks of pension plans

Govorun, M., Latouche, G. & Remiche, M-A., 2012, In : ACM Sigmetrics Performance Evaluation Review. 39, p. 41 1 p.

Research output: Contribution to journalArticle

Selon la Cour de cassation, des « délits de presse » peuvent également être commis par le biais de l'internet

Van Enis, Q., 2012, Justice en ligne.

Research output: Contribution to specialist publicationArticle

91 Downloads (Pure)
File
Responsibility
Stakeholders
Service engineering
Healthcare
Business services