Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Chapter (peer-reviewed)
2018

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

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)

L’Olympiade belge d’Informatique

Gilson, 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)

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

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)

2015

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

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

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

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

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
2013

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)

2012

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)

2010

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)

2007

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)

2005
12 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
2004

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)