Research Group on the Foundations of Computer Sciences

Filtrer
Chapitre (revu par des pairs)

Résultats de recherche

  • 2022

    A Formal Model to Support Discourse Semantic Landscape Analysis

    Linden, I., Dumas, B. & Wallemacq, A., 2022, Proceedings of the 11th International Conference on Data Science, Technology and Applications - DATA, Lisbon, Portugal. Cuzzocrea, A., Gusikhin, O., van der Aalst, W. & Hammoudi, S. (eds.). SciTePress, p. 118-126 (Proceedings of the 11th International Conference on Data Science, Technology and Applications).

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

    Accès ouvert
  • 2021

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

    Linden, I., 2021, (Accepté/sous presse) EURO Working Group on DSS: A tour on the DSS developments over the last 30 . Springer International Publishing AG, (Integrated Series in Information Systems).

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

  • Thirty years of the EWG-DSS through the Lens of the Collab-Net Project

    Linden, I., Turet, J. G., Dargam, F. C. C., Liu, S., Ribeiro, R., Zaraté, P. & Costa, A. P. C. S., 2021, EURO Working Group on DSS: A Tour of the DSS Developments over the Last 30 Years. Springer International Publishing AG, (Integrated Series in Information Systems).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)Revue 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)Revue par des pairs

    Accès ouvert
    File
    119 Téléchargements (Pure)
  • 2018

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

    Darquennes, D., Jacquet, J.-M. & Linden, I., 1 janv. 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, Madrid, Spain, June 18-21, 2018. Proceedings. Di Marzo Serugendo, G. & Loreti, M. (eds.). Cham: Springer, p. 81 - 109 29 p. (Lecture Notes in Computer Science ; Vol 10852 ).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)Revue 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)Revue par des pairs

  • Multi-timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 janv. 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)Revue par des pairs

    Accès ouvert
    File
    63 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)Revue par des pairs

    Accès ouvert
    File
    121 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.). Cham: Springer, 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)Revue par des pairs