Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2020

Filter
Chapter (peer-reviewed)

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)

Linear transformations
Linear regression
Linear programming
Learning algorithms
Learning systems

Travailler de l'intérieur du système sur les dispositifs de devenir-imperceptible

Grandjean, N., 2016, Petits entretiens de la vie privée: Expérience quotidienne sur le web. Namur: Presses universitaires de Namur, p. 75-80 6 p.

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

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)

Software architecture

Towards a theory of refinement in timed coordination languages

Jacquet, J-M. & Linden, I., 2007, Coordination Languages and Models: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8 2007.. Murphy, A. & Vitek, J. (eds.). Springer, p. 113 131 p. (Lecture Notes in Computer Science; vol. 4467).

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

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)

artifact
innovation
resources
teacher
technical innovation

Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform

Linden, I., Jacquet, J-M., Ospina Agudelo, G. A. & Staicu, M-O., 2012, Decision Support Systems - Collaborative Models and Approaches in Real Environments. Springer, Vol. 121. p. 121-133 (Lecture Notes in Business Information Processing; vol. 121).

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

Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework

Linden, I., Derbali, M., Schwanen, G., Jacquet, J. M., Ramdoyal, R. & Ponsard, C., 2014, Decision Support Systems III - Impact of Decision Support Systems for Global Environments. Dargam, F., Hernández, J. E., Zaraté, P., Liu, S., Ribeiro, R., Delibašić, B. & Papathanasiou, J. (eds.). Springer Verlag, Vol. 184 LNBIP. p. 67-78 12 p. (Lecture Notes in Business Information Processing; vol. 184).

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

Business Process
Exception
Managers
Engine
Complex Event Processing
6 Downloads (Pure)

Participation and open innovation for sustainable software engineering

Mahaux, M. & Castiaux, A., 2015, Green in Software Engineering. Calero & Piattini (eds.). Springer International Publishing Switzerland 2014, p. 301-323 23 p.

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

Sustainable development
Software engineering
innovation
Innovation
software

On the Expressiveness of Absolute-Time Coordination Languages

Linden, I. & Jacquet, J-M., 2004, Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings. De, R., Gianluigi, N. & Greg, F. (eds.). Springer, Vol. 2949. p. 232-247 16 p. (Lecture Notes in Computer Science; vol. 2949).

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

13 Downloads (Pure)

On Recursive Multiscale Trust-Region Algorithms for Unconstrained Minimization

Gratton, S., Sartenaer, A. & Toint, P., 2005, Oberwolfach Reports: Optimization and Applications. Jarre, F., Lemaréchal, C. & Zowe, J. (eds.).

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

Open Access
File

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study

Darquennes, D., Jacquet, J-M. & Linden, I., 2018, Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Di Marzo Serugendo, G. & Loreti, M. (eds.). Springer, Vol. 10852. p. 81 - 109 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10852 LNCS).

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

Open Access
Expressiveness
Multiplicity
Distributed Systems
Language
Family
19 Downloads (Pure)

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).

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

Open Access
File
Real time systems
Clocks
Computability and decidability
Explosions

L’Olympiade belge d’Informatique

Translated title of the contribution: Belgian Olympiad in InformaticsGilson, F., Jun 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Henry, J., Nguyen, A. & Vandeput, É. (eds.). Presses universitaires de Namur

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

La programmation par passage de messages pour aider à développer la pensée informatique

Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

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

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)

8 Downloads (Pure)

Formation à la maitrise des TIC pour les enseignants: un contenu inspiré de leurs pratiques

Henry, J., Jun 2017, L'informatique et le numérique dans la classe: qui, quoi, comment?. Henry, J., Nguyen, A. & Vandeput, É. (eds.). Namur: Presses Universitaires de Namur (PUN)

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

Open Access
File

De ce qui compte chez Judith Butler et Cindy Sherman: performativités et effritements

Grandjean, N., 2010, Figures de femmes dans l'art et les médias. Jucquois-Delpierre, M. (ed.). Bruxelles: Peter Lang ed.

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

Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study

Gilson, F. & Englebert, V., 2015, Model-Driven Engineering and Software Development: MODELSWARD 2015 (Revised Selected Papers). Desfray, P., Filipe, J., Hammoudi, S. & Ferreira Pires, L. (eds.). Springer, Vol. 580. p. 213-229 (Communications in Computer and Information Science).

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

Software architecture
Life cycle
Feedback
64 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
Testing
Model checking
Quality assurance
Engineers

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

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

Explosions