Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Résultat de recherche

Filtrer
Chapitre (revu par des pairs)
2020

30 Years of Business Intelligence: From Data Analytics to Big Data

Linden, I., 2020, (Accepté/sous presse) EWG-DSS 30 Years: A tour on the DSS developments over the last 30 . Springer, (LNBIP).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Collab-Net as a DSS for the Identification of Potential Partners and the Creation of Research Consortia

LINDEN, I., Turet, J., Costa, A. P. C. S., Dargam, F. C. C. & Zaraté, P., 2020, 6th International Conference on Decision Support System Technology - ICDSST 2020 on: Cognitive Decision Support Systems & Technologies. p. 67-73

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Text as Semantic Fields: Integration of an Enriched Language Conception in the Text Analysis Tool Evoq®

LINDEN, I., WALLEMACQ, A., Dumas, B., Deville, G., CLARINVAL, A. & Cauz, M., 2020, [Provisoire] Research Challenges in Information Sciences. Springer, Vol 385. 36. (Lecture Notes in Business Information Processing (LNBIP); Vol 385).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

2019

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
2017

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
File
20 Téléchargements (Pure)
2014

Behavioural Model Based Testing of Software Product Lines: Research Abstract

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
File
65 Téléchargements (Pure)

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)