L'institut
FEMTO-ST
Département DISC

Anna Gallone

PhD Student
Profile picture for user anna.gallone

Computer Sciences

Département DISC
Équipe VESONTIO
UFR ST
Courriel :
anna.gallone [at] femto-st.fr
Addresse :
DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

<h1>Actually, call me Anna.</h1><p>I'm a Computer Sciences PhD student specialized in formal methods for distributed systems. I'm currently developing the <em>Chips</em> language. My main research interest is around pluri-disciplinary projects involving interactions between softwares and real world elements such as physics, electronics or social sciences.</p><p>Also teaching Computer Science at Université Marie et Louis Pasteur.</p><p><a title="Link to my personal website" href="https://nwaitdev.github.io/&quot; target="_blank" rel="noopener">https://nwaitdev.github.io/</a></p&gt;

Publications de Anna GALLONE

Voir toutes les publications (2)2025 (2)

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