Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2013

Dynamic program analysis for database reverse engineering

Cleve, A., Noughi, N. & Hainaut, J-L., 1 Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 7680 LNCS. p. 297-321 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7680 LNCS).

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

Reverse engineering
Program Analysis
Reverse Engineering
Dynamic Analysis
Schema

Eclipse plugin for Iodass modeling languages

Gilson, F., 2013

Research output: Non-textual formSoftware

Information systems
Modeling languages

Efficient quality assurance of variability-intensive systems

Heymans, P., Legay, A. & Cordy, M., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

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

Quality assurance
Software engineering
Formal methods
Model checking
Costs

Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, Simulation Series. Vol. 45. p. 62-69 8 p.

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

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

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

Real time systems
Telecommunication systems
Brakes
Semantics
Wire

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

Feature-based adaptation of database schemas

Mori, M. & Cleve, A., 9 Sep 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 7706 LNCS. p. 85-105 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7706 LNCS).

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

Schema
User interfaces
Specifications
Software System
User Interface
Model checking
Quality assurance
Mathematical models
Chemical analysis

Feature model extraction from large collections of informal product descriptions

Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 Sep 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 11 p.

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

Websites
Marketing
Specifications

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
45 Downloads (Pure)

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

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

File

Formal modeling and verification of SDN-OpenFlow

Kang, M., Kang, E-Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

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

Computer simulation
Specifications
Network architecture
Flow control
Software defined networking

Healthcare Information System Modelling

Hainaut, J-L., Brogneaux, A-F. & Cleve, A., 2013, Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care. Maria, I., Maria, M. & Cruz-Cunha, M. (eds.). IGI Global, Vol. 1. p. 539 558 p.

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

239 Downloads (Pure)

IDEGOV Project “IDEntification and GOVernance of emerging ethical issues in information systems” Theoretical ground Ethics Governance Recommendations

Kutoma Wakunuma Masclet Laurence Bernd Stahl Goujon Philippe Sara Wilford, 2013, (Accepted/In press) Spinger.

Research output: Book/Report/JournalOther report

Open Access
File

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

Incrementally synthesizing controllers from scenario-based product line specifications

Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 Sep 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 11 p.

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

Specifications
Controllers
Product design
48 Downloads (Pure)

Industry program panel

Feltus, C., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 465 1 p.

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

File
Security of data
Industry
Managers
Security systems
Disasters
87 Downloads (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 Nov 2013, Mobile and Information Technologies in Medicine and Health 2013 .

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

File
Information Systems
Orthopedics
Infection
Prosthesis Failure
Knee Prosthesis

Introduction

Grandjean, N., 2013, Corps et technologies: Penser l'hybridité. Bruxelles: Peter lang, p. 9-15

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

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 droit de l'information au prisme de l'internet: Numéro spécial de la R.D.T.I. - Actes du colloque des 3 et 4 octobre 2012 sur le néo-journalisme (panel juridique)

Van Enis, Q. (ed.), 2013, Bruxelles: Larcier . 100 p. (Revue du droit des technologies de l'information; no. 51)

Research output: Book/Report/JournalBook

Le vieillissement au travail

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

Research output: Contribution to journalArticle

Message from the workshop chairs

Thiran, P. & Lu, S., 26 Nov 2013, SWF—IEEE 2013 International Workshop on Scientific Workflows. IEEE Computer Society Press

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

Metamodel for reputation based agents system - Case study for electrical distribution SCADA design

Guemkam, G., Blangenois, J., Feltus, C. & Khadraoui, D., 1 Dec 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 251-255 5 p.

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

Critical infrastructures
SCADA systems
Actuators
Decision making

Model-based verification of energy-aware real-time automotive systems

Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 Oct 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

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

Model checking
Real time systems
Brakes
Embedded systems
Semantics

Model-centric strategy-IT alignment: An empirical study in progress

Giannoulis, C., Zdravkovic, J. & Petit, M., 12 Jul 2013, Lecture Notes in Business Information Processing. Vol. 148 LNBIP. p. 146-155 10 p. (Lecture Notes in Business Information Processing; vol. 148 LNBIP).

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

Alignment
IT strategy
Empirical study
Strategy formulation
Empirical investigation
187 Downloads (Pure)

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

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

Open Access
File
Adaptive systems
Model checking
Failure modes
Costs
Modeling languages
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

Multi-objective test generation for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 18 Sep 2013, Proceedings of the 17th International Software Product Line Conference (SPLC). ACM Press, p. 62-71 10 p.

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

Testing
Genetic algorithms
Costs
Experiments

Notions de "vie privée" et de "protection des données à caractère personnel"

Colin, J-N. & De Terwangne, C., 2013, Vie privée et données à caractère personnel. Bruxelles: Politeia, p. pag. mult.

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

On designing automatic reaction strategy for critical infrastructure SCADA system

Feltus, C. & Khadraoui, D., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 444-445 2 p.

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

Critical infrastructures
SCADA systems
Security systems
Monitoring
Industry

On the Forwarding Paths Produced by Internet Routing Algorithms

Dynerowicz, S. & Griffin, T., 10 Oct 2013.

Research output: Contribution to conferencePaper

Routing algorithms
Internet
Routing protocols
Network protocols
Internet protocols

On the Introduction of Time in Distributed Blackboard Rules

Jacquet, J-M., Linden, I. & Staicu, M-O., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer, Vol. 393. p. 144-158 15 p. (Communications in Computer and Information Science; vol. 393).

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

Organizational security architecture for critical infrastructure

Blangenois, J., Guemkam, G., Feltus, C. & Khadraoui, D., 1 Dec 2013, Proceedings - 2013 International Conference on Availability, Reliability and Security, ARES 2013. p. 316-323 8 p. 6657259

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

Critical infrastructures
Network components
SCADA systems
Multi agent systems
Data acquisition
87 Downloads (Pure)

ORTHOGEN: Système d'Information Intégré pour la Traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de Décision. Paris, p. 312-328 16 p.

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

File

PLEDGE: a product line editor and test generation tool

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 23 Dec 2013, 17th International Software Product Line Conference (co-located workshops). ACM Press, p. 126-129 4 p.

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

Testing

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

projet responsability Deliverable 2.1: Network of Networks

Pearson, J. & Goujon, P., 31 Jul 2013, Commission of European Communities. 50 p.

Research output: Book/Report/JournalCommissioned report

funding
private enterprise
credibility
innovation
social responsibility
53 Downloads (Pure)

Prosumer's Responsibilities?... On Stage to a Dedicated Framework for Services Sharing and Compliance in the Healthcare Domain.

Khadraoui, A., Nicolas, D. & Feltus, C., 2013. 14 p.

Research output: Contribution to conferencePaper

File

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

Model checking
Mathematical models
Formal verification

Re-engineering the uptake of ICT in schools

Van Assche, F., Simon, B., Aram, M., Colin, J-N., Hoang, M. T., Griffiths, D., Popat, K., Anido-Rifón, L., Caeiro-Rodríguez, M., Santos-Gago, J., Ellis, W. & Klerkx, J., 9 Sep 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8095 LNCS. p. 645-646 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8095 LNCS).

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

Technology Enhanced Learning
Reengineering
Innovation
Learning
Concepts