Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2013

Semantic code clones in logic programs

Dandois, C. & Vanhoof, W., 14 Nov 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7844 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Logic Programs
Clone
Semantics
Syntactics
Refactoring

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

Support for reverse engineering and maintaining feature models

Acher, M., Baudry, B., Heymans, P., Cleve, A. & Hainaut, J. L., 22 Feb 2013, ACM International Conference Proceeding Series. ACM Press, 20 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Reverse engineering

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

Supporting Unexpected Situations in Business Process Management using the BEM Framework

Linden, I., Derbali, M. A., Schwanen, G., Jacquet, J-M., Ramdoyal, R. & Ponsard, C., 2013, p. 22. 1 p.

Research output: Contribution to conferenceAbstract

Telling the long and beautiful (hi)story of automation!

d'Udekem-Gevers, M., 2013, (Accepted/In press) Making the History of Computing Relevant: 17-18 June 2013 London (IFIP & Science Museum). Dordrecht: Springer, p. 173-195

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

The anatomy of a sales configurator: An empirical study of 111 cases

Abbasi, E. K., Hubaux, A., Acher, M., Boucher, Q. & Heymans, P., 12 Jul 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7908 LNCS. p. 162-177 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7908 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Anatomy
Web Engineering
Empirical Study
Sales
Customers
51 Downloads (Pure)

The Jungle Universe and its Twisting Species

Perez, J., Füzfa, A., Carletti, T., Melot, L. & Guedezounme, S. L., 4 Jun 2013, 5 ed. Namur: Namur center for complex systems. 18 p. (naXys Technical Report Series; vol. 4, no. 5)

Research output: Book/Report/JournalOther report

File
twisting
tropical regions
universe
fluids
Volterra equations

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

Towards an enterprise architecture based strategic alignment model an evaluation of SAM based on ISO 15704

Goepp, V. & Petit, M., 21 Nov 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol. 3. p. 370-375 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Industry
Information technology
Managers

Towards automated testing and fixing of re-engineered Feature Models

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 30 Oct 2013, Proceedings - International Conference on Software Engineering. IEEE, Vol. 2. p. 1245-1248 4 p. 6606689

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Testing
Engineers
Linux
85 Downloads (Pure)

Towards enforcement of purpose for privacy policy in distributed healthcare

Rath, T. M. A. & Colin, J-N., 15 Apr 2013, 2013 IEEE 10th Consumer Communications and Networking Conference, CCNC 2013. p. 881-886 6 p. 6488578

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Access control
privacy
Information systems
information system
50 Downloads (Pure)

Towards highly adaptive data-intensive systems: A research agenda

Mori, M. & Cleve, A., 12 Jul 2013, Lecture Notes in Business Information Processing: CAiSE 2013 International Workshops. Springer Verlag, Vol. 148 LNBIP. p. 386-401 16 p. (Lecture Notes in Business Information Processing; vol. 148 LNBIP).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Research agenda
Life cycle
Interaction
Systems software
Integrated
Information systems
98 Downloads (Pure)
File
Information systems
12 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions

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

Understanding schema evolution as a basis for database reengineering

Gobert, M., Maes, J., Cleve, A. & Weber, J., 1 Dec 2013, IEEE International Conference on Software Maintenance, ICSM. IEEE Computer society, p. 472-475 4 p. 6676935

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Reengineering

University meets industry: Calling in real stakeholders

Penzenstadler, B., Mahaux, M. & Heymans, P., 8 Oct 2013, Software Engineering Education Conference, Proceedings. p. 1-10 10 p. 6595231

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Requirements engineering
stakeholder
engineering
industry
Teaching

Verification for Reliable Product Lines

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

Research output: Other contribution

Verification of Transactions in STM Haskell using Contracts and Program Transformation

Demeyer, R. & Vanhoof, W., 2013, p. 47-51.

Research output: Contribution to conferenceAbstract

Accompagner un processus de changement dans le cadre du développement de la VAE au sein de deux universités : analyse des stratégies d’accompagnement du changement, du rôle des accompagnateurs et tensions

Dejean, K. & Santy, A-F., 2012, Accompagner un processus de changement dans le cadre du développement de la VAE au sein de deux universités : analyse des stratégies d’accompagnement du changement, du rôle des accompagnateurs et tensions. Charlier, E. & Biémar, S. (eds.). De Boeck

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

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 Feature-based Approach to System Deployment and Adaptation (To Appear)

Acher, M., Moisan, S. & Rigault, J-P., 2012, (Unpublished) Proceedings of the Proceedings of the 2012 international workshop on Modeling in software engineering at ICSE 2012 (MiSE'12),.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A framework for collaboratively editing domain specific models

Koshima, A., 2012, poster presentation at PReCISE Research Day, April 24, 2012, Namur, Belgium.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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

A metamodel based approach for customizing and assessing agile methods

Ayed, H., 30 Apr 2012. 1 p.

Research output: Contribution to conferencePoster

Open Access
File
8 Downloads (Pure)

A metamodel based approach for customizing and assessing agile methods

Ayed, H., 24 Apr 2012.

Research output: Contribution to conferencePoster

File
25 Downloads (Pure)

A metamodel-based approach for customizing and assessing agile methods

Ayed, H., Vanderose, B. & Habra, N., 2012. 9 p.

Research output: Contribution to conferencePaper

File
Industry

Analogue attacks in e-health: Issues and Solutions

Thavymony Annanda, R. & Colin, J-N., 2012, (Unpublished)

Research output: Other contribution

An interactive Video Streaming Architecture Featuring Bit-rate Adaptation

Fernandez, I. A., De VleeSchouwer, C., Toma, G. & Schumacher, L., 2012

Research output: Other contribution

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 Jan 2012, p. 107-117. 11 p.

Research output: Contribution to conferencePaper

An SMT-LIB Format for Sequences and Regular Expressions

Bjørner, N., Ganesh, V., Michel, R. & Veanes, M., 1 Jan 2012.

Research output: Contribution to conferencePaper

A qui appartiennent les seins des femmes

Grandjean, N., 2012, In : La Chronique de la Ligue des droits de l'homme (bimestriel) . 153, p. 27-29

Research output: Contribution to journalLiterature review

A Software Lifecycle Process to Support Consistent Evolutions

Paola, I. & Mori, M., 1 Jan 2012, p. 239-264. 26 p.

Research output: Contribution to conferencePaper

A Survey of Configuration Challenges in Linux and eCos

Hubaux, A., Xiong, Y. & Czarnecki, K., 2012, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

76 Downloads (Pure)
Open Access
File
Testing
Formal languages
Semantics

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

109 Downloads (Pure)

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Quality assurance
Model checking
Vending machines
Testing
21 Downloads (Pure)

Behavioural Model-Driven Validation of Software Product Lines

Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B., 24 Apr 2012.

Research output: Contribution to conferencePoster

Open Access
File
115 Downloads (Pure)

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 2012, Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol. 1. p. 66-75 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
Model checking
Formal methods
Software engineering
24 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

Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People

Mahaux, M., Mavin, A. & Heymans, P., 2012, Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol. 7195. p. 101-116 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Requirements engineering
Social sciences
Engineers
Industry