Cinzia Di Giusto

45
Documents

Publications

Publications

Multiparty half-duplex systems and synchronous communications

Cinzia Di Giusto , Loïc Germerie Guizouarn , Etienne Lozes

Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100843. ⟨10.1016/j.jlamp.2022.100843⟩

Article dans une revue hal-03880184v1
Deposit thumbnail

Guessing the Buffer Bound for k-Synchronizability

Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes

International Journal of Foundations of Computer Science, 2022, 34 (8), pp.1051-1076. ⟨10.1142/S0129054122430018⟩

Article dans une revue hal-03890605v1
Deposit thumbnail

Towards Generalised Half-Duplex Systems

Cinzia Di Giusto , Loïc Germerie Guizouarn , Etienne Lozes

Electronic Proceedings in Theoretical Computer Science, 2021, 347, pp.22-37. ⟨10.4204/EPTCS.347.2⟩

Article dans une revue hal-03508302v1

Spiking neural networks modelled as timed automata: with parameter learning

Cinzia Di Giusto , Elisabetta de Maria , Laetitia Laversa

Natural Computing, 2020, 19 (1), pp.135-155. ⟨10.1007/s11047-019-09727-9⟩

Article dans une revue hal-03508313v1

Activity Networks with Delays an Application to Toxicity Analysis

Franck Delaplace , Cinzia Di Giusto , Jean-Louis Giavitto , Hanna Klaudel , Antoine Spicher

Fundamenta Informaticae, 2018, 160 (1-2), pp.119 --142. ⟨10.3233/FI-2018-1677⟩

Article dans une revue hal-01783917v1
Deposit thumbnail

Event-based run-time adaptation in communication-centric systems

Cinzia Di Giusto , Jorge A. Pérez

Formal Aspects of Computing, 2016, ⟨10.1007/s00165-016-0377-z⟩

Article dans une revue hal-01320789v1

Disciplined structured communications with disciplined runtime adaptation

Cinzia Di Giusto , Jorge Andrés Pérez

Science of Computer Programming, 2015, 97 (P2), pp.235--265. ⟨10.1016/j.scico.2014.04.017⟩

Article dans une revue hal-01052441v1

On the Expressive Power of Multiple Heads in CHR

Cinzia Di Giusto , Maurizio Gabbrielli , Maria Chiara Meo

ACM Transactions on Computational Logic, 2012, 13 (1), ⟨10.1145/2071368.2071374⟩

Article dans une revue hal-00909390v1

Adaptable Processes

Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro

Logical Methods in Computer Science, 2012, 8 (4:13), pp.1--71

Article dans une revue hal-00909365v1
Deposit thumbnail

Choreographies for Program Understanding

Gabriele Genovese , Ivan Lanese , Cinzia Di Giusto , Emilio Tuosto , Germán Vidal

FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2025, Lille, France. pp.173-181, ⟨10.1007/978-3-031-95497-9_10⟩

Communication dans un congrès hal-05399397v1
Deposit thumbnail

Les systèmes faiblement synchrones avec trois machines sont Turing-complets

Cinzia Di Giusto , Davide Ferré , Étienne Lozes , Nicolas Nisse

AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France

Communication dans un congrès hal-04551070v1

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

Clément Bertrand , Cinzia Di Giusto , Hanna Klaudel , Damien Regnault

34th International Conference on Concurrency Theory (CONCUR 2023), Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.33⟩

Communication dans un congrès hal-04199269v1
Deposit thumbnail

Weakly Synchronous Systems with Three Machines Are Turing Powerful

Cinzia Di Giusto , Davide Ferré , Etienne Lozes , Nicolas Nisse

RP 2023 - 17th International Conference on Reachability Problems, 2023, Nice, France. pp.28-41, ⟨10.1007/978-3-031-45286-4_3⟩

Communication dans un congrès hal-04273451v1
Deposit thumbnail

Formalising Futures and Promises in Viper

Cinzia Giusto , Loïc Germerie Guizouarn , Ludovic Henrio , Etienne Lozes

JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183

Communication dans un congrès hal-03626843v1
Deposit thumbnail

A Unifying Framework for Deciding Synchronizability

Benedikt Bollig , Cinzia Di Giusto , Alain Finkel , Laetitia Laversa , Etienne Lozes et al.

CONCUR 2021 - 32nd International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-33

Communication dans un congrès hal-03278370v1
Deposit thumbnail

On the k-synchronizability of Systems

Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes

23rd International Conference on Foundations of Software Science and Computer Systems (FOSSACS 2020), Apr 2020, Dublin, Ireland. pp.157-176, ⟨10.1007/978-3-030-45231-5_9⟩

Communication dans un congrès hal-02883586v1

Analysis of Discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau

12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩

Communication dans un congrès hal-02682352v1
Deposit thumbnail

Pattern Matching in discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau

10. International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111

Communication dans un congrès hal-02002550v1

Parameter Learning for Spiking Neural Networks Modelled as Timed Automata

Elisabetta de Maria , Cinzia Di Giusto

9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. ⟨10.5220/0006530300170028⟩

Communication dans un congrès hal-01717603v1

Formal Validation of Neural Networks as Timed Automata

Elisabetta de Maria , Cinzia Di Giusto , Giovanni Ciatto

the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩

Communication dans un congrès hal-01717598v1

Systemic approach for toxicity analysis

Cinzia Di Giusto , Hanna Klaudel , Franck Delaplace

5th International Workshop on Biological Processes and Petri Nets (BioPPN 2014), Jun 2014, Tunis, Tunisia. pp.30--44

Communication dans un congrès hal-01078546v1
Deposit thumbnail

A Categorical Theory of Patches

Samuel Mimram , Cinzia Di Giusto

MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩

Communication dans un congrès hal-00904156v1

Disciplined structured communications with consistent runtime adaptation

C. Di Giusto , J.A. Pérez

SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1913-1918, ⟨10.1145/2480362.2480716⟩

Communication dans un congrès cea-01836268v1

Towards the Verification of Adaptable Processes

Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, 2012, Heraklion, Crète, Greece. pp.269--283, ⟨10.1007/978-3-642-34026-0_20⟩

Communication dans un congrès hal-00909368v1
Deposit thumbnail

Adaptable Processes (Extended Abstract)

Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro

13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩

Communication dans un congrès hal-01583325v1
Deposit thumbnail

Revisiting Glue Expressiveness in Component-Based Systems

Cinzia Di Giusto , Jean-Bernard Stefani

13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩

Communication dans un congrès hal-01582994v1

A Calculus for Component Evolvability (Extended Abstract)

Mario Bravetti , Cinzia Di Giusto , Jorge A. Perez , Gianluigi Zavattaro

Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal

Communication dans un congrès hal-00881630v1
Deposit thumbnail

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence

Jesus Aranda , Cinzia Di Giusto , Mogens Nielsen , Frank Valencia

5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.383-398, ⟨10.1007/978-3-540-76637-7_26⟩

Communication dans un congrès inria-00201547v1
Deposit thumbnail

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

Jesus Aranda , Cinzia Di Giusto , Catuscia Palamidessi , Frank D. Valencia

5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. pp.185-206, ⟨10.1007/978-3-540-74792-5⟩

Communication dans un congrès inria-00239497v1

Guessing the Buffer Bound for k-Synchronizability

Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes

Implementation and Application of Automata, 12803, Springer International Publishing, pp.102-114, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79121-6_9⟩

Chapitre d'ouvrage hal-03508219v1

Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata

Elisabetta de Maria , Cinzia Di Giusto

Biomedical Engineering Systems and Technologies, 1024, Springer International Publishing, pp.149-166, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-29196-9_9⟩

Chapitre d'ouvrage hal-03603403v1
Deposit thumbnail

Weakly synchronous systems with three machines are Turing powerful

Cinzia Di Giusto , Davide Ferré , Etienne Lozes , Nicolas Nisse

Inria. 2023

Rapport hal-04182953v1
Deposit thumbnail

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

Clément Bertrand , Cinzia Di Giusto , Hanna Klaudel , Damien Regnault

Université Côte d'Azur, CNRS, I3S, France; IBISC, Univ. Evry, Université Paris-Saclay, France; Scalian Digital Systems, Valbonne, France. 2023

Rapport hal-04155339v2
Deposit thumbnail

A partial order view of message-passing communication models

Cinzia Di Giusto , Davide Ferré , Laetitia Laversa , Etienne Lozes

[Research Report] Université Nice Côte d’Azur, CNRS, I3S, France. 2022

Rapport hal-03823473v3
Deposit thumbnail

On the k-synchronizability of systems

Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes

[Research Report] Laboratoire I3S. 2019

Rapport (rapport de recherche) hal-02272347v2
Deposit thumbnail

Multiparty Reactive Sessions

Mauricio Cano , Ilaria Castellani , Cinzia Di Giusto , Jorge A. Pérez

[Research Report] 9270, INRIA. 2019, pp.65

Rapport (rapport de recherche) hal-02106742v1
Deposit thumbnail

Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic

Giovanni Ciatto , Elisabetta de Maria , Cinzia Di Giusto

[Research Report] Université Côte d'Azur, CNRS, I3S, France. 2017

Rapport (rapport de recherche) hal-01473941v1
Deposit thumbnail

Activity Networks with Delays An application to toxicity analysis

Franck Delaplace , Cinzia Di Giusto , Jean-Louis Giavitto , Hanna Klaudel

[Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes. 2016

Rapport (rapport de recherche) hal-01152719v2
Deposit thumbnail

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

Cinzia Di Giusto , Jorge A. Perez

[Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen. 2014

Rapport (rapport de recherche) hal-01093090v1

Synchronisability in Mailbox Communication

Cinzia Di Giusto , Laetitia Laversa , Kirstin Peters

EXPRESS/SOS 2024, Electronic Proceedings in Theoretical Computer Science, 412, pp.19-34, 2024, ⟨10.4204/EPTCS.412.3⟩

Proceedings/Recueil des communications hal-04801432v1