Anna Gallone

2025 (2)

• inproceedings - Langage Chips : Modélisation et contrôle de systèmes distribués à base de composants
  Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2025) / Pau, France (2025, Pages pages 49 - 52)
  Gallone, Anna
  
  pdf | bibtex@inproceedings{0a63d40c-7198-405c-b18e-cbcfc7ec78de, title = {Langage Chips : Mod\'elisation et contr\^ole de syst\`emes distribu\'es \`a base de composants}, author = {Gallone, Anna}, year = {2025}, address = {Pau, France}, booktitle = {Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2025)}, editor = {0a63d40c-7198-405c-b18e-cbcfc7ec78de-editor.pdf}, month = {jun}, pages = {49 - 52}, url = {https://publiweb.femto-st.fr/tntnet/entries/21673/documents/author/data} }
• inproceedings - Fancy some Chips for your TeaStore? Modeling the control of an adaptable discrete system
  Workshop on Adaptable Cloud Architectures (2025) / Lille, France (2025, Pages pages 16)
  Gallone, Anna | Bliudze, Simon | Cerf, Sophie | Kouchnarenko, Olga
  
  pdf | bibtex@inproceedings{5bfc025f-41f0-45f9-95c5-87f0f39c99c6, title = {Fancy some Chips for your TeaStore? Modeling the control of an adaptable discrete system}, author = {Gallone, Anna and Bliudze, Simon and Cerf, Sophie and Kouchnarenko, Olga}, year = {2025}, address = {Lille, France}, booktitle = {Workshop on Adaptable Cloud Architectures (2025)}, editor = {}, month = {jun}, pages = {16}, url = {https://publiweb.femto-st.fr/tntnet/entries/21674/documents/author/data} }