Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference contribution
2013

Critical infrastructures governance: Exploring SCADA cybernetics through architectured policy semantic

Khadraoui, D. & Feltus, C., 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. p. 4766-4771 6 p. 6722566

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

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

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

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

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

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

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

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

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

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

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-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

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

On Density in Coordination Languages

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

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

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

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

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

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

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

Reverse engineering web sales configurators

Abbasi, E. K. & Heymans, P., 1 Dec 2013, IEEE International Conference on Software Maintenance, ICSM. p. 586-589 4 p. 6676962

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

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

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

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

Open Access

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

Toward benchmarks to assess advancement in legal requirements modeling

Jureta, I., Breaux, T., Siena, A. & Gordon, D., 1 Dec 2013, 2013 6th International Workshop on Requirements Engineering and Law, RELAW 2013 - Proceedings. p. 25-33 9 p. 6671343

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

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

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

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

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

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

Using goals and customizable services to improve adaptability of process-based service compositions

Gillain, J., Faulkner, S., Jureta, I. J. & Snoeck, M., 19 Sep 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577716

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

Visual notation design 2.0: Towards user comprehensible requirements engineering notations

Caire, P., Genon, N., Heymans, P. & Moody, D. L., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711

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

2012

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 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

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

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

Clones in Logic Programs and How to Detect Them

Dandois, C. & Vanhoof, W., 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers.

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

Deriving Configuration Interfaces from Feature Models : A Vision Paper

Boucher, Q., Perrouin, G. & Heymans, P., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27,. p. 37-44

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

File
154 Downloads (Pure)

Des seins de chair, de numérique et de silicone

Grandjean, N., 2012, From cyborgs to facebook: technological dreams and feminist critiques. Bruxelles: Sofia, p. 16-27

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

Open Access

Factors Influencing Collaborative Creativity in Requirements Engineering: an Analysis and Practical Advice

Mahaux, M., Gotel, O., Mavin, A., Mich, L., Nguyen, L. & Schmid, K., 2012, (Unpublished) Proceedings of the 20th International Requirements Engineering Conference. Sawyer, P. (ed.).

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

Feature Model Differences (To appear)

Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P. & Merle, P., 2012, (Unpublished) Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12).

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

Gained experience by making intervention to improve software process in very small organizations

Zarour, M., Desharnais, J. M., Alarifi, A., Habra, N., Cassiers, G. & Robaeys, A., 18 Jun 2012, Software Process Improvement and Capability Determination - 12th International Conference, SPICE 2012, Proceedings. p. 51-61 11 p. (Communications in Computer and Information Science; vol. 290 CCIS).

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

Generating Range Fixes for Software Configuration (to appear)

Xiong, Y., Hubaux, A., She, S. & Czarnecki, K., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland.

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

How Clean Is Your Sandbox? Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations

Terwilliger, J., Cleve, A. & Curino, C., 2012, Proceedings of the 5th International Conference on Model Transformation (ICMT 2012). Springer

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

Influence of Context on Decision Making during Requirements Elicitation

Burnay, C., Jureta, I. & Faulkner, S., 28 Aug 2012, Proceedings of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE'12): Held at the European Conference on Artificial Intelligence (ECAI'12). Montpellier, France

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

File
21 Downloads (Pure)