Research Group on the Foundations of Computer Sciences

Où nous trouver
Filtrer
Chapitre (revu par des pairs)

Résultats de recherche

  • 2020

    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)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
    5 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, 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)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
    24 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
    68 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)Revue par des pairs