Faculty of Computer Science

  • 5000

    Belgium

Research Output

2015

Survival analysis with Cox regression and random non-linear projections

Branders, S., Frénay, B. & Dupont, P., 2015, 23rd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2015 - Proceedings. i6doc.com publication, p. 119-124 6 p.

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

The Algorithm-to-Algebra Method Applied to Route Aggregation: A Tale of Roadsigns

Dynerowicz, S., 2015, (Unpublished) 99 p.

Research output: External Thesis Doctoral Thesis

File
52 Downloads (Pure)

The iTEC technical artefacts, architecture and educational cloud

Van Assche, F., Anido-Rifón, L., Colin, J. N., Griffiths, D. & Simon, B., 1 Jan 2015, Re-engineering the Uptake of ICT in Schools. Van Assche, F., Griffiths, D., Mc Nicol, S., Anido-Rifon, L. & Lewin, C. (eds.). Springer International Publishing Switzerland 2014, p. 59-78 20 p. Chapter 4

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

Towards a grey ecology

Broadbent, S. & Maris, C., 1 Jan 2015, The Onlife Manifesto: Being Human in a Hyperconnected Era: being human in a hyperconnected era. Dordrecht: Springer International Publishing Switzerland 2014, p. 111-124 14 p.

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

Open Access
File
66 Downloads (Pure)

Towards breaking the curse of dimensionality in reverse engineering feature models.

Davril, J-M., Acher, M., Bécan, G. & Heymans, P., 2015, Configuration Workshop.

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

Towards Contextualizing Agile Processes Decision Making

Ayed, H., May 2015. 17 p.

Research output: Contribution to conferenceOther

Open Access
File

Towards Systemic Risk Management in the frame of Business Service Ecosystem

Feltus, C., Grandry, E. & Fontaine, F-X., 7 Jun 2015, Advanced Information Systems Engineering Workshops. Springer, p. 27 - 39 12 p. (Lecture Notes in Business Information Processing; vol. 215).

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

File
37 Downloads (Pure)

Transformation-Wise Design of Software Architectures

Gilson, F. & Englebert, V., 2015, Communications in Computer and Information Science: MODELSWARD 2014 (Revised Selected Papers). Hammoudi, S., Ferreira Pires, L., Filipe, J. & das Neves, R. C. (eds.). Springer Verlag, Vol. 506. p. 49-65 1 p. 4. (Communications in Computer and Information Science).

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

"Un délit de presse devant la cour d’assises de Bruxelles : le temps de l’impunité pénale de fait est-il révolu ?"

Van Enis, Q., 5 Oct 2015, Justice en ligne.

Research output: Contribution to specialist publicationArticle

Understanding database schema evolution: A case study

Cleve, A., Meurice, L., Gobert, M., Maes, J. & Weber, J., 2015, In : Science of Computer Programming. 97, P1, p. 113-121 9 p.

Research output: Contribution to journalArticle

Open Access
File
373 Downloads (Pure)

Un hacking entre collègues condamné au pénal

Rosier, K., 2015, Bulletin juridique et social, 540, p. 15.

Research output: Contribution to specialist publicationArticle

Using fuzzy modeling for consistent definitions of product qualities in requirements.

Davril, J-M., Cordy, M., Heymans, P. & Acher, M., 2015, Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

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

Valid interpretation of feature relevance for linear data mappings

Frenay, B., Hofmann, D., Schulz, A., Biehl, M. & Hammer, B., 13 Jan 2015, IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIDM 2014: 2014 IEEE Symposium on Computational Intelligence and Data Mining, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 149-156 8 p. 7008661

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

Where was this SQL query executed? a static concept location approach

Nagy, C., Meurice, L. & Cleve, A., 8 Apr 2015, Proceedings of the 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015). IEEE Computer Society Press, p. 580-584 5 p. 7081881

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

2014

Abstract test case generation for behavioural testing of software product lines

Devroey, X., Perrouin, G. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol. 2. p. 86-93 8 p. (SPLC '14).

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

File
52 Downloads (Pure)

A domain specific language for stepwise design of software architectures

Gilson, F. & Englebert, V., 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 67-78 12 p.

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

A framework for collaboratively editing domain specific models

Koshima, A., 2014, poster presentation at the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Hyatt Regency, Vancouver, Canada. July 1 - July 3, 2014.

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

A framework for collaboratively editing domain specific models

Koshima, A., 2014, poster presentation at the 5th DSM-TP summer school, 25-29 August 2014, Antwerp, Belgium.

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

A framework for understanding collaborative creativity in requirements engineering: Empirical validation

Mahaux, M., Nguyen, L., Mich, L. & Mavin, A., 3 Sep 2014, 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 48-55 8 p. 6890116

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

Open Access
File
504 Downloads (Pure)

A Little-Known Chapter in the History of Computing in Belgium: The Machine Mathématique IRSIA-FNRS

d'Udekem-Gevers, M., 2014, IFIP Advances in Information and Communication Technology: 11th IFIP TC9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 -August 1, 2014Proceedings. Heidelberg NY Dordrecht London: Springer, Vol. 431. p. 146-161 16 p. (IFIP Advances in Information and Communication Technology; vol. 431).

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

Open Access
File
167 Downloads (Pure)

An extensible platform for product-line behavioural analysis

Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.

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

Open Access
File
99 Downloads (Pure)

An Overview of Requirements Evolution

Ernst, N., Borgida, A., Jureta, I. & Mylopoulos, J., 2014, Evolving Software Systems. Springer, p. 3-32

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

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).

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

File
270 Downloads (Pure)

Authentication and authorisation for widget-based applications in a loosely-coupled web eLearning environment

Colin, J-N. & Hoang, M. T., 2014, Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014). 10 p. 24

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

A Variability Perspective of Mutation Analysis

Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 Nov 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

Open Access
File
304 Downloads (Pure)

Behavioural Model Based Testing of Software Product Lines: Research Abstract

Devroey, X., 16 Sep 2014, Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

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

Open Access
File
65 Downloads (Pure)

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L., 1 Jul 2014, In : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132.

Research output: Contribution to journalArticle

Open Access
File
20 Downloads (Pure)

Co-analyse réflexive des enseignants débutants sur des situations professionnelles vécues : Quelles professionnalités des formateurs ?

Dejean, K., 2014, Expériences des adultes et professionnalités des formateurs. charlier, E., Boucenna, S. & Roussel, J. (eds.). De Boeck

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

Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEF

Koshima, A. & Englebert, V., 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 55-66 12 p.

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

File
179 Downloads (Pure)

Communication of technical QoS among cloud brokers

Lim, E. & Thiran, P., 18 Sep 2014, Proceedings - 2014 IEEE International Conference on Cloud Engineering, IC2E 2014. Institute of Electrical and Electronics Engineers Inc., p. 403-409 7 p. 6903503

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

Counterexample Guided Abstraction Refinement of product-line behavioural models

Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol. 16-21-November-2014. p. 190-201 12 p.

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

Coverage criteria for behavioural testing of software product lines

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 Nov 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol. 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8802).

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

Open Access
File
208 Downloads (Pure)

CSMR 2012 Special Issue: Guest Editorial

Mens, T. & Cleve, A., 2014, In : Journal of software: Evolution and Process. 26, 8, p. 729-729

Research output: Contribution to journalArticle

Dahlia - A Visual Analyzer of Database Schema Evolution

Meurice, L. & Cleve, A., 2014, (Accepted/In press) Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week. IEEE Computer Society Press, p. 464-468

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

DiCoMEF: A Distributed Collaborative Model Editing Framework

Koshima, A. & Englebert, V., Jul 2014, (Accepted/In press) Tool Demo at SEKE2014 (International Conference on Software Engineering and Knowledge Engineering). Hyatt Regency, Vancouver, Canada

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

File
106 Downloads (Pure)
File
12 Downloads (Pure)

Establishing referential integrity in legacy information systems - Reality bites!

Meurice, L., Ruiz, F. J. B., Weber, J. H. & Cleve, A., 4 Dec 2014, Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 461-465 5 p. 6976118

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

Ethernet-based mobility architecture for 5G

Cattoni, A. F., Mogensen, P. E., Vesterinen, S., Laitila, M., Schumacher, L., Ameigeiras, P. & Ramos-Munoz, J. J., 26 Nov 2014, 2014 IEEE 3rd International Conference on Cloud Networking, CloudNet 2014. Institute of Electrical and Electronics Engineers Inc., p. 449-454 6 p. 6969036

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

Evolving Software Systems

Mens, T. (ed.), Serebrenik, A. (ed.) & Cleve, A. (ed.), 2014, Springer Verlag. 414 p.

Research output: Book/Report/JournalBook

Open Access
File
11 Downloads (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.

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

File
51 Downloads (Pure)

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Research output: Contribution to journalArticle

Open Access
File
242 Downloads (Pure)

Healthcare information system modelling

Hainaut, J. L., Brogneaux, A-F. & Cleve, A., 31 Aug 2014, Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 1. p. 424-444 21 p.

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

La Machine analytique de Charles Babbage, jalon fondamental de l’histoire des automates à calculer

d'Udekem-Gevers, M., 2014, (In preparation) Actes du colloque « L’automate. Enjeux culturels, historiques et techniques septembre 2012 Université de Neufchâtel (Suisse).

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